Discussion:Système à la Hilbert
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par le projet Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Ébauche | À évaluer |  | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Création à partir d'un paragraphe initialement contenu dans calcul des propositions et visant à réduire ce dernier article à l'essentiel. Le présent article est à modifier et à compléter Theon 3 février 2006 à 18:20 (CET)
Une bonne ref. <STyx @ (en long break) 22 juillet 2014 à 15:37 (CEST) :
- Haim Gaifman, « A Hilbert Type Deductive System for Sentential Logic, Completeness and Compactness. » [PDF]
Axiome faux
[modifier le code]Hum, je n'avais pas remarqué mais le troisième axiome donné ((P ou Q) -> (Q -> P)) est faux. Je change le système. De toute façon ce choix de connecteurs primitifs (ou et non) n'est pas bon du point de vue pédagogique.
Laurent de Marseille 6 février 2006 à 09:43 (CET)
Fusion
[modifier le code]Il faudrait fusionner le présent article avec l'article axiome logique. Theon 27 février 2006 à 09:22 (CET)
- Oui. Laurent de Marseille 28 février 2006 à 23:50 (CET)
- Tiens, ça reste d'actualité. D'autant qu'il n'y a pas de raison de se restreindre au calcul propositionnel. Proz (d) 31 décembre 2007 à 01:33 (CET)
Une question?
[modifier le code]Bonjour, j'ai une petite question, si quelqu'un peu me répondre c'est très gentil:
pourquoi l' instances de l'axiome K dans l'exemple est une fois:
et la fois suivante: ?
Merci d'avance.. --Nicobzz (d) 9 décembre 2010 à 21:22 (CET)
- Écrivons l'axiome K sous la forme pour bien mettre en évidence le fait que ce sont des variables qui apparaissent.
Nous sommes, en effet, habitués depuis des siècles à noter les variables x, y, z! Dans la première instance, est remplacé par et dans la deuxième instance est remplacé par . Vous pouvez, si vous le voulez, ajouter un commentaire dans l'article pour rendre cela explicite aux autres lecteurs. --Pierre de Lyon (d) 10 décembre 2010 à 10:22 (CET)
- Merci, je le fais de ce pas.--Nicobzz (d) 13 décembre 2010 à 12:37 (CET)
