IP/Host: 196.11.195.---
Registered: 18 years ago
Posts: 1
Rating: 0
Hi
I've only looked at Question 1 of the example Exam paper so far. I have a question on Q1 (b): What exactly does the phrase "arguing directly from the inductive definition of truth values of propositional formulas" mean? Does it mean that you should give proofs similar to Theorem 2.15 on page 19 of the text book, or can you simply use equivalences such as on page 23 where they showed that conjunction can be defined in terms of nand?