Résultats de la recherche
- Pour les articles homonymes, voir Méthode. En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide...15 kio (2 109 mots) - 14 avril 2024 à 15:06
- CertiKOS est un projet développé par Zhong Shao, professeur à l'Université de Yale, dans le Connecticut, avec la participation d'une équipe de 6 autres...38 kio (4 129 mots) - 9 février 2024 à 15:10
Pour les articles homonymes, voir Abduction. L'article doit être débarrassé d'une partie de son jargon (janvier 2011). Sa qualité peut être largement améliorée...17 kio (2 188 mots) - 11 avril 2024 à 23:01- Cet article est une ébauche concernant la logique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets...15 kio (2 146 mots) - 3 décembre 2023 à 15:49
- Pour les articles homonymes, voir Antilogie. En logique des propositions, une contradiction ou antilogie est une formule qui est toujours fausse, quelle...5 kio (627 mots) - 19 juillet 2024 à 07:33
- En logique formelle, le principe du tiers exclu (ou "principium medii exclusi" [principe du milieu exclu] ou " tertium non datur" [une troisième possibilité...14 kio (1 903 mots) - 28 octobre 2024 à 10:22
Cet article est une ébauche concernant la logique et le droit. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations...2 kio (340 mots) - 16 juillet 2023 à 13:39- Cet article est une ébauche concernant la philosophie. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des...3 kio (307 mots) - 25 juillet 2023 à 10:39
- Une logique non-monotone est une logique formelle dans laquelle la base de faits inférés peut ne pas croître et même parfois décroître. En effet, la plupart...2 kio (268 mots) - 15 décembre 2020 à 17:24
- Un moteur d'inférence (du verbe « inférer », qui signifie « déduire »,) est un logiciel correspondant à un algorithme de simulation des raisonnements déductifs...5 kio (495 mots) - 27 juillet 2024 à 21:30
- Cet article court présente un sujet plus développé dans : logique mathématique#Système logique, déduction naturelle et système à la Hilbert. Article connexe :...1 kio (227 mots) - 4 juillet 2024 à 15:15
- Cet article est une ébauche concernant la logique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets...13 kio (1 656 mots) - 14 octobre 2023 à 17:39
- Cet article est une ébauche concernant la linguistique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des...6 kio (796 mots) - 22 janvier 2023 à 23:59
- En logique formelle, l’hypothèse du monde ouvert est la supposition selon laquelle la véracité d'une affirmation ne dépend pas de la connaissance d'un...927 octet (112 mots) - 12 septembre 2017 à 11:25
Metamath modifier - modifier le code - voir Wikidata (aide) Metamath est un langage formel et un logiciel associé (un assistant de preuve) pour rassembler...23 kio (2 744 mots) - 6 août 2024 à 09:31
Cet article est une ébauche concernant un mathématicien iranien. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations...1 kio (119 mots) - 6 août 2024 à 06:39- Cet article court présente un sujet plus développé dans : Trivialisme, Logique mathématique, Principe d'explosion et cohérence (logique). Une logique triviale...2 kio (339 mots) - 3 mars 2020 à 15:19
- La consequentia mirabilis (la conséquence étonnante), appelée aussi loi de Clavius, est un raisonnement qui établit la vérité d'une proposition à partir...2 kio (177 mots) - 17 janvier 2023 à 18:22
- Cet article ne s'appuie pas, ou pas assez, sur des sources secondaires ou tertiaires (octobre 2024). Pour améliorer la vérifiabilité de l'article ainsi...19 kio (2 332 mots) - 15 novembre 2024 à 16:40
- Logique formelle Autres leçons de mathématiques Département Fondements logiques et ensemblistes des mathématiques Chapitres Exercices Interwikis Sur les