Accès plus rapide que le navigateur!
12 relations: Associativité, Auguste De Morgan, Calcul des prédicats, Calcul des propositions, Conjonction logique, Disjonction logique, Distributivité, Identité (mathématiques), Logique classique, Logique intuitionniste, Sémantique, Table de vérité.
Associativité
En mathématiques, et plus précisément en algèbre générale, une loi de composition interne ou loi interne \star sur un ensemble est dite associative si pour tous, et dans: En notant m:E\times E\to E,\;(x,y)\mapsto x\star y, l'associativité se traduit par le diagramme commutatif suivant: Parmi les lois associatives, on peut citer les lois d'addition et de multiplication des nombres réels, des nombres complexes et des matrices carrées, l'addition des vecteurs, et l'intersection, la réunion d'ensembles.
Nouveau!!: Lois de De Morgan et Associativité · Voir plus »
Auguste De Morgan
Auguste (ou Augustus) De Morgan (à Madurai (Tamil Nadu) -) est un mathématicien et logicien britannique, né en Inde.
Nouveau!!: Lois de De Morgan et Auguste De Morgan · Voir plus »
Calcul des prédicats
En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.
Nouveau!!: Lois de De Morgan et Calcul des prédicats · Voir plus »
Calcul des propositions
Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique.
Nouveau!!: Lois de De Morgan et Calcul des propositions · Voir plus »
Conjonction logique
En logique, la conjonction est une opération mise en œuvre par le connecteur binaire et.
Nouveau!!: Lois de De Morgan et Conjonction logique · 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!!: Lois de De Morgan 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!!: Lois de De Morgan et Distributivité · Voir plus »
Identité (mathématiques)
En mathématiques, le mot « identité » est employé dans plusieurs sens: il peut par exemple désigner un objet bien défini jouant un rôle particulier dans une famille d'objets (on parle ainsi de la fonction identité parmi les fonctions, de l'élément identité dans un groupe, de la matrice identité parmi les matrices, etc.). Cet article est consacré à un autre sens: une identité est une égalité entre deux expressions qui est vraie quelles que soient les valeurs des différentes variables employées; par abus de langage, on baptise parfois aussi « identité » une égalité entre des termes constants, qu'on considère comme fondamentale ou surprenante.
Nouveau!!: Lois de De Morgan et Identité (mathématiques) · 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!!: Lois de De Morgan 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!!: Lois de De Morgan et Logique intuitionniste · Voir plus »
Sémantique
La sémantique est une branche de la linguistique qui étudie les signifiés, ce dont on parle, ce que l'on veut transmettre par un énoncé, soit l'ensemble des processus concourant à la construction d'un sens dans la communication (langagière particulièrement).
Nouveau!!: Lois de De Morgan et Sémantique · 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!!: Lois de De Morgan et Table de vérité · Voir plus »
