Гипотезы и умозаключения.

[cTarn]

Есть умозаключение:
$\begin{array}{ll} &p \\ &p \to q \\ &q \to r \\ \therefore & \overline{p \wedge q \wedge r}\end{array} $

Выше черты расположены гипотезы, ниже - заключение.

Таблица истинности для посылок и заключения:
$ \begin{array}{|c|c|c|c||c|c|c||c|} \# & p & q & r & p & p \to q & q \to r & p \wedge q \wedge r \\ \hline 1 & T & T & T & T & T & T & T \\ 2 & T & T & F & T & T & F & F \\ 3 & T & F & T & T & F & T & F \\ 4 & T & F & F & T & F & T & F \\ 5 & F & T & T & F & T & T & T \\ 6 & F & T & F & F & T & F & F \\ 7 & F & F & T & F & T & T & T \\ 8 & F & F & F & F & T & T & T \\ & & & & 1 & 2 & 3 & * \\ \end{array}$

В книге написано: "Заметим, что, когда истинны все посылки (что имеет место в случае 1), истинным также является и заключение, а само умозаключение является правильным".

Воспрос следующий: как формируется столбец, помеченный "*"? Это опечатка? Так в книге несколько подобных примеров, в которых вместо 1 пишут 0 и наоборот, и меня это смущает: может я что-то не понимаю.

Хотел оформить как тут

(Оффтоп)

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

[Shtirlic]

cTarn
Насколько я помню, в столбце "*" конъюнкция трех элементов, и она верна, когда верны все три элемента, то есть True должно быть только в первой строчке, в остальных False. Похоже опечатка.