Abrir menu principal

Wikipédia β

Função booliana

(Redirecionado de Função booleana)
Question book.svg
Esta página ou secção não cita fontes confiáveis e independentes, o que compromete sua credibilidade (desde dezembro de 2011). Por favor, adicione referências e insira-as corretamente no texto ou no rodapé. Conteúdo sem fontes poderá ser removido.
Encontre fontes: Google (notícias, livros e acadêmico)

Uma função booleana (AO 1945: funçã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 booliana 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émEditar

Ligações externasEditar


  Este artigo sobre Lógica é um esboço. Você pode ajudar a Wikipédia expandindo-o.