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

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

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

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

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

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

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

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

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

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