# Category:Disjunction

Jump to navigation
Jump to search

This category contains results about **the disjunction operator of propositional logic**.

Definitions specific to this category can be found in Definitions/Disjunction.

**Disjunction** is a binary connective written symbolically as $p \lor q$ whose behaviour is as follows:

- $p \lor q$

is defined as:

**Either $p$ is true***or*$q$ is true*or possibly both*.

This is called the **disjunction** of $p$ and $q$.

$p \lor q$ is voiced:

**$p$ or $q$**

## Subcategories

This category has the following 30 subcategories, out of 30 total.

### A

- Absorption Laws (Logic) (10 P)

### B

### C

- Constructive Dilemma (6 P)

### D

- De Morgan's Laws (Logic) (50 P)
- Destructive Dilemma (6 P)
- Disjunction with Tautology (3 P)

### E

- Examples of Disjunctions (2 P)

### F

- Factor Principles (23 P)

### L

### M

- Modus Tollendo Ponens (20 P)

### N

### P

- Principle of Composition (4 P)
- Proof by Cases (21 P)

### R

- Rule of Addition (23 P)
- Rule of Association (16 P)
- Rule of Commutation (16 P)
- Rule of Distribution (37 P)
- Rule of Idempotence (14 P)
- Rule of Material Implication (16 P)

## Pages in category "Disjunction"

The following 58 pages are in this category, out of 58 total.

### C

- Commutative Law
- Conditional iff Biconditional of Consequent with Disjunction
- Conjunction Absorbs Disjunction
- Conjunction Distributes over Disjunction
- Conjunction iff Biconditional of Biconditional with Disjunction
- Conjunction implies Disjunction
- Conjunction implies Disjunction of Conjunctions with Complements
- Conjunction is Left Distributive over Disjunction
- Conjunction of Disjunction with Negation is Conjunction with Negation
- Conjunction of Disjunctions Consequence
- Conjunction of Disjunctions with Complements implies Disjunction
- Constructive Dilemma

### D

- De Morgan's Laws (Logic)
- Destructive Dilemma
- Disjunction Absorbs Conjunction
- Disjunction and Implication
- Disjunction Distributes over Conjunction
- Disjunction has no Inverse
- Disjunction in terms of NAND
- Disjunction in terms of NOR
- Disjunction is Associative
- Disjunction is Commutative
- Disjunction is Left Distributive over Conjunction
- Disjunction is Right Distributive over Conjunction
- Disjunction of Conditional and Converse
- Disjunction of Conjunctions
- Disjunction of Implications
- Disjunction with Contradiction
- Disjunction with Tautology