Если формулы А и А→В выводимы (доказуемы) в исчислении высказываний, то формула В также выводима (доказуема). Схематическая запись этого правила имеет вид:
├А;├А→В (Modus ponens)
├В
«если верно, что из А следует В и А является истинным, то истинно В.»
Правомерность этого правила очевидна: если импликация и посылка истинны, то заключение в импликации может быть только истинным (см. таблицу истинности операции “импликация”).
Пример: (Modus ponens)
Если лекция скучная, то студент спит. Лекция скучная.
Значит: студент спит
Множество правил вывода задано одной схемой, и также бесконечно.
1) Modus tollens (отрицательный марус)
Пример: