Négation d'assertion Vraie/Fausse

par **beagle** » 30 Sep 2015, 18:29

Robot a écrit:Si tu préfères : une assertion dans le langage L est une formule close (= sans variable libre) de L.

OK merci.
Et merci pour les explications sur la différence entre démontrable et vrai-faux
c'est au-dessus de mon niveau mais Max peut lire aussi:
https://fr.wikipedia.org/wiki/D%C3%A9cidabilit%C3%A9

par **alphamethyste** » 30 Sep 2015, 18:30

il peut me lire aussi...

moi je suis didatique au moins

par **beagle** » 30 Sep 2015, 18:33

alphamethyste a écrit:il peut me lire aussi...

moi je suis didatique au moins

euh oui, Sylviel et toi bien sur. Le fil est intéressant, peu abordé sous cet angle dans maths forum ces dernières années .Ou je zappais ces trucs là.

par **ilestlibreMax** » 30 Sep 2015, 18:36

Mon dieu, qu'ai-je fait :scotch:

par **Robot** » 30 Sep 2015, 19:24

:lol3: Rien de répréhensible, rassure-toi !
Juste que Sylviel s'est un peu fourvoyé en voulant trop bien faire, et qu'amethyste veut t'embarquer dans des histoires dont tu n'as rien à faire.

En tout cas la réponse à ta question
"Est-ce que si la négation d'une assertion est vraie, on peut en déduire que l'assertion de départ est fausse ?"
est oui, bien sûr.

par **alphamethyste** » 30 Sep 2015, 19:37

je voulais pas l'embarquer nul part;...et j'ai pas dit autre chose que ce que tu viens de dire (car là oui c'est ok!)

Juste que des fois mieux vaut se mefier ... mais je suis pas le Diable Robot

Quand à moi je retourne à mon safari (j'ai une b;)te dans ma cible là ) https://www.youtube.com/watch?v=pd7ILa_mhgA mais c'était pas lui (l'auteur du topic)

Négation d'assertion Vraie/Fausse

Qui est en ligne