21 relações: Aridade, Declaração (lógica), Distribuição de probabilidade, Fórmula atômica, Função (matemática), Função booliana, Função característica (probabilidade), Função indicadora, Função proposicional, Grau de verdade, Lógica de primeira ordem, Lógica difusa, Lógica proposicional, Matemática, Proposição, Relação binária, Semântica, Sentença atômica, Teoria dos conjuntos, Valor de verdade, Variáveis livres e ligadas.
Aridade
Na matemática a aridade de uma função ou operação é o número de argumentos ou operandos tomados.
Novo!!: Predicado (lógica matemática) e Aridade · Veja mais »
Declaração (lógica)
Em lógica uma declaração ou é (a) uma sentença declarativa significativa que é ou verdadeira ou falsa, ou (b) que é afirmada ou criada pelo uso de uma sentença declarativa.
Novo!!: Predicado (lógica matemática) e Declaração (lógica) · Veja mais »
Distribuição de probabilidade
Em teoria da probabilidade e em estatística, uma distribuição de probabilidade descreve o comportamento aleatório de um fenômeno dependente do acaso.
Novo!!: Predicado (lógica matemática) e Distribuição de probabilidade · Veja mais »
Fórmula atômica
Em Lógica matemática, uma Fórmula Atômica (ou simplesmente átomo) é uma fórmula sem uma estrutura proposicional mais profunda, isto é, uma fórmula que não contém Conectivos lógicos, ou equivalentemente uma fórmula que não contém subfórmulas.
Novo!!: Predicado (lógica matemática) e Fórmula atômica · Veja mais »
Função (matemática)
Uma função não injetiva e não sobrejetiva do domínio X para o contradomínio Y. A função é não injetova pois há dois elementos do domínio ligados a um mesmo elemento do contradomínio (cor vermelha). A função é não sobrejetiva pois há elementos de Y sem correspondentes em X (cores azul e lilás). Uma função é uma relação de um conjunto A com um conjunto B. Denotamos uma função por f:A\to B, y.
Novo!!: Predicado (lógica matemática) e Função (matemática) · Veja mais »
Função booliana
Uma (lógica), que em alguns casos é um predicado ou uma proposição, é uma função do tipo f: X \to B, onde X é um conjunto arbitrário e B é um domínio booliano.
Novo!!: Predicado (lógica matemática) e Função booliana · Veja mais »
Função característica (probabilidade)
Em probabilidade, a função característica de uma variável aleatória X é a função quando esta esperança existe, em que t é o argumento (real ou imaginário) da função característica e i é uma raiz quadrada de menos um.
Novo!!: Predicado (lógica matemática) e Função característica (probabilidade) · Veja mais »
Função indicadora
Na matemática, a função indicadora de um conjunto é a função que indica se o elemento pertence ao conjunto, assumindo neste caso o valor 1, e 0 em caso contrário.
Novo!!: Predicado (lógica matemática) e Função indicadora · Veja mais »
Função proposicional
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.
Novo!!: Predicado (lógica matemática) e Função proposicional · Veja mais »
Grau de verdade
Em matemática padrão, proposições podem ser tipicamente consideradas inequivocamente verdadeiras ou falsas.
Novo!!: Predicado (lógica matemática) e Grau de verdade · Veja mais »
Lógica de primeira ordem
A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.
Novo!!: Predicado (lógica matemática) e Lógica de primeira ordem · Veja mais »
Lógica difusa
A lógica difusa ou lógica fuzzy é a forma de lógica multivalorada, na qual os valores verdade das variáveis podem ser qualquer número real entre 0 (correspondente ao valor falso) e 1 (correspondente ao valor verdadeiro), diferentemente do que se verifica na lógica booliana (também chamada, às vezes, lógica nítida), segundo a qual os valores lógicos podem ser apenas 0 ou 1.
Novo!!: Predicado (lógica matemática) e Lógica difusa · Veja mais »
Lógica proposicional
Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal.
Novo!!: Predicado (lógica matemática) e Lógica proposicional · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Predicado (lógica matemática) e Matemática · Veja mais »
Proposição
Proposição é um termo usado em lógica para descrever o conteúdo de asserções.
Novo!!: Predicado (lógica matemática) e Proposição · Veja mais »
Relação binária
Relação binária Relação bináriaNa matemática e na lógica, uma relação binária ou 2-ária é uma relação entre dois elementos, sendo um conjunto de pares ordenados.
Novo!!: Predicado (lógica matemática) e Relação binária · Veja mais »
Semântica
Rede semântica em língua portuguesa Semântica (do grego σημαντικός, sēmantiká, plural neutro de sēmantikós, derivado de sema, sinal) é o estudo do significado.
Novo!!: Predicado (lógica matemática) e Semântica · Veja mais »
Sentença atômica
Na lógica, uma sentença atômica é um tipo de sentença declarativa que pode ser verdadeira ou falsa (pode também ser referido como uma proposição, declaração ou portador da verdade) e que não pode ser dividida em outras sentenças mais simples.
Novo!!: Predicado (lógica matemática) e Sentença atômica · Veja mais »
Teoria dos conjuntos
conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.
Novo!!: Predicado (lógica matemática) e Teoria dos conjuntos · Veja mais »
Valor de verdade
Na lógica e na matemática, um valor de verdade, também chamado de valor veritativo ou valor verdade, é um valor que indica o grau de verdade de uma proposição, dependendo da interpretação.
Novo!!: Predicado (lógica matemática) e Valor de verdade · Veja mais »
Variáveis livres e ligadas
Em programação de computadores, uma variável livre é uma variável referenciada em uma função, que não é nem uma variável local nem um argumento daquela função.
Novo!!: Predicado (lógica matemática) e Variáveis livres e ligadas · Veja mais »