A ¿Qué conclusiones se pueden obtener de cada una de las siguientes

proposiciones por doble negación?

1. Todos los mamíferos son animales de sangre caliente
Conclusión:
2. No ocurre que el agua a menos de 0 °C no se encuentra en estado sólido
Conclusión:
3. Alemania es la selección campeona de Brasil 2014
Conclusión:
4. La hipengiofobia es el miedo a cualquier tipo de responsabilidad
Conclusión
5. No ocurre que Islas de la Bahía es el único departamento insular de
Honduras
Conclusión:
6. No ocurre que la potenciación no es la operación inversa de la radicación
Conclusión:
7. Holanda es el país donde están las personas más altas
Conclusión:
8. No ocurre que Honduras no es el país más violento de Latinoamérica
Conclusión:
9. El granito es un tipo de material ígneo
Conclusión:
10. No ocurre que la fuerza no es igual al producto de la masa por la
aceleración de un objeto
Conclusión:

B) Coloque V o F junto a cada afirmación dependiendo si ésta es

verdadera o falsa
1. De ¬¬B se puede deducir B _________
2. De Z se puede deducir ¬Z _________
3. De S  T y S se puede deducir T __________
4. De C se puede deducir ¬¬C __________
5. De MN y N se puede deducir M __________
6. De ¬F se puede deducir F __________
7. De J se puede deducir ¬¬J __________
8. De R y R P se puede deducir P __________
9. De W y Z W se puede deducir W __________
10. De ¬¬P se puede deducir P __________

C) Demostrar que las conclusiones son consecuencia lógica de las premisas

dadas en cada uno de los siguientes ejercicios. Dar la demostración completa
1. Demostrar P V Q
1) R ¬¬ (P V Q) P
2) R P
3) ______
4) ______

2. Demostrar ¬¬ T
1) S T P
2) S P
3) ______
4) ______

3. Demostrar ¬(X ≠ 5)
1) z > x P
2) z > x  x = 5 P
3) ______
4) ______

4. Demostrar G
1) H ¬¬ G P
2) H P
3) ______
4) ______

5. Demostrar ¬¬ N
1) M  ¬P P
2) ¬P  N P
 3) M P
4) ______
5) ______
6) ______

6. Demostrar P ^ T

1) ¬C  F P
2) ¬C P

3) F  ¬¬ (P ^ T) P

4) ______
5) ______
6) ______

7. Demostrar R V T
1) S (R V T) P
2) ¬¬S P
3) ______
4) ______

8. Demostrar S
1) ¬T P
2) ¬T  ¬¬S P
3) ______
4) ______

9. Demostrar ¬¬ R
1) A P

2) (P ^ M)  R P

3) ¬¬A  (P ^ M) P

4) ______
5) ______
6) ______
7) ______
9. Demostrar ¬( x ≠ y)
1) x = 7  y = 7 P
2) ¬( x ≠ 7) P
3) y=7  x=7 P
4) ______
5) ______
6) ______
7) ______