Введение. Пропозициональная логика. Общезначимость исчисления высказываний. Пропозициональные связки. Язык логики высказываний. Заключение.
1.Записать символически высказывание: «Если рабочие или администрация упорствуют, то забастовка будет урегулирована тогда и только тогда, когда Дума примет закон о формах выражения протеста, и администрация не будет упорствовать».
2.Переведите логическую формулу в осмысленное высказывание: P V Q → (R ≡ ~S).
Использованная литература: