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
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Je suis sur smartphone, est-ce pour cela que ça ne fonctionne pas?
T. Tao aurait-il oublié de rendre le site « responsive »?B-)-
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 ?
-- Schnoebelen, Philippe
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 ...