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 ( $\neg$ ) (not)

$P$	$\neg P$
$⊤$	$⊥$
$⊥$	$⊤$

Disjunction ( $\lor$ ) (or)

$P$	$Q$	$P \lor Q$
$⊤$	$⊤$	$⊤$
$⊤$	$⊥$	$⊤$
$⊥$	$⊤$	$⊤$
$⊥$	$⊥$	$⊥$

Conjunction ( $\land$ ) (and)

$P$	$Q$	$P \land Q$
$⊤$	$⊤$	$⊤$
$⊤$	$⊥$	$⊥$
$⊥$	$⊤$	$⊥$
$⊥$	$⊥$	$⊥$

Implication ( $\Rightarrow$ ) (if ... than...)

$P$	$Q$	$P \Rightarrow Q$
$⊤$	$⊤$	$⊤$
$⊤$	$⊥$	$⊥$
$⊥$	$⊤$	$⊤$
$⊥$	$⊥$	$⊤$

Equality ( $\Leftrightarrow$ ) (if and only if)

$P$	$Q$	$P \Leftrightarrow Q$
$⊤$	$⊤$	$⊤$
$⊤$	$⊥$	$⊥$
$⊥$	$⊤$	$⊥$
$⊥$	$⊥$	$⊤$

Keywords: logic, true, false, negation, disjunction, conjunction, implication, equality

General Information
Symbols, and relationships in mathematics
Number theory
Number Sets
Prime Numbers - Prime Factorization
Divisibility Rules
Greatest Common Divisor (factor) - Least Common Multiple
Operations with rational numbers
Binomial theorem
Binomial theorem
Combinatorics
Permutations
Combination
Variation
Sets
Operations on Sets
Cardinality of sets
Fundamental laws of set algebra
Cartesian product
Relation
Logic
Logical Operations and Truth Tables
Properties of Logical Operators
Graph Theory
Graph Theory - definitions, relationships

Logical Operations and Truth Tables

Negation (¬) (not)

Disjunction (∨) (or)

Conjunction (∧) (and)

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

Equality (⇔) (if and only if)

Negation ( $\neg$ ) (not)

Disjunction ( $\lor$ ) (or)

Conjunction ( $\land$ ) (and)

Implication ( $\Rightarrow$ ) (if ... than...)

Equality ( $\Leftrightarrow$ ) (if and only if)