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. (P ET NON Q) IMPLIQUE (P OU Q).

Property Value
dbo:abstract
  • 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). (fr)
  • 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). (fr)
dbo:thumbnail
dbo:wikiPageID
  • 10276530 (xsd:integer)
dbo:wikiPageLength
  • 45987 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 189112877 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:art
  • Propositional formula (fr)
  • Propositional formula (fr)
prop-fr:date
  • septembre 2016 (fr)
  • septembre 2016 (fr)
prop-fr:id
  • 738327193 (xsd:integer)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:thème
  • logique (fr)
  • logique (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 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. (P ET NON Q) IMPLIQUE (P OU Q). (fr)
  • 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. (P ET NON Q) IMPLIQUE (P OU Q). (fr)
rdfs:label
  • Formule propositionnelle (fr)
  • Funkcja zdaniowa (pl)
  • Formule propositionnelle (fr)
  • Funkcja zdaniowa (pl)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of