Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Propositional variable
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Mathematical representation of truth or falsehood
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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International