the.com/modus ponens
the logic move where you can't believe the conclusion without dumping a premise
latin namemeans mode that affirms by affirming
ancient rootsStoics catalogued it around 300 BC
the formif P then Q, P, therefore Q
escape hatchdeny a premise to dodge any conclusion
machine logicunderpins automated theorem provers and AI inference