Modus ponens

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2019. január 22-én felülvizsgált verziótól ; az ellenőrzések 2 szerkesztést igényelnek .

Modus ponens ("következtetési szabály"): ha és származtatható formulák, akkor ez is származtatható. $A$ $A-tól B-ig$ $B$

Jelölés: , ahol — bármilyen képlet. ${\tfrac {A,\;A\to B}{B))$ $A,B$

A következtetési modus ponens szabály, amelyet általában az elválasztás szabályának vagy hipotetikus szillogizmusnak neveznek , lehetővé teszi, hogy a feltételes állítás kijelentésétől és az alapja (előzménye) kijelentésétől a következmény (következmény) kijelentése felé haladjunk. Például, ha valami fém, akkor áramot ( ), a cink fém ( ), akkor a cink áramot ( ) vezet. Ennek az ellenkezője nem mindig igaz: a nikkel és a tengervíz vezeti az áramot, de a nikkel fém, a tengervíz pedig nem fém. Tehát, ha ebből következik , és igaz, akkor lehet igaz vagy hamis. $A-tól B-ig$ $A$ $B$ $A\to B$ $A$ $B$ $A$ $B$ $B$ $A$

A Modus ponens egy következtetési szabály a propozicionális számításban . Ez a felbontási szabály speciális esete .

Modus ponens

Lásd még