Определите вид дилеммы сделайте вывод постройте его схему и проверьте правильность вывода

Условная посылка 1:
Чтобы попасть на этой неделе в Красноярск (р), надо приобрести билет на самолет (q).
Условная посылка 1:
Чтобы попасть на этой неделе в Красноярск (р), надо приобрести билет на поезд (r) .
Категорическая посылка:
Но достать билет на самолет (не-q) или на поезд (не-r) не удалось.
Заключение:
На этой неделе в Красноярск не попасть (не-р).
Это простая деструктивная дилемма:
((р→q) (р→ r) (q r)) → р.
Проверка при помощи таблицы истинности:
Порядок действий 1 3 2 5 4 6
p q r р q r ((р→q) (р→ r) (q r)) → р
и и и л л л и и и л л и
и и л л л и и л л л и и
и л и л и л л л и л и и
и л л л и и л л л л и и
л и и и л л и и и л л и
л и л и л и и и и и и и
л л и и и л и и и и и и
л л л и и и и и и и и и
Формула принимает все значения истинности, значит, она является логическим законом