Come negare correttamente un predicato delimitato da alcuni quantificatori?
-
06-11-2019 - |
Domanda
Questo è un problema che è stato chiesto in Gate CS 2010.
Questa è una dichiarazione di domanda:
Q: Supponiamo che il predicato f (x, y, t) sia usato per rappresentare l'affermazione che la persona x può ingannare la persona y al momento t. Quale delle dichiarazioni seguenti esprime il miglior significato della formula ∀x∃y∃t (¬f (x, y, t))?
Opzioni:
UN: Tutti possono ingannare una persona in qualche momento.
B: Nessuno può ingannare tutti tutto il tempo.
C: Tutti non possono ingannare una persona tutto il tempo.
D: Nessuno può ingannare una persona in qualche momento.
Secondo la mia soluzione:
Se f (x): la persona X può ingannare la persona y al momento t.
Quindi
$ forall $X $ esiste $y $ esiste $t (¬f (x, y, t))
è uguale a "non tutta la persona x può ingannare una persona a qualche tempo che può essere riscritta come" nessuno può ingannare una persona in qualche momento ".
Quindi l'opzione D deve essere quella corretta.
Tuttavia ho torto.
Come affrontare questo tipo di problemi.
Nessuna soluzione corretta