Scribd
Cargar
123 vistas6 páginas

Examen de Lógica para Filosofía 1

El documento presenta un examen de filosofía que incluye varias secciones: 1) formalizar proposiciones lógicas, 2) formalizar argumentos, 3) encontrar tablas de verdad de fórmulas lógicas, 4) demostrar la validez o no de razonamientos usando tablas de verdad, 5) demostrar razonamientos usando tablas de verdad y convertirlos en fórmulas condicionales, y 6) usar reglas lógicas como modus ponens y modus tollens para derivar conclusiones.

Cargado por

Raquel Garcia
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
123 vistas6 páginas

Examen de Lógica para Filosofía 1

El documento presenta un examen de filosofía que incluye varias secciones: 1) formalizar proposiciones lógicas, 2) formalizar argumentos, 3) encontrar tablas de verdad de fórmulas lógicas, 4) demostrar la validez o no de razonamientos usando tablas de verdad, 5) demostrar razonamientos usando tablas de verdad y convertirlos en fórmulas condicionales, y 6) usar reglas lógicas como modus ponens y modus tollens para derivar conclusiones.

Cargado por

Raquel Garcia
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

EXAMEN FILOSOFIA

1. Formaliza las siguientes proposiciones


a- O está lloviendo y nevando, o está soplando el viento

b- O los hombres han nacido iguales o no son libre

c- O bien Juan y Pepe son ambos culpables, o Pepe es inocente

d- O Pepe es culpable, o el y Juan lo son conjuntamente

e- O bien Juan es culpable, o Pepe es inocente, o ambos son culpables

f- O Holmes lleva razón, o Juan y Pepe son o ambos culpables o ambos inocentes; y
Pepe es culpable

g- Luis se irá si Pablo se queda

h- Si Pablo se queda, entonces Luis se va

i- Supuesto que Pablo se quede, Luis se ira

2. Formaliza los siguientes argumentos


a- Juan es francés si nació el 23 de febrero. Si es bretón, entonces es más bajo. Ahora
bien, nació el 23 de febrero o es bretón. Por consiguiente, es francés o es más bien
bajo

b- Si “a” es un numero par y “b” es un número impar, entonces “c” es igual a “a”.
Ahora bien, “c” no es igual a “a” a menos que sea mayor que “b”. Pero “c” no es
mayor que “b”. Además, “a” es un numero par. Luego, “b” no es un número impar

c- Si el tiempo está agradable y el cielo despejado, saldremos a navegar y nos


daremos un baño. No es verdad que el cielo no esté despejado a menos que nos
bañemos. Luego el tiempo no está agradable
d- El ladrón debió entrar por la puerta, a menos que el robo se perpetrara desde
dentro y uno de los sirvientes estuviera implicado en él. Pero sólo podía entrar por
la puerta si alguien le descorría el cerrojo. Si alguien lo hizo, es que uno de los
sirvientes estaba implicado en el robo. Luego, seguro que algún sirviente ha estado
implicado

3. Halla la tabla de verdad de la siguiente formula, indicando que tipo de formula se trata
respecto a su valor de verdad
a- ( (pq) ^ p )  q

b- (p ^ q)  (q v p)

c- p  (q ^ r)
d- ( (pq) v p )  q

4. Demuestra mediante tablas de verdad comparando el valor de verdad de las premisas


y de conclusión, si el siguiente razonamiento es o no válido, explicando por qué
a- pq, p ├ q

b- p v q, p ├ ¬q

c- p  ¬p ├ ¬q
5. Demuestra mediante tablas de verdad, convirtiendo el razonamiento en una formula
condicional
a- pq, p ├ q

b- p v ¬q, ¬q ├ ¬q

6. Con las siguientes reglas de deducción debes de llegar a:


a- Modus ponens
├
1.
2.
3.
4.

├
1.
2.
3.

├
1.
2.
3.
4.

b- Modus tolens
├
1.
2.
3.
4.
├
1.
2.
3.
4.

├
1.
2.
3.
4.
5.
6.

c- Siglismo disyuntivo
├
1.
2.
3
4.

├
1.
2.
3.
4.
5.

├
1.
2.
3.
4.
5.

d- Distintas reglas
├
1.
2.
3.
4.
5.
6.
7.

├
1.
2.
3.
├
1.
2.
3.
4.

├
1.
2.
3.
4.

├
1.
2.
3.
4.
5.
6.

También podría gustarte