About: Propositional function     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:MathematicalRelation113783581, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FPropositional_function

In propositional calculus, a propositional function 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).

AttributesValues
rdf:type
rdfs:label
  • Propositional function
  • Función proposicional
  • 命題関数
  • 명제함수
  • Função proposicional
  • Пропозиційна функція
rdfs:comment
  • In propositional calculus, a propositional function 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).
  • 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.
  • 命題関数 ( めいだいかんすう、英:propositional function ) とは、数理論理学において、終集合が真な命題と偽な命題とだけから成る集合に等しいような写像である。
  • 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
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • In propositional calculus, a propositional function 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).
  • 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.
  • 命題関数 ( めいだいかんすう、英:propositional function ) とは、数理論理学において、終集合が真な命題と偽な命題とだけから成る集合に等しいような写像である。
  • 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.
  • Пропозиційна функція - функція, визначена в довільній предметній області, значеннями якої є висловлювання або їхні істинні значення. Пропозиційна функція вперше запропонована Г. Фреге та Ч. Пірсом. Термін набув поширення завдяки працям Б. Рассела. В логіці пропозиційна функція часто ототожнюється з предикатом.
prov:wasDerivedFrom
page length (characters) of wiki page
is foaf:primaryTopic of
is Link from a Wikipage to another Wikipage of
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Dec 29 2020, on Linux (x86_64-centos_6-linux-glibc2.12), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software