# 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 28 subcategories, out of 28 total.

### A

### B

### C

### D

### E

### F

### L

### M

### N

### P

### R

## Pages in category "Disjunction"

The following 57 pages are in this category, out of 57 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 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