Calcul des propositionsLe calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts.
Algèbre universelleL'algèbre universelle est la branche de l'algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de définir de manière uniforme les morphismes, les sous-structures (sous-groupes, sous-monoïdes, sous-anneaux, sous-espaces vectoriels, etc.), les quotients, les produits et les objets libres pour ces structures.
Logical equalityLogical equality is a logical operator that corresponds to equality in Boolean algebra and to the logical biconditional in propositional calculus. It gives the functional value true if both functional arguments have the same logical value, and false if they are different.
Logique floueLa logique floue (fuzzy logic, en anglais) est une logique polyvalente où les valeurs de vérité des variables — au lieu d'être vrai ou faux — sont des réels entre 0 et 1. En ce sens, elle étend la logique booléenne classique avec des . Elle consiste à tenir compte de divers facteurs numériques pour qu'on souhaite acceptable.
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 ». Par exemple, dans l'expression 2 × (5 + 3) = (2×5) + (2×3), le facteur 2 est distribué à chacun des deux termes de la somme 5 + 3. L'égalité est alors bien vérifiée : à gauche 2 × 8 = 16, à droite 10 + 6 = 16.
Distributive latticeIn mathematics, a distributive lattice is a lattice in which the operations of join and meet distribute over each other. The prototypical examples of such structures are collections of sets for which the lattice operations can be given by set union and intersection. Indeed, these lattices of sets describe the scenery completely: every distributive lattice is—up to isomorphism—given as such a lattice of sets. As in the case of arbitrary lattices, one can choose to consider a distributive lattice L either as a structure of order theory or of universal algebra.
Logique non classiqueEn logique mathématique, les logiques non classiques sont des logiques formelles qui diffèrent de façon significative de la logique classique. L'adjectif « classique » a un sens normatif autrement dit , il qualifie ce qui est habituel. Les logiques classiques adoptent effectivement des principes usuels comme le tiers exclu, le principe d'explosion, le raisonnement par l'absurde, l'usage de tables de vérité, etc. Dans les logiques non classiques, on étudie des variations, par exemple en supprimant des principes, ou en ayant plus de deux valeurs de vérité.
Truth functionIn logic, a truth function is a function that accepts truth values as input and produces a unique truth value as output. In other words: The input and output of a truth function are all truth values; a truth function will always output exactly one truth value; and inputting the same truth value(s) will always output the same truth value.
TautologieLa tautologie (du grec ancien ταὐτολογία, composé de ταὐτό, « la même chose », et λέγω, « dire » : le fait de redire la même chose) est une phrase ou un effet de style ainsi tourné que sa formulation ne puisse être que vraie. La tautologie est apparentée au truisme (ou lapalissade) et au pléonasme. En logique mathématique, le mot « tautologie » désigne une proposition toujours vraie selon les règles du calcul propositionnel. On utilise aussi l'adjectif tautologique en mathématiques pour désigner des structures qui émergent naturellement de la définition de certains objets.
Équivalence logiqueEn 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. L'équivalence logique s'exprime souvent sous la forme si et seulement si, dans des cadres comme l'enseignement ou la métamathématique pour parler des propriétés de la logique elle-même, et non du connecteur logique qui lie deux propositions.
