December 14th, 2008, 12:35 AM
|
 | vs Jhevon | | Join Date: Feb 2007 Location: New York, USA
Posts: 11,104
Country:  Thanks: 2,610
Thanked 4,271 Times in 3,970 Posts
| |
Quote:
Originally Posted by dsljrich  I need urgent help with this problem!
I have shown how far I got with it, but now I'm stuck, I dont know what to do next. Someone Please help me out.
∃xMxa & ∀x(Mxa →Kxa); ∀y(Kya → (y =b v y = c)) ∴ ¬Kba →Kca
1. ∃xMxa & ∀x(Mxa →Kxa) A
2. ∀y(Kya → (y =b v y = c)) A
3. Show ¬Kba →Kca
4. ¬Kba ACP
5. Mda & ∀x(Mxa →Kxa) ∃E, 1
6. Mda &E, 5
7. ∀x(Mxa →Kxa) &E, 5
8. Mda →Kda ∀E, 7
9. Kda →E, 6, 8
10. Kda → (d =b v d = c) ∀E, 2
11. (d =b v d = c) →E, 9, 10
12. | 1. 
2. ![(y)[Kya \Rightarrow (y = b \vee y = c)] ~~/ \therefore ~~\sim Kba \Rightarrow Kca](http://www.mathhelpforum.com/math-help/latex2/img/8d5c76501c325b42e6ba597a0c10bfdb-1.gif "(y)[Kya \Rightarrow (y = b \vee y = c)] ~~/ \therefore ~~\sim Kba \Rightarrow Kca")
3.  assumption
4.  1, simp.
5.  E.I. assumption
6.  1, comm., simp.
7.  6, U.I.
8.  7,5, M.P.
9.  2, U.I.
10.  9, 8, M.P.
11.  8, 3 I.d.
12.  10, 11 D.S.
13.  8, 12 I.d.
14. 4, 5-13 E.I.
15.  3-14, C.P.
__________________ To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts." border="0" />
Join the dark side. We have cookies. Threads I link people to too often to have to be looking them up every time:
To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.
To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.
To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.
To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.
|