Modus ponens

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 22. tammikuuta 2019 tarkistetusta versiosta . tarkastukset vaativat 2 muokkausta .

Modus ponens ("päättelysääntö"): jos ja ovat johdettavissa olevia kaavoja, niin se on myös johdettavissa. $A$ $A:sta B:hen$ $B$

Merkintä: , missä — mitkä tahansa kaavat. ${\tfrac {A,\;A\to B}{B))$ $A, B$

Päätelmäsääntö, jota yleensä kutsutaan erottelusäännöksi tai hypoteettiseksi syllogismiksi , sallii meidän siirtyä ehdollisen lausuman lausunnosta ja sen perustan lausunnosta (ennakkolause) seurauksen (seurauksen) lausumaan . Esimerkiksi jos jokin on metallia, se johtaa virtaa ( ), sinkki on metallia ( ), niin sinkki johtaa virtaa ( ). Päinvastoin ei aina pidä paikkaansa: nikkeli ja merivesi johtavat sähköä, mutta nikkeli on metalli ja merivesi ei ole metallia. Joten jos se seuraa kohdasta , ja on totta, se voi olla joko totta tai epätosi. $A:sta B:hen$ $A$ $B$ ${\näyttötyyli A\to B}$ $A$ $B$ $A$ $B$ $B$ $A$

Modus ponens on päättelysääntö lauselaskussa . Se on resoluutiosäännön erikoistapaus .

Modus ponens

Katso myös