Quantificateurs...

Soit l'ensemble des triangles du plan. Et soit le prédicat : " x est un triangle équilatéral ".

Considérons les assertions suivants:

- P :" Tous les triangles sont équilatéraux " .
- Q :" Tous les triangles ne sont pas équilatéraux " .
- R :" Il n'existe pas un triangle équilatéral ".
- S : " Il existe au moins un triangle équilatéral ".
- T :" Il existe au moins un triangle qui n'est pas équilatéral " .

1)- Écrire les assertions P, Q, R, S et U en utilisant et et les quantificateurs.

2)- Trouver des relations logique entre ces assertions.

Je vois que personne des élèves de TC ne va participer ....


Si quelqu'un de vous est intéressé, je peux partager la réponse ....

la logique n'est po un cour étudié par les tceans donc le manque de réponse est normal
sinon je suis intéressé veuillez les poster svp .