Модус поненс
Мо́дус по́ненс (лат. modus ponens), термин логики, обозначающий правило вывода и соответствующий ему логический закон. Модусом называется разновидность формы рассуждения. Формула модуса поненса выглядит так: «Если А, то Б. А. Следовательно, Б». Например, «...если сегодня вторник, то Олег пойдет на работу. Сегодня вторник. Следовательно, Олег пойдёт на работу».