Attributes | Values |
---|
rdfs:label
| - Пропозициональная переменная (ru)
- Aussagenvariable (de)
- Propositional variable (en)
- Variable propositionnelle (fr)
|
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)
|
rdfs:seeAlso
| |
sameAs
| |
Wikipage page ID
| |
Wikipage revision ID
| |
dbo:wikiPageWikiLink
| |
page length (characters) of wiki page
| |
dct:subject
| |
prop-fr:wikiPageUsesTemplate
| |
prov:wasDerivedFrom
| |
prop-fr:art
| - Propositional variable (fr)
|
prop-fr:id
| |
prop-fr:lang
| |
foaf:isPrimaryTopicOf
| |
has 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)
|
is part of
| |
is dbo:wikiPageWikiLink
of | |
is Wikipage disambiguates
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |