Função booliana: diferenças entre revisões
m Revertidas edições por 200.195.165.5 para a última versão por Ceklock (usando Huggle) |
|||
Linha 2: | Linha 2: | ||
{{esboço}} |
{{esboço}} |
||
Uma '''função booleana (lógica)''', que em alguns casos é um '''predicado''' ou uma '''proposição''', é uma função do tipo <math>f: X \to B</math>, onde <math>\,\!X</math> é um [[conjunto]] arbitrário e <math>\,\!B</math> é um [[domínio booleano]]. |
Uma ""um'''função booleana (lógica)''', que em alguns casos é um '''predicado''' ou uma '''proposição''', é uma função do tipo <math>f: X \to B</math>, onde <math>\,\!X</math> é um [[conjunto]] arbitrário e <math>\,\!B</math> é um [[domínio booleano]]. |
||
Um '''domínio booleano''' <math>\,\!B</math> é um [[conjunto]] genérico de 2 elementos, por exemplo, <math>\,\! B = \{0, 1\}</math>, cujos elementos sejam interpretados como [[valores lógicos]], por exemplo, <math>\,\!0 = falso</math> e <math>\,\!1 = verdadeiro</math>. |
Um '''domínio booleano''' <math>\,\!B</math> é um [[conjunto]] genérico de 2 elementos, por exemplo, <math>\,\! B = \{0, 1\}</math>, cujos elementos sejam interpretados como [[valores lógicos]], por exemplo, <math>\,\!0 = falso</math> e <math>\,\!1 = verdadeiro</math>. |
Revisão das 18h15min de 28 de abril de 2012
Este artigo não cita fontes confiáveis. |
Uma ""umfunção booleana (lógica), que em alguns casos é um predicado ou uma proposição, é uma função do tipo , onde é um conjunto arbitrário e é um domínio booleano.
Um domínio booleano é um conjunto genérico de 2 elementos, por exemplo, , cujos elementos sejam interpretados como valores lógicos, por exemplo, e .
Nas ciências formais, matemática, lógica matemática, estatística, e suas disciplinas aplicadas, uma função booleana pode também ser referenciada como uma função característica, função indicadora, predicado ou proposição. Em todos esses casos compreende-se que os vários termos se referem a um objeto matemático e não ao correspondente sinal ou expressão sintática.
Em teorias de verdades formais, um predicado de verdade é um predicado sobre as sentenças de uma linguagem formal, que formaliza o conceito intuitivo que é uma expressão normalmente quando dizemos que uma sentença é verdadeira. Um predicado de verdade pode ter muitos domínios adicionais além do domínio da linguagem formal, se tal for necessário para determinar um valor de verdade final.
Ver também
- Álgebra booleana
- Cálculo proposicional
- Domínio booleano
- Lógica booleana
- Lógica de ordem zero
- Problema de satisfatibilidade booleana
- Tabela verdade
Conceitos equivalentes
- Função indicadora
- Predicado, em alguns casos
- Proposição, em alguns casos
Ligações externas
- MathWorld: (em inglês)