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 45 subcategories, out of 45 total.
- Biconditional Elimination (9 P)
- Examples of Formal Implication (empty)
- Hypothetical Syllogism (1 C, 17 P)
- Implication in terms of NAND (3 P)
Pages in category "Implication"
The following 61 pages are in this category, out of 61 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 Associative
- Conditional is not Commutative
- Conditional is not Right 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