Модус поненс, называемый иногда гипотетическим силлогизмом, позволяет от утверждения условного высказывания и утверждения его основания перейти к утверждению следствия этого высказывания:
Если А, то В; А
В
Здесь высказывания «если А, то В» и «А» – посылки, высказывание «В» – заключение. Горизонтальная черта стоит вместо слова «следовательно». Другая запись:
Строгий мир логики с практическими упражнениями
·
Александр Ивин
