Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

Задание 11

 

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

404642_777E1_zadachi_i_primery_resheniya_po_logike_2011(p ^ q) (p ^ q).

 

Ответ:

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

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

Таблица 1

Логическая связка

Наименование

Символическое обозначение

Пример

«и»

Конъюкция

404642_777E1_zadachi_i_primery_resheniya_po_logike_2011

404642_777E1_zadachi_i_primery_resheniya_po_logike_2011

«или»

Дизъюнкция

404642_777E1_zadachi_i_primery_resheniya_po_logike_2011

404642_777E1_zadachi_i_primery_resheniya_po_logike_2011

«либо, либо»

Строгая дизъюкция

404642_777E1_zadachi_i_primery_resheniya_po_logike_2011

404642_777E1_zadachi_i_primery_resheniya_po_logike_2011

«если, то»

Импликация

404642_777E1_zadachi_i_primery_resheniya_po_logike_2011

404642_777E1_zadachi_i_primery_resheniya_po_logike_2011

«если и только если»

Эквивалентность

404642_777E1_zadachi_i_primery_resheniya_po_logike_2011

404642_777E1_zadachi_i_primery_resheniya_po_logike_2011

«неверно, что» («не»)

Отрицание

404642_777E1_zadachi_i_primery_resheniya_po_logike_2011

404642_777E1_zadachi_i_primery_resheniya_po_logike_2011

 

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

 

 

Случайная новость