Close this window

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 p and q 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 p and q.

 

Disjunction (OR statements)

A disjunction is a compound statement formed by combining two statements using the word and. In symbolic logic, the disjunction of p and q 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 p and q.

 

Negation (NOT statements)

The negation of a statement p is not p.

The symbol ~ or is used to denote negation.

If p is true, then ~p is false, and vice versa.