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...