Modus ponens
(Pravidlo) modus ponens alebo (Pravidlo) modus ponendo ponens alebo pravidlo odlúčenia je nasledujúca schéma usudzovania: ((A ⇒ B) Λ A ) ⇒ B.
Vyjadrené slovami: Ak platí "z A vyplýva B" a súčasne vieme, že platí A, tak platí B. Inými slovami: Ak sme odvodili vetu 'ak A, tak B' a vetu 'A', tak možno odvodiť aj vetu 'B'. Ešte inými slovami: Modus ponens je odvodzovacie pravidlo, ktoré spočíva v tom, že keď medzi riadkami dôkazu máme implikáciu a jej antecedent, tak k riadkom dôkazu môžeme pripojiť konzekvent danej implikácie, čiže: "Ak A implikuje B a zároveň je známe, že A je pravdivé, tak aj B je pravdivé".
Príklad: Ak platí "ak mám peniaze, tak si kúpim auto" a peniaze mám, tak si kúpim auto.
Táto schéma usudzovania je z hľadiska logiky bezchybná, je teda logická. Je to zďaleka najbežnejší z logických spôsobov usudzovania anatomicky moderného človeka a v matematike vôbec.
Externé odkazy
[upraviť | upraviť zdroj]- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.