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

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

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

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

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

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

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

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

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

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

teoria da prova, esclarecendo as conexões entre a lógica clássica, a lógica intuicionista e a lógica modal. Kurt Friedrich Gödel (em alemão, pronuncia-se...

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

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

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

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

cardinal e ordinal. Na matemática e na lógica, a ambiguidade pode ser considerada uma instância do conceito lógico de subdeterminação - por exemplo, X =...

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

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

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

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

é verdadeira ou é falsa, não existindo uma terceira possibilidade). Na lógica formal, reductio ad absurdum é usado quando uma contradição formal pode...

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

distingue entre lógicas estendidas e lógicas desviantes. A lógica mesma pode ser definida como o estudo de inferência válida. A lógica clássica é a forma...

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

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