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