Таблицы истинности в логике высказываний

 

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

В параграфе о сложных суждениях четвертой главы были приведены таблицы истинности, являющиеся определением знаков конъюнкции, дизъюнкции, импликации, эквивалентности, которые показывают зависимость истинности сложного суждения от истинности составляющих его простых суждений. Используя их, а также знание о том, что сложные формулы с несколькими логическими терминами состоят из элементарных формул с одним логическим термином[9], мы строим таблицы истинности для сложных формул.

Для того чтобы выяснить, является сложное суждение истинным или ложным, необходимо, во-первых, выделить в нем главный логический термин – тот, который строится в последнюю очередь. Как уже было сказано ранее, существуют более сильные и более слабые логические термины: сильнее всех является термин Ø, за ним идут &, Ú, É, º. В последнюю очередь строится более слабый термин.

Например, имеется формула рÙqÉØp. Для того, чтобы выделить в ней главный логический термин, нужно сначала восстановить в ней скобки, используя знание о сильных и слабых логических терминах

((рÙq)É((Øp))

Сложную формулу рÙq можно представить в виде А, а сложную формулу Øp можно представить в виде В, следовательно, формула ((рÙq)É((Øp)) имеет вид

АÉВ.

Главный логический термин в этой формуле – термин импликации.

Во-вторых, строится таблица истинности для сложной формулы. Истинностные значения формулы в целом в данном случае записываются под главным логическим термином этой формулы, чтобы установить их, вначале необходимо установить истинностные значения частей сложной формулы. В данном случае эти части – формулы Øp и рÙq. Их истинностные значения соответственно пишутся под логическими терминами Ø и Ù. Число строк в таблице истинности определяется по формуле 2ⁿ, где n – число различных пропозициональных переменных p,q,r …, которые входят в формулу, а число 2 указывает на число истинностных значений – это истина или ложь. После того, как установлены истинностные значения частей сложной формулы, устанавливается истинностное значение формулы в целом. Используя таблицы истинности для дизъюнкции и отрицания, мы находим истинностные значения для формул Øp и рÙq, затем – истинностные значения для формулы импликации.

 

 

p q рÙq É Øp
  и и л л   и л и л   и л л л ии л ил л и и

При зна­чении и пропозициональных переменных р и q формула рÙq имеет значение и, при значении и переменной р формула Øp имеет значение л. Если антецедент импликации имеет значение и, а ее консеквент имеет значение л, то импликация также имеет значение л.

Формула рÙqÉØp является ложной.