Un jeu de T. Tao pour apprendre la logique

Héhéhé
Héhéhé
dans Fondements et 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

Réponses

  • GaBuZoMeu
    GaBuZoMeu
    Tu as juste oublié de mettre le lien. ;-)
  • Héhéhé
    Héhéhé
    Réparé
  • Amathoué
    Amathoué
    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-)-
  • Lupulus
    Lupulus
    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 B) AND C. [CONJUNCTION INTRODUCTION]
    8) QED!

    Mais apparemment la preuve la plus courte est en 7 lignes, QED! inclus. Comment faire ?
  • nicolas.patrois
    nicolas.patrois
    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
  • Champ-Pot-Lion
    Champ-Pot-Lion
    @Lupulus Indice : pour la 2.2a), qui est complètement symétrique, ça donne le fond vert avec 8 coups.
  • Lupulus
    Lupulus
    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 B). [AND IS ASSOCIATIVE (left)]
    From C AND (A AND B): deduce (A AND B) 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 ...
  • Dom
    Dom
    Snif, sur iPad ça ne fonctionne pas 8-)
Connectez-vous ou Inscrivez-vous pour répondre.

Bonjour!

Pour participer au forum, cliquer sur l'un des boutons :

Connexion S'inscrire

Catégories

In this Discussion

Qui est en ligne 44

ChaurienJLTJean-LouisJean-Louis AymeMilasMédiat_SuprèmeRescassolbiguine_equationbisamdSPgai requinhx1_210troisquavlad69 +30 Invités