Ejercicio 1

- Premisas:
C: Si compramos carne o pollo, entonces hacemos carne
P: Si compramos pulpo y pescado, entonces hacemos ceviche
J: Mejor compramos carne o pollo, o pulpo y pescado
M: Hacemos C y P y J
E: Vamos a hacer una carne asada o ceviche

- Proposiciones:
p: Compran carne o pollo
c: Hacen carne
q: Compran pulpo y pescado
f: Hacen ceviche

- Regla de inferencia:
Modus ponens, ya que en ningún momento se niega que al comprar o hacer algo no se
pueda hacer lo otro. Además, según lo planteado por Manuel en su premisa que se va a
seguir, encaja la forma de las operaciones lógicas del modus ponens.

- Operaciones proposicionales:
C=p→c P=q→f J=pVq E=cVf

M = [(p → c) ꓥ (q → f) ꓥ (p V q)] → (c V f)
 - Tabla de verdad:

p q c f p→c q→f pVq cVf (p → c) ꓥ (p → c) ꓥ (q → f) [(p → c) ꓥ (q → f) ꓥ (p V q)]

(q → f) ꓥ (p V q) → (c V f)
v v v v v v v v v v v
f v v v v v v v v v v
v f v v v v v v v v v
v v f v f v v v f f v
v v v f v f v v f f v
f f v v v v f v v f v
v f f v f v v v f f v
v v f f f f v f f f v
f f f v v v f v v f v
v f f f f v v f f f v
f f f f v v f f v f v

- Conclusión: Se confirma que la proposición de Manuel es una tautología.

Ejercicio 2
- Premisas:
A: Si quiero casarme contigo entonces estas contenta, y no estas contenta.
B: Si estas contenta entonces quiero casarme contigo y si estas contenta.
C: Pienso en A y también pienso en B.

- Proposiciones:
a: Quiero casarme contigo
b: Estas contenta

- Operaciones proposicionales:

A = (a → b) ꓥ (¬b) B = (b → a) ꓥ b C = [(a → b) ꓥ (¬b)] ꓥ [(b → a) ꓥ b]

- Regla de inferencia:
Se utilizará la regla de inferencia Modus tollens pues de esta forma se llega a la
conclusión por medio de la negación de una premisa para obtener una demostración de la
contradicción de las oraciones o de la veracidad de estas.
 - Tabla de verdad:

a b a → b ¬b b→a (a → b) ꓥ (¬b) (b → a) ꓥ b [(a → b) ꓥ (¬b)] ꓥ [(b → a) ꓥ b]

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

- Conclusión:
Se concluye que la Elena esta diciendo la verdad pues al evaluar las premisas se muestra
que la proposición de Juan sobre que piensa son contradictorias siendo que son una
contradicción según lo expuesto por la tabla de verdad.