EJERCICICIO 1
1)
1. p→~q Premisa
2. p Premisa
3. ~q 1,2 Modus Ponens
2)
1. (~pvq)→ ~(q˄r) Premisa
2. ~pvq Premisa
3. ~(q˄r) 1,2 Modus Ponens
3)
1. (pvq)→(q˄r) Premisa
2. q˄r Premisa
3. ~(~pvq) 1,2 Modus Tollens
4)
1. (~p˄q)→(q˄~r) Premisa
2. ~(q˄~r) Premisa
3. ~p˄q 1,2 Modus Tollens
EJERCICIO 2
1)
Premisas:
- Para llevar mi paraguas es necesario que llueva.
- Cuando llueve siempre llevo mi sombrero.
- Hoy no llevo mi sombrero.
Preposiciones:
- Llover: Llueve
- Llevar Paraguas: Llevo mi paraguas
- Llevar Sombrero: Llevo mi sombrero
Conclusión:
- No puede estar lloviendo
NOTACIÓN SIMBÓLICA
-P: ~(Llover) -> ~Llevar Paraguas
- P: Llover -> Llevar Sombrero
- P: ~Llevar Sombrero
- C: ~Llover
Justificación:
1. Implicación condicional: "Para llevar mi paraguas es necesario que llueva.
" (P: ~(Llover) -> ~Llevar Paraguas)
2. Implicación condicional: "Cuando llueve siempre llevo mi sombrero."
(P: Llover -> Llevar Sombrero)
3. Premisa: "Hoy no llevo mi sombrero."
(P: ~Llevar Sombrero)
4. Modus tollens (MT) - "No puede estar lloviendo, y así no llevo mi paraguas."
(C: ~Llover)
2)
Premisas:
- No puedes ser feliz y rico a la vez.
- Ahora pareces feliz.
Preposiciones:
- Ser Feliz: Eres feliz
- Ser Rico: Eres rico
- Alabes: Alabas a alguien
Conclusión:
- No puedes ser rico
NOTACIÓN SIMBÓLICA
- P: ~(Ser Feliz ^ Ser Rico) -> ~a la vez
- P: Ser Feliz
- C: ~Ser_rico
Justificación:
1. Negación de la conjunción: "No puedes ser feliz y rico a la vez."
(P: ~(Ser Feliz ^ Ser Rico) -> ~a la vez)
2. Premisa: "Ahora pareces feliz."
(P: Ser Feliz)
3. Modus tollens (MT) - "No puedes ser rico." (C: ~Ser Rico)
3)
Premisas:
- Si fuera inteligente o guapo, sería feliz y rico.
- Pero no soy rico.
Preposiciones:
- Inteligente: Soy inteligente
- Guapo: Soy guapo
- Ser Feliz: Soy feliz
- Ser Rico: Soy rico
Conclusión:
- No soy inteligente
NOTACIÓN SIMBÓLICA
- P: (Inteligente v Guapo) -> (Ser Feliz ^ Ser Rico)
- P: ~Ser Rico
- C: ~Ser Feliz
Justificación:
1. Implicación condicional: "Si fuera inteligente o guapo, sería feliz y rico."
(P: (Inteligente v Guapo) -> (Ser Feliz ^ Ser_rico))
2. Premisa: "Pero no soy rico." (P: ~Ser Rico)
3. Modus tollens (MT) - "Por lo tanto es verdad que no soy feliz o no soy rico."
(C: ~Ser Feliz v ~Ser Rico)
4. De Morgan: "En otras palabras, no soy feliz ni rico."
(C: ~(Ser Feliz ^ Ser_rico))
5. Simplificación: "En otras palabras, no soy inteligente o guapo."
(C: ~Inteligente v ~Guapo)
6. De Morgan: "En otras palabras, no soy inteligente y ni guapo."
(C: ~Inteligente ^ ~Guapo)
7. Simplificación: "En particular, no soy inteligente." (C: ~Inteligente)
