formule propositionnelle
Sign in to saveAlso known as propositional expression, sentence, sential formula, sentential formula, proposition
type of logical formula in propositional logic
In the Vinony graph
Within Vinony's link graph, formule propositionnelle is referenced by 357 other articles, and connects out to first-order logic, well-formed formula and semantic theory of truth.
Vinony files it under Boolean algebra, Logical expressions and Propositional calculus.
Its subject is documented across 10 Wikipedia language editions.
Wikidata facts
- Subclass of
- well-formed formula
Show 4 more facts
- different from
- declarative sentence
- Commons category
- Propositional formula
- maintained by WikiProject
- WikiProject Mathematics
- studied by
- propositional calculus
Sources (2)
via Wikidata · CC0
Article · Français
En logique mathématique une proposition, ou formule propositionnelle, ou expression propositionnelle est une expression construite à partir de connecteurs et de variables propositionnelles. En logique propositionnelle classique, une formule propositionnelle, ou expression propositionnelle, est une formule bien formée qui possède une valeur de vérité. Si les valeurs de toutes les variables propositionnelles dans une formule propositionnelle sont données, une unique valeur de vérité peut être déterminée. Une formule propositionnelle est construite à partir de propositions simples, telles que « cinq est supérieur à trois », ou de variables propositionnelles telles que P et Q, en utilisant des connecteurs logiques tels que NON, ET, OU et IMPLIQUE; par exemple: (P ET NON Q) IMPLIQUE (P OU Q).
Abstract from DBpedia / Wikipedia · CC BY-SA