Логика для юристов - [33]

Найдем главную логическую константу формулы  p  q  p  q.

Восстановим скобки в этой формуле:

(( p  q)  (р  q)).

Эту формулу единственным образом можно представить в форме А  В. Ее главным знаком является знак импликации. Можно представить в виде “дерева” процесс построения этой формулы:

р				q
i				^
^р			Р
1^		^	^	^
Ьр	V			(pn^q)
	2			4
	^			i

p q

↓ ↓

 p q p  q

1↓ ↓ ↓ 3↓

( p  q)(p q)

24

↓ ↓

(( p  q)(p q))

5

Стрелки показывают, что из формул (или формулы), от которых они направлены, образована формула, к которой они направлены. Цифры под логическими константами указывают порядковый номер константы по построению формулы. Последняя по построению константа имеет номер 5.

Упражнение 5

Найдите главную логическую константу в каждой из следующих формул.

1. (р  q)  r  р r;

2. р  q  r р ( q r);

3. ((p q)  q)  q;

4.  (р р).

Построим таблицу истинности для формулы р q  q. В таблице под главной константой формулы будем писать истинностные значения формулы в целом. В этой формуле главной логической константой является знак импликации. Чтобы установить истинностные значения всей формулы, необходимо установить истинностные значения подформул, составляющих ее, т.е. формул р q и  q. Истинностные значения этих формул будем соответственно писать под логическими константами  и . В результате получим таблицу истинности:

p	q	р q  q
и	и	илл
и	л	иии
л	и	и л л
л	л	л и и

Проанализируем первую строку таблицы. В первой строке пропозициональные переменные р и q имеют значение и. Чтобы установить истинностное значение формулы в целом, следует установить истинностные значения подформул р q и  q . При значении и переменных р и q р q имеет значение и, при значении и переменной q формула  q имеет значение л, что видно из таблиц истинности для дизъюнкции и отрицания, приведенных выше.

p	q	р q  q
и	и	ил

Оказывается, антецедент формулы в целом, являющейся импликацией, имеет значение и, а консеквент — л. В приведенной выше таблице для импликации в этом случае импликация имеет значение л:

p	q	р q  q
и	и	илл

Можно упростить построение таблиц истинности, если значения пропозициональных переменных писать под переменными, входящими в саму формулу.

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

Число строк в таблице истинности определяется по следующей формуле: число строк таблицы = 2ⁿ, где п — число различных пропозициональных переменных, входящих в формулу, а число 2 показывает число истинностных значений (и, л).

Учитывая сказанное, построим таблицу истинности для формулы:

(р  (q  r))  ((р  q)  (р  r)).

Формула содержит три различные переменные. Следовательно, число строк в таблице = 2ⁿ, 2³=8. Разделим число строк пополам и напишем под первой пропозициональной переменной (первой слева) в столбик четыре раза и и четыре раза л:

(р  (q  r))  ((р  q)  (р  r)).

и

и

и

и

л

л

л

л

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

(р  (q  r))  ((р  q)  (р  r)).

и и

и ___и_______________________

и л

и___ л_______________________

л и

л ___и________________________

л л

л л

Разделим, далее, половину каждой половины пополам и под третьей по вхождению слева переменной, отличной от первых двух переменных, напишем и, если эта часть (строка) нечетная при пересчете сверху вниз, или л, если часть (строка) четная:

и

(р  ( q  r))  ((р  q)  (р  r)).

и и __и_____________________

и____и__ л_____________________

и

и л ___и_____________________

и____л__ л_____________________

л и __и_____________________

л____и___л_____________________

л л___и_____________________

л л л

Деление производится до тех пор, пока полученная в результате деления часть не будет состоять из одной строки.

Одна и та же переменная может входить в формулу несколько раз. В одной и той же строке под всеми вхождениями одной и той же переменной пишется одно и то же значение, т.е. для завершения построения таблицы истинности следует под каждым вторым (третьим и т.д.) вхождением переменной написать те же значения, что и под первым вхождением этой переменной.

(р  (q  r)) ((р  q) (р  r)).

ии___и___и___и___и___и

и___и___л___и___и___и___л

ил___и___и___л___и___и

и___л___л___и___л___и___л

ли___и___л___и___л___и

л___и___л___л___и___л___л