Symbolic Logic
Conjunction (AND statements)
A conjunction is a compound statement formed by combining two statements using the word and . In symbolic logic, the conjunction of and is written .
A conjunction is true only if both the statements in it are true. The following truth table gives the truth value of depending on the truth values of and .
Disjunction (OR statements)
A disjunction is a compound statement formed by combining two statements using the word and . In symbolic logic, the disjunction of and is written .
A disjunction is true if either one or both of the statements in it is true. The following truth table gives the truth value of depending on the truth values of and .
Negation (NOT statements)
The negation of a statement is not .
The symbol or is used to denote negation.
If is true, then is false, and vice versa.