Adapta los ejercicios resueltos a tu asignatura. Regístrate gratis

Ejercicios de lógica proposicional resueltos

Colección de ejercicios resueltos que cubren los principales métodos y técnicas de lógica formal.

Esta sección contiene ejercicios resueltos paso a paso de lógica proposicional, lógica de predicados y teoría de conjuntos. Los ejercicios están organizados por tema y nivel de dificultad, permitiendo un aprendizaje progresivo de las técnicas de demostración formal.

Acceso completo: Para acceder a ejercicios avanzados y material adicional, es necesario registrarse en el Aprobador.

Problemas y acertijos

Acertijos y problemas de lógica matemática
Problemas de razonamiento lógico y aplicación de técnicas formales a situaciones prácticas.

Tablas de verdad

Ejercicios resueltos de tablas de verdad
Construcción de tablas de verdad, análisis de tautologías, contradicciones y contingencias. Método completo y método abreviado.

Teoría de conjuntos

Ejercicios resueltos de teoría de conjuntos
Operaciones con conjuntos, diagramas de Venn, leyes de De Morgan, simplificación de expresiones, relaciones y funciones.

Deducción natural

Ejercicios resueltos de deducción natural
Demostraciones formales usando el sistema de Gentzen para lógica proposicional y lógica de predicados. Reglas básicas y derivadas.

Formalización

Formalización de oraciones del lenguaje natural
Traducción de enunciados en español al lenguaje formal de la lógica proposicional y de predicados.

Ejercicios adicionales por tema

Teoría de conjuntos - Contenido adicional

Nota: Los ejercicios se actualizan periódicamente. Para sugerencias o correcciones, utiliza el Formulario de contacto.