Задание 11

Построить истинную таблицу для формулы логики высказываний и определить, какой она является:

(p ^ q) (p ^ q).

Ответ:

Построим таблицу для формулы логики высказываний, перечисленные связки и их символические обозначения представим в таблице 1.

Логические связки, с помощью которых из данных высказываний получаются сложные высказывания, называются пропозициональными связками.

Таблица 1

Логическая связка	Наименование	Символическое обозначение	Пример
«и»	Конъюкция
«или»	Дизъюнкция
«либо, либо»	Строгая дизъюкция
«если, то»	Импликация
«если и только если»	Эквивалентность
«неверно, что» («не»)	Отрицание

Данная формула является Эквивалентность «если и только если».