Question

I need help translating these into relational predication.

Translate into predicate form. (Relational predication is required.)

13. Every animal lives somewhere. Mars lives nowhere. So, Mars is not animal.

Translate into predicate form. (Relational predication is required.)

14. Gluons look like nothing. Everything looks like itself. Hence, there are no gluons.

Example of relational predication:

#7. No cat lives on Mars. Unless all cats are mammals, Bob, the cat, lives on Mars. Therefore, only mammals are cats.

∀x(Cxà~Lxm), ∀x(Cxà~Mx)à(Cb & Lbm) ├ ∀x(CxàMx)

C= is a cat

L= lives on

m= Mars

b=Bob

M=is a mammal

Answer 1

$\forall x(Ax\wedge Lm),\forall x(\neg Lxm)\vdash \forall x(\neg Axm)$

$\\G=Gluons\\ L=look~like$

$\forall x(Gx\wedge\neg Lx),\forall x(Lx=x)\vdash \forall x(\neg Gx)$