Формализация рассуждений. Правильные рассуждения

Рассуждение – это построение нового высказывания D на основании уже имеющихся высказываний P₁, P₂, ... , P_n. Высказывания P₁, P₂, ... , P_n называются посылками, а высказывание D – заключением.

Определение 1.6. Рассуждение называется правильным, если из конъюнкции посылок следует заключение, т. е. формула P₁& P₂& ... & P_n É D тождественно-истинна.

Таким образом, если все посылки истинны (т. е. их конъюнкция равна И), то истинное заключение соответствует правильному рассуждению, а ложное заключение – неправильному. При ложности хотя бы одной из посылок независимо от истинностного значения заключения рассуждение будет правильным.

Схематически рассуждение изображается следующим образом:

P₁, P₂, ... , P_n

D

Пример 1.22.

Проверить правильность следующих рассуждений:

а) “Если книга сложная, то она неинтересная. Эта книга интересная. Значит, она несложная”.

Введем высказывания: А = “Книга сложная”; B = “Книга интересная”. Схема рассуждения имеет вид:

А É ØB, B

ØА

Докажем, что формула ((А É ØB) & B) É ØА является тождественно-истинной. Приведем эту формулу к КНФ и воспользуемся теоремой 1.1:

((А É ØB)&B) É ØА º Ø((А É ØB)& B) Ú ØA º (A & B) ÚØBÚ ØA º (ØА Ú ØB Ú A)&(ØAÚ ØB Ú B) º И.

Значит, рассуждение правильное.

б) “Если будет хорошая погода, я пойду гулять. Если будет плохая погода, я буду читать книгу. Погода будет хорошая. Следовательно, я не буду читать книгу”.

Введем высказывания: А = “Будет хорошая погода”; B = “Я пойду гулять”. C = “Я буду читать книгу”. Схема рассуждения имеет вид:

А É B, ØA É С, A_.

ØС

Найдем КНФ формулы ((А É B) & (ØA É С) & A) É ØC:

((А É B) & (ØA É С) & A) É ØC º Ø((А É B) & (ØA É С) & A) Ú ØC º Ø(А É B) Ú Ø(ØA É С) ÚØA) Ú ØC º А & ØB Ú ØA & ØС ÚØA Ú ØC º А & ØB Ú ØA Ú ØC º (А Ú ØA Ú ØC) & (ØB Ú ØA Ú ØC) º ØB Ú ØA Ú ØC.

Полученная КНФ нашей формулы не содержит одновременно какой-либо переменной и ее отрицания. Следовательно, формула не является тождественно-истинной, а рассуждение не является правильным.

Контрольные вопросы к теме 2

1. Как называется сложное высказывание,

а) истинное тогда и только тогда, когда все составляющие его простые высказывания истинны?

б) истинное тогда и только тогда, когда составляющие его простые высказывания либо вместе истинны, либо вместе ложны?

в) истинное тогда и только тогда, когда истинно хотя бы одно из составляющих его простых высказываний?

г) ложное тогда и только тогда, когда первое простое высказывание истинно, а второе ложно?

Варианты ответа: 1 – дизъюнкция; 2 – конъюнкция; 3 – импликация; 4 – эквивалентность.

2. Какое из следующих утверждений верно:

а) Рассуждение является правильным, если из заключения следует конъюнкция посылок.

б) Рассуждение является правильным, если из конъюнкции посылок следует заключение.

в) Рассуждение является правильным, если конъюнкция посылок и заключения является тождественно-истинной формулой.

3. Какие из следующих утверждений верны:

а) Формула является тождественно-истинной тогда и только тогда, когда в ее КНФ в любую элементарную дизъюнкцию одновременно входят какая-либо переменная и ее отрицание.

б) Формула является тождественно-истинной тогда и только тогда, когда в ее ДНФ в любую элементарную конъюнкцию одновременно входят какая-либо переменная и ее отрицание.

в) Формула является тождественно-ложной тогда и только тогда, когда в ее КНФ в любую элементарную дизъюнкцию одновременно входят какая-либо переменная и ее отрицание.

г) Формула является тождественно-ложной тогда и только тогда, когда в ее ДНФ в любую элементарную конъюнкцию одновременно входят какая-либо переменная и ее отрицание.

ТЕМА 2. ЛОГИКА ПРЕДИКАТОВ