Une variable est représentée par un symbole qui définit une quantité qui peut prendre n'importe quelle valeur dans un ensemble de valeurs. En logique mathématique, une variable propositionnelle est un symbole qui désigne une proposition dans le calcul propositionnel, c'est une variable qui peut être remplacée par une proposition vraie ou fausse ou par une formule qui est elle-même composée de variables propositionnelles et donc qui peut prendre parfois la valeur vraie et parfois la valeur faux. Les variables propositionnelles sont les éléments fondamentaux des formules propositionnelles, utilisés en logique propositionnelle et dans des logiques d'ordre supérieur.

Property Value
dbo:abstract
  • Une variable est représentée par un symbole qui définit une quantité qui peut prendre n'importe quelle valeur dans un ensemble de valeurs. En logique mathématique, une variable propositionnelle est un symbole qui désigne une proposition dans le calcul propositionnel, c'est une variable qui peut être remplacée par une proposition vraie ou fausse ou par une formule qui est elle-même composée de variables propositionnelles et donc qui peut prendre parfois la valeur vraie et parfois la valeur faux. Les variables propositionnelles sont les éléments fondamentaux des formules propositionnelles, utilisés en logique propositionnelle et dans des logiques d'ordre supérieur. Généralement, les variables propositionnelles sont désignées par des lettres majuscules comme P, Q, ... (fr)
  • Une variable est représentée par un symbole qui définit une quantité qui peut prendre n'importe quelle valeur dans un ensemble de valeurs. En logique mathématique, une variable propositionnelle est un symbole qui désigne une proposition dans le calcul propositionnel, c'est une variable qui peut être remplacée par une proposition vraie ou fausse ou par une formule qui est elle-même composée de variables propositionnelles et donc qui peut prendre parfois la valeur vraie et parfois la valeur faux. Les variables propositionnelles sont les éléments fondamentaux des formules propositionnelles, utilisés en logique propositionnelle et dans des logiques d'ordre supérieur. Généralement, les variables propositionnelles sont désignées par des lettres majuscules comme P, Q, ... (fr)
dbo:isPartOf
dbo:wikiPageID
  • 10300272 (xsd:integer)
dbo:wikiPageLength
  • 4670 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 182852833 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:art
  • Propositional variable (fr)
  • Propositional variable (fr)
prop-fr:id
  • 635471524 (xsd:integer)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • Une variable est représentée par un symbole qui définit une quantité qui peut prendre n'importe quelle valeur dans un ensemble de valeurs. En logique mathématique, une variable propositionnelle est un symbole qui désigne une proposition dans le calcul propositionnel, c'est une variable qui peut être remplacée par une proposition vraie ou fausse ou par une formule qui est elle-même composée de variables propositionnelles et donc qui peut prendre parfois la valeur vraie et parfois la valeur faux. Les variables propositionnelles sont les éléments fondamentaux des formules propositionnelles, utilisés en logique propositionnelle et dans des logiques d'ordre supérieur. (fr)
  • Une variable est représentée par un symbole qui définit une quantité qui peut prendre n'importe quelle valeur dans un ensemble de valeurs. En logique mathématique, une variable propositionnelle est un symbole qui désigne une proposition dans le calcul propositionnel, c'est une variable qui peut être remplacée par une proposition vraie ou fausse ou par une formule qui est elle-même composée de variables propositionnelles et donc qui peut prendre parfois la valeur vraie et parfois la valeur faux. Les variables propositionnelles sont les éléments fondamentaux des formules propositionnelles, utilisés en logique propositionnelle et dans des logiques d'ordre supérieur. (fr)
rdfs:label
  • Пропозициональная переменная (ru)
  • Aussagenvariable (de)
  • Propositional variable (en)
  • Variable propositionnelle (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of