Which of the following is true?
- The syntax of propositional sentences defines what sentences are allowable/well-formed.
- Semantics is the study of the computation needed to determine if a sentence is syntactically correct.
- A propositional sentence is valid iff it is true in exactly one model.