Imagem com logo do site

Lógica proposicional

Criador de tabelas de verdade

Aqui você encontrará uma ferramenta útil para criar tabelas de verdade para proposições lógicas, que ajudarão você a avaliar a veracidade de diferentes combinações de valores de verdade. Nela, você poderá inserir proposições lógicas, seja digitando diretamente com o teclado ou usando os botões com conectivos, parêntesis e variáveis para proposições, e em seguida poderá […]

Questões sobre tautologia, contradição e contingência

Questões sobre tabela de verdade

Pratique seus conhecimento sobre como construir tabelas de verdade.

Questões para identificar o valor de verdade de uma proposição

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.

Questões sobre conectivos lógicos

Traduza as frases abaixo em fórmulas bem formadas e identifique se determinadas fórmulas são bem formadas.

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