Modus Ponens!!!

Modus Ponens Modus Ponens, коротка форма Modus Ponendo Ponens є правилом висновку в логіці висловлювань. Це також називається виключенням імплікації, оскільки це правило висновку може бути використане для заміни стану наслідком в аргументах. Модус поненс, також називають гіпотетичним силогізм, дозволяє від затвердження умовного висловлювання і затвердження його підстави перейти до твердженням слідства цього висловлювання:

Якщо А, то В;

А

Звідси B

або у логіко-операторному записі:

A→B,

A

|-B,

де |- означає логічний висновок.

Developed by Інститут Програмних Систем