Welcome! Log In Create A New Profile

Advanced

question on a model solution

Posted by Anonymous User 
Announcements Last Post
Announcement SoC Curricula 09/30/2017 01:08PM
Announcement Demarcation or scoping of examinations and assessment 02/13/2017 07:59AM
Announcement School of Computing Short Learning Programmes 11/24/2014 08:37AM
Announcement Unisa contact information 07/28/2011 01:28PM
Forums Messages New
Anonymous User
question on a model solution
October 24, 2009 03:33PM
I can't figure out how the model solution of tut01 question 2.3 follows the principles of proof by contradiction. I have the idea that one starts with p and introduce a contradiction to derive not p.
In the solution, q is derived seemingly from thin air.
What am I missing?
Reply Quote
Anonymous User
Re: question on a model solution
October 24, 2009 03:52PM
q is derived from thin air due to the "bottom elimation" rule (see page 20 in the textbook) and the discussion of why this is valid on page 21, on page 7 of the study guide and in an earlier thread on contradiction
Reply Quote
Anonymous User
Re: question on a model solution
October 24, 2009 04:42PM
Cool. Thanks Bini. The top of page 21 explained it to me. ND rules.
Reply Quote
Newer Topic Older Topic
Sorry, only registered users may post in this forum.

Click here to login