República Bolivariana de Venezuela

Ministerio del Poder Popular para la Educación Superior

Universidad José Antonio Páez
Coordinación De Ciencias Cognitivas y Humanísticas
Catedra De Lógica Por Procesos

Lógica cuantificacional

Ing. Nelly Niño Autor: Luis Tang

Sección: 201n1.
 c.i: 29.704.440

Urb. Yuma II, calle Nº 3. Municipio San Diego

Teléfono: (0241) 8714240 (Máster) – Fax: (0241) 8712394

PARTE I: DADOS LOS SIGUIENTES ARGUMENTOS APLIQUE EL METODO DE LOS CIRCULOS DE EULER

PARA DEMOSTRAR SU VALIDEZ

1. Todos lo gatos pertenecen a los felinos (X)[Gx →Vx]

Algunos felinos son rápidos y fuertes (EX)[Vx(Lx ^ Ax)]

Todos los felinos tienen garras (X)[Gx ^ Rx]

Luego todos los gatos son rápidos y tienen garras (EX) [Gx ^ Rx] (conclusión)

No es valido porque
Lx Vx gráficamente no se consigue la
unión entre Gx con Ax v con Rx
Ax

Rx
 Gx

Algunos deportistas son rápidos y fuertes (EX) [Ox ^(Lx ^ Ax)

Todo deportista es inteligente (X)[Ox →Mx]

Todo inteligente es competente (X)(Lx → Gx)

Luego algunos deportistas son competentes (EX)[Ox ^ Gx] (conclusión)

Gx Ox Mx

En este área es valido el

argumento porque se cumple
Lx
(EX) [Ox ^ Gx]
PARTE II: DADOS LOS SIGUIENTES ARGUMENTOS APLIQUE EL METODO DE LAS LEYES DE IMPLICACIÓN PARA

DEMOSTRAR SU VALIDEZ

1. {{(x) [Mx→(-Qx v Px)] ^ (EX)[Qx ^ Px]} ^ {(X) [Px→(Mx ^ Sx)]}} →(EX) (Qx ^ Px)

(x) [Mx→(-Qx v Px)] → especificación universal (EU) → (ma →(-Qa v Pa)

(EX)[Qx ^ Px]} →especificación particular (EP) →(Qa ^ Pa)

(X)[Px→(Mx ^ Sx)] →especificación universal (EU) →[Pa→(Ma ^ Sa)

 [Ma→(-Qa v Pa)

 (Qa ^ Pa)

 [Pa → (Ma ^ sa)

 Aplicamos la ley de transitividad con 1 y 3 nos queda el resultado 5

 [Ma → (Ma ^ Sa)

 El resultado es aplicando los cuantificadores

(Qa ^ Pa) → Generalización particular →(EX) (Qx ^ Px)

[Ma → (Ma ^ Sa)] → Generalización universal →(x)[Px→ (Mx ^ Sx)]

 (EX)(Qx→ Px) ^ (X)[Px→(Mx ^ Sx)] = (EX)(Qx ^ Px)

El resultado no es valido

2. {{(EX)[(Px v Sx) ^ Lx] ^ (X) [Mx →-Px]}^(X) (Lx→(Mx ^ Qx)} → (EX)[Sx ^ Qx]

(EX)[(Px v Sx) ^ Lx] →especificación particular →[(Pa v Sa) ^ La]

(X)(Mx → -Px) → Especificación universal →(Ma →-Pa)

(X)[Lx →(Mx ^ Qx)] →especificación universal→[La→(Ma ^ Qa)]

 [(Pa v Sa) ^ La]

 (Ma→-Pa)

 [La→(Ma ^ Qa)

 Se separaría por simplificación 1=[(Pa v Sa) ^ La]

 (Pa v Sa)

 La

 Usamos 6 con 3 para razonamiento directo(RD)

 (Ma ^ Qa)

 Separamos 8 simplificando
 Ma

 Qa

 Tomamos 10 con 2 por razonamiento directo (RD) nos queda 13

 -Pa

 Relacionamos 13 con 5 a través de modus tollendo ponens o siloismo disyuntivo: (SD)me queda 15

 Sa

 Uniendo y aplicando cuantificador nos queda

(Sa ^ Qa) →generalización particular (GP) →(EX)(Sa ^ Qa)

lo cual concluye en que (EX)(Sa^Qa)=(EX)(Sa ^ Qa)

por lo tanto el resultado es verdadero