Résultats de la recherche
- Pour les articles homonymes, voir déduction et raisonnement déductif. Cet article est une ébauche concernant la logique, les mathématiques et la philosophie...17 kio (1 865 mots) - 22 novembre 2023 à 13:08
- Les règles d'introduction des connecteurs (disjonction, conjonction, implication, négation, etc.) sont des règles d'inférence que l'on trouve dans le calcul...7 kio (939 mots) - 5 février 2024 à 17:56
- Cet article ne cite pas suffisamment ses sources (septembre 2016). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites...3 kio (543 mots) - 19 juillet 2024 à 07:50
- Cet article concernant les mathématiques doit être recyclé (novembre 2016). Une réorganisation et une clarification du contenu paraissent nécessaires....3 kio (409 mots) - 19 juillet 2024 à 07:10
- En logique, une règle de remplacement,, est une règle d'inférence appliquée à une portion d'une expression. Un système logique peut être construit à l'aide...1 kio (149 mots) - 19 juillet 2024 à 13:31
- Cet article doit être recyclé (septembre 2016). Une réorganisation et une clarification du contenu paraissent nécessaires. Améliorez-le, discutez des points...46 kio (4 218 mots) - 18 octobre 2024 à 14:54
- Pour les articles homonymes, voir Consensus (homonymie). En algèbre de Boole, le théorème du consensus ou règle du consensus est une identité booléenne...8 kio (1 009 mots) - 18 mai 2022 à 22:36
- Cet article est une ébauche concernant la logique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets...5 kio (644 mots) - 8 février 2024 à 09:34
Cet article est une ébauche concernant la logique et les mathématiques. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations...9 kio (896 mots) - 15 septembre 2024 à 20:18- En logique mathématique, une formule est dite être en forme normale négative (abrégé FNN) si l'opérateur de la négation ( ¬ {\displaystyle \lnot } , non)...3 kio (475 mots) - 5 août 2022 à 14:02
- Les règles d'élimination des connecteurs (à savoir, la disjonction, la conjonction, l'implication, la négation, etc.) sont des règles d'inférence que l'on...5 kio (700 mots) - 6 décembre 2020 à 21:26
- Cet article contient une liste de systèmes déductifs à la Hilbert pour la logique propositionnelle. Le calcul propositionnel classique, aussi appelé logique...17 kio (3 582 mots) - 26 octobre 2024 à 15:06
