FA18:Lecture 38 Semantics

From CS2800 wiki

We introduce propositional formulas as a model of logical statements. We discuss how to evaluate formulas using truth tables and formalize this in the definition of the evaluation function. We define validity, tautology, satisfiability, and entailment.