8 relações: Fórmula atômica, Lógica, Lógica não monotônica, Notação matemática, Programação lógica, Prolog, Regra de inferência, Se e somente se.
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!!: Negação por falha e Fórmula atômica · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Negação por falha e Lógica · Veja mais »
Lógica não monotônica
Uma lógica não monotônica é uma lógica formal cuja relação de consequência não é monotônica.
Novo!!: Negação por falha e Lógica não monotônica · Veja mais »
Notação matemática
O símbolo de infinito (\infty) em vários estilos de caracteres. Notação matemática é uma linguagem cuja grafia e semântica se utiliza dos símbolos matemáticos e da lógica matemática, respectivamente.
Novo!!: Negação por falha e Notação matemática · Veja mais »
Programação lógica
Programação lógica é um paradigma de programação que faz uso da lógica matemática.
Novo!!: Negação por falha e Programação lógica · Veja mais »
Prolog
Prolog (Programação Lógica) é uma linguagem de programação que se enquadra no paradigma de Programação em Lógica Matemática.
Novo!!: Negação por falha e Prolog · 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!!: Negação por falha e Regra de inferência · Veja mais »
Se e somente se
Se e somente se, ou se e só se (abreviado, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B. O correspondente símbolo lógico é \Leftrightarrow.