Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- Voici une liste des principaux '''[[Symbole (logique)|symboles logiques]]'''. Ils permettent de [[Langage formel|formaliser]] le |[[Négation logique|Négation]] de A ...1 kio (215 mots) - 19 juillet 2024 à 18:44
Correspondances dans le texte des pages
- Voici une liste des principaux '''[[Symbole (logique)|symboles logiques]]'''. Ils permettent de [[Langage formel|formaliser]] le |[[Négation logique|Négation]] de A ...1 kio (215 mots) - 19 juillet 2024 à 18:44
- {{ébauche|logique}} ...ue|conjonction]] ou une [[Disjonction logique|disjonction]] de [[littéral (logique)|littéraux]]. On parle respectivement de '''clause conjonctive''' et de ''' ...1 kio (174 mots) - 27 décembre 2018 à 14:02
- {{article court|Implication (logique)}} En [[logique mathématique]], une {{terme défini|condition nécessaire}} à l'[[assertion ( ...880 octet (137 mots) - 4 décembre 2024 à 22:53
- {{article court|Implication (logique)}} En [[logique mathématique]], une {{terme défini|condition suffisante}} à l'[[assertion ( ...862 octet (126 mots) - 9 décembre 2024 à 14:40
- {{Ébauche|algèbre|logique|mathématiques}} En [[algèbre]] et en [[logique]], une '''algèbre modale '''est une structure <math>\langle A,\land,\lor,-, ...1 kio (233 mots) - 18 mai 2022 à 22:55
- {{Ébauche|logique}} ...écédent est '''P''',et le conséquent est '''Q'''. Dans une [[Implication (logique)|implication]], si <math>\phi</math> implique <math>\psi</math> alors <math ...1 kio (190 mots) - 16 juillet 2018 à 20:45
- {{ébauche|logique}} Une '''valeur de vérité''' est une valeur attribuée à chaque proposition logique. ...2 kio (323 mots) - 12 février 2024 à 22:55
- ...la [[disjonction logique]], la [[conjonction logique]] et l'[[équivalence logique]]). {{portail|algèbre}} ...1 kio (232 mots) - 13 mars 2018 à 12:52
- ...[[Démonstration formelle|démonstration logique]]. Elle est l'[[inférence (logique)|inférence]] selon laquelle si une déclaration <math>P</math> implique une ...Q</math>, et <math>R \to Q</math> et <math>P \lor R</math> dans un système logique; ...3 kio (420 mots) - 19 juillet 2024 à 07:10
- La fonction '''OUI''' est un [[opérateur logique]] de l'[[algèbre de Boole (logique)|algèbre de Boole]]. À un [[opérande]], qui peut avoir la valeur VRAI ou FA * [[Fonction logique]] ...1 kio (190 mots) - 13 octobre 2022 à 15:33
- {{confusion|Logique probabiliste}} {{Ébauche|Logique}} ...3 kio (411 mots) - 19 juillet 2024 à 13:21
- L’inventeur de la '''logique de l’action''' (« logic of action ») est le finlandais [[Georg Henrik von W == Importance de la logique de l’action == ...4 kio (602 mots) - 30 juin 2024 à 18:50
- ...ment qui est souvent présenté en même temps que les arguments ''[[Analogie#Logique|{{lang|la|a pari}}]]'' et ''[[A contrario|{{lang|la|a contrario}}]]'', nota ...une [[Implication (logique)|implication]] qui n'est pas une [[Équivalence logique|équivalence]], par exemple <math>x>3 \implies x>2</math> ...2 kio (258 mots) - 7 mars 2025 à 17:25
- ...opositionnelle]]<ref>{{Ouvrage|prénom1=Jean B.|nom1=Murhega|titre=Essai de logique conceptuelle|éditeur=Publibook/Société des écrivains|année=26 avril 2012|pa Au sein de cette logique elle exprime la [[Négation logique|négation]] de l'[[implication matérielle|implication]]. Cela revient à dire ...3 kio (410 mots) - 15 mai 2024 à 05:18
- ...|valide]], qui prend la forme d'un [[syllogisme]] ayant une [[Implication (logique)|implication]] pour un ou deux de ses [[Prémisse|prémisses]]<ref>Hurley</re ...classique]] qui ne sont pas toujours acceptées dans certains systèmes de [[logique non-classique]]. La règle peut être déclaré comme suit: ...3 kio (436 mots) - 28 septembre 2024 à 01:03
- {{Ébauche|logique}} ...réfèrent à des [[Fonction (mathématiques)|fonctions]] ou à des [[Prédicat (logique mathématique)|prédicats]]. Elles étendent le [[calcul des prédicats]]. ...3 kio (533 mots) - 13 février 2023 à 18:02
- {{Ébauche|logique}} ...proposition, il est la partie qui suit « alors ». Dans une [[Implication (logique)|implication]], si <math>\phi</math> implique <math>\psi</math> alors <math ...1 kio (220 mots) - 9 août 2022 à 23:53
- ...rs dans une FND sont le [[et logique]], le [[ou logique]] et la [[Négation logique|négation]]. L'opérateur ''non'' ne peut être utilisé que dans un littéral, * [[Clause (logique)]] ...3 kio (397 mots) - 24 décembre 2023 à 10:23
- {{ébauche|logique}} ...que entre les formules d'un [[Logique mathématique#Système logique|système logique]] et les programmes d'un [[Théorie de la calculabilité#Modèles de calcul|mo ...2 kio (341 mots) - 17 mai 2024 à 23:22
- ...eano-Russell''' est l'application de [[Bertrand Russell]] de la notation [[logique]] de [[Giuseppe Peano]] aux notions logiques de [[Gottlob Frege|Frege]], et ...sont les ''fonctions contradictoires'', la ''somme logique'', le ''produit logique ''et la ''fonction implicative''{{sfn|Whitehead|Russell|1910|p=6}}. ...4 kio (538 mots) - 4 janvier 2025 à 19:53