Осуществите табличным методом проверку умозаключения

Посылка 1:
Если философ является последовательным материалистом (p), то он признает познаваемость мира (q).
Посылка 2:
Если философ признает познаваемость мира (q), то он не является агностиком (r).
Заключение:
Следовательно, если философ не является последовательным материалистом (р), то он агностик (r) .
Записываем логическую форму умозаключения:
((р q) & (q r)) (р r)
Истинностная таблица для анализа умозаключения:
Порядок действий 1 4 2 5 3
p q r р r ((р q) & (q r)) (р r)
и и и л л и л л и и
и и л л и и и и и и
и л и л л л л и и и
и л л л и л л и и и
л и и и л и л л и и
л и л и и и и и л л
л л и и л и и и и и
л л л и и и и и л л
Анализируя таблицу, делаем вывод:
Формула принимает разные значения истинности, значит, формула не является логическим законом