Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00064109n
Noun Concept
Categories: Lógica matemática, Lógica difusa
PT
predicado
PT
Em matemática, um predicado é normalmente entendido como uma função booleana P: X→ {verdadeiro, falso}, chamada de predicado em X. Entretanto, predicados possuem vários usos e interpretações diferentes em matemática e lógica, e sua definição precisa, significado e uso variam de teoria para teoria. Wikipedia
Portuguese:
lógica
lógica matemática
Definitions
Relations
Sources
PT
Em matemática, um predicado é normalmente entendido como uma função booleana P: X→ {verdadeiro, falso}, chamada de predicado em X. Entretanto, predicados possuem vários usos e interpretações diferentes em matemática e lógica, e sua definição precisa, significado e uso variam de teoria para teoria. Wikipedia
Conceito fundamental em lógica de primeira-ordem Wikipedia Disambiguation
IS A
termo
função
HAS PART
variáveis livres e ligadas
HAS KIND
invariante
EN
first-order predicate
EN
second-order predicate
extensão
EN
opaque predicate
+2 relations
CATEGORY DOMAIN
lógica
DERIVATION
EN
predicate
DESCRIBED BY SOURCE
Enciclopédia Soviética Arménia
DIFFERENT FROM
função proposicional
propriedade
FACET OF
lógica matemática
lógica proposicional
Wikipedia
PT
predicado (lógica matemática)
Wikidata
PT
predicado
Wikipedia Redirections
PT
Predicado (lógica)
Wikipedia Translations
PT
predicado

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License