TAREA ACADMICA N 02

LGICA

TAREA ACADMICA N 02
TAREA ACADEMICA II (UNIDAD IV) .(Puntaje mximo 20 puntos) FECHA DE ENTREGA: Domingo 05 abril
I. Formalice las siguientes proposiciones usando la LOGICA CUANTIFICACIONAL(10ptos)
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)

Si muere su mascota, entonces est triste y llora.

Los caballeros son siempre atentos.
Las picaduras de vbora algunas veces son mortales.
No se dijo nada importante.
No todos los candidatos obtuvieron votos.
Hay muchos polticos honestos.
Ningn carpintero es idealista
Algunos religiosos no son polticos
Ningn no-ateo es fiel creyente
Algunos no-materialistas no son no-polticos

II. Complete la demostracin de validez de los siguientes argumentos formalizados, siguiendo la secuencia planteada. En los
ejercicios, escriba en los espacios en blanco el proceso realizado o el esquema resultante. (10ptos)

PRUEBA DIRECTA:
P1) (x) [( Ux
P2) (x) ( Ix
P3) ( x) [( Ix
4. ( Ux
5. Ix

PRUEBA CONDICIONAL:

Tx) Px]

P1) (x) [( Fx v Cx)

Ux)
Px)]

Tx) Px

P2) (x) (Jx

//:.

Ux
( x ) Tx)

____________________

Ux ____________________________

3.

Gx]

Fx)

Jx

//:. (x) (Jx

Gx)

____________________

4. ( Fx v Cx) Gx] ____________________

5. Jx

Fx

6. Fx
7. Fx v Cx
8. Gx

____________________

_____________________________
_______________________
_________________________

6. Ix

Px

TAREA ACADMICA N 02
__________________________

7. Ix ________________________________
8. Ux ________________________________
9.
Px ________________________________
10.

( Ux

11.

Ux

12.

Tx

13. Ux

Tx

14. ( x) (Ux

LGICA
9. Jx

Gx

10. (x) (Jx

__________________________

Gx) _____________________

Tx) _________________________

Tx _________________________
_________________________

_________________________

Tx) _____________________

PRUEBA POR REDUCCION AL ABSURDO:

P1) (x) [( Fx v Mx)
P2) ( x)

Gx]
Gx

3. Mx

//:.

(x)

Mx

___________________

4. (Fx v Mx) Gx _________________

5.
Gx
__________________
6. Mx v Fx
__________________
7. Fx v Mx
__________________
8. Gx ____________________
9. Gx
10. Mx

Gx ___________________________

(Gx Gx) ___________________

11.
12. (x)

Mx
Mx

_____________________
_________________________

TAREA ACADMICA N 02

LGICA