Question: hello! can you please solve only #9 and #11. you need to proove Valid. thabk you! (8) 1. (x)Rx 2. (x)(GxRx) 3. (x)Mx p p
hello!
can you please solve only #9 and #11. you need to proove Valid.
thabk you!
(8) 1. (x)Rx 2. (x)(GxRx) 3. (x)Mx p p p /(x)GX(x)Mx (9) 1. (x)[(FxRx)Gx] 2. (x)(FXRx) p p/(y)Gy (10) 1. (x)(KxLx) 2. (x)(MxLx) p p /(x)(MxKx) (11) 1. (x)(FxGx) 2. (y)(EyFy) p 3. (z)(Dzz) p p / (x)(DxGx) (12) 1. (x)(LxKx) p 2. (z)(RzKz) p 3. (y)[(LyRy)By] p/(x)Bx (8) 1. (x)Rx 2. (x)(GxRx) 3. (x)Mx p p p /(x)GX(x)Mx (9) 1. (x)[(FxRx)Gx] 2. (x)(FXRx) p p/(y)Gy (10) 1. (x)(KxLx) 2. (x)(MxLx) p p /(x)(MxKx) (11) 1. (x)(FxGx) 2. (y)(EyFy) p 3. (z)(Dzz) p p / (x)(DxGx) (12) 1. (x)(LxKx) p 2. (z)(RzKz) p 3. (y)[(LyRy)By] p/(x)Bx
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
