Welcome! Log In Create A New Profile

Advanced

without premises

Posted by kiolb 
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
avatar
kiolb
without premises
September 29, 2009 02:33PM
Hi
Has anyone done exercise 6.42?
Reply Quote
avatar
kiolb
Re: without premises
September 30, 2009 07:11AM
No worries.
Managed it in 20 steps last night.

Edit 
Ex 6.42
This is what I managed. I will let you figure the rules out.
6.40 and 6.41 follow the same pattern.
|1
| |_2 ~(~A v ~(~B ^ (~A v B )))
| | |_3 ~A
| | |4 ~A v ~(~B ^ (~A v B ))
| | |5 ?
| |6 ~ ~A
| |7 A
| | |_8 ~B ^ (~A v B )
| | |9 ~B
| | |10 ~A v B
| | | |_11 ~A
| | | |12 ?
| | | 
| | | |_13 B
| | | |14 ?
| | |15 ?                       vElim 13-14, 11-12, 10
| |16 ~(~B ^ (~A v B ))
| |17 ~A v ~(~B ^ (~A v B ))
| |18 ?
|19 ~ ~(~A v ~(~B ^ (~A v B )))
|20 ~A v ~(~B ^ (~A v B ))      ~Elim 19
Reply Quote
avatar
kiolb
Re: without premises
October 15, 2009 03:12PM
test
Reply Quote
Newer Topic Older Topic
Sorry, only registered users may post in this forum.

Click here to login