Evidencia de aprendizaje.

Uso de las reglas de inferencia

Instrucciones: Identifica las proposiciones que forman el enunciado, los conectivos que enlazan a las
proposiciones, las premisas y las reglas de inferencia que permiten demostrar la conclusin. Verifica si es
tautologa o contradiccin mediante una tabla de verdad.
1. Para celebrar la victoria del equipo de futbol, Carlos, Jos, Pedro y Manuel se ponen de
acuerdo sobre lo que han de comprar para comer durante un convivio, las propuestas de cada uno son
las siguientes:

Carlos dice, si compramos carne o pollo, entonces hacemos carne asada.

Pedro dice, si compramos pulpo y pescado, entonces hacemos ceviche.
Jos dice, mejor compramos carne o pollo, o pulpo y pescado.
Manuel dice, tengo una idea, hacemos lo que dice Carlos y lo que dice
Pedro y lo que dice Jos.

Proposiciones:

p: compramos carne
q: compramos pollo
r: hacemos carne asada
s: compramos pulpo
t: compramos pescado
u: hacemos ceviche

Ley del silogismo disyuntivo

Premisa 1. Compramos carne o pollo.

Premisa 2. Compramos pulpo y pescado.
Conclusin: Hacemos carne asada y hacemos ceviche.

pq
st
ru

Si compramos carne o pollo, hacemos carne asada, si compramos pulpo y

pescado hacemos ceviche, entonces hacemos carne asada y ceviche

((pq) (st)) (ru)

p
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

q
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V

r
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V

s
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F

t
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F

u
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V

(pq
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
v
v
v
v
v
v
v

v
v
f
f
f
f
f
f
v
v
f
f
f
f
f
f
v
v
f
f
f
f
f
f
v
v
f
f
f
f
f
f
v
v
f
f
f
f
f

st)
v
v
f
f
f
f
f
f
v
v
f
f
f
f
f
f
v
v
f
f
f
f
f
f
v
v
f
f
f
f
f
f
v
v
f
f
f
f
f

v
f
v
f
v
f
v
f
v
v
v
v
v
v
v
v
v
f
v
f
v
f
v
f
v
v
v
v
v
v
v
v
v
f
v
f
v
f
v

ru
v
f
v
f
v
f
v
f
f
f
f
f
f
f
f
f
v
f
v
f
v
f
v
f
f
f
f
f
f
f
f
f
v
f
v
f
v
f
v

F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

v
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

f
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f

f
v
v
f
f
f
f
f
f
v
v
f
f
f
f
f
f
v
v
f
f
f
f
f
f

f
v
v
v
v
v
v
v
v
v
f
v
f
v
f
v
f
v
v
v
v
v
v
v
v

f
f
f
f
f
f
f
f
f
v
f
v
f
v
f
v
f
f
f
f
f
f
f
f
f

2.- Elena le pregunta a Juan, cundo nos vamos a casar? Juan contesta las siguientes
frases.

Si quiero casarme contigo entonces esta contenta, y no ests contenta.

Si estas contenta entonces quiero casarme contigo y si estas contenta.
Elena le pregunta, qu cosa piensas, lo primero o lo segundo?
Juan le contesta, pienso lo primero y tambin pienso lo segundo.
Elena se molesta y le dice tus frases son una contradiccin.

Proposiciones:
p: quiero casarme contigo
q: Ests contenta
p: No ests contenta

Modus tollens(razonamiento indirecto)

Premisa 1. Si quiero casarme contigo, entonces ests contenta
Premisa 2. Si ests contenta, entonces quiero casarme contigo
Conclusin: No ests contenta

pq
q

((p q) q) p

p
v
v
f
f

q
v
f
v
f

pq
v
f
v
v

q
f
v
f
v

(p q) q

f
f
f
v

p
f
f
v
v

((p q) q) p

v
v
v
v