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