Un jeu de T. Tao pour apprendre la logique
Salut,
je vous signale ce "jeu" en ligne créé par Terence Tao pour apprendre la logique, c'est plutôt amusant: http://www.math.ucla.edu/~tao/QED/QED.html
je vous signale ce "jeu" en ligne créé par Terence Tao pour apprendre la logique, c'est plutôt amusant: http://www.math.ucla.edu/~tao/QED/QED.html
Réponses
-
Tu as juste oublié de mettre le lien. ;-)
-
Réparé
-
Et ça fonctionne comment ce truc @Héhé?
Je suis sur smartphone, est-ce pour cela que ça ne fonctionne pas?
T. Tao aurait-il oublié de rendre le site « responsive »?B-)- -
Merci à Héhéhé d'augmenter mon pourcentage de procrastination déjà élevé
Est ce que quelqu'un arrive à une preuve optimale de 2.2b) ?
J'ai :
1) A AND (B AND C). [given]
2) From A AND (B AND C): deduce A. [CONJUNCTION ELIMINATION (left)]
3) From A AND (B AND C): deduce B AND C. [CONJUNCTION ELIMINATION (right)]
4) From B AND C: deduce B. [CONJUNCTION ELIMINATION (left)]
5) From B AND C: deduce C. [CONJUNCTION ELIMINATION (right)]
6) From A, B: deduce A AND B. [CONJUNCTION INTRODUCTION]
7) From A AND B, C: deduce (A AND AND C. [CONJUNCTION INTRODUCTION]
8) QED!
Mais apparemment la preuve la plus courte est en 7 lignes, QED! inclus. Comment faire ? -
J’ai 8 lignes moi aussi, je sèche sur 6.1(a). :-?Algebraic symbols are used when you do not know what you are talking about.
-- Schnoebelen, Philippe -
@Lupulus Indice : pour la 2.2a), qui est complètement symétrique, ça donne le fond vert avec 8 coups.
-
Trouvé. Ce jeu est infernal.
A AND (B AND C). [given]
From A AND (B AND C): deduce (B AND C) AND A. [AND IS COMMUTATIVE]
From (B AND C) AND A: deduce B AND (C AND A). [AND IS ASSOCIATIVE (left)]
From B AND (C AND A): deduce (C AND A) AND B. [AND IS COMMUTATIVE]
From (C AND A) AND B: deduce C AND (A AND . [AND IS ASSOCIATIVE (left)]
From C AND (A AND : deduce (A AND AND C. [AND IS COMMUTATIVE]
QED! (again)
Edit : Je suis aussi bloqué à 6.1), si quelqu'un veut bien donner un petit indice ... Je ne comprends même pas vraiment ce qu'il faut montrer, je croyais que c'était "Deduce A [assuming A]" mais apparemment pas ...
Edit 2 : le 6.1) est
Deduce A [assuming A]. [IMPLICATION INTRODUCTION]
From A [assuming A]: deduce A IMPLIES A. [DEDUCTION THEOREM]
QED!
Il faut admettre A, déduire A de A et ensuite sortir A de la boîte. Tautologie quand tu nous tiens ... -
Snif, sur iPad ça ne fonctionne pas 8-)
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres