mate
Facultad: Ciencias Contables, Financieras y Administrativas.
Carrera Profesional: Administración
Centro ULADECH – Católica: Chimbote.
Nombre de la asignatura: Matemática ylogica
Semestre académico: 2013- II Ciclo académico: I
Docente tutor: Gianmarco López Jara
Nombre del Estudiante: Vásquez Salinas Nataly
Integrantes del grupo:
Esquibel Graus MirlaSáenz Pérez Pilar
Bautista Centurión Fiorella
Vásquez Salinas Nataly
Ponce Chávez Lucero
Tarea de la Cuarta Unidad
1. Comprobar que la tabla de verdad de la proposición compuestaes una tautología.
[(p q) ^ (q r) ] (p r )
Solución
p
q
r
[( p ↔ q ) ˄ ( q ⟶ r )] ⟶ ( p ⟶r )
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
0
1
1
1
0
1
0
0
1
1
0
0
1
0
1
1
0
0
0
0
1
1
1
1
1
1
1
0
0
1
0
0
0
0
1
0
1
1
0
0
0
1
1
0
0
1
0
11
1
1
0
1
1
0
1
0
0
0
1
0
1
0
0
1
0
1
0
0
0
1
0
1
0
1
0
1
1
1
0
1
1
0
0
0
0
1
0
1
0
1
0
1
0
1
0
Luego de realizar la tabla de la verdad de lapreposición compuesta se demuestra que es una tautología.
2. Usar las tablas de verdad y demostrar la validez o invalidez de la siguiente inferencia. Verificar la respuestaaplicando el método abreviado.
p⟶~ q
q v ~ r
P ⟶ r
SOLUCIONq ⟶ ~p
q ⟵ rr v ~ p
p ⟶ ~ r
La inferencia se determinó que es inválida...
Regístrate para leer el documento completo.