Lógica proposicional Como o nome sugere, a lógica proposicional é um ramo da lógica formal que estuda as relações lógicas entre proposições (ou declarações, sentenças, asserções) tomadas como um todo e conectadas por meio de conectivos lógicos. Ela é útil em uma variedade de campos além da filosofia: estratégia em jogos, lógica de programação, computação etc. Na […]
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 Agora que você já conhece, a partir do 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. A ideia é o valor de verdade de proposições compostas é determinado pelo valor de verdade de suas proposições simples e o […]
Conectivos lógicos Para conectar proposições simples ou alterar seu valor de verdade, são usados os conectivos lógicos. A tabela abaixo lista os conectivos, seu símbolo, função e expressões do português que traduzem. ConectivoFunçãoUsado para traduzir~Negação não, não é o caso que, não é verdade que ∧Conjunção e, também, além de ∨ Disjunção ou, mas → Condicional se… […]
Proposições simples e compostas Já vimos que 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 afirmações como […]
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: As premissas do […]
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 […]
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.
Filmes sobre argumentação O grande desafio Título original: The Great Debaters Título no Brasil: O Grande Desafio Duração: 126 min. Ano: 2007 Classificação: 14 anos O filme, baseado em fatos reais, relata a história do professor Melvin B. Tolson e sua equipe de debate. Tolson é professor negro em uma universidade do Texas na década de 1930. Para participar […]
