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
PQ

Conjunction () (and)

P
Q
PQ

Implication () (if ... than...)

P
Q
PQ

Equality () (if and only if)

P
Q
PQ
Keywords: logic, true, false, negation, disjunction, conjunction, implication, equality