Відмінності між версіями «Modus Ponens»!!!
Матеріал з wiki
Onpage keywords chain search with * wildcard.
Example: sear* my nam* will find Searh my names and search my Name
111 (обговорення • внесок) |
111 (обговорення • внесок) |
||
| Рядок 18: | Рядок 18: | ||
де |- означає логічний висновок. | де |- означає логічний висновок. | ||
| − | '''Виконала Поліщук Дарія''' | + | '''Виконала [[Поліщук Дарія]]''' |
Поточна версія на 01:19, 19 лютого 2018
Modus Ponens Modus Ponens, коротка форма Modus Ponendo Ponens є правилом висновку в логіці висловлювань. Це також називається виключенням імплікації, оскільки це правило висновку може бути використане для заміни стану наслідком в аргументах. Модус поненс, також називають гіпотетичним силогізм, дозволяє від затвердження умовного висловлювання і затвердження його підстави перейти до твердженням слідства цього висловлювання:
Якщо А, то В;
А
Звідси B
або у логіко-операторному записі:
A→B,
A
|-B,
де |- означає логічний висновок.
Виконала Поліщук Дарія
Developed by Інститут Програмних Систем
