Logic and Semantics for Dummies