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