Deduzione naturale esercizio

[Darèios89]

[tex]!\exists xA\vdash \forall x!A[/tex]

Ho usato il punto esclamativo per l'operatore non.



[tex]1 !\exists xA[/tex] premessa
[tex]2 * a[/tex] assunzione per eliminazione di [tex]\exists[/tex]
[tex]3 * ! \exists a A[/tex] import(1)
[tex]4 \exists a A[/tex] [tex]! - elim[/tex]


Fin qui come vi sembra? Sapreste darmi una mano?

[garnak.olegovitc1]

[ot]@Darèios89,

"Darèios89":[tex]!\exists xA\vdash \forall x!A[/tex]
Ho usato il punto esclamativo per l'operatore non.

ti riferisci a questo

\(\nexists\)

? Se si, il suo in \(\LaTeX \) è

\nexists

Saluti[/ot]

[Darèios89]

No...non intendevo il simbolo "non esiste", anche se poi viene fuori quel significato, intendevo l'operatore not in logica matematica.