Abrir menu principal
Question book.svg
Este artigo ou secção não cita fontes confiáveis e independentes (desde dezembro de 2011). Ajude a inserir referências.
O conteúdo não verificável pode 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.