Edición de «Práctica 5 (LyC Verano)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 95: | Línea 95: | ||
((p1 → p3) → ((p2 → p3) → ((p1 ٧ p2) → p3))) | ((p1 → p3) → ((p2 → p3) → ((p1 ٧ p2) → p3))) | ||
¬(p1 → p3) (p2 → p3) → ((p1 ٧ p2) → p3)) | ¬(p1 → p3) (p2 → p3) → ((p1 ٧ p2) → p3)) | ||
p1 ¬(p2 → p3) | p1 ¬(p2 → p3) ¬((p1 ٧ p2) → p3) | ||
¬p3 p2 | ¬p3 p2 (p1 ٧ p2) | ||
¬p3 ¬p3 | |||
</pre> | </pre> | ||
¬P = (p1 ٨ ¬p3) ٧ (p2 ٨ ¬p3 | ¬P = (p1 ٨ ¬p3) ٧ (p2 ٨ ¬p3) ٧ ¬p3 = (p1 ٧ p2 ٧ T) ٨ ¬p3 = ¬p3. Es una contingencia | ||
Nota: NO es una contingencia. Este árbol sólo logra probar que la fórmula NO ES TAUTOLOGÍA. Ahora habría que agregar el árbol para la fórmula sin negar y ver si se cierran o no todas sus ramas. Si se cierran todas, es una contradicción (en este caso ocurre eso), si queda alguna abierta, entonces sí, es una contingencia. | |||
===c)=== | ===c)=== |