What's logically equivalent to (x)(y)(z)((Rx. Cz)-->Ty))

>>8104275

what kind of crab is that

>>8104286
A lobster I think. Beautiful creatures.

>>8104296

It is indeed a lobster.

>>8104286
it has 8 legs, it's a spider you fucking tool.

File: dHpp0Bo.jpg (96KB, 594x892px) Image search: [Google]

96KB, 594x892px

>>8104286
>what kind of crab is that
Full story here.

>>8104303

When the United States was first settled, they thought lobsters were giant sea insects amd wouldn't touch them. Native Americans showed them you can use the for fertilizer, but they still didn't like to touch them.

It wasn't until the french showed up during the revolution that people started eating them.

One writing from the 1700's talks about them being so large they hang from a man's waist to the sand (or something like that) and given lobsters have next to no natural predators, keep growing almost thier whole life, it's very believable

Now I'm lucky to get a 2lb one at the store :(

>>8104304
Who makes a lobster a pet?

>>8107046
it's fake you retard

File: image.jpg (28KB, 641x442px) Image search: [Google]

28KB, 641x442px

>>8107055
But that's fucking wrong, here's the lobster pet

I love it how nobody here gives a single fuck about OP. Also, lobster has like19 pairs of legs, not eight

>>8104275
What kind of retarded notation is that and why are there even lobsters in Zimbabwe?

>>8104275
That's one freaky dog

>>8108657
I want to eat it. Does that make me Chinese?

>>8107046
Nerval. He even took it on walks

File: Polypus-44.png (474KB, 610x371px) Image search: [Google]

474KB, 610x371px

>>8104319
>being so large they hang from a man's waist to the sand

Lobsters are immortal, supposedly. Their telomerase don't shorten as they age. Theoretically one could grow to be bigger than a bus.

>>8108674
That depends, the dog or the lobster?

>>8108704
>>8108704
>polite NOTICE:
both

>What's logically equivalent to (x)(y)(z)((Rx. Cz)-->Ty))

for example, the proposion

(x)(y)(z)((Rx. Cz)-->Ty)) [math] \land [/math] (x)(y)(z)((Rx. Cz)-->Ty))