Semantics of propositional logic 

Valuation
Satisfiability
unѕatisfiable
validity
contradiction
tautology
logical implication
logical equivalence 

claim : \alpha logically implies \beta  Iff (\alpha \implies \beta) is a tautology. 
claim : If \alpha is a contradiction then for any \beta, \alpha logically implies \beta. 


