Matemáticas Discretas 23-1

Tarea 3: Argumentos lógicos

Valor: 8 puntos

1. Escriba las premisas y conclusiones en su forma proposicional y demuestre la validez de los

argumentos (3 pts).

a. p1: Si un animal tiene pelo entonces es un mamífero

p2: Si un animal pone huevos entonces no es un mamífero
p3: Si un animal tiene branquias entonces es un pez
p4: Un ornitorrinco pone huevos
p5: El ornitorrinco tiene pelo
____________________________________________

c: El ornitorrinco no es un mamífero pero tiene pelo

b. p1: Si una persona es honesta, entonces no miente

p2: Si una persona es justa, entonces es honesta
p3: Si una persona es leal, entonces es justa
p4: Si una persona es confiable, entonces es leal.
p5: Juan es confiable
__________________________________________________

c: Juan es leal, justo, honesto y no miente

2. Sean las siguientes premisas y conclusión:

p1: Si el universo es determinista, entonces todos los eventos futuros están determinados por los
eventos pasados y presentes.
P2: Si todos los eventos futuros están determinados por los eventos pasados y presentes, entonces
no hay libre albedrío.
p3: Si no hay libre albedrío, entonces no somos moralmente responsables de nuestras acciones.
p4: Si el universo es indeterminista, entonces hay eventos futuros que no están determinados por los
eventos pasados y presentes.
p5: Si hay eventos futuros que no están determinados por los eventos pasados y presentes, entonces
hay libre albedrío.
p6: Si hay libre albedrío, entonces somos moralmente responsables de nuestras acciones.
p7: Si somos moralmente responsables de nuestras acciones, entonces no podemos ser juzgados
moralmente.
p8: Somos juzgados moralmente.
_______________________________________________________________________
Conclusión: El universo no es indeterminista y, por lo tanto, todos los eventos futuros están
determinados por los eventos pasados y presentes, no hay libre albedrío, no somos moralmente
responsables de nuestras acciones y no podemos ser juzgados moralmente.

Realiza las siguientes actividades:

a. Traduce a su forma proposicional cada una de las premisas y la conclusión (1 pt.)

b. Encuentra, para cada premisa y para la conclusión, una proposición equivalente que no utilice el
conectivo de implicación y tampoco el de doble implicación (sólo negación, conjunción y disyunción.
(2 pts.)

c. Prueba la validez del argumento (2 pts.)