Concept
Valeur de vérité
Concepts associés (29)
É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. 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.
Sémantique algébrique (logique mathématique)
En logique mathématique, la sémantique algébrique est une sémantique formelle basé sur les algèbres étudiés dans le cadre de la logique algébrique. Par exemple, la logique modale S4 se caractérise par la classe des algèbres booléennes topologiques—à savoir, des algèbres booléennes possédants un opérateur intérieur. D'autres logiques modales sont caractérisées par diverses autres algèbres avec des opérateurs. La classe des algèbres booléennes caractérise la logique propositionnelle classique, et la classe des algèbres d'Heyting de la logique intuitionniste.
Degree of truth
In classical logic, propositions are typically unambiguously considered as being true or false. For instance, the proposition one is both equal and not equal to itself is regarded as simply false, being contrary to the Law of Noncontradiction; while the proposition one is equal to one is regarded as simply true, by the Law of Identity. However, some mathematicians, computer scientists, and philosophers have been attracted to the idea that a proposition might be more or less true, rather than wholly true or wholly false.
Valuation (logic)
In logic and model theory, a valuation can be: In propositional logic, an assignment of truth values to propositional variables, with a corresponding assignment of truth values to all propositional formulas with those variables. In first-order logic and higher-order logics, a structure, (the interpretation) and the corresponding assignment of a truth value to each sentence in the language for that structure (the valuation proper). The interpretation must be a homomorphism, while valuation is simply a function.
Boolean-valued function
A Boolean-valued function (sometimes called a predicate or a proposition) is a function of the type f : X → B, where X is an arbitrary set and where B is a Boolean domain, i.e. a generic two-element set, (for example B = {0, 1}), whose elements are interpreted as logical values, for example, 0 = false and 1 = true, i.e., a single bit of information. In the formal sciences, mathematics, mathematical logic, statistics, and their applied disciplines, a Boolean-valued function may also be referred to as a characteristic function, indicator function, predicate, or proposition.
⊥
En logique et en informatique, le taquet vers le haut, base, ou dessous, aussi appelé antitruc ou faux, noté ⊥, désigne la contradiction, c'est-à-dire la formule constante représentant le faux. Par exemple, la formule (P ∧ ¬P) ⇒ ⊥ signifie que la conjonction d'une proposition P et de son contraire non-P entraîne une contradiction. La formule se lit « P et non-P entraîne le faux ». Ce symbole peut aussi désigner le type vide en théorie des types, ou encore le plus petit élément d'un ensemble ordonné.
Théorie sémantique de la vérité
Une théorie sémantique de la vérité est une théorie de la vérité en philosophie du langage qui soutient que la vérité est une propriété des phrases. La conception sémantique de la vérité, qui est liée de différentes façons à la correspondance et aux conceptions déflationnistes, est due au travail publié par le logicien polonais Alfred Tarski dans les années 1930. Tarski, dans « On the Concept of Truth in Formalized Languages », a tenté de formuler une nouvelle théorie de la vérité afin de résoudre le paradoxe du menteur.
T-schema
The T-schema ("truth schema", not to be confused with "Convention T") is used to check if an inductive definition of truth is valid, which lies at the heart of any realisation of Alfred Tarski's semantic theory of truth. Some authors refer to it as the "Equivalence Schema", a synonym introduced by Michael Dummett. The T-schema is often expressed in natural language, but it can be formalized in many-sorted predicate logic or modal logic; such a formalisation is called a "T-theory.
Paradoxe sorite
Le paradoxe sorite, aussi connu comme le paradoxe du tas, est un paradoxe dû à une terminologie vague (par exemple, un tas de sable). Il décrit un raisonnement qui conclut à l'impossibilité de constituer un tas (par ex. de sable) en accumulant un grain après l'autre. Ce paradoxe met en jeu un raisonnement par récurrence tout en exploitant dans ses prédicats, le flou sémantique qui entoure les mots du langage courant. Ce paradoxe fut formulé au par Eubulide, qui fut dirigeant de l'École mégarique.