PARADOXES OF THE MATERIAL IMPLICATION
PARADOXES OF THE MATERIAL IMPLICATION

Summary/Abstract: The paradoxes of the material implication are some valid formulas of the Propositional Logic containing the material implication symbol so that their interpretations are incorrect reasonings, despite their validity. This study shows that the paradoxes disappear whether the material implication is interpreted by deduction only when its terms are universally quantified. More than that, in order to represent the truth relationships between propositions we need of a propositional calculus with quantified propositional variables. On the other hand, it is developed a decision method for the formulas with quantified propositional variables.

• Details
• Contents