SW StudyWalks

Logic  /  Logic 149  ·  Atom · ~20 seconds

Modus Ponens

Video not yet published
to the StudyWalks catalog
State

If p then q; p; therefore q. Always valid.

Show

If the check cleared, the order shipped. It cleared. It shipped.

Watch for

The conclusion cannot be false while the premises are true — that's the guarantee, certified by table.