Négation d'assertion Vraie/Fausse
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
beagle
- Habitué(e)
- Messages: 8707
- Enregistré le: 08 Sep 2009, 15:14
-
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
L'important est de savoir quoi faire lorsqu'il n' y a rien à faire.
-
alphamethyste
- Membre Relatif
- Messages: 290
- Enregistré le: 01 Mai 2015, 07:06
-
par alphamethyste » 30 Sep 2015, 18:30
il peut me lire aussi...
moi je suis didatique au moins
-
beagle
- Habitué(e)
- Messages: 8707
- Enregistré le: 08 Sep 2009, 15:14
-
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à.
L'important est de savoir quoi faire lorsqu'il n' y a rien à faire.
par ilestlibreMax » 30 Sep 2015, 18:36
Mon dieu, qu'ai-je fait :scotch:
-
Robot
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.
-
alphamethyste
- Membre Relatif
- Messages: 290
- Enregistré le: 01 Mai 2015, 07:06
-
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)
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 26 invités