Обоснование истинности выражений

[Logick]

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

Чем больше мы учимся, тем больше мы знаем. Чем больше мы знаем, тем больше мы забываем. Чем больше мы забываем, тем меньше мы знаем. Следовательно, чем больше мы учимся, тем меньше мы знаем.

Если здесь:

A = Мы больше учимся
B = Мы больше знаем
C = Мы больше забываем
D = Мы меньше знаем

то можно ли выразить таблицу истинности для всех подобных выражений следующей формулой?

(A -> B) ^ (B -> C) ^ (C -> D) = (A -> D)

В данном случае результатом будет ложь (из B не следует C). Каким образом можно получить финальное значение - 0 или 1 с учетом того, что истина (1) должна получаться только в том случае, если каждый вывод будет истинным?

[Алёша Попович]

Сообщение от Logick

Взаимоисключающее выражение.