No se

Ejercicios lógica de Cuantificadores.
De los siguientes ejercicios, vea si es válido; si lo es derive su conclusión.
[Ay]
1.-)
I.- ) (x ( Fx ( Gx ) ( F (
II.-) (x ( Fx ( Hx) ( V (
( ((x ( ( Gx ( Hx) [ F ]

Gx Hx Fx ( El argumento
F F F es Válido

01.- Dem ~(x ( ( Gx ( Hx )Pet.3,11DI
02.- (x ( ( Gx ( Hx ) 1Sup.
03.- ( ( Gx ( Hx ) 2E.E x / x.
04.- (x ( Fx ( Gx ) I Prem.
05.- Fx ( Gx 4E.U x/x
06.- Gx 5 SM.
07.- Fx 5 SM.
08.- (x ( Fx ( Hx) II Prem
09.- ( Fx ( Hx) 8G.U x /x
10.- Hx7,9 M.P
11.- Gx ( Hx 6,10 Adic.

3.-)
I.- ) ((x ( Rx ( (Rx ) (V(
II.-) ((x [(Lx(Sx) ( Rx ] [V]
III.-) (x [( Lx ( (Px ) ( Dx] (V(
( (x [Lx (((Rx ( Dx )] [F]

Lx Rx Dx Sx ( El argumento
V F F F es No - Válido2.-)
I.- ) (x ( Fx ( (Gx ) (V(
II.-) (x ( Fx ( Hx) (V(
III.-) (x [( Ix ( Kx) ( Fx ] [V]
IV.-) (x ( Hx ( (Gx )((x (Kx((Hx)[F]

( (x ( Ix( (Kx ) (F(

Ix Kx Fx Gx Hx ( El argumento
V V V F V es Válido

01.-Dem (x ( Ix(~Kx )Pet.2DU
02.- Dem Ix(~Kx Pet.4DC
03.- Ix 2Sup.
04.- Dem ~Kx Pet.22,24DI
05.- Kx 4 Sup.
06.- (x ( Fx ( (Gx ) I Prem.
07.- Fx ( ~Gx 6 E.E x / y
08.- (x ( Fx ( Hx) II Prem.
09.- Fy ( Hy 8E.U x /y
10.- Fy 7 SM.
11.- Hy 7 SM.12.- (x [( Ix ( Kx) ( Fx ] III Prem.
13.- ( Ix ( Kx) ( Fx 2 EU x /x
14.- ( Ix ( Kx) 3,5 Adic.
15.- Fx 14,15 M.P
16.- ~Gx 7 S.M
17.- (x(Hx((Gx)((x(Kx((Hx)IVPrem.
18.- (Hx((Gx) 11,16 Adic.
19.- (x (Hx ( (Gx) 18 G.E x /x
20.- (x(Kx((Hx) 17,19 M.P
21.- (Kx((Hx) 20 E.U x /x
22.-(Hx 5,22 M.P
23.- Fx ( Hx 8 E.Ux /x
24.- Hx 15,23 M.P

4.-)
I.- ) (xFx ( (xGx ( F (
II.-) (x ( Gx ( Hx) ( (xJx ( V (

( (x ( Fx(Jx ) ( F (

Fx Jx Gx Hx ( El argumento
V F F F es Válido

01.-Dem (x ( Fx(Jx ) Pet.2DU
02.- Dem Fx(JxPet.4DC
03.- Fx 2Sup.
04.- Dem Jx Pet.13DD
05.- ( Jx 4 Sup.
06.- (xFx ( (xGx I Prem.
07.- Fx ( Gx 6 E.U x / x
08.- Gx 3,7 M.P
09.- (x (Gx ( Hx)((xJx II. Prem
10.- Gx ( Hx 8 Adic.
11.- (x (Gx ( Hx) 10 G.U x /x
12.- (x Jx 9,11 M.P
13.- Jx 12 EU x / x

el mismo ejercicio, perode otra manera...

01.-Dem (x ( Fx(Jx ) Pet.2DU
02.- Dem Fx(Jx Pet.4DC
03.- Fx 2Sup.
04.- Dem Jx Pet.12DD
05.- ( Jx 4 Sup.
06.- (xFx ( (xGx I Prem.
07.- Fx ( Gx 6 E.U x / x
08.- Gx 3,7 M.P
09.- (x (Gx ( Hx)((xJx II. Prem
10.- (Gx ( Hx)(Jx 9E.Ux /x,E.Ux /x
11.- (Gx ( Hx) 8Adic.
12.- Jx 10,11 M.P

5.- )
I.-) (x (Lx(Mx) (V(
II.-) (x [(Cx(~Ex)((Lx(Tx)] [V]
III.-) ~(x [( Ex ( Tx ) (~Mx ] (F(

( (x Cx ( (x Mx [F]

Cx Mx Lx Tx ( El Argumento
V F F V es Válido

01.-Dem (x Cx ( (x Mx Pet.3DC
02.- (x...