Validity & Proofs

Constructing and verifying logical arguments

⊢

Modus PonensModus TollensProof ConstructionInference Rules

Practice Exercises

10 exercises • Test your understanding

1/10

∿Everyday

beginner

Modus Ponens: Given P → Q and P, what can we conclude?