Imagem com logo do site

Lógica

A lógica estuda a argumentação humana e cria feramentas para diferenciar um argumento válido de um inválido.

Questões sobre proposição

Teste seus conhecimentos sobre o conceito de proposição através de 8 exercícios com autocorreção.

Introdução à lógica proposicional

A lógica proposicional é uma das formas mais simples e fundamentais da lógica formal. Como o nome sugere, ela se concentra no estudo das relações lógicas que existem entre proposições quando são conectadas por meio de conectivos como “e”, “ou”, “não” e “se… então”. Por exemplo, podemos usar o conectivo “e” para unir as proposições […]

A imagem ilustra o universo da lógica proposicional: uma variedade de proposições (P e Q) interligadas através de diversos conectivos lógicos, demonstrando as possíveis combinações e relações entre elas.

Tautologia, contradição e contingência

Algumas proposições são logicamente verdadeiras. Por exemplo: o gato é um gato. Não é necessário observar qualquer gato para saber que essa afirmação é verdadeira. Esse tipo de afirmação é uma verdade necessária e é chamada de tautologia. São afirmações que são sempre verdadeiras. Por outro lado, há afirmações que são logicamente falsas. Por exemplo: […]

Tabela de verdade

No artigo anterior, aprendemos a função e valores de verdade da negação, conjunção, disjunção, condicional e bicondicional. Aprendemos também como identificar se uma proposição é verdadeira ou falsa dado o valor de verdade de seus componentes. Agora podemos avançar para o próximo tema da lógica proposicional: a tabela de verdade. A tabela de verdade permite […]

Definição dos conectivos lógicos

Depois de vermos no artigo anterior o que é uma conjunção, negação, disjunção, condicional e bicondicional, o próximo passo é entender seu valores de verdade utilizando tabelas de verdade. Negação Tomo como exemplo a proposição “não existem fantasmas” ~ p. Se a proposição “existem fantasmas” for verdadeira, então ~ p é falsa. Porém, se ela […]

Conectivos lógicos

Como vimos no artigo anterior, podemos combinar várias proposições simples para criar proposições mais complexas usando conectivos lógicos. Por exemplo: Os conectivos lógicos usados para isso são: conjunção (e), disjunção (ou), condicional (se… então…) e bicondicional (se e somente se). Vamos explorar cada um deles com exemplos. Negação Mariana não gosta de Tiago ~ T […]

Proposições simples e compostas

Como vimos no artigo anterior, proposições são afirmações com sentido e valor de verdade. Por isso, frases como “leia o texto!” ou “mingau tia foi” não são proposições: a primeira porque não pode ser verdadeira ou falsa, é uma ordem, e a segunda porque não tem sentido. Proposições podem ser simples e compostas. As primeiras são […]

O que é um bom argumento?

No texto anterior, explicamos o que é um argumento. Vimos que duas condições são necessárias para termos um argumento: precisamos de uma conclusão e uma ou mais premissas que justifiquem essa conclusão.  Porém, para o argumento ser bom é necessário algo mais. Além de conclusão e premissas, são indispensáveis mais três condições: Vamos entender como […]

Argumento por analogia: o que é e como avaliar

O que é um argumento por analogia Um argumento por analogia é um instrumento importante para entendermos o mundo em que vivemos e como devemos agir em relação às pessoas com as quais nos relacionamos. Esse tipo de raciocínio é muito comum em áreas tão diversas como a ciência, filosofia, o direito, a propaganda e […]

argumento por analogia ou comparação

Diferença entre verdade e validade

Para verificar se um argumento é bom ou não, é útil compreender algumas distinções feitas pela lógica, entre elas a diferença entre verdade e validade.