Lógica proposicional

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 o que é uma conjunção, negação, disjunção, condicional e bicondicional, o próximo passo é entender seu seus 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 conectivo atrelado a elas. […]

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

Uma proposição é aquilo que é expresso através de sentenças declarativas e que é verdadeiro ou falso.