Условие:
Если Петр занимается спортом, то Петр никогда не болеет. Петр занимается спортом, следовательно, он не болеет.

Если Петр занимается спортом, то Петр никогда не болеет. Петр занимается спортом, следовательно, он не болеет.
Зададим переменные простым суждениям:
Если Петр занимается спортом (p), то Петр никогда не болеет (q).
Петр занимается спортом (р).
Следовательно, Петр не...