Средствами таблично построенной логики высказываний установите

Зададим пропозициональные переменные простым суждениям: «Если я пойду по лестнице (р), то сгорю (q). Если я выпрыгну из окна (r), то разобьюсь (s)».
Символическая запись рассуждения: (р q) ʌ (r s).
Таблица истинности:
р q r s (р q) ʌ (r s)
и и и и и и и
и и и л и л л
и и л и и и и
и и л л и и и
и л и и л л и
и л и л л л л
и л л и л л и
и л л л л л и
л и и и и и и
л и и л и л л
л и л и и и и
л и л л и и и
л л и и и и и
л л и л и л л
л л л и и и и
л л л л и и и
Формула не принимает все значения истины, значит, в рассуждении есть противоречие, и вывод не следует с необходимостью