Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Eliminação da conjunção

Índice Eliminação da conjunção

Na lógica matemática, a eliminação da conjunção ou simplificação é uma regra de inferência que estabelece que, se a conjunção de A e B é verdadeira, então A é verdadeiro e B é verdadeiro.

5 relações: Conjunção, Língua portuguesa, Lógica matemática, Linguagem formal, Regra de inferência.

Conjunção

Conjunção (do termo latino conjunctione) é uma das classes de palavras definidas pela gramática geral.

Novo!!: Eliminação da conjunção e Conjunção · Veja mais »

Língua portuguesa

A língua portuguesa, também designada português, é uma língua indo-europeia românica flexiva ocidental originada no galego-português falado no Reino da Galiza e no norte de Portugal.

Novo!!: Eliminação da conjunção e Língua portuguesa · Veja mais »

Lógica matemática

A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.

Novo!!: Eliminação da conjunção e Lógica matemática · Veja mais »

Linguagem formal

Entende-se por linguagem formal estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos.

Novo!!: Eliminação da conjunção e Linguagem formal · Veja mais »

Regra de inferência

Inferência é o processo pelo qual se chega a uma proposição, firmada na base de uma ou outras mais proposições aceitas como ponto de partida do processo.

Novo!!: Eliminação da conjunção e Regra de inferência · Veja mais »

Redireciona aqui:

Simplificação.

CessanteEntrada
Ei! Agora estamos em Facebook! »