República bolivariana de Venezuela

Ministerio del poder popular para la educación superior

Universidad José Antonio Páez

Nombre:

 Graciela Cordero 28.208.303

 Ana G. Martínez 27.711.003

Sección: 301Q1

San Diego, Diciembre de 2018

 Introducción

La lógica cuantificadora también llamada lógica de predicados o lógica de

primer orden, es la que estudia la composición más íntima de las proporciones
y utiliza nuevos símbolos, leyes y métodos para establecer la validez de los
razonamientos. Con ella se pueden de analizar de manera mas detalla los
predicados a través de cuantificadores que expresan la cantidad.

La lógica de cuantificacional es entonces un sistema formal utilizado para la

inferencia en el lenguaje, y consiste en representar simbólicamente las
proposiciones para poder determinar el valor lógico, al hablar de la lógica de
predicados es necesario hablar sobre los cuantificadores que pueden ser
universales o existenciales, dichos cuantificadores son los que nos permiten
demostrar el valor lógico de la lógica de predicados creada.
 Lógica cuantificadora

Estudia la composición íntima de las proposiciones, utiliza nuevos símbolos, leyes

y métodos para establecer la validez de los razonamientos. Esta lógica estudia de
manera más detallada los predicados a través del uso de cuantificadores que
expresan cantidad.

Cuantificadores existenciales

Los enunciados que utilizan las palabras; algunos, hay o existen se dominan
enunciados existentes o particulares, para escribirlos se utiliza el denominado
cuantificador existencial o particulares y se simboliza ∃.

EJEMPLO:

Cuantificadores universales

El cuantificador universal para todo asociado a una expresión de cálculo de

predicados F se representa por la expresión (∀x) F y es verdadera cuando todas las
instancias de la fórmula son verdaderas al sustituir la variable x en la fórmula por
cada uno de los valores posibles del dominio. Si la intersección de todas las
proposiciones que origina una función proposicional es cierta se escribe: Para todo
x, p(x). Se llama (a "para todo") cuantificador universal.
EJEMPLO:

Cuadro Lógico de Oposición

Dentro de la lógica existen proposiciones que pueden dividirse cuantitativa o

cualitativamente, es decir, por cantidad y cualidad. Las primeras pueden ser
particulares o universales; las segundas, afirmativas o negativas.

El siguiente cuadro, llamado de oposición, resume las leyes de oposición entre este
tipo de proposiciones. En él se llevan a cabo las llamadas transformaciones.
PROPOSICIONES CONTRARIAS:

Aquéllas que difieren en cualidad siendo ambas universales (A-E).

PROPOSICIONES SUBCONTRARIAS:

Aquéllas que difieren en cualidad siendo ambas particulares (I-O).

PROPOSICIONES SUBALTENAS:

Aquéllas que difieren en cantidad siendo afirmativas (A-I) o negativas (E-O).

PROPOSICIONES CONTRADICTORIAS:

Aquéllas que difieren en cantidad y cualidad y que resultan, por tanto,

irreconciliables (A-O, y E-I)

Demostración de validez

es una propiedad que tienen los argumentos cuando las premisas implican la
conclusión. Si la conclusión es una consecuencia lógica de las premisas, se dice
que el argumento es deductivamente válido. Algunos consideran estas dos
nociones idénticas y usan ambos términos indistintamente. Otros, sin embargo,
consideran que puede haber argumentos que no sean deductivamente válidos,
como las inducciones. En cualquier caso, de las inducciones a veces se dice que
son buenas o malas, en vez de válidas o inválidas.

Ejemplos de argumentos deductivamente válidos son los siguientes:

 Si está soleado, entonces es de día.

 Está soleado.
 Por lo tanto, es de día.
 Si no es lunes, entonces es martes.
 No es lunes.
 Por lo tanto, es martes.
  Todos los planetas giran alrededor del Sol.
 Marte es un planeta.
 Por lo tanto, Marte gira alrededor

Reglas de los Cuantificadores

 Instanciación universal: ∀x A[x] ⇒ A[a]

 Generalización existencial: A[a] ⇒ ∃xA[x]
 Descenso cuantificacional: ∀x A[x] ⇒ ∃x A[x]
 Conmutatividad del cuantificador universal: ∀x∀yA[xy] ⇔ ∀y∀xA[xy]
 Conmutatividad del cuantificador existencial: ∃x∃yA[xy] ⇔ ∃y∃xA[xy]
 Conmutatividad del cuantificador existencial y el universal: ∃x∀yA[xy] ⇒
∀y∃xA[xy].

Argumentos de la Lógica Cuantificacional

1. Ley de Ejemplificación Universal (EU)

Para toda x si x es p, entonces a es p (x) Px Pa
Todas las estrellas brillan con luz propia (x) (Ex  Bx)
Sirio es una estrella Es  Sirio brilla con luz propia Bs puede quedar Es  Bs
Todas las repúblicas soviéticas son repúblicas socialistas.
Todas las repúblicas socialistas tienen economía centralizada.
Ucrania es una república soviética  Ucrania tiene economía centralizada.
(x) (Rx  Sx)
(x) (Sx  Cx)
Ru

Ru Su (1, EU)
Su  Cu (2, EU)
Ru  Cu (4, 5, sh)
Su (3, 6 mpp)
 2. Ley de Generalización Universal (GU)
Pa  (x) Px
Ningún reptil tiene sangre caliente
Todas las víboras son reptilesNinguna víbora tiene sangre caliente.
Procedimiento general para probar formalmente la validez de argumentos que
contienen proposiciones universales o particulares.
Se eliminan los cuantificadores universales.
Se aplican las leyes de equivalencia e implicación correspondientes.
Se añaden los cuantificadores necesarios.
(x) (Rx  ¬Sx)
(x) (Vx  Rx)

Ra  ¬Sa (1, EU)
Va  Ra (2, EU)
Va  ¬Sa (3, 4, Sh)
(x) (Vx  ¬Sx) (5, GU)
Todos los mexicanos son americanos.
Ningún americano es europeo.
Todos los sonorenses son mexicanos  Ningún sonorense es europeo.
(x) (Mx  Ax)
(x) (Ax  ¬Ex)
(x) (Sx  Mx) 
Ma  Aa (1, EU)
Aa  ¬Ea (2, EU)
Sa  Ma (3, EU)
Ma  ¬Ea (4, 5 Sh)
Sa  ¬Ea (6, 7 Sh)
(x) (Sx  ¬Ex) (8 EU)

3. Ley de Ejemplificación Existencial (EE)

(x) Px Pa
Todos los dictadores son ególatras
Algunos dictadores son generales  Algunos generales son ególatras
(x) (Dx Ex)
(x) (Dx  Gx)

Da  Ea (1, EU)
Da ^ Ga (2, EE)
Da (4, simp)
Ea (3, 5 mpp)
Ga (4, simp)
Ga ^ Ea (6, 7, conj)
(x) (Gx ^ Ex) (8,EE)

4. Ley de Generalización Extensial (GE)

Pa (x) Px
 Leyes Básicas de la Lógica Cuantificacional

 Ley de especificación universal (EU). Si en un punto del argumento

aparece la proposición “x A(x) podemos escribir A(x) en el paso siguiente.
 Ley de especificación existencial (EE). Si en un punto del argumento
aparece la proposición  x A(x) podemos escribir A(x) en el paso
siguiente siempre que la x no aparezca como variable libre en alguna de
las proposiciones de los pasos precedentes. Si así ocurriera bastaría usar
otra variable, por ejemplo y, y escribir A(y) en vez de A(x).
 Ley de generalización existencial (GE). Del paso A(x) podemos
deducir  x A(x) en el paso siguiente.
 Ley de generalización universal (GU). Del paso A(x) podemos concluir “x
A(x) en el caso de que x no aparezca como variable libre
en ninguna de las premisas y de que la libertad de la variable x no
provenga del uso de la regla de especificación existencial en ninguno de los
pasos precedentes.
 Conclusión
El estudio de la lógica de proposiciones descubre dos cosas
fundamentales: expresiones que se refieren a individuos y expresiones que
se refieren a propiedades de individuos o relaciones entre ellos.
Muchas veces se requiere conocer cuántos individuos cumplen con cierta
propiedad o entre cuántos individuos se da cierta relación. Para tal fin, se
utilizan enunciados cuantificados o expresiones lógicas denominadas
cuantificadores, los cuales se identifican como todos o algunos. La lógica
cuantificacional también llamada “lógica de predicados” examina la parte
interna del enunciado, sin alejarse de la lógica de proposiciones.
La lógica de predicados orden constituye una extensión de la lógica.
Esta extensión explicita y sistematiza el proceso inferencial que se efectúa
cuando se trabaja con funciones proposicionales y cuantificadores, o de
manera más precisa, con un lenguaje de primer orden. La lógica de
predicados se emplea como una técnica de especificación formal dentro de la
metodología de la programación; esto es: se traducen las especificaciones de
los programas a un lenguaje de primer orden con objeto de que las reglas
formales del mismo pongan de manifiesto posibles fallos del soporte lógico,
intentando así aumentar la fiabilidad del diseño del programa. Estos métodos
formales son una técnica más de la ingeniería de la programación.