This HTML5 document contains 128 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-kkhttp://kk.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n16https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-ukhttp://uk.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:Cantor's_theorem
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Principia_Mathematica
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Propositional_formula
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:List_of_first-order_theories
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Modal_logic
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:On_Denoting
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Universal_quantification
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:History_of_the_function_concept
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Von_Neumann–Bernays–Gödel_set_theory
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Index_of_logic_articles
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Index_of_philosophy_articles_(I–Q)
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Predicate_variable
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Propositional_functions
dbo:wikiPageWikiLink
dbr:Propositional_function
dbo:wikiPageRedirects
dbr:Propositional_function
Subject Item
dbr:Completeness_(logic)
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Truth_function
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Propositional_function
rdf:type
yago:Cognition100023271 yago:WikicatFunctionsAndMappings yago:Attribute100024264 yago:Idea105833840 yago:WikicatLogicalExpressions yago:Appearance104673965 yago:PsychologicalFeature100023100 yago:Quality104723816 yago:Expression104679738 yago:Content105809192 yago:Relation100031921 yago:Abstraction100002137 yago:Countenance104679549 yago:MathematicalRelation113783581 yago:WikicatConceptsInLogic yago:Concept105835747 yago:Function113783816 dbo:Person
rdfs:label
Пропозиційна функція Função proposicional 명제함수 命題関数 Propositional function Función proposicional Funzione proposizionale
rdfs:comment
Пропозиційна функція - функція, визначена в довільній предметній області, значеннями якої є висловлювання або їхні істинні значення. Пропозиційна функція вперше запропонована Г. Фреге та Ч. Пірсом. Термін набув поширення завдяки працям Б. Рассела. В логіці пропозиційна функція часто ототожнюється з предикатом. 命題関数（めいだいかんすう、英：Propositional function） とは、数理論理学において、各変数の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、集合に等しいような写像である。命題関数は真理関数でもある。 En matemáticas y lógica, una función proposicional es una función cuyas variables son proposiciones. Esto es, una afirmación expresada de manera que podría asumir los valores de verdad de falso o verdadero con la excepción de que existe alguna variable que no está definida o especificada y que por tanto no permite asignar un valor de verdad definido. p·q를 임의의 명제(論理變項)로 하면, 'p라면 q이다'라는 글은 사고방식의 한 테두리형식)로서 p·q에 구체적인 명제를 대입함으로써 진위를 판정할 수 있는 하나의 명제이다. 이 같은 형식화한 명제를 명제형식이라 한다. 또한 p·q의 진위를 알 수 있으면 이 명제형식의 진위도 판정할 수 있다는 뜻에서 명제함수(命題函數)라고도 한다. 이 문서에는 다음커뮤니케이션(현 카카오)에서 GFDL 또는 CC-SA 라이선스로 배포한 글로벌 세계대백과사전의 "명제함수" 항목을 기초로 작성된 글이 포함되어 있습니다. Uma função proposicional na lógica, é uma sentença expressa de uma forma a assumir o valor verdadeiro ou falso, exceto que, dentro da sentença há uma variável (x) que não é definida ou especificada, o que deixa a afirmação indeterminada. A sentença pode ser constituída de várias variáveis (e.g. n variáveis, nesse caso a função possui n argumentos). Como uma função matemática, A(x) ou A(x1, x2, · · ·, xn), a função proposicional é obtida de predicados ou formas proposicionais. Como um exemplo, vamos imaginar o predicado "x é quente". A substituição de qualquer entidade por x irá produzir uma proposição que pode ser dita verdadeira ou falsa, apesar de "x é quente", por si só não tenha um valor verdadeiro ou falso. No entanto, quando você atribuir a x o valor, tal como lava, então, a função t In propositional calculus, a propositional function or a predicate is a sentence expressed in a way that would assume the value of true or false, except that within the sentence there is a variable (x) that is not defined or specified (thus being a free variable), which leaves the statement undetermined. The sentence may contain several such variables (e.g. n variables, in which case the function takes n arguments).
dcterms:subject
dbc:Mathematical_relations dbc:Concepts_in_logic dbc:Predicate_logic dbc:Logical_expressions dbc:Functions_and_mappings
dbo:wikiPageID
229146
dbo:wikiPageRevisionID
1056542262
dbo:wikiPageWikiLink
dbr:Logical_truth dbr:Free_variable dbr:Proposition dbr:Binary_relation dbr:Truth_function dbr:Boolean-valued_function dbr:Propositional_calculus dbr:Propositional_formula dbr:Open_sentence dbc:Concepts_in_logic dbr:Domain_of_discourse dbr:Primitive_notion dbr:The_Principles_of_Mathematics dbr:Clarence_Lewis dbr:Homogeneous_relation dbr:False_(logic) dbc:Predicate_logic dbr:Lava dbr:Relation_(mathematics) dbc:Logical_expressions dbr:Open_formula dbr:Sentence_(logic) dbr:Set_(mathematics) dbr:Formula_(logic) dbr:Set_theory dbr:Ice dbr:Variable_(mathematics) dbr:Function_(mathematics) dbr:Arity dbr:Predicate_(mathematical_logic) dbc:Functions_and_mappings dbr:Bertrand_Russell dbc:Mathematical_relations dbr:Heterogeneous_relation
owl:sameAs
dbpedia-es:Función_proposicional dbpedia-uk:Пропозиційна_функція dbpedia-pt:Função_proposicional dbpedia-kk:Пропозициялық_функция n16:3KmPr dbpedia-it:Funzione_proposizionale dbpedia-ja:命題関数 freebase:m.019bpb dbpedia-ko:명제함수 wikidata:Q3606768 yago-res:Propositional_function dbpedia-fa:گزاره‌نما
dbp:wikiPageUsesTemplate
dbt:Sub dbt:Reflist
dbo:abstract
命題関数（めいだいかんすう、英：Propositional function） とは、数理論理学において、各変数の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、集合に等しいような写像である。命題関数は真理関数でもある。 In propositional calculus, a propositional function or a predicate is a sentence expressed in a way that would assume the value of true or false, except that within the sentence there is a variable (x) that is not defined or specified (thus being a free variable), which leaves the statement undetermined. The sentence may contain several such variables (e.g. n variables, in which case the function takes n arguments). Пропозиційна функція - функція, визначена в довільній предметній області, значеннями якої є висловлювання або їхні істинні значення. Пропозиційна функція вперше запропонована Г. Фреге та Ч. Пірсом. Термін набув поширення завдяки працям Б. Рассела. В логіці пропозиційна функція часто ототожнюється з предикатом. p·q를 임의의 명제(論理變項)로 하면, 'p라면 q이다'라는 글은 사고방식의 한 테두리형식)로서 p·q에 구체적인 명제를 대입함으로써 진위를 판정할 수 있는 하나의 명제이다. 이 같은 형식화한 명제를 명제형식이라 한다. 또한 p·q의 진위를 알 수 있으면 이 명제형식의 진위도 판정할 수 있다는 뜻에서 명제함수(命題函數)라고도 한다. 이 문서에는 다음커뮤니케이션(현 카카오)에서 GFDL 또는 CC-SA 라이선스로 배포한 글로벌 세계대백과사전의 "명제함수" 항목을 기초로 작성된 글이 포함되어 있습니다. Uma função proposicional na lógica, é uma sentença expressa de uma forma a assumir o valor verdadeiro ou falso, exceto que, dentro da sentença há uma variável (x) que não é definida ou especificada, o que deixa a afirmação indeterminada. A sentença pode ser constituída de várias variáveis (e.g. n variáveis, nesse caso a função possui n argumentos). Como uma função matemática, A(x) ou A(x1, x2, · · ·, xn), a função proposicional é obtida de predicados ou formas proposicionais. Como um exemplo, vamos imaginar o predicado "x é quente". A substituição de qualquer entidade por x irá produzir uma proposição que pode ser dita verdadeira ou falsa, apesar de "x é quente", por si só não tenha um valor verdadeiro ou falso. No entanto, quando você atribuir a x o valor, tal como lava, então, a função tem valor verdadeiro; enquanto que, se você atribuir a x o valor gelo, a função tem valor falso. Funções proposicionais são úteis na teoria dos conjuntos para a formação de conjuntos. Por exemplo, em 1903, Bertrand Russell escreveu em (página 106): "...tornou-se necessário tomar função proposicional como uma noção primitiva. Mais tarde, Russell examinou o problema de se as funções proposicionais eram ou não predicativas, e ele propôs duas teorias para tentar resolver essa questão: a teoria do zig-zag e a teoria ramificada dos tipos. Uma Função Proposicional, ou um predicado, com uma variável x é uma sentença p(x), envolvendo x que torna-se uma proposição quando damos a x um valor definido a partir do conjunto de valores que ela pode assumir. En matemáticas y lógica, una función proposicional es una función cuyas variables son proposiciones. Esto es, una afirmación expresada de manera que podría asumir los valores de verdad de falso o verdadero con la excepción de que existe alguna variable que no está definida o especificada y que por tanto no permite asignar un valor de verdad definido.
gold:hypernym
dbr:Sentence
prov:wasDerivedFrom
wikipedia-en:Propositional_function?oldid=1056542262&ns=0
dbo:wikiPageLength
3546
foaf:isPrimaryTopicOf
wikipedia-en:Propositional_function
Subject Item
dbr:Algebraic_logic
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:History_of_the_Church–Turing_thesis
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:History_of_type_theory
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Predicate
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Primitive_notion
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Cognitive_semantics
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Redundancy_theory_of_truth
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Axiom_of_reducibility
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Something_(concept)
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Meaning_(philosophy)
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Ugly_duckling_theorem
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Existential_quantification
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Philosophy_of_language
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Outline_of_logic
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
dbr:Zermelo_set_theory
dbo:wikiPageWikiLink
dbr:Propositional_function
Subject Item
wikipedia-en:Propositional_function
foaf:primaryTopic
dbr:Propositional_function