Modus ponens

Meghatározás

A modus ponens a logikában használt érvvezetési szabály, amely azt mondja ki, hogy ha egy állítás igaz, és az ahhoz kapcsolódó egy másik állítás is igaz, akkor az első állítás következménye is igaz. Formálisan: Ha \( P \) igaz, és \( P \Rightarrow Q \) igaz, akkor \( Q \) is igaz.

Szinonimák

• logikai következtetés
• érv
• feltételes állítás

Rokon értelmű szavak

• következtetés
• premissza
• dikotómia

Ellentétes értelmű szavak

• modus tollens
• tagadás
• tévedés

Példamondatok

• Ha esik az eső, akkor vizes lesz a föld. Esik az eső, tehát vizes a föld.
• Ha a hőmérséklet 0 °C alatt van, akkor víz fagy. A hőmérséklet 0 °C alatt van, tehát a víz megfagy.
• Ha az autó üzemanyaggal van tele, akkor el tudunk jutni a városba. Az autó üzemanyaggal van tele, tehát eljutunk a városba.
• Ha a diákok tanulnak, akkor jó jegyeket kapnak. A diákok tanulnak, ezért jó jegyeket kapnak.