lógica

EXAMEN FINAL DE LÓGICA 1
I. Construye una prueba formal de validez para los siguientes argumentos formalizados [0.5 ptos. c/u. Total: 4 ptos.]:
a.
W  (U  V)
b.
D  E
c.
(G  F)  H
d.
G E


U  (V  S)

H  (E  F)

I  G

E  F


W  X

H  C

I  K

F


 X

F  G

K

 G




 D  G

 H










e.
L  N
f.
A  (B  C)
g.
(A B)  (A  C)
h.
(S  T)  U

N

(B  D)  (C  E)

(B  C)

(T  U)  V

(L  M)

A

A  D

S

 M

(D  E)  F

 D

 V



 F





II. Por Asignación deValores demuestra la invalidez del siguiente par de argumentos simbolizados [0.5 ptos. c/u. Total: 1pto.]:
a.
N  M

b.
(H  I)  F

N  L


J  (K  H)

 L  M


 (I  K)  F

III.Por el método del Condicional Asociado demuestra la validez del siguiente argumento simbolizado [0.5 ptos.]:
C  D
C  (C  D)
 D

IV. Simboliza los siguientes enunciados [0.2 ptos. c/u. Total:1pto.]:
a. O iré a la fiesta o me quedaré en casa y estudiaré hasta medianoche. (F, Q, E.)
b. Si como sal en exceso entonces tendré problemas renales y cardiovasculares. (S, R, C.)
c. Sacaré apasear al perro y, además, o te traeré una comida deliciosa o te invitaré a cenar. (P, D, C.)
d. Sólo venciendo al dragón y conquistando tus miedos encontrarás tu princesa. (D, M, P.)
e. Los ratonesserían astronautas y engordarían demasiado si la luna fuera de queso. (A,E, Q.)

V. Simboliza y construye una prueba formal de validez para el siguiente par de argumentos [Simbolización: 0.8 ptos.c/u. Deducción: 0.5 ptos. c/u. Total: 2.6 ptos.]:

a. Si en la noche como tortas o sopes, entonces tendré la pesadilla del monstruo de masita. Estaré ansioso todo el día de mañana si sueño con aquelmonstruo. ¡He comido sopes esta noche! Por lo tanto, estaré ansioso todo el día de mañana o me relajaré tomando un tranquilizante. (T, S, P, A, R.)

b. O las gallinas saben volar o las alas de las...