In mathematics, conjunction and disjunction are fundamental concepts used in logic to combine statements, also known as propositions.
A conjunction is a compound statement formed by connecting two statements with the word "and," symbolized by the symbol ∧. On the other hand, a disjunction is a compound statement that combines two statements with the word "or," represented by the symbol ∨.
Conjunction
In mathematics, a conjunction is a logical operation that connects two statements (propositions) and is only true if both statements are true. It is often represented by the symbol ∧ (AND). The conjunction of two statements P and Q is written as P∧Q, and it means "both P and Q are true."
For example, consider the following statements:
- P: "It is raining."
- Q: "The ground is wet."
The conjunction P∧Q would mean "It is raining and the ground is wet."
Truth Table for Conjunction
The truth table for conjunction is as follows:
| P | Q | P∧Q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
In this table:
- T stands for True.
- F stands for False.
As shown, the conjunction P∧Q is only true when both P and Q are true.
Examples of Conjunction
Example 1:
Let P and Q be two statements:
- P: "3 is a prime number."
- Q: "5 is an odd number."
The conjunction P∧Q is the statement: "3 is a prime number and 5 is an odd number."
Since both P and Q are true, the conjunction P∧Q is true.
Example 2:
Let A and B be two sets:
- P: "An element x belongs to set A."
- Q: "An element x belongs to set B."
The conjunction P∧Q is the statement: "The element x belongs to both set A and set B."
This means x is in the intersection of sets A and B. If x is only in A or only in B, the conjunction is false.
Disjunction
In mathematics, a disjunction is a logical operation that connects two statements (propositions) and is true if at least one of the statements is true. It is often represented by the symbol ∨ (OR). The disjunction of two statements P and Q is written as P∨Q, and it means "either P is true, or Q is true, or both are true."
For example, consider the following statements:
- P: "It is raining."
- Q: "The ground is wet."
The disjunction P∨Q would mean "It is raining or the ground is wet."
Truth Table for Disjunction
The truth table for disjunction is as follows:
| P | Q | P∨Q |
|---|---|---|
| T | T | T |
| T | F | T |
| F | T | T |
| F | F | F |
In this table:
- T stands for True.
- F stands for False.
As shown, the disjunction P∨Q is false only when both P and Q are false. If either P or Q is true (or both are true), the disjunction is true.
Examples of Disjunction
Example 1:
Let P and Q be two statements:
- P: "4 is an even number."
- Q: "5 is a prime number."
The disjunction P∨Q is the statement: "4 is an even number or 5 is a prime number."
Since both P and Q are true, the disjunction P∨Q is true.
Example 2:
Let P and Q be:
- P: "If it is sunny, then I will go for a walk."
- Q: "If it is cloudy, then I will read a book."
The disjunction P∨Q is the statement: "If it is sunny, then I will go for a walk or if it is cloudy, then I will read a book."
Differences Between Conjunction and Disjunction
The key differences between conjunction and disjunction in mathematical logic are listed in the following table:
Conjunction (P∧Q) | Disjunction (P∨Q) |
|---|---|
Represented as ∧ (AND) | Represented as ∨ (OR) |
True if both P and Q are true. | True if at least one of P or Q is true. |
Example: | Example: |
Intersection (A∩B): Elements common to both | Union (A∪B): Elements in either or both |
P∧Q: Requires both conditions to be true. | P∨Q: Requires only one condition to be true. |
Both P and Q must be false for conjunction to be false. | Disjunction is false only when both P and Q are false. |