Выражение, составленное из переменных, обозначающих восклицаниевысказыванияпредложение , логических связокэлементовзавязок и скобок называется логической восклицаниевысказыванияпредложение , если оно удовлетворяет следующим условиям: 1. любая переменная, обозначающая простое высказывание – формула; 2. если P и Q – формулы, то (P&Q), (PνQ), (P[Математическая ошибка]→\rightarrowQ), (P[Математическая ошибка]⊕\oplusQ), (P[Математическая ошибка]∼\simQ), ( [Математическая ошибка]P¯\bar{P} ), ( [Математическая ошибка]Q¯\bar{Q} ) – также формулы; 3. других формул нет.