REPÚBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DEL PODER POPULAR PARA LA EDUCACIÓN

UNIVERSIDAD JOSE ANTONIO PAEZ

FACULTAD DE INGENIERÍA

Profesor: Sección: 30111

Carmelo Parra Integrantes:

Josué Fernández C.I: 26.727.019

 Juliet Delgado C.I: 24.472.600

Mariangel Silva C.I: 29.626.840

Rafael Rosales C.I: 29.685.532

San diego, Edo. Carabobo

Introducción

La lógica cuantificacional 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 (todos o algunos). Solo puede analizar
formalmente aquellos razonamientos en cuya validez no desempeña ningún papel la
estructura interna de las proposiciones que los componen. Hay razonamientos
formalmente válidos que no lo son simplemente en virtud de las conexiones externas
entre los enunciados. Es decir, su forma no puede exhibirse tan solo mediante letras
y conectivos, sino que es preciso penetrar en la estructura interna del enunciado, para
buscar la validez de la inferencia en cuestión.

Ejemplo:

P: Ningún árbol puede hablar.

Q: Juan puede hablar.

Luego,

R: Juan no es un árbol.

La lógica proposicional no puede explicar por qué R se deduce de P y de Q.

Se trata entonces de construir a partir del cálculo proposicional, nuevos elementos de

análisis para poder tener un instrumento adicional de deducción.
Dada una proposición, la lógica cuantificacional distingue en esta a los individuos y
a sus propiedades.

DEFINICIÓN DE LÓGICA CUANTIFICACIONAL

La lógica cuantificacional 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 (todos o algunos).

CUANTIFICADOR UNIVERSAL
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.
Ejemplos:
 Todos los humanos respiran
(∀ X) (H(x) → R(x)) donde el predicado H significa humanos, R respiran y x es un
elemento de un dominio general que podría ser el de las personas o cualquier
subconjunto deseado.

 Todos los alumnos son estudiosos.

(∀ X) (A(x) → E(x)) donde el predicado A significa alumno, E estudioso y x es un
elemento de un dominio general que podría ser el de las personas o cualquier
subconjunto deseado.

CUANTIFICADOR EXISTENCIAL
El cuantificador existencial al menos uno o existe uno asociado a una
expresión de cálculo de predicados F se representa por la expresión (∃ x) F y es
verdadera cuando por lo menos una instancia de la fórmula es verdadera al sustituir
por la variable x uno de los valores posibles del dominio.
Ejemplo:

Sea A= {1, 2, 3, 4, 5} Determine el valor de verdad de cada uno de los enunciados

siguientes:
A) (∃ x ∈ A) (x+3=10)
Solución: es falso porque ningún número de A es una solución de x+3=10.

B) (∀ x ∈ A) (x+3<10)
Solución: es Verdadero.
Cualquier número de A
cumple que x+3<10

CUADRO LÓGICO DE
OPOSICION

Esquema mediante
el que se estudian las
relaciones formales entre
los diversos tipos de juicios
aristotélicos, A, E, I, O,
considerando cada juicio con términos idénticos.

En lo universal A es una afirmación que representa que todo S es P, y E es

una negación que representa que Ningún S es P; en lo particular I es la afirmación
que representa Algún S es P y O la negación que significa Algún S no es P, la
asignación de estas letras proviene de las palabras “AfIrmo” y “nEgO”

A y E son contrarios, lo que significa que no pueden ser ambos verdaderos,

pero los dos pueden ser falsos. I y O son sub-contrarios, y su condición es que pueden
ser ambos verdaderos pero no pueden ser los dos falsos. A e I y E y O son
subalternos, se cumple que si el universal es verdadero el particular es verdadero, si
el particular es verdadero el universal es indeterminado, si el particular es falso el
universal es falso de igual manera, pero si el universal es falso el particular es
indeterminado. A y O y E son contradictorios, esto hace que si uno es verdadero el
otro es falso y viceversa, no pueden ser ambos verdaderos ni ambos falsos.

APLICACIONES DE LEYES BÁSICAS DE LA

LÓGICA CUANTIFICACIONAL

Una proposición lógica esta compuesta por

varias proposiciones representadas con letras y
unidas entre sí con símbolos lógicos, que tenga la
propiedad de que cuando se reemplazan las letras
por proposiciones reales siempre resulta verdadera
aunque algunas o todas esas proposiciones sean
falsas, es lo que se le lama una LEY LÓGICA.

Son expresiones formales o fórmulas Proposicionales cuya función veritativa

es una tautología que se utiliza para organizar un cálculo axiomático.
Para la simplificación de fórmulas del cálculo proposicional, son de suma utilidad las
equivalencias o leyes lógicas. Su demostración se reduce a la confección de las
correspondientes tablas de verdad (el resultado final de las mismas, siempre muestra
una tautología).

Leyes lógicas

Los tres principios lógicos clásicos

 Principio de identidad: A → A.

 Principio de no contradicción: ¬(A ∧ ¬A).

 Principio de tercero excluido: A ∨ ¬A.

En la elaboración de las siguientes leyes, se ha supuesto que p, q y r son

proposiciones que pueden asumir cualquier valor de verdad; mientras que V es una
proposición verdadera y F es una proposición falsa.
1. Involución o doble negación: una proposición afirmativa equivale a la misma
proposición negada dos veces. Ejemplo: ∼ (∼ p) ⇔ p

2. Idempotencia:
• De la conjunción: p ∧ p ⇔ p
• De la disyunción: p ∨ p ⇔ p

3. Elemento neutro:
• De la conjunción: p ∧ V ⇔ p
• De la disyunción: p ∨ F⇔ p
4. Condición de tautología: p ∨ V ⇔ V
5. Condición de antitautología: p ∧ F ⇔ F
6. Negación de tautología: ∼V ⇔ F
7. Negación de antitautología: ∼F ⇔ V
8. Condiciones de negación:
• De la conjunción: (p ∧ ∼ p) ⇔ F
• De la disyunción: (p ∨ ∼ p) ⇔ V

9. Conmutatividad: Esta ley, no es válida para la implicación, pero sí para conjunción

y para la disyunción. Una conjunción es afirmar que se dan dos cosas a la vez, de
modo que el orden de sus elementos no cambia este hecho. Igualmente, una
disyunción es presentar una elección entre dos cosas, sin importar en qué orden se
presente esta elección. Así pues,
• De la conjunción: p ∧ q ⇔ q ∧ p
• De la disyunción: p ∨ q ⇔ q ∨ p
10. Asociatividad:
• De la conjunción: (p ∧ q) ∧ r ⇔ p ∧ (q ∧ r)
• De la disyunción: (p ∨ q) ∨ r ⇔ p ∨ (q ∨ r)
11. Distributividad:
• De la conjunción respecto a la disyunción: (p ∨ q) ∧ r ⇔ (p ∧ r) ∨ (q ∧ r)
• De la disyunción respecto a la conjunción: (p ∧ q) ∨ r ⇔ (p ∨ r) ∧ (q ∨ r)
12. Leyes de absorción:
• De la conjunción respecto a la disyunción: p ∧ (p ∨ q) ⇔ p
• De la disyunción respecto a la conjunción: p ∨ (p ∧ q) ⇔ p
13. Definición de implicación: p → q ⇔ ∼ p ∨ q
14. Definición de equivalencia: p ↔ q ⇔ ( p → q ) ∧ ( q → p )
15. Leyes de De Morgan: Esta ley permite transformar una disyunción en una
conjunción, y viceversa, es decir, una conjunción en una disyunción. Cuando se pasa
de una a otra, se cambian los valores de afirmación y negación de los términos de la
disyunción/conjunción así como de la propia operación en conjunto, como podemos
observar aquí:

• Negación de la conjunción: ∼ ( p ∧ q ) ⇔ ∼ p ∨ ∼ q
• Negación de la disyunción: ∼ ( p ∨ q ) ⇔ ∼ p ∧ ∼ q

DEMOSTRACIÓN DE VALIDEZ

MÉTODOS DE DEMOSTRACIÓN DE LA VALIDEZ DE UN ARGUMENTO.

Directo: Según este método, sabiendo que las premisas del antecedente de
(α) son verdaderas, se debe demostrar que la conclusión C también es verdadera; y
para ello, se puede utilizar cualquiera de las reglas de inferencias mostradas en la
siguiente página.

Indirecto: En el método indirecto, se debe incluir ∼C entre las premisas

originales de (α). Para que el razonamiento sea válido, es necesario mostrar que, al
utilizar las diversas reglas de inferencia, la implicación: ( p1 ∧ p2 ∧ ... ∧ pn ∧ ∼C ) →
C, genera una antitautología; es decir, el valor de verdad de esta implicación es
falso ( F ).

Condicional: Si se pretende demostrar la implicación m → n, se deberá

introducir m como nueva premisa; y operando con las restantes, se deberá obtener
n para que el razonamiento sea válido. REGLA DE LAS PREMISAS: En la
inferencia lógica, cualquier premisa puede reemplazarse por una equivalente; es
decir, se pueden utilizar sin problemas, las fórmulas de simplificación ya estudiadas.

Reglas de validez para el silogismo categórico.

Un silogismo es válido, si y sólo si, satisface todas las reglas siguientes

• El término medio debe ser antecedente como mínimo en una premisa.

• Si un término es antecedente en la conclusión, debe ser antecedente en la premisa
donde figure.

• Las premisas no pueden ser ambas negativas.

• Si una de las premisas es negativa, la conclusión debe ser negativa; y si la

conclusión es negativa una premisa debe ser negativa.

Ilustremos dos situaciones específicas. Considérense las formas simbólicas de los

silogismos:

• Todo M es V

• Todo A es V

• Todo A es M

En este caso podemos observar que el término medio V es consecuente en ambas

premisas, y por esta razón se dice que viola la regla 1 y en consecuencia este
silogismo (AAA - 2) es inválido. Un ejemplo de esta estructura es:

Todos los mamíferos son vertebrados.

Todas las aves son vertebrados.

Todas las aves son mamíferos.

2) Todo V es S

Todo V es A

Todo A es S. El término A es antecedente en la conclusión, pero no lo es en la premisa

donde figura (premisa menor) violando la regla 2 y en consecuencia este silogismo
(AAA - 3) es inválido.
Un ejemplo de esta estructura es:

Todos los vertebrados tienen reproducción sexual.

Todos los vertebrados son animales.

Todos los animales tienen reproducción sexual.

Método gráfico para probar la validez de un silogismo.

Un método interesante para la determinación de la validez de un silogismo, es

el método del diagrama, establecido por el lógico inglés John Venn (1.834 - 1.883) y
conocido como diagramas de Venn.

Si consideramos una función proposicional, recordaremos que su dominio está

dividido en dos conjuntos disjuntos: el conjunto de verdad y el de no verdad. Lo
anterior se ilustrará mediante un rectángulo que representa el dominio y un área del
mismo, limitada por una circunferencia que representa el conjunto de verdad. Así en
la función proposicional designada como P x con dominio D ; su representación
gráfica se da en la figura 1.

VALIDEZ E INVALIDEZ DEARGUMENTACION EN LA LOGICA

CUANTIFICACIONAL

AFIRMACION

La cuantificación universal de una función proposicional es verdadera si y solo

si todas sus instancias de sustitución son verdaderas

“Todo perro tiene pulgas”

La cuantificación existencial de una función proposicional es verdadera si y

solo si tiene al menos una instancia de sustitución verdadera
“Al menos un perro tiene pulgas”

Si hay al menos un individuo, entonces toda función proposicional tiene al

menos una instancia de sustitución. Verdadera o falsa.

Si la cuantificación universal de una función proposicional es verdadera,

entonces su cuantificación existencial también lo es

“Si todo perro tiene pulgas, entonces algún un perro tiene pulgas”.

NEGACION

Universal de afirmación y de negación son contrarias; es decir, ambas pueden

ser falsas, pero no pueden ser verdaderas.

“Todos los perros tienen pulgas y Ningún perro tiene pulgas”

Particular de afirmación y negación son sub-contrarias; esto es, que ambas

pueden ser verdaderas, pero no falsas.

“Algún perro tiene pulgas y Algún perro no tiene pulgas”

Si ambas fuesen verdaderas, esto solo quiere decir que estamos hablando de
diferentes perros; pero si ambas son falsas, significaría que es verdad que Todo perro
tiene pulgas y que Ningún perro tiene pulgas, lo cual ya vimos que no puede ser el
caso.

Universal de afirmación y particular de negación y viceversa son

contradictorias; por lo que una de ellas debe ser verdadera y otra falsa.

“Todos los perros tienen pulgas y Algún perro no tiene pulgas”

 Conclusión

En el desenlace de esta investigación se pudo apreciar que la lógica cuantificacional

es una de las piezas fundamentales de la Inteligencia Artificial, ya que para realizar
los cambios necesarios para la evolución de esta ciencia, se precisa de un lenguaje
formal para representar los hechos que se reciben del mundo real y el uso de las
proposiciones. El utilizar proposiciones es una señal que encaja en forma perfecta en
este ámbito. Es un modo sencillo y práctico para resolver un problema, considerando
que se puede resolver disgregando el problema en proposiciones u oraciones
sencillas que permiten analizar los hechos y tomar decisiones, es decir, crear nuevas
proposiciones u oraciones sencillas o compuestas que se incorporan a la base de
conocimiento, permitiendo el incremento y mejora de esta.

Este trabajo nos ha permitido profundizar los conocimientos del uso de la lógica para
la resolución de problemas o la representación de la realidad a nivel de proposiciones.