In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is an input variable (that can either be true or false) of a truth function. Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher-order logics.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - متغير افتراضي (ar)
- Výroková proměnná (cs)
- Aussagenvariable (de)
- Variable proposicional (es)
- Variabile proposizionale (it)
- Variable propositionnelle (fr)
- Propositional variable (en)
- Zmienna zdaniowa (pl)
- Variável proposicional (matemática) (pt)
- Пропозициональная переменная (ru)
- 命题变量 (zh)
|
| rdfs:comment
| - المتغير الافتراضى (ويسمى أيضًا المتغير المرسل أو الحرف المرسل) (بالإنجليزية: Propositional variable) هو مُتغير في المنطق الرياضي، وهو متغير إدخال (يمكن أن يكون صحيحًا أو خاطئاَ). المتغيرات المقترحة هي العناصر الأساسية للصيغ المقترحة وتستخدم في منطق الافتراض . (ar)
- In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is an input variable (that can either be true or false) of a truth function. Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher-order logics. (en)
- Zmienna zdaniowa – bezargumentowy symbol w rachunku zdań. Zmiennym zdaniowym, w procesie zwanym wartościowaniem, przyporządkowywane są wartości prawda lub fałsz. Zmienna zdaniowa jest szczególnym przypadkiem symbolu relacyjnego dla zerowej liczby parametrów. Każda zmienna zdaniowa jest zdaniem logicznym rachunku zdań. (pl)
- 在数理逻辑中，命题变量（也称命题变元、句子变量）是要么为真要么为假的变量。命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。 逻辑中的公式通常是由一些命题变量、一些逻辑连接词和一些逻辑量词递归地建立的。命题变量是命题逻辑的原子公式，通常用大写字母表示，如、、。 在一个给定的命题逻辑中，我们可以按如下方式定义公式：
* 所有命题变量是公式。
* 给定公式 ，否定 是公式。
* 给定两个公式 和 ，和一个二元连结词 (比如逻辑合取 )，则 是公式。 通过上述方式，命题逻辑的所有公式都可以通过作为基本单位的命题变量构造出来。 (zh)
- V matematické logice je výroková proměnná taková proměnná, která může nabývat hodnot pravda anebo nepravda. Výrokové proměnné jsou základní stavební bloky výrokových formulí z výrokové logiky. Lze je používat i v predikátové logice a logikách vyšších řádů. Formule se ve výrokové logice vytvářejí rekurzivně z výrokových proměnných, logických konstant pravda a nepravda alogických spojek (Logické kvantifikátory se používají až v predikátové logice.) Výrokové proměnné jsou atomické formule výrokové logiky. Ve výrokové logice lze definovat formule takto: (cs)
- En lógica matemática, una variable proposicional (también llamada variable sentencial o letra sentencial) es una variable discreta que puede ser verdadera o falsa. Las variables proposicionales son los bloques de construcción básicos de las fórmulas proposicionales, usadas en lógica proposicional y en lógicas superiores.
* Cada variable proposicional es una fórmula.
* Dada una fórmula X, su negación ¬X es una fórmula.
* Dadas dos fórmulas X e Y, y un conectivo binario b (como por ejemplo la conjunción ∧), entonces (X b Y) es una fórmula. (es)
- 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)
- Em lógica matemática, uma variável proposicional (também conhecida como variável sentencial ou letra sentencial) é uma variável que pode assumir valor verdade verdadeiro ou falso. Variáveis proposicionais são os elementos básicos das fórmulas proposicionais, usadas na lógica proposicional e em lógicas de maiores complexidades.
* Toda variável é uma formula;
* Dado uma fórmula X, a negação, ¬X é uma formula;
* Dado uma fórmula X e uma formula Y, e um conectivo binário b (como a conjunção lógica ∧, por exemplo), então (X b Y) é uma formula. (Note o parênteses.) (pt)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - المتغير الافتراضى (ويسمى أيضًا المتغير المرسل أو الحرف المرسل) (بالإنجليزية: Propositional variable) هو مُتغير في المنطق الرياضي، وهو متغير إدخال (يمكن أن يكون صحيحًا أو خاطئاَ). المتغيرات المقترحة هي العناصر الأساسية للصيغ المقترحة وتستخدم في منطق الافتراض . (ar)
- V matematické logice je výroková proměnná taková proměnná, která může nabývat hodnot pravda anebo nepravda. Výrokové proměnné jsou základní stavební bloky výrokových formulí z výrokové logiky. Lze je používat i v predikátové logice a logikách vyšších řádů. Formule se ve výrokové logice vytvářejí rekurzivně z výrokových proměnných, logických konstant pravda a nepravda alogických spojek (Logické kvantifikátory se používají až v predikátové logice.) Výrokové proměnné jsou atomické formule výrokové logiky. Ve výrokové logice lze definovat formule takto:
* Každá výroková proměnná je formule.
* Pro libovolnou formuli X její negace ¬X je proměnná.
* Pro libovolné dvě formule X a Y a (binární) logickou spojku op (jako například logickou konjunkci ∧) je X op Y výrokovou formuli.
* Formule vzniká konečným počtem použití předchozích tří pravidel. Tímto způsobem formule výrokové logiky používají výrokové proměnné jako své základné stavební jednotky. (cs)
- En lógica matemática, una variable proposicional (también llamada variable sentencial o letra sentencial) es una variable discreta que puede ser verdadera o falsa. Las variables proposicionales son los bloques de construcción básicos de las fórmulas proposicionales, usadas en lógica proposicional y en lógicas superiores. Las fórmulas en lógica son comúnmente construidas recursivamente a partir de algunas variables proposicionales, algún número de conectivos lógicos, y algunos cuantificadores lógicos. Las variables proposicionales son las fórmulas atómicas de la lógica proposicional. Por ejemplo, en una lógica proposicional dada, se podría definir una fórmula de la siguiente manera:
* Cada variable proposicional es una fórmula.
* Dada una fórmula X, su negación ¬X es una fórmula.
* Dadas dos fórmulas X e Y, y un conectivo binario b (como por ejemplo la conjunción ∧), entonces (X b Y) es una fórmula. De este modo, todas las fórmulas de la lógica proposicional son construidas utilizando variables proposicionales como unidades básicas. Las variables proposicionales son representadas como predicados 0-arios en lógica de primer orden. (es)
- In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is an input variable (that can either be true or false) of a truth function. Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher-order logics. (en)
- 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)
- Zmienna zdaniowa – bezargumentowy symbol w rachunku zdań. Zmiennym zdaniowym, w procesie zwanym wartościowaniem, przyporządkowywane są wartości prawda lub fałsz. Zmienna zdaniowa jest szczególnym przypadkiem symbolu relacyjnego dla zerowej liczby parametrów. Każda zmienna zdaniowa jest zdaniem logicznym rachunku zdań. (pl)
- Em lógica matemática, uma variável proposicional (também conhecida como variável sentencial ou letra sentencial) é uma variável que pode assumir valor verdade verdadeiro ou falso. Variáveis proposicionais são os elementos básicos das fórmulas proposicionais, usadas na lógica proposicional e em lógicas de maiores complexidades. Fórmulas em lógica são tipicamente construídas recursivamente de algumas variáveis proposicionais, número de conectivos lógicos e quantificadores lógicos. Variáveis proposicionais são formulas atômicas da lógica proposicional. Na lógica proposicional, podemos definir as formulas, por exemplo:
* Toda variável é uma formula;
* Dado uma fórmula X, a negação, ¬X é uma formula;
* Dado uma fórmula X e uma formula Y, e um conectivo binário b (como a conjunção lógica ∧, por exemplo), então (X b Y) é uma formula. (Note o parênteses.) Dessa forma, todas as formulas da lógica proposicional são construídas a partir das variáveis proposicionais com unidade básica. Variáveis proposicionais não devem ser confundida com meta-variáveis as quais aparecem nos típicos axiomas do cálculo proposicional; O último atua efetivamente sob fórmulas bem formadas. Variáveis proposicionais são representadas como predicados nulos em lógica de primeira ordem. (pt)
- 在数理逻辑中，命题变量（也称命题变元、句子变量）是要么为真要么为假的变量。命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。 逻辑中的公式通常是由一些命题变量、一些逻辑连接词和一些逻辑量词递归地建立的。命题变量是命题逻辑的原子公式，通常用大写字母表示，如、、。 在一个给定的命题逻辑中，我们可以按如下方式定义公式：
* 所有命题变量是公式。
* 给定公式 ，否定 是公式。
* 给定两个公式 和 ，和一个二元连结词 (比如逻辑合取 )，则 是公式。 通过上述方式，命题逻辑的所有公式都可以通过作为基本单位的命题变量构造出来。 (zh)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)