Semantics - truth assignments and truth tables, validity and satisfiability, tautology