Lógica proposicional

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.

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 […]