Luì

Loading…

Luì

Luì est un logiciel en ligne consacré à la démonstration en mathématiques. Ce logiciel est utile pour discuter de certaines dynamiques liées au processus de preuve ainsi que pour traiter les aspects formels de ce processus.

Dans le jeu Luì, les joueurs Proponent et Opponent se défient sur une affirmation.

P pense que l'énoncé est vrai, tandis qu'O pense que l'énoncé est faux.

L'énoncé est écrit sous la forme ∀x (H₁, ..., H_n → C), à lire comme :
si pour x les hypothèses H₁, ..., H_n sont vrai

Pendant la partie, P et O dialoguent sur l'énoncé.
L'idée de base de leur dialogue est la suivante : pour dire qu'un énoncé de la forme ∀x (H₁, ..., H_n → C) es

Par exemple, si l'on veut soutenir que la phrase \"tous les oiseaux savent voler\", qui dans la forme présentée est ∀x (OISEAU(x) → VOLER(x)), est fausse, il faut trouver un oiseau t qui ne sait pas voler.

Dans le jeu, les hypothèses H sont indiquées en orange, tandis que la conclusion C est en bleu.

P gagne s'il parvient à laisser O sans possibilité de répliquer. O gagne si la partie dure indéfiniment.

Télécharge un guide complet du logiciel en CLIQUANT ICI!

Logique Propositionnelle Logique du Premier Ordre

En LOGIQUE PROPOSITIONNELLE, le quantificateur ∀ n'apparaît pas, et la discussion porte sur de simples énoncés avec hypothèses et conclusion.
Une lettre (A, B, C, ...) indique une af

Le mode de jeu TARSKI n'est pas encore prêt !

Nous recommandons de commencer par le mode SHORTCUT car il est plus pratique. Les règles des deux modes se trouvent à l'intérieur du guide.

Mode Shortcut Mode Standard

Proponent vs Opponent Proponent vs

GIUSEPPE PEANO

Giuseppe Peano est né en 1858 dans un hameau de Cuneo. On dit que, garçon, il devait marcher de nombreux kilomètres chaque jour pour aller à l'école, comme c'est encore typique aujourd'hui dans de nombreuses parties du monde. Il a ensuite poursuivi ses

AUOQUAMEL

Abū Kāmil Shujāʿ ibn Aslam, également connu sous le nom d'al-Ḥāsib al-Miṣrī (\"Le Calculateur Égyptien\") et en Occident comme Auoquamel, était un mathématicien égyptien qui vécut aux alentours des années 850-930, pendant l'âge d'or islamique. L'âge d'

JEAN-LOUIS KRIVINE

Jean-Louis Krivine est un universitaire français, né en 1939, qui s'est consacré à la logique mathématique, à la théorie des ensembles et à l'informatique théorique. Il a été étudiant à l'École Normale Supérieure de Paris et a ensuite enseigné pendant

GAME IN ON THE FORMULA

to play: click on formula you believe is false.

Proponent Wins!

galuaEndGameOpponentText

La conclusion n'est pas dans , choisissez une autre formule !

La conclusion n'est pas dans galuaConclusionNotInPart2, choisissez une autre formule !

galuaFalseFormula

Le prédicat n'est pas géré par le mode SHORTCUT : si vous pensez que l'affirmation est vraie, essayez de la prouver en utilisant les axiomes de $\"Top\"$ !

L'égalité est fausse, c'est correct qu'elle soit dans $\"Bot\"$ !

La conclusion n'est pas dans $\"Bot\"$ et n'est pas non plus une égalité fausse : essayez différents nombres ou une autre formule !

Le prédicat est faux, c'est correct qu'il soit dans $\"Bot\"$ !

La conclusion n'est pas dans $\"Bot\"$ et n'est pas fausse non plus : essayez différents nombres ou une autre formule !

galuaExpressionError

galuaEndGamePart1galuaEndGamePart2

L'ensemble $\"T\"$ contient ce qui est vrai pour les deux joueurs.

L'ensemble O_⊤ indique ce que O pense être vrai.

L'ensemble P_⊤ indique ce que P pense être vrai.

L'ensemble $\"T\"$ contient ce qui est faux pour les deux joueurs.

galuaMosse

galuaMosseStart

Privacy Policy Terms & Conditions Disclaimer

oiler® 2026