Построить истинную таблицу для формулы логики высказываний и определить, какой она является:
(p ^ q) (p ^ q).
Ответ:
Построим таблицу для формулы логики высказываний, перечисленные связки и их символические обозначения представим в таблице 1.
Логические связки, с помощью которых из данных высказываний получаются сложные высказывания, называются пропозициональными связками.
Таблица 1
|
Логическая связка |
Наименование |
Символическое обозначение |
Пример |
|
«и» |
Конъюкция |
||
|
«или» |
Дизъюнкция |
||
|
«либо, либо» |
Строгая дизъюкция |
||
|
«если, то» |
Импликация |
||
|
«если и только если» |
Эквивалентность |
||
|
«неверно, что» («не») |
Отрицание |
Данная формула является Эквивалентность «если и только если».