| Parte A - Problema#10 | ||||||||||
| [(P | → | Q) | ∧ | ¬(Q | v | R)] | → | ¬P | ||
| 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | ||
| 0 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | ||
| 0 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | ||
| 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | ||
| 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | ||
| 1 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | ||
| 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | ||
| 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | ||
| Resultado: 1: Válido, Tautología | ||||||||||
| Parte A - Problema#4 | ||||||||||
| [(P | → | ¬Q) | ∧ | (R | → | Q)] | → | (P | → | ¬R) |
| 0 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 |
| 0 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 |
| 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 |
| 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 1 |
| 1 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 |
| 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 |
| Resultado: 1: Válido, Tautología | ||||||||||
Alexandra I. Chen
viernes, 28 de mayo de 2021
Lógica I, Capítulo IV (problema#4, 10 - resueltos by AIC)
