Aporte 2

Cordial saludo:

Tutor de curso y compaeros.

Con el respeto acostumbrado me permito compartir el siguiente aporte de los ejercicios

consagrados en la gua de actividades.

Espero sea de su agrado he inters.

Tarea 2: Problemas de aplicacin I

a. El paciente tuvo su cita anual con el gastroenterlogo, muy preocupado le realiz la consulta
sobre su alimentacin, as que le describi lo siguiente: Si como frijoles y como lentejas,
entonces tendr dolor de estmago. No es cierto que si como lentejas, me duela el estmago.
Como carne o como frijoles. Si como carne, obtengo protenas. Por lo tanto, obtengo
protenas.

Uso de las reglas de inferencia:

p: como frijoles
q: como lentejas
r: Tengo dolor de estmago
s: Como carne
t: obtengo protenas
DEMOSTRACIN
1. p ^ q r premisa
2. 1(q r) premisa
3. s v p premisa
4. s t premisa
5. p (q r) 1 Exporta
6. 1p 2,5 Tollendo Pones
7. t 3,6 Tollendo Pones
8. e 4,7 Ponendo Pones

Uso de las tablas de verdad:

 [(p ^ q) r] [ (s v p) (s [(p ^ q) r] [ (q r)] [(s {[(p ^ q) r] [ (q r)] [(s v
p q r s t (p ^ q) (p ^ q) r (q r) (s v p) (s t)
(q r) (q r)] t) v p) (s t)] p)(s t)]} t
v v v v v v v v f f v v v v v
v v v v f v v v f f v f f v f
v v v f v v v v f f v v v v v
v v v f f v v v f f v v v v f
v v f v v v f f v v v v v v v
v v f v f v f f v v v f f f v
v v f f v v f f v v v v v v v
v v f f f v f f v v v v v v f
v f v v v f v v f f v v v v v
v f v v f f v v f f v f f v f
v f v f v f v v f f v v v v v
v f v f f f v v f f v v v v f
v f f v v f v v f f v v v v v
v f f v f f v v f f v f f v f
v f f f v f v v f f v v v v v
v f f f f f v v f f v v v v f
f v v v v f v v f f v v v v v
f v v v f f v v f f v f f v f
f v v f v f v v f f f v v v v
f v v f f f v v f f f v v v f
f v f v v f v f v v v v v v v
f v f v f f v f v v v f f f v
f v f f v f v f v v f v v v v
f v f f f f v f v v f v v v f
f f v v v f v v f f v v v v v
f f v v f f v v f f v f f v f
f f v f v f v v f f f v v v v
f f v f f f v v f f f v v v f
f f f v v f v v f f v v v v v
f f f v f f v v f f v f f v f
f f f f v f v v f f f v v v v
f f f f f f v v f f f v v v f
 Uso del simulador Truth Table: