⊢ (P → (Q → R)) → (P ∧ Q → R) Using a partial truth table I will find out whether (P → (Q → R)) → (P ∧ Q → R) is a tautology. A sentence of the language of propositional logic is a tautology (logic

First Page		Document Content
Date: 2015-09-03 07:54:10		⊢ (P → (Q → R)) → (P ∧ Q → R) Using a partial truth table I will find out whether (P → (Q → R)) → (P ∧ Q → R) is a tautology. A sentence of the language of propositional logic is a tautology (logic Add to Reading List Source URL: logicmanual.philosophy.ox.ac.uk Download Document from Source Website File Size: 189,74 KB Share Document on Facebook