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 function
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
unknown
Property
Value
dbo:
wikiPageWikiLink
dbr
:Predicate_(mathematical_logic)
dbr
:Variable_(mathematics)
dbc
:Predicate_logic
dbc
:Functions_and_mappings
dbr
:Function_(mathematics)
dbr
:Set_theory
dbr
:Bertrand_Russell
dbr
:Set_(mathematics)
dbr
:Propositional_calculus
dbr
:Propositional_formula
dbr
:False_(logic)
dbr
:The_Principles_of_Mathematics
dbr
:Proposition
dbr
:Free_variable
dbc
:Concepts_in_logic
dbr
:Arity
dbr
:Logical_truth
dbr
:Lava
dbr
:Binary_relation
dbr
:Heterogeneous_relation
dbr
:Truth_function
dbc
:Logical_expressions
dbr
:Primitive_notion
dbr
:Ice
dbc
:Mathematical_relations
dbr
:Open_formula
dbr
:Domain_of_discourse
dbr
:Homogeneous_relation
dbr
:Relation_(mathematics)
dbr
:Clarence_Lewis
dbr
:Boolean-valued_function
dbr
:Sentence_(logic)
dbr
:Open_sentence
dbr
:Formula_(logic)
dbp:
wikiPageUsesTemplate
dbt
:Reflist
dbt
:Sub
dct:
subject
dbc
:Predicate_logic
dbc
:Functions_and_mappings
dbc
:Concepts_in_logic
dbc
:Logical_expressions
dbc
:Mathematical_relations
gold:
hypernym
dbr
:Sentence
rdfs:
label
Propositional function
(en)
Función proposicional
(es)
Funzione proposizionale
(it)
命題関数
(ja)
명제함수
(ko)
Função proposicional
(pt)
Пропозиційна функція
(uk)
owl:
sameAs
freebase
:Propositional function
yago-res
:Propositional function
wikidata
:Propositional function
dbpedia-it
:Propositional function
dbpedia-ja
:Propositional function
dbpedia-pt
:Propositional function
dbpedia-es
:Propositional function
dbpedia-fa
:Propositional function
dbpedia-ko
:Propositional function
dbpedia-kk
:Propositional function
dbpedia-uk
:Propositional function
dbpedia-global
:Propositional function
prov:
wasDerivedFrom
wikipedia-en
:Propositional_function?oldid=1213211952&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Propositional_function
is
dbo:
wikiPageRedirects
of
dbr
:Propositional_functions
is
dbo:
wikiPageWikiLink
of
dbr
:Predicate_variable
dbr
:Axiom_of_reducibility
dbr
:Universal_quantification
dbr
:Principia_Mathematica
dbr
:Predicate
dbr
:Algebraic_logic
dbr
:Cognitive_semantics
dbr
:Propositional_formula
dbr
:Philosophy_of_language
dbr
:Zermelo_set_theory
dbr
:Modal_logic
dbr
:Index_of_philosophy_articles_(I–Q)
dbr
:Completeness_(logic)
dbr
:List_of_first-order_theories
dbr
:Index_of_logic_articles
dbr
:Meaning_(philosophy)
dbr
:On_Denoting
dbr
:Something_(concept)
dbr
:Von_Neumann–Bernays–Gödel_set_theory
dbr
:Truth_function
dbr
:History_of_the_Church–Turing_thesis
dbr
:History_of_the_function_concept
dbr
:History_of_type_theory
dbr
:Cantor's_theorem
dbr
:Existential_quantification
dbr
:Primitive_notion
dbr
:Ugly_duckling_theorem
dbr
:Redundancy_theory_of_truth
dbr
:Outline_of_logic
dbr
:Propositional_functions
is
foaf:
primaryTopic
of
wikipedia-en
:Propositional_function
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International