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!
hello! can you please solve only #9 and #11. you need to

(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 blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!