Comment nier correctement un prédicat délimité par certains quantificateurs?
-
06-11-2019 - |
Question
C'est un problème qui a été demandé dans Gate CS 2010.
Ceci est un énoncé de questions:
Q: Supposons que le prédicat f (x, y, t) soit utilisé pour représenter l'énoncé que la personne x peut tromper la personne au temps t. Laquelle des déclarations ci-dessous exprime le mieux la signification de la formule ∀x∃y∃t (¬f (x, y, t))?
Options:
UN: Tout le monde peut tromper une personne à un moment donné.
B: Personne ne peut tromper tout le monde tout le temps.
C: Tout le monde ne peut pas tromper une personne tout le temps.
RÉ: Personne ne peut tromper une personne à un moment donné.
Selon ma solution:
Si f (x): la personne x peut tromper la personne y au moment t.
Alors
$ forall $X $ existe $y $ existe $t (¬f (x, y, t))
est le même que "toutes les personnes x ne peuvent pas tromper une personne y à un moment donné. qui peut être réécrite comme" personne ne peut tromper une personne à un moment donné ".
Par conséquent, l'option D doit être la bonne.
Cependant je me trompe.
Comment aborder ce type de problèmes.
Pas de solution correcte