Lecture 2 (Logic)

How does the course define a tautology?

1. A.A sentence whose truth table is true in every row
2. B.A sentence true under at least one interpretation
3. C.A sentence about operators rather than content
4. D.A sentence whose negation requires a derivation