Report copyright - Logic and Quantifiers - Cornell University · Propositional Logic Inference rules – Modus ponens: If P is true, and P implies Q, then Q must be true Cornerstone of direct proofs
Please pass captcha verification before submit form
Please pass captcha verification before submit form