Logical Operations and Truth Tables

A mathematical sentence is a sentence that states a fact or contains a complete idea. A sentence that can be judged to be true or false is called a statement.
The statement can be true (T) or false (⊥).
P, Q, R,... statements
Example:
This girl is beatiful. - not a statement.
Today is Wensday. - statement.
Negation (¬) (not)
P
|
¬P
|
Disjunction (∨) (or)
P
|
Q
|
P∨Q
|
Conjunction (∧) (and)
P
|
Q
|
P∧Q
|
Implication (⇒) (if ..., than...)
P
|
Q
|
P⇒Q
|
Equality (⇔) (biconditional)
P
|
Q
|
P⇔Q
|
Keywords: logic, true, false, negation, disjunction, conjunction, implication, equality