13. Способ построения таблиц истинности для формул логики высказывания

Формулы р  q  q

В таблице:

1. Под глав. константой формулы будем писать истинностные значения формулы в целом. В этой формуле глав. лог. константой является знак импликации

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

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

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

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

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

(	p	 (q  r))  ((р  q)  (р  r))
	и
	и
	и
	и
	л
	л
	л
	л

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

(	p		(	q	 r))  ((р  q)  (р  r))
	и			и
	и			и
	и			л
	и			л
	л			и
	л			и
	л			л
	л			л

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

(	p		(	q		r	))  ((р  q)  (р  r))
	и			и		и
	и			и		л
	и			л		и
	и			л		л
	л			и		и
	л			и		л
	л			л		и
	л			л		л

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

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

(

p

 (

q



r

))  ((

р



q

)  (

р



r

))

и

и

и

и

и

и

и

и

и

л

и

и

и

л

и

л

и

и

л

и

и

и

л

л

и

л

и

л

л

и

и

л

и

л

и

л

и

л

л

и

л

л

л

л

и

л

л

л

и

л

л

л

л

л

л

л

Несложно завершить построение таблицы истинности:

(

p

 (

q



r

))  ((

р



q

)  (

р



r

))

и

и

и

и

и

И

и

и

и

и

и

и

и

и

л

и

л

л

И

и

и

и

л

и

л

л

и

и

л

и

и

И

и

л

л

и

и

и

и

и

и

л

и

л

И

и

л

л

и

и

л

л

л

и

и

и

и

И

л

и

и

и

л

и

и

л

и

и

л

л

И

л

и

и

и

л

и

л

л

и

л

и

и

И

л

и

л

и

л

и

и

л

и

л

и

л

И

л

и

л

и

л

и

л