Substituição é um conceito fundamental em lógica. Uma substituição é uma transformação sintática em uma expressão formal. Aplicar uma substituição a uma...

similaridade) material ou conceitual com outra palavra. Trata-se de uma substituição lógica de um termo por outro, mantendo-se, todavia, uma proximidade entre...

ciência da computação, a lógica é uma ferramenta indispensável. Por fim, a lógica também é estudada na teoria da argumentação. A lógica foi estudada em várias...

podem ser escritas na lógica proposicional. Juntamente com o NEM, é um dos dois operadores unários funcionalmente completos da lógica proposicional. O conectivo...

outra língua, para a linguagem da lógica. Desta forma, por exemplo, a expressão "todo A é B" mostra a forma lógica comum às sentenças "todo humano é mortal"...

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

estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem. As sentenças atômicas da lógica de primeira ordem têm o formato...

raciocínio errado com 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 lógica matemática e na ciência da computação, o cálculo lambda, também escrito como cálculo-λ é um sistema formal que estuda funções recursivas computáveis...

diferentemente das sentenças da lógica proposicional. No contexto de lógica de primeira ordem, uma distinção é mantida entre validades lógicas, sentenças que são verdadeiras...

teoria. Na lógica proposicional, fórmulas atômicas são chamadas de variáveis proposicionais. São os predicados de aridade nula (0-ária). Na lógica de primeira...

verdade. Verdade lógica é um dos conceitos mais fundamentais na lógica. Existem diferentes teorias sobre sua natureza. Uma verdade lógica é uma declaração...

Na lógica matemática, a lógica de segunda ordem é uma extensão da lógica de primeira ordem, onde a própria lógica de primeira ordem é uma extensão de lógica...

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

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

Giorgi Japaridze em 2003, lógica de computabilidade é um programa de pesquisa e quadro matemático para reabilitação lógica como uma Teoria da Computabilidade...

Na lógica, o calculo monádico de predicados (também referido como lógica de primeira ordem monádica) é um fragmento da lógica de primeira ordem na qual...

Desidério Murcho e Nelson Gonçalves Gomes (2006). Enciclopédia de Termos Lógico-Filosóficos. São Paulo: Martins Fontes  pp. 50-1. [em linha] Credencialismo...

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

principal: NOR A porta lógica NAND foi considerada a "porta universal" quando se tratava de substituição de um padrão lógico AND-OR, porém quando uma...

Na lógica matemática, a lógica superintuicionista é a lógica proposicional estendendo a lógica intuicionista. Lógica clássica é a lógica superintuicionista...

Axiologia Filosofia da lógica Filosofia da matemática Filosofia História da lógica Lógica filosófica Lógica informal Lógica matemática Lógica na ciência da computação...

sintaticamente mal formado. A álgebra da lógica polissortida é explicada em um artigo de Caleiro e Gonçalves, que generaliza a lógica algébrica abstrata para o caso...

Em matemática, a lógica de Łukasiewicz (em inglês:/luːkəˈʃɛvɪtʃ/; em polonês: /wukaˈɕɛvʲitʂ/), é uma lógica não-clássica multivalorada. Foi definida por...

está interligada à premissa. A inferência não é inválida, e a estrutura lógica é aceitável, o equívoco se fundamenta na solidez da presunção. Por isto...

t-normas para possíveis interpretações de conjunção lógica. Elas são usadas principalmente em lógica difusa aplicada e teorias de conjuntos difusos como...

Na lógica proposicional, implicação material  é uma regra de substituição válida que permite que uma sentença condicional seja substituída por uma disjunção...

Axiologia Filosofia da lógica Filosofia da matemática Filosofia História da lógica Lógica filosófica Lógica informal Lógica matemática Lógica na ciência da computação...

Uma lógica livre é uma lógica com menos pressuposições existenciais do que a lógica clássica. Lógicas livres permitem termos que não denotam qualquer...

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

O cálculo lógico, ou derivação lógica, é um algoritmo ou sistema lógico que permite inferir ou deduzir um enunciado verdadeiro a partir de outro ou outros...