Category:Conditional
Jump to navigation
Jump to search
This category contains results about Conditional in the context of Propositional Logic.
Definitions specific to this category can be found in Definitions/Conditional.
The conditional is a binary connective:
- $p \implies q$
defined as:
- If $p$ is true, then $q$ is true.
This is known as a conditional statement.
$p \implies q$ is voiced:
- if $p$ then $q$
or:
- $p$ implies $q$
Subcategories
This category has the following 47 subcategories, out of 47 total.
A
- Affirming the Consequent (1 P)
- Antecedents (empty)
B
- Biconditional Elimination (9 P)
- Biconditional Introduction (6 P)
C
- Clavius's Law (11 P)
- Conditional in terms of NAND (3 P)
- Consequents (empty)
- Constructive Dilemma (6 P)
- Contradictory Antecedent (3 P)
- Contradictory Consequent (3 P)
D
- Denying the Antecedent (2 P)
- Destructive Dilemma (6 P)
E
- Examples of Formal Implication (empty)
F
- Factor Principles (24 P)
H
L
- Law of Identity (14 P)
M
P
- Peirce's Law (13 P)
- Praeclarum Theorema (6 P)
- Principle of Commutation (14 P)
- Principle of Composition (5 P)
- Principle of Dilemma (13 P)
- Proof by Cases (21 P)
R
- Rule of Exportation (15 P)
- Rule of Implication (9 P)
- Rule of Material Equivalence (7 P)
- Rule of Material Implication (19 P)
- Rule of Transposition (45 P)
S
T
- Tautological Antecedent (3 P)
- Tautological Consequent (3 P)
Pages in category "Conditional"
The following 63 pages are in this category, out of 63 total.
C
- 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 in terms of NAND
- Conditional is Equivalent to Negation of Conjunction with Negative
- Conditional is Left Distributive over Conjunction
- Conditional is Left Distributive over Disjunction
- Conditional is not Associative
- Conditional is not Commutative
- Conditional is not Right Self-Distributive
- Conditional/Semantics of Conditional/Examples
- Conjunction and Conditional
- Conjunction is Equivalent to Negation of Conditional of Negative
- Conjunction with Negative is Equivalent to Negation of Conditional
- Constructive Dilemma
- Contradictory Antecedent
- Contradictory Consequent
- Converse of Conditional is Contrapositive of Inverse
- Converse of Conditional is Inverse of Contrapositive