Lecture 1 (Computation Theory) Propositional and Predicate Logic

In this course, a proposition is defined as:

1. A.A variable whose value is either true or false, but not both
2. B.A sentence whose truth value depends on a free variable
3. C.Any well-formed string built from logical operators
4. D.A statement that can be neither true nor false