Rule of Material Implication/Also known as
Jump to navigation
Jump to search
Rule of Material Implication: Also known as
The Rule of Material Implication is sometimes seen referred to as the definition of material implication, as some sources use this rule as a definition of the conditional, so as to justify its semantics.
A material implication is sometimes expressed in the amplified form implication in material meaning.
Sources
- 1946: Alfred Tarski: Introduction to Logic and to the Methodology of Deductive Sciences (2nd ed.) ... (previous) ... (next): $\S \text{II}.8$: Implication or Conditional Sentence
- 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): $\S 2.3$: Basic Truth-Tables of the Propositional Calculus
- 1982: P.M. Cohn: Algebra Volume 1 (2nd ed.) ... (previous) ... (next): Chapter $1$: Sets and mappings: $\S 1.1$: The need for logic