Modus ponens

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

(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.