Adapte os exercícios resolvidos à sua disciplina. Registe-se gratuitamente

Exercícios resolvidos de lógica proposicional

Coleção de exercícios resolvidos sobre os principais métodos da lógica formal.

Esta secção contém exercícios resolvidos passo a passo de lógica proposicional, lógica de predicados e teoria dos conjuntos. Os exercícios estão organizados por tema e dificuldade, permitindo uma aprendizagem progressiva das técnicas de demonstração.

Acesso completo: Para aceder aos exercícios avançados e material completo, registe-se no Aprovador.

Problemas e enigmas

Enigmas e problemas de lógica
Problemas de raciocínio e aplicação das técnicas formais a situações concretas.

Tabelas de verdade

Exercícios resolvidos de tabelas de verdade
Construção de tabelas de verdade, análise de tautologias, contradições e contingências. Método completo e abreviado.

Teoria dos conjuntos

Exercícios resolvidos de teoria dos conjuntos
Operações com conjuntos, diagramas de Venn, leis de De Morgan, simplificação, relações e funções.

Dedução natural

Exercícios resolvidos de dedução natural
Demonstrações formais com o cálculo de Gentzen para lógica proposicional e de predicados. Regras primitivas e derivadas.

Formalização

Formalização de enunciados
Tradução de frases portuguesas para a linguagem formal da lógica proposicional e de predicados.

Mais exercícios por tema

Teoria dos conjuntos — Aprofundamento

Nota: Os exercícios são atualizados periodicamente. Para sugestões ou correções, utilize o Envie-nos uma mensagem.