A Lógica de descrição (LD) é uma família de linguagens formais de representação do conhecimento. É mais expressiva do que a lógica proposicional , mas...

pelo seu conteúdo. A lógica silogística aristotélica tradicional e a lógica simbólica moderna são exemplos de lógicas formais. Lógica informal é o estudo...

Na lógica, é comum usar um conjunto de símbolos para representar uma expressão lógica. Esses símbolos não são explicados cada vez que são usados pois os...

nas teorias da lógica e em sua aplicação. Isto envolve questões sobre como a lógica deve ser definida e como diferentes sistemas lógicos se relacionam...

Valor de verdade. Verdade lógica é um dos conceitos mais fundamentais na lógica. Existem diferentes teorias sobre sua natureza. Uma verdade lógica é uma...

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...

Em lógica, entende-se por lógica paraconsistente um sistema formal no qual se podem verificar, de modo controlado, exceções ao princípio da não contradição...

and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004 Portal da filosofia Portal da lógica...

aparência de verdadeiro. Na lógica e na retórica, uma falácia é um argumento logicamente incoerente, sem fundamento, inválido ou falho na tentativa de provar...

simplesmente porque muitas pessoas (ou a maioria delas) a aprovam. Também chamado de apelo à quantidade, o argumento é inválido pois nada garante que algo seja...

estendidos como a lógica modal. Alguns teóricos concebem a lógica filosófica em um sentido mais amplo como o estudo do escopo e da natureza da lógica em geral...