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