Proposition
A proposition is a declarative sentence or assertion that is either true or false.
Propositional Logic studies the results of combining propositions to form more complex statements.

Logical Connectives 

Symbol 
Name 
Meaning 
∧ 
Conjunction 
and 
∨ 
Disjunction 
or 
¬ 
Negation 
not 
→ 
Conditional 
implies 
↔ 
Biconditional 
if and only if 
Truth Tables

Conjunction 

P 
Q 
P ∧ Q 
T 
T 
T 
T 
F 
F 
F 
T 
F 
F 
F 
F 

Disjunction 

P 
Q 
P ∨ Q 
T 
T 
T 
T 
F 
T 
F 
T 
T 
F 
F 
F 

Conditional 

P 
Q 
P → Q 
T 
T 
T 
T 
F 
F 
F 
T 
T 
F 
F 
T 

Biconditional 

P 
Q 
P ↔ Q 
T 
T 
T 
T 
F 
F 
F 
T 
F 
F 
F 
T 
##