Pratique seus conhecimento sobre como construir tabelas de verdade.
Analise as proposições abaixo e identifique se são verdadeiras ou falsas. Considere que A, B e C são verdadeiros e Y, X e Z são falsos. Clique nas fórmulas para ver a resposta correta.
Traduza as frases abaixo em fórmulas bem formadas e identifique se determinadas fórmulas são bem formadas.
Teste seus conhecimentos sobre o conceito de proposição através de 8 exercícios com autocorreção.
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 […]
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: […]
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 […]
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 […]
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. Conectivo Função Usado 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 […]
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 […]
