2. Формулы логики.Законы логики
..docx2. Формулы логики высказываний. Равносильные формулы. Законы логики.
Формулой логики высказывания является:
-
Символы высказывательных переменных
-
Символы логических констант (1,0)
-
Символы логических операций (¯, V,ᴧ,→,↔)
-
Вспомогательные символы для указания порядка выполнения
Формулы F1и F2 называются равносильными, если при любом наборе значений численности входящих в них переменных принимают одинаковое значение истинности.
Основные равносильные формулы
Логическая формула принимающая значение «истина»/ «ложь» при любом наборе значений истинности входящих в нее переменных, называется тождественно истинной формулой (законом логики или тавтологией) /тождественно ложной формулой (или противоречием)
Можно доказать, что F1 F2 тогда и только тогда, когда F1 F2 является законом логики. Таким образам из основных формул равносильности можно получать законы логики заменив « » на « ».
.