Documentos de Académico
Documentos de Profesional
Documentos de Cultura
GRUPO N° 1
INTEGRANTES:
Silva Tineo Keyla Anali
Estrada Ramos Yenifer
Siesquen De la Cruz Fabricio
Díaz Arboleda Andrea
Suclupe Montalvan Lizeth
Banda Maldonado Miriam Graciela
EVALUACION EN TABLAS DE VERDAD
Contradicción
2.~[~(p ∧ q) → ~q] v p
Contingencia
EVALUACION EN TABLAS DE VERDAD
→
3.[(p q)v ~ p] ∧ (~q→p)
Contingencia
4.[(p ⋀ q) v p] ∧~(~q→p)
Contradicción
EVALUACION EN TABLAS DE VERDAD
Tautología
RESUELVE:
Traduce a forma simbólica y comprueba la validez de las siguientes inferencias.
→
(p q)ʌ p (p →~q)
2.Sí el triángulo es isósceles entonces tiene dos lados iguales. Pero el triángulo
no tiene dos lados iguales. Por lo tanto no es isósceles.
→ ~ q (→ ~p)
(p q)
RESUELVE: