Пример 1. В аудитории оказалось разбито стекло

В аудитории оказалось разбито стекло. Преподаватель объясняет декану: Это сделал Коля или Саша. Но Саша этого не делал, так как в это время сдавал мне зачет. Следовательно, это сделал Коля. Прав ли преподаватель?

Формализуем данное сложное высказывание. Для этого сначала выделим составляющие простые высказывания и определим их количество (n):

К = Это сделал Коля.

С = Это сделал Саша.

n = 2.

Определим форму высказывания: .

Определим количество строк и столбцов в таблице истинности. Так как каждое из простых высказываний может принимать всего два значения (0 или 1), то количество разных комбинаций значений n высказываний – 2n. Количество строк в таблице равно 2n плюс 2 строки на заголовок. Количество столбцов в таблице равно сумме количества простых высказываний (n) и количества разных логических операций, входящих в сложное высказывание. В данном случае:

· количество строк – 22 + 2 = 6;

· количество столбцов – 2 + 4 = 6.

Начертим таблицу и заполним ее в соответствии с определениями логических операций последовательно по столбцам. Сначала заполняем 1-й и 2-й столбцы, затем вычисляем значения 3-го столбца по значениям 2-го, потом значения 4-го – по значениям 1-го и 2-го и т.д.:

 

К С

 

Вывод: получили в последнем столбце единицы. Это означает, что значения сложного высказывания истинно при любых значениях простых высказываний К и С. Следовательно, преподаватель рассуждал логически правильно.

 








Дата добавления: 2015-09-11; просмотров: 912;


Поиск по сайту:

При помощи поиска вы сможете найти нужную вам информацию.

Поделитесь с друзьями:

Если вам перенёс пользу информационный материал, или помог в учебе – поделитесь этим сайтом с друзьями и знакомыми.
helpiks.org - Хелпикс.Орг - 2014-2024 год. Материал сайта представляется для ознакомительного и учебного использования. | Поддержка
Генерация страницы за: 0.003 сек.