About: Propositional variable

Property	Value
dbo:description	mathematical representation of truth or falsehood (en) variable pouvant prendre n'importe quelle valeur dans un ensemble de valeurs (fr) صيغة تمثيل رياضي (ar)
dbo:wikiPageWikiLink	dbr:Predicate_variable dbc:Propositional_calculus dbr:Variable_(mathematics) dbc:Logic_symbols dbr:First-order_logic dbr:Atomic_formula dbr:Propositional_logic dbr:Zeroth-order_logic dbr:Propositional_formula dbr:Bound_variable dbc:Concepts_in_logic dbr:Logical_conjunction dbr:Latin_script dbr:Logical_connective dbr:Negation dbr:Boolean_algebra_(logic) dbr:Boolean_datatype dbr:Mathematical_logic dbr:Truth_function dbr:Higher-order_logic dbr:Singular_term dbr:Boolean_domain dbr:Boolean_function dbr:Domain_of_discourse dbr:Metavariable dbr:Predicate_symbol dbr:Binary_connective dbr:Logical_quantifier dbr:Logical_value
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Logic-stub dbt:Div_col dbt:Div_col_end dbt:Mathematical_logic dbt:Short_description
dct:subject	dbc:Propositional_calculus dbc:Logic_symbols dbc:Concepts_in_logic
rdfs:label	Propositional variable (en) متغير افتراضي (ar) Aussagenvariable (de) Výroková proměnná (cs) Variable proposicional (es) Variabile proposizionale (it) Variable propositionnelle (fr) Variável proposicional (matemática) (pt) Пропозициональная переменная (ru) Zmienna zdaniowa (pl) 命题变量 (zh)
owl:sameAs	freebase:Propositional variable yago-res:Propositional variable wikidata:Propositional variable dbpedia-it:Propositional variable dbpedia-de:Propositional variable dbpedia-fr:Propositional variable dbpedia-zh:Propositional variable dbpedia-pt:Propositional variable dbpedia-es:Propositional variable dbpedia-ru:Propositional variable dbpedia-pl:Propositional variable dbpedia-ar:Propositional variable dbpedia-cs:Propositional variable dbpedia-global:Propositional variable
prov:wasDerivedFrom	wikipedia-en:Propositional_variable?oldid=1249286960&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Propositional_variable
is dbo:wikiPageRedirects of	dbr:Sentential_letter dbr:Sentential_variable dbr:Proposition_variable dbr:Propositional_symbol
is dbo:wikiPageWikiLink of	dbr:Modal_operator dbr:Admissible_rule dbr:Predicate_variable dbr:Vector_logic dbr:Variable_(mathematics) dbr:Craig_interpolation dbr:Belief_revision dbr:First-order_logic dbr:Commutative_property dbr:Atomic_formula dbr:Propositional_calculus dbr:Propositional_formula dbr:Post's_lattice dbr:Well-formed_formula dbr:Disjunctive_normal_form dbr:Kripke_semantics dbr:Tautology_(logic) dbr:Binary_data dbr:Lindenbaum–Tarski_algebra dbr:Index_of_logic_articles dbr:Interpretation_(logic) dbr:Stanford_Research_Institute_Problem_Solver dbr:Axiom dbr:Truth_value dbr:Löb's_theorem dbr:Dynamic_logic_(modal_logic) dbr:Fuzzy_set dbr:Conjunctive_normal_form dbr:Schaefer's_dichotomy_theorem dbr:T-norm_fuzzy_logics dbr:Boolean_algebra dbr:Literal_(mathematical_logic) dbr:Valuation_(logic) dbr:Linear_temporal_logic dbr:DPLL_algorithm dbr:Context_principle dbr:Probabilistic_logic dbr:BL_(logic) dbr:General_frame dbr:Monoidal_t-norm_logic dbr:Circumscription_(logic) dbr:Outline_of_logic dbr:Modal_companion dbr:Łukasiewicz_logic dbr:Timed_propositional_temporal_logic dbr:Metric_temporal_logic dbr:Sentential_letter dbr:Sentential_variable dbr:Proposition_variable dbr:Propositional_symbol
is foaf:primaryTopic of	wikipedia-en:Propositional_variable