Utente:4v4l0n42/Ilcretesebugiardo

$\phi =$ dire falsità
$\psi =$ dire la verità
$x=$ un cretese

Enunciato: un cretese dice che tutti i cretesi dicono solo falsità.

$\exists x\forall x\phi$
$\lnot \forall x\lnot \forall x\phi$
$\lnot \forall x\lnot \forall x\lnot \lnot \phi$
$\lnot \forall x\exists x\lnot \phi$
$\lnot \forall x\exists x\psi$
$\lnot \forall x\lnot \lnot \exists x\psi$
$\exists x\lnot \exists x\psi$
$\rightarrow$ Assurdo?

Quindi il cretese sta formulando un'asserzione assurda?

Federico Pistono 17:54, 18 dic 2005 (CET)