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 (3 P)
F
- Factor Principles (24 P)
M
- Modus Ponendo Tollens (13 P)
N
P
- Praeclarum Theorema (6 P)
- Principle of Composition (5 P)
- Principle of Dilemma (13 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 (15 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
- Conditional is Equivalent to Negation of Conjunction with Negative
- Conditional is Left Distributive over Conjunction
- Conjunction Absorbs Disjunction
- Conjunction and Conditional
- Conjunction Distributes over Disjunction
- 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 Equivalent to Negation of Conditional of Negative
- 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 is Equivalent to Negation of Conditional
- Conjunction with Tautology
- Constructive Dilemma