#foundations of logic #formal language #well-formed formula #WFF #sentences #truth values #validity #decidability #predicate calculus