[Logica] Un esercizio sui quantificatori

[perplesso1]

Using the predicates $T(x) =$ "x is a triffid" e $L(x,y) =$ "x is a leg of y" formalize the following sentences

1) There is at most one triffid
2) There are at least three triffids
3) There are exactly two triffids
4) Every triffid has two legs
5) There are at least two triffids with a leg

Un triffid da quello che ho trovato googlando è una pianta carnivora divoratrice di umani dotata di gambe xD ... ma apparte questo, io ho svolto così

1) $\forall x \forall y (T(x) \wedge T(y) \rightarrow x=y)$

2) $\exists x \exists y \exists z (T(x) \wedge T(y) \wedge T(z) \wedge \neg (x=y) \wedge \neg (x=z) \wedge \neg (y=z))$

3) $\exists x \exists y (T(x) \wedge T(y) \wedge \neg (x=y) \wedge (\forall z (T(z) \rightarrow (z=x) \vee (z=y))))$

4) $\forall z (T(z) \rightarrow (\exists x \exists y (L(x,z) \wedge L(y,z) \wedge \neg (x=y))))$

5) $\exists z \exists w (T(z) \wedge T(w) \wedge \neg (z=w) \wedge (\exists x \exists y (L(x,z) \wedge L(y,w)))) $

Va bene? Grazie.

[gundamrx91-votailprof]

Direi proprio di si

[perplesso1]

Grazie Gundam da parte mia e del triffid

[gundamrx91-votailprof]

[OT]Il film è molto bello, seppure datato e il romanzo di John Wyndham, I figli dell'invasione, ancora di più . Dimenticavo, in italiano sono i trifidi se non ricordo male