Demuestre D
1. A -> (B v C)
2. B -> C
3. A v D
4. ¬C
------------------
5. ¬B, --MODUS TOLLENDO TOLLENS 2 4
6. ¬B y ¬C, --ADJUNCIÓN 4 5
7. ¬(B v C), --DOBLE NEGACIÓN + DE MORGAN 6
8. ¬A, --MODUS TOLLENDO TOLLENS 1 7
9. D, --SILOGISMO DISYUNTIVO 3 8
Python TEC
Abel Méndez Porras, TEC, ITCR, Introducción a la Programación, Python, Geovanny Méndez Marín, 2010, San Carlos
▀▄ Categorías
- 1er Exámen Intro (67)
- 2do Exámen Intro (42)
- Bucles (1)
- Colecciones (1)
- Condicionales (1)
- Contacto (1)
- Descargas (1)
- Formas Normales (1)
- Funciones (74)
- hello world (1)
- Inferencias Lógicas (11)
- Matemáticas (20)
- Módulos (3)
- Noticias (5)
- Relaciones (1)
- Scheme (1)
- Tecnología (1)
- Tipos (1)
- Variables (1)
0 Respuestas a 'Ejercicio C'
Publicar un comentario