Welcome! Log In Create A New Profile

Exam Paper Question 1

Announcements		Last Post
	SoC Curricula	09/30/2017 01:08PM
	Demarcation or scoping of examinations and assessment	02/13/2017 07:59AM
	School of Computing Short Learning Programmes	11/24/2014 08:37AM
	Unisa contact information	07/28/2011 01:28PM

Forums Messages New

Geraldine

Exam Paper Question 1
January 10, 2006 07:54AM

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?

Thanks for any help!

Geraldine