The conditional or implication is a binary connective:
- $p \implies q$
- If $p$ is true, then $q$ is true.
This is known as a conditional statement.
A conditional statement is also known as a conditional proposition or just a conditional.
$p \implies q$ is voiced:
- if $p$ then $q$
- $p$ implies $q$
This category has the following 43 subcategories, out of 43 total.
- ► Biconditional Elimination (9 P)
- ► Hypothetical Syllogism (1 C, 17 P)
- ► Implication in terms of NAND (3 P)
- ► Self-Distributive Law for Conditional (10 P)
Pages in category "Implication"
The following 58 pages are in this category, out of 58 total.
- Clavius's Law
- Conditional and Converse are not Equivalent
- Conditional and Inverse are not Equivalent
- Conditional iff Biconditional of Antecedent with Conjunction
- Conditional iff Biconditional of Consequent with Disjunction
- Conditional is not Left Self-Distributive
- Conditional/Semantics of Conditional/Examples
- Conjunction and Implication
- Conjunction Equivalent to Negation of Implication of Negative
- Conjunction with Negative Equivalent to Negation of Implication
- Constructive Dilemma
- Contradictory Antecedent
- Contradictory Consequent
- Converse of Conditional is Contrapositive of Inverse
- Converse of Conditional is Inverse of Contrapositive