Modus ponens

Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od verze recenzované 22. ledna 2019; kontroly vyžadují 2 úpravy .

Modus ponens („pravidlo vyvozování“): jestliže a jsou odvoditelné vzorce, pak je také odvoditelné. $A$ $A až B$ $B$

Zápis: , kde — libovolné vzorce. ${\tfrac {A,\;A\to B}{B}}$ $A,B$

Pravidlo inference modus ponens, obvykle nazývané pravidlo separace nebo hypotetický sylogismus , nám umožňuje přejít od konstatování podmíněného tvrzení a konstatování jeho založení (antecedentu) k konstatování následku (následného). Například, pokud je něco kov, pak to vede proud ( ), zinek je kov ( ), pak zinek vede proud ( ). Opak není vždy pravdou: Nikl a mořská voda vedou elektřinu, ale nikl je kov a mořská voda není kov. Pokud tedy vyplývá z , a je pravdivé, pak může být pravdivé nebo nepravdivé. $A až B$ $A$ $B$ $A\to B$ $A$ $B$ $A$ $B$ $B$ $A$

Modus ponens je pravidlo inference ve výrokovém počtu . Jde o zvláštní případ pravidla rozlišení .

Modus ponens

Viz také