Petit, tout petit exercice de logique

[Médiat]

Bonjour,

Tout le monde sait que la négation de est , alors pourquoi la négation de n'est pas

PlaneteF, pm42, Tryss2, ne répondez pas trop vite, ou alors sous spoiler, pour ne pas gâcher le fun
-----

[gg0]

Joli ! ...............

[PlaneteF]

Bonjour,

Une façon que je vois d'aborder la réponse serait de dire par exemple : Répondre à cette question c'est répondre à la question ...

 Cliquez pour afficher

Comment "techniquement" passe t-on de la syntaxe à la sémantique ?

Cordialement

[Médiat]

PlaneteF :

 Cliquez pour afficher

C'est bien cela le fond de la question

Cordialement,

Merci gg0, et merci de ne pas avoir dévoilé la réponse.

[A voir en vidéo sur Futura]

[Verdurin]

Bonjour,
Je dirais que

 Cliquez pour afficher

est une abréviation de

[invite452d5a24]

Bonjour,

 Cliquez pour afficher

On prend , alors on a et à la fois en prenant le complexe , donc il ne peut constituer une négation.

Bonne journée.

[Médiat]

Verdurin,

 Cliquez pour afficher

Il manque des parenthèses, mais c'est bien cela (il faudrait faire le même exercice pour le quantificateur existentiel)