Алгоритм проверки правильности рассуждений

Логическое следствие

Табличный способ приведения к СКНФ

Табличный способ приведения к СДНФ

Используя таблицу истинности, можно составить СДНФ для ПФ. Для этого надо выполнить следующую последовательность шагов.

Шаг 1. Составить таблицу истинности данной ПФ.

Шаг 2. Рассмотреть те строки, в которых формула принимает истинностное значение 1. Каждой такой строке поставить в соответствие элементарную конъюнкцию, причем переменная, принимающая значение 1, входит в нее без отрицания, а 0 – с отрицанием.

Шаг 3. Образовать дизъюнкцию всех полученных элементарных конъюнкций, которая и составит СДНФ.

Используя таблицу истинности, можно составить СКНФ для ПФ. Для этого надо выполнить следующую последовательность шагов.

Шаг 1. Составить таблицу истинности данной ПФ.

Шаг 2. Рассмотреть те строки, в которых формула принимает истинностное значение 0. Каждой такой строке поставить в соответствие элементарную дизъюнкцию, причем переменная, принимающая значение 1, входит в нее с отрицанием, а 0 – без отрицания.

Шаг 3. Образовать конъюнкцию всех полученных элементарных дизъюнкций, которая и составит СКНФ.

Пример.Привести ПФ к совершенным нормальным формам. Для приведения к совершенным нормальным формам воспользуемся алгоритмами 4.7 и 4.8. Построим таблицу истинности и на ее основе составим СДНФ и СКНФ.

X	Y	Z		Элементарные конъюнкции	Элементарные дизъюнкции

СДНФ:

СКНФ:

() () () ()

Формула X алгебры высказываний называется логическим следствием формул X ₁, X ₂,..., X_n, если импликация X ₁Ù X ₂ Ù...Ù X_n ® X является тавтологией. В этом случае говорят, что из X ₁, X ₂,..., X_n следует X и этот факт записывают в виде

.

Рассуждения называются правильными, если из конъюнкции посылок следует заключение. Для определения правильности рассуждений по схеме требуется установить тождественную истинность формулы X ₁, X ₂,..., X_n ® X.

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

– условно-категорический силлогизм;

– условно-категорический силлогизм;

– гипотетический силлогизм.

Проверка правильности рассуждений или проверка того, что данная формула X является логическим следствием формул X ₁, X ₂,..., X_n осуществляется по следующему алгоритму.

Шаг 1. Образовать конъюнкцию посылок X ₁, X ₂, …, X_n.

Шаг 2. Составить импликацию X ₁ Ù X ₂ Ù...Ù X_n ® X.

Шаг 3. Полученную формулу исследовать на тождественную истинность: если она является тождественно истинной, то X является логическим следствием формул X ₁, X ₂,..., X_n, иначе – не является.

Пример. Если два числа равны, то, как известно, их модули равны. Данные числа не равны. Можно ли из этого заключить, что их модули не равны?

Рассмотрим следующие элементарные высказывания: X = «Два числа равны», Y = «Модули чисел равны». Тогда высказыванию «Если два числа равны, то, как известно, их модули равны» соответствует формула X ® Y, высказыванию «Данные числа не равны» –, высказыванию «Модули чисел не равны» –. Заметим, что вопрос задачи сводится к проверке правильности рассуждений, то есть является ли логическим следствием посылок и X ® Y:

.

Составив таблицу истинности формулы (X®Y)Ù ®`, можно увидеть, что она не является тождественно истинной, следовательно, рассуждения не являются правильными, и утверждение «Модули чисел не равны» не верно.

С помощью СКНФ можно решить более общую задачу построения всех логических следствий из данных посылок.

Дата добавления: 2014-01-11