Среди правильно построенных формул в зависимости от их истинностного значения различают тождественно истинные, тождественно ложные и выполнимые формулы
Тождественно истинными называют формулы, принимающие значения истины при любых— истинных или ложных—значениях составляющих их пропозициональных переменных. Такие формулы представляют собой законы логики. Тождественно ложными называют формулы, принимающие значение ложности при любых — истинных или ложных — значениях пропозициональный переменных. Выполненными называют формулы, которые могут принимать значения истинности или ложности в зависимости от наборов значений составляющих их пропозициональных переменных. Табличное построение предполагает определение логических отношений между формулами. Существенное значение для анализа рассуждений имеет отношение логического следования (символ |—). которое определяется следующим образом. Из Ai,..., An как посылок логически следует В как заключение, если при истинности каждого Ai,..., An истинным является и В. В языке-объекте отношение следования адекватно выражается импликацией. Значит, если Ai,..., Ап г-В> то формула, представляющая собой импликацию вида (Ai л ai л... л An) —> В, должна быть тождественной истинной. Табличное носгроение логики высказываний позволяет определять логические отношения между высказываниями (см. гл. V § 4) и проверять правильность умозаключений, используя приведенный выше критерий. В качестве примера предлагаем провести табличным способом проверку правильности рассуждения формулы (р —> q))- (1q —> 1p). Заменив знак логическою следования между посылкой и заключением па импликацию и построив таблицу для полученной формулы, видим, что она является тождественно истинной. Значит, рассуждение является правильным. Если в рассуждении содержится более трех переменных, то строить полную таблицу для проверки его правильности затруднительно и тогда используют сокращенный метод проверки, рассуждая от противного. Поскольку при правильном рассуждении формула вида (Ai л... л An) —> В должна быть тождественно истинной, посмотрим, не может ли она при каком-то наборе значений неременных оказаться ложной. Допустим, что может. Если из этого допущения получим какое-нибудь противоречие, то такое допущение будет неверным, а проверяемое рассуждение — правильным. Если же из допущения не получаем противоречия, то обнаружим набор значений переменных, при котором формула ложна, т.е. тот набор, который опровергает проверяемое рассуждение. Логика высказываний как исчисление — это прежде всего так называемая система натурального вывода (СНВ). Аппаратом в ней служат правила вывода, каждое из которых является какой-нибудь элементарной формой умозаключения. Переходя по этим правилам от посылок или некоторых допущений к новым формулам, постепенно доходят до заключения. Вывод из посылок осуществлен, если удалось элиминировать все сделанные допущения. Таким образом, поавыводом формулы В (заключения) из формул Ai,..., А„ (посылок) имеется в виду последовательность формул, каждая из которых является либо посылкой, либо допущением, либо получается по правилам вывода из предыдущих, и последняя формула этой последовательности есть формула В, а все допущения при этом элиминированы. Правила СНВ позволяют оперировагь со всеми связками, имеющимися в алфавите языка. Они делятся на правила введения (в) и правила исключения (и) связок. Конъюнкция: Дизъюнкция: А, В АлВ А AvB Импликация: Отрицание: Эквиваленция: AvB А В-»А
НА ' А • А=В (А-> В)л(В-»А) ' Кроме этих прямых правил получения новых строк вывода, в СНВ приняты непрямые правила, определяющие стратегию построения вывода. Например, если нужно вывести из посылок формулу вида импликации (xi —> (xz —>...(xn-i -> Хп))), то после выписывания посылок выписываются в качестве допущений все антецеденты заключения, начиная с антецедента главного знака импликации, т.е. xi, •m, хз,..., Xn-i. Г, А-> В Если при этом удастся вывести Хп, то по непрямому правилу -> в, ^собираем
|
