Demuestre P
1. (¬P v ¬Q) -> (R y S)
2. R -> T
3. ¬T
-------------------
4. ¬R, MODUS TOLLENDO TOLLENS 2 3
5. ¬R v ¬S, ADICIÓN 4
6. ¬ (R y S), DE MORGAN 5
7. ¬(¬P v ¬Q), MODUS TOLLENDO TOLLENS 1 6
8. (P y Q), DOBLE NEGACIÓN + DE MORGAN 7
9. P, SIMPLIFICACIÓN 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 A'
Publicar un comentario