Convert the following statements into predicate logic. 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.

*

*Rick exists.

R(x)


*Everything is Morty.

∃x∈M(x)


*No Morty has a portal gun.

∈M(x)¬G(x)?

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.
