Понятия и основы равносильности логики высказыванийБазовыми понятиями логики высказываний являются пропозициональная переменная — переменная, значением которой может быть логическое высказывание, — и (пропозициональная) формула, определяемая индуктивно следующим образом: 1)Если P — пропозициональная переменная, то P — формула. 2)Если A — формула, то 3)Если A и B — формулы, то Знаки и (отрицание, конъюнкция, дизъюнкция и импликация) называются пропозициональными связками. Подформулой называется часть формулы, сама являющаяся формулой. Собственной подформулой называется подформула, не совпадающая со всей формулой. Формула F1 равносильна формуле F2, если при любых наборах входящих в них переменных формулы принимают одинаковые значение истинности. Формула F1 равносильна формуле F2, если их эквиваленция есть тавтология, или, если - тавтология.
|
— формула.
, 
и 
— формулы.
