The difference between Logical connective and Material implication
When used as nouns, logical connective means a truth-valued function such as (the usual suspects): conjunction, disjunction, negation, and material implication, whereas material implication means an implication as defined in classical propositional logic, leading to the truth of such as q \vdash p \to q, to be read as "any proposition whatsoever is a sufficient condition for a true proposition".
check bellow for the other definitions of Logical connective and Material implication
-
Logical connective as a noun (logic):
A truth-valued function such as (the usual suspects): conjunction, disjunction, negation, and material implication.
-
Material implication as a noun (logic):
An implication as defined in classical propositional logic, leading to the truth of such as Q \vdash P \to Q, to be read as "any proposition whatsoever is a sufficient condition for a true proposition".
Examples:
"In the truth table in Figure 1, the first row corresponds to modus ponens, the last row corresponds to modus tollens, the second row could be taken to represent an invalid argument (where P→Q is the argument and P is a premise or conjunction of premises), and the third row helps ensure that an argument of the form <math> P \rightarrow Q, \neg P \vdash \neg Q </math> is invalid."
" ''The following paradox (and also axiom) of material implication: <math> P \rightarrow (Q \rightarrow P) </math> could be taken to mean the monotonicity of entailment, that is, if 'P' is true then no other or new fact 'Q' should be able to arise which would imply the nullification of P's truth, i.e., it could not be the case, for any 'Q', that Q → ¬P."
Compare words:
Compare with synonyms and related words:
- logical connective vs sentence connective
- logical connective vs logical constant
- conjunction vs logical connective
- disjunction vs logical connective
- if and only if vs logical connective
- logical connective vs material implication
- logical connective vs negation
- logical connective vs syncategorematic
- material conditional vs material implication
- material implication vs strict implication
- logical connective vs material implication
- entailment vs material implication