http://wiki.isofts.kiev.ua/index.php?action=history&feed=atom&title=Modus_Ponens 2026-04-04T11:19:53Z Історія редагувань цієї сторінки в вікі MediaWiki 1.25.3 http://wiki.isofts.kiev.ua/index.php?title=Modus_Ponens&diff=2355&oldid=prev 2018-02-18T22:19:53Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Попередня версія</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Версія за 22:19, 18 лютого 2018</td> </tr><tr><td colspan="2" class="diff-lineno" id="L18" >Рядок 18:</td> <td colspan="2" class="diff-lineno">Рядок 18:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>де |- означає логічний висновок.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>де |- означає логічний висновок.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>'''Виконала Поліщук Дарія'''</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>'''Виконала <ins class="diffchange diffchange-inline">[[</ins>Поліщук Дарія<ins class="diffchange diffchange-inline">]]</ins>'''</div></td></tr> </table>

111 http://wiki.isofts.kiev.ua/index.php?title=Modus_Ponens&diff=2191&oldid=prev 2018-02-18T09:35:22Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Попередня версія</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Версія за 09:35, 18 лютого 2018</td> </tr><tr><td colspan="2" class="diff-lineno" id="L17" >Рядок 17:</td> <td colspan="2" class="diff-lineno">Рядок 17:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>де |- означає логічний висновок.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>де |- означає логічний висновок.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">'''Виконала Поліщук Дарія'''</ins></div></td></tr> <!-- diff cache key my_wiki-wiki0_:diff:version:1.11a:oldid:2063:newid:2191 --> </table>

111 http://wiki.isofts.kiev.ua/index.php?title=Modus_Ponens&diff=2063&oldid=prev 2018-02-16T12:38:55Z

<p>Створена сторінка: Modus Ponens Modus Ponens, коротка форма Modus Ponendo Ponens є правилом висновку в Логіка висловлень|логі...</p> <p><b>Нова сторінка</b></p><div>Modus Ponens <br /> Modus Ponens, коротка форма Modus Ponendo Ponens є правилом висновку в [[Логіка висловлень|логіці висловлювань]]. Це також називається виключенням імплікації, оскільки це правило висновку може бути використане для заміни стану наслідком в аргументах. Модус поненс, також називають гіпотетичним силогізм, дозволяє від затвердження умовного висловлювання і затвердження його підстави перейти до твердженням слідства цього висловлювання: <br /> <br /> Якщо А, то В; <br /> <br /> А<br /> <br /> Звідси B<br /> <br /> або у логіко-операторному записі:<br /> <br /> A→B,<br /> <br /> A<br /> <br /> |-B,<br /> <br /> де |- означає логічний висновок.</div>

111