# 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 46 subcategories, out of 46 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

- Modus Ponendo Ponens (18 P)

### 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 (16 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