Lógica. 1er cuatrimestre de 2020.
Soluciones al ejercicio del TP n°2 4) b)
1.
Siempre que está estresada, se le contractura el cuello.
Está estresada.
Se le contracturará el cuello.
p: está estresada
q: se le contractura el cuello
p→q p: A A→B
p q: B A
q B
Modus Ponens
2.
Siempre que está estresada, se le contractura el cuello.
No se le contracturó el cuello.
No está estresada.
p: está estresada
q: se le contractura el cuello
p→q p: A A→B
¬q q: B ¬B
¬p ¬A
Modus Tollens
3.
Siempre que está estresada, se le contractura el cuello.
Se le contracturó el cuello.
Está estresada.
p: está estresada
q: se le contractura el cuello
p→q p: A A→B
q q: B B
p A
Error de conversión
4.
Siempre que está estresada, se le contractura el cuello.
No está estresada.
No se le contracturará el cuello.
p: está estresada
q: se le contractura el cuello
p→q p: A A→B
¬p q: B ¬A
¬q ¬B
Error de inversión
5.
Sólo si Juan es culpable, será condenado.
Juan es culpable.
Juan será condenado.
p: Juan es culpable
q: juan será condenado
q→p q: A A→B
p p: B B
q A
Error de conversión
6.
Sólo si Juan es culpable, será condenado.
Juan no fue condenado.
Juan no es culpable
p: Juan es culpable
q: juan será condenado
q→p q: A A→B
¬q p: B ¬A
¬p ¬B
Error de inversión
7.
Sólo si Juan es culpable, será condenado.
Juan fue condenado.
Juan es culpable
p: Juan es culpable
q: juan será condenado
q→p q: A A→B
q p: B A
p B
Modus Ponens
8.
Sólo si Juan es culpable, será condenado.
Juan no es culpable.
Juan no será condenado.
p: Juan es culpable
q: juan será condenado
q→p q: A A→B
¬p p: B ¬B
¬q ¬A
Modus Tollens
9.
Si le falta luz y agua, la planta se marchitará.
La planta no se marchitó.
A la planta no le faltó luz y agua.
p: le falta luz
q: le falta agua
r: la planta se marchita
(p ˄ q) → r (p ˄ q): A A→B
¬r r: B ¬B
¬ (p ˄ q) ¬A
Modus Tollens
10.
Si le falta luz y agua, la planta se marchitará.
La planta se marchitó.
A la planta le faltó luz y agua.
p: le falta luz
q: le falta agua
r: la planta se marchita
(p ˄ q) → r (p ˄ q): A A→B
r r: B B
p˄q A
Error de conversión
11.
Si le falta luz y agua, la planta se marchitará.
A la planta no le faltó luz y agua
La planta no se marchitó.
p: le falta luz
q: le falta agua
r: la planta se marchita
(p ˄ q) → r (p ˄ q): A A→B
¬ (p ˄ q) r: B ¬A
¬r ¬B
Error de inversión
12.
Si le falta luz y agua, la planta se marchitará.
A la planta le faltó luz y agua.
La planta se marchitó.
p: le falta luz
q: le falta agua
r: la planta se marchita
(p ˄ q) → r (p ˄ q): A A→B
p˄q r: B A
r B
Modus Ponens
13.
Si no hay un círculo verde a la derecha, habrá un cuadrado rojo a la izquierda.
Hay un cuadrado rojo a la izquierda.
No habrá un círculo verde a la derecha.
p: hay un círculo verde a la derecha
q: habrá un cuadrado rojo a la izquierda
¬p → q ¬p: A A→B
q q: B B
¬p A
Error de conversión
14.
Si no hay un círculo verde a la derecha, habrá un cuadrado rojo a la izquierda.
Hay un círculo verde a la derecha.
No habrá un cuadrado rojo a la izquierda.
p: hay un círculo verde a la derecha
q: habrá un cuadrado rojo a la izquierda
¬p → q ¬p: A A→B
p q: B ¬A
¬q ¬B
Error de inversión
15.
Si no hay un círculo verde a la derecha, habrá un cuadrado rojo a la izquierda.
No hay un círculo verde a la derecha.
Habrá un cuadrado rojo a la izquierda.
¬p → q
¬p
q
Modus Ponens
16.
Si no hay un círculo verde a la derecha, habrá un cuadrado rojo a la izquierda.
No hay un cuadrado rojo a la izquierda.
Habrá un círculo verde a la derecha.
¬p → q ¬p: A A→B
¬q q: B ¬B
p ¬A
Modus Tollens
