Построение таблиц истинности Если Петр занимается спортом

Зададим переменные простым суждениям:
Если Петр занимается спортом (p), то Петр никогда не болеет (q) .
Петр занимается спортом (р).
Следовательно, Петр не болеет (q).
Символическая запись: ((р q) & р) q.
Таблица истинности:
Порядок действий 1 2 3
р q ((р q) & р q
и и и и и
и л л л и
л и и л и
л л и л и
Формула является законом логики, она – тождественно-истинная