Convert the following statements into predicate logic.

Question

G(x) x has a portal gun

R(x) x is a rick

M(x) x is a Morty

Convert the following statements into predicate logic.

1.) There is a Rick.

2.) Everything is a Morty

3.) No morty has a portal gun

How do I even start this? I've watched some videos and it still doesn't click.

1. Rick exists.

R(x)

2. Everything is Morty.

∃x∈M(x)

3. No Morty has a portal gun.

∈M(x)¬G(x)?

Answer 1

I think it should be...

$$1.) \space\space\space\exists x : R(x)$$ $$2.) \space\space\space\forall x : M(x)$$ $$3.) \space\space\space\forall x : M(x)\implies \neg G(x) $$

In plain english these statements would read;

1.) $\space\space$There exists an $x$ such that $x$ has the property of being a Rick.

2.)$\space\space$For all $x$, $x$ has the property of being a Morty.

3.) $\space\space$For all $x$, if $x$ is has the property of being a Morty, then $x$ does not have the property of having a portal gun.