# Category:Conjunction

Jump to navigation
Jump to search

This category contains results about **Conjunction** in the context of **Propositional Logic**.

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

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

- $p \land q$

is defined as:

**$p$ is true***and*$q$ is true.

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

$p \land q$ is voiced:

**$p$ and $q$**.

## Subcategories

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

### A

- Absorption Laws (Logic) (10 P)

### B

### C

- Conjunction with Tautology (3 P)
- Constructive Dilemma (6 P)

### D

- De Morgan's Laws (Logic) (50 P)

### E

- Examples of Conjunctions (2 P)

### F

- Factor Principles (23 P)

### I

### M

- Modus Ponendo Tollens (13 P)

### N

### P

- Praeclarum Theorema (6 P)
- Principle of Composition (4 P)
- Principle of Dilemma (13 P)
- Proof by Cases (21 P)

### R

- Rule of Association (16 P)
- Rule of Commutation (16 P)
- Rule of Conjunction (10 P)
- Rule of Distribution (37 P)
- Rule of Exportation (12 P)
- Rule of Idempotence (14 P)
- Rule of Material Equivalence (7 P)
- Rule of Simplification (20 P)

## Pages in category "Conjunction"

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

### C

- Commutative Law
- Conditional iff Biconditional of Antecedent with Conjunction
- Conjunction Absorbs Disjunction
- Conjunction and Implication
- Conjunction Distributes over Disjunction
- Conjunction Equivalent to Negation of Implication of Negative
- Conjunction has no Inverse
- Conjunction iff Biconditional of Biconditional with Disjunction
- Conjunction implies Disjunction
- Conjunction implies Disjunction of Conjunctions with Complements
- Conjunction in terms of NAND
- Conjunction is Associative
- Conjunction is Commutative
- 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
- Conjunction with Contradiction
- Conjunction with Law of Excluded Middle
- Conjunction with Negative Equivalent to Negation of Implication
- Conjunction with Tautology
- Constructive Dilemma