Logica matematica




UNIVERSIDAD FRANCISCO GAVIDIA
FACULTAD DE INGENIERIA Y ARQUITECTURA
CUARTO EXAMEN PARCIAL
Ciclo 02-2014
Asignatura: Lógica Proposicional.
Lógica Matemática.
Horario:Gpo:
Profesor:Ing. Elías Ayala Enrique
e-mail:melias@ufg.edu.sv
Aula:
Alumno:





Apellidos
Nombres
Firma

Código Carrera:


Carne UFG:


Fecha:

Calificación:


1.Construir una prueba de validez para el siguiente argumento, usando en cada caso la notación sugerida (40%)
“Si el pan horneado se vuelve rojo, entonces la solución es un menor tiempo de calor. Luego, siel panhorneado se vuelve rojo, entonces o la solución es menos tiempo de calor o hay algo que anda mal”
P = si el panhorneado se vuelve rojo
A = la solución es menor tiempo de calor
W = hay algoque anda mal

2. Pruebe la invalidez del siguiente argumento por el método de asignar valores de verdad (30%)
D  (E v F)
G  (H v I)
E  (Iv J)
(I  G) · (H G)
J
D (G v I)

3.Simbolice el siguiente argumento y demuestre su razonamiento por cuantificadores (30%)


Ningún fósil está traspasado de amor.
Algunos que están traspasados de amor son ostras.



Indicaciones:
1.Dejar constancia de su respuesta, caso contrario se anulara la ponderación de este
2. Puede consultar todo, menos celulares o computadoras
3. El examen es individual
4. Respuestas dejarlas continta






LAS DE INFERENCIA
1 Modus Ponens (M.P.)
p  q
p
 q
2 Modus Tollens (M · T)
p  q
q
p
3 Silogismo hipotético (S.H.)
p  q p  q
q  r ó r  p
p  r r q
4 Silogismo disyuntivo (S.D.)
p v q
p ó q
q p
5 Dilema Constructivo (D.C.)
(p  q) · (r  s)
p v r
 q v s
6 Absorción (Abs.)
p q
 p  (q · p)  p  (p · q)
7 Simplificación (Simp.)
p · q ó
 p q
8 Conjunción (Conj.)
p p
q ó q
 p · q q · p
9...