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

Реферат.Справочник
Решенные задачи по логике
Осуществите табличным методом проверку умозаключения

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

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Осуществите табличным методом проверку умозаключения: Если философ является последовательным материалистом, то он признает познаваемость мира. Если философ признает познаваемость мира, то он не является агностиком. Следовательно, если философ не является последовательным материалистом, то он агностик.

Решение

Потяни, чтобы посмотреть

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

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу