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).
| Attributes | Values |
|---|
| 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 | |
RDF
ODATA
About
![[RDF Data]](/fct/images/sw-rdf-blue.png)
