Введение. Интерпретация пропозициональных переменных. Табличные определения пропозициональных связок. Логические отношения (по истинности и ложности) между формулами. Заключение.
Практическое задание:
1.Составить истинностную таблицу для следующего высказывания:
(P Λ ~Q) V R → (S Λ ~S).
2.Пусть значение высказывания P ≡ Q есть истина ; что можно сказать о значениях высказываний
P ≡ ~Q и ~P ≡ Q?
Использованная литература: