Discussion:Système à la Hilbert
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
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
modifierHum, 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.
Fusion
modifierIl 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?
modifierBonjour, 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)