Accès plus rapide que le navigateur!
18 relations: Algèbre de Boole (logique), Algèbre de Boole (structure), Arité, Équivalence logique, Conjonction logique, Contradiction, Disjonction logique, Distributivité, Fonction NON, Involution (mathématiques), Logique, Logique classique, Logique intuitionniste, Lois de De Morgan, Mathématiques, Règle d'inférence, Table de vérité, Théorème de Glivenko-Cantelli.
Algèbre de Boole (logique)
Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions.
Nouveau!!: Négation logique et Algèbre de Boole (logique) · Voir plus »
Algèbre de Boole (structure)
'''Exemple d'algèbre de Boole''': l'ensemble des parties de l'ensemble x, y, z illustré par son diagramme de Hasse. En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique.
Nouveau!!: Négation logique et Algèbre de Boole (structure) · Voir plus »
Arité
En mathématiques, l'arité d'une fonction, ou opération, est le nombre d'arguments ou d'opérandes qu'elle requiert.
Nouveau!!: Négation logique et Arité · Voir plus »
Équivalence logique
En logique classique, deux propositions P et Q sont dites logiquement équivalentes ou simplement équivalentes quand il est possible de déduire Q à partir de P et de déduire P à partir de Q. En calcul des propositions, cela revient à dire que P et Q ont même valeur de vérité: P et Q sont soit toutes les deux vraies, soit toutes les deux fausses.
Nouveau!!: Négation logique et Équivalence logique · Voir plus »
Conjonction logique
En logique, la conjonction est une opération mise en œuvre par le connecteur binaire et.
Nouveau!!: Négation logique et Conjonction logique · Voir plus »
Contradiction
En logique des propositions, une contradiction ou antilogie est une formule qui est toujours fausse, quelle que soit la valeur des variables propositionnelles.
Nouveau!!: Négation logique et Contradiction · Voir plus »
Disjonction logique
La disjonction logique, ou disjonction non exclusive, de deux assertions est une façon d'affirmer qu'au moins une de ces deux assertions est vraie (la première, la deuxième, ou les deux).
Nouveau!!: Négation logique et Disjonction logique · Voir plus »
Distributivité
En mathématiques, plus précisément en arithmétique et en algèbre générale, la distributivité d'une opération par rapport à une autre est une généralisation de la propriété élémentaire: « le produit d'une somme est égal à la somme des produits ».
Nouveau!!: Négation logique et Distributivité · Voir plus »
Fonction NON
La fonction NON (NOT en anglais) est un opérateur logique de l'algèbre de Boole et exprime un « état » en fonction de conditions.
Nouveau!!: Négation logique et Fonction NON · Voir plus »
Involution (mathématiques)
En mathématiques, une involution est une application bijective qui est sa propre réciproque, c'est-à-dire par laquelle chaque élément est l'image de son image.
Nouveau!!: Négation logique et Involution (mathématiques) · Voir plus »
Logique
La logique — du grec logikê, qui est un terme dérivé de lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.
Nouveau!!: Négation logique et Logique · Voir plus »
Logique classique
La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du en logique mathématique.
Nouveau!!: Négation logique et Logique classique · Voir plus »
Logique intuitionniste
La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive.
Nouveau!!: Négation logique et Logique intuitionniste · Voir plus »
Lois de De Morgan
Les lois de De Morgan sont des identités entre propositions logiques.
Nouveau!!: Négation logique et Lois de De Morgan · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Négation logique et Mathématiques · Voir plus »
Règle d'inférence
Dans un système logique, les régles d'inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration.
Nouveau!!: Négation logique et Règle d'inférence · Voir plus »
Table de vérité
Une table de vérité (parfois appelée fonction de vérité) est une table mathématique utilisée en logique classique — en particulier le calcul propositionnel classique et l'algèbre de Boole — pour représenter de manière sémantique des expressions logiques et calculer la valeur de leur fonction relativement à chacun de leurs arguments fonctionnels (chaque combinaison de valeur assumée par leurs variables logiques).
Nouveau!!: Négation logique et Table de vérité · Voir plus »
Théorème de Glivenko-Cantelli
En théorie des probabilités, le théorème de Glivenko-Cantelli, communément appelé « théorème fondamental de la statistique » exprime dans quelle mesure une loi de probabilité peut être révélée par la connaissance d'un (grand) échantillon de ladite loi de probabilité.
Nouveau!!: Négation logique et Théorème de Glivenko-Cantelli · Voir plus »
