U

N U NIVE R SID AD NAC IONAL E XPE R IME NT AL POL IT É C NIC A

E “A NTO NIO J O S É D E SU CRE”
X VIC E - R E C T OR AD O “L U IS C ABAL L ER O ME J IAS”
P NÚ CL EO G U A RENA S
O G U ÍA Nº 4 D E LÓ G ICA

LÓGICA CUANTIFICACIONAL Y LÓGICA DE LAS RELACIONES

“LA UNIVERSIDAD TÉCNICA DEL ESTADO VENEZOLANO”

Guarenas: Urb. Vicente Emilio Sojo. Terraza C. 362-39-72
Elaborado: Ing. Jenifer Isabel Velandia Gil Abril 2010
 U
N U NIVE R SID AD NAC IONAL E XPE R IME NT AL POL IT É C NIC A
E “A NTO NIO J O S É D E SU CRE”
X VIC E - R E C T OR AD O “L U IS C ABAL L ER O ME J IAS”
P NÚ CL EO G U A RENA S
O G U ÍA Nº 4 D E LÓ G ICA

OBJETIVOS

El alumno, al final de la unidad, deberá:

1. Distinguir el cálculo de Predicados del cálculo Proposicional.

2. Distinguirá los sujetos o argumentos y los predicados.

3. Sabrá usar los cuantificadores.

4. Sabrá simbolizar el lenguaje natural.

5. Distinguirá: variables, constantes y su alcance.

6. Tendrá un conocimiento adecuado de las Leyes del cálculo de Predicados.

7. Sabrá usar las formas y reglas válidas de Demostración.

CONTENIDOS:

1. Cuantificación:

1.1. Conceptos básicos.

1.2. Sujetos y predicado.

1.3. Funciones Proposicionales.

1.4. Tipos de Cuantificadores.

1.5. Leyes de Intercambio de Cuantificadores.

1.6. Ejercicios propuestos.

2. Lógica de las Relaciones:

2.1. Conceptos básicos.

2.2. Leyes del cálculo de las Relaciones.

2.3. Propiedad Conmutativa de los Cuantificadores.

2.4. Lógica de la Identidad.

2.5. Axiomas de la Lógica de la Identidad.

2.6. Ejercicios propuestos.

“LA UNIVERSIDAD TÉCNICA DEL ESTADO VENEZOLANO”

Guarenas: Urb. Vicente Emilio Sojo. Terraza C. 362-39-72
Elaborado: Ing. Jenifer Isabel Velandia Gil Abril 2010
 U
N U NIVE R SID AD NAC IONAL E XPE R IME NT AL POL IT É C NIC A
E “A NTO NIO J O S É D E SU CRE”
X VIC E - R E C T OR AD O “L U IS C ABAL L ER O ME J IAS”
P NÚ CL EO G U A RENA S
O G U ÍA Nº 4 D E LÓ G ICA

EVALUACIÓN:

La evaluación final de la Unidad IV, tendrá un 15% del total del porcentaje relativo a la
materia.

ACTIVIDADES DEL ALUMNO ANTES DE LA CLASE:

1. Repasar: tipos de oraciones y tipos de números.

2. Leer la guía.

3. Elaborar preguntas.

ACTIVIDADES DEL ALUMNO DURANTE Y DESPUES DE LA CLASE:

1. Atender a las explicaciones del profesor.

2. Intervenir oportunamente en clase y siempre que el profesor lo invite a hacerlo.

3. Tomar parte activa en la clase para lograr una asimilación personal.

4. Realizar Los ejercicios que el profesor asigne.

5. Consultar al profesor y al preparador las dudas del tema.

6. Presentar Evaluación final de la Unidad.

BIBLIOGRAFIA:

AYRES, Frank: Algebra Moderna. Teoría y problemas resueltos.

1976 Serie Colección “Chau”, Ed. Libros M. Graw- Hill. Bogota.
pp. 1-66.
BIRKOHFF-MC, Lane: Algebra Moderna.
1970 Ed. Vicens-Vives. Barcelona. pp. 1-65; 337-381.

BURGOS, Alfonso: Matemática Moderna. Selecciones Científicas.

1970 Madrid. Pp. 13-71.

GIANELLA DE SALAMA: Lógica Simbólica y Elementos de Metodología de la

Ciencia. Ed. El Ateneo. Buenos Aires. pp. 105-168.

“LA UNIVERSIDAD TÉCNICA DEL ESTADO VENEZOLANO”

Guarenas: Urb. Vicente Emilio Sojo. Terraza C. 362-39-72
Elaborado: Ing. Jenifer Isabel Velandia Gil Abril 2010
 U
N U NIVE R SID AD NAC IONAL E XPE R IME NT AL POL IT É C NIC A
E “A NTO NIO J O S É D E SU CRE”
X VIC E - R E C T OR AD O “L U IS C ABAL L ER O ME J IAS”
P NÚ CL EO G U A RENA S
O G U ÍA Nº 4 D E LÓ G ICA

1. LÓGICA CUANTIFICACIONAL

1.1. Conceptos básicos

Es la lógica formal, al nivel de la lógica de enunciados, no solo exhibe letras y conectivos,

sino que penetra en la estructura interna del enunciado para buscar su validez.

Ejemplo:

P: Ningún árbol puede hablar.

Q: Juan puede hablar.
Luego,
R: Juan no es un árbol.

La lógica proporcional no puede explicar porque R se deduce de P y de Q. A partir del

cálculo proporcional se construye el análisis para la deducción.

Dada una proposición, la lógica cuantificacional distingue a los individuos y sus

propiedades.

Ejemplo:

1) Pedro estudia mucho

2) Pto. Ordaz es una ciudad limpia Proporciones simples
3) Las frutas son buenas

1.2. Sujetos o las constantes individuales:

1) Personas.
2) Animales. Se simbolizan con letras minúsculas latinas
3) Ciudades.
4) Países, otros.

Propiedad o Predicado:

Son las palabras o frases que hacen referencia al sujeto. Se representan con letras
mayúsculas latinas.

1) Pedro = p ; estudia mucho = E ; Ep.

2) Pto. Ordaz = o ; es una ciudad limpia = L ; Lo.
3) Las frutas = f ;son buenas = B ; Bf.

Las proposiciones simples forman proposiciones compuestas uniéndolas con conectivos

lógicos.

“Pedro duerme y María lee”

Dp ^ Lm

“LA UNIVERSIDAD TÉCNICA DEL ESTADO VENEZOLANO”

Guarenas: Urb. Vicente Emilio Sojo. Terraza C. 362-39-72
Elaborado: Ing. Jenifer Isabel Velandia Gil Abril 2010
 U
N U NIVE R SID AD NAC IONAL E XPE R IME NT AL POL IT É C NIC A
E “A NTO NIO J O S É D E SU CRE”
X VIC E - R E C T OR AD O “L U IS C ABAL L ER O ME J IAS”
P NÚ CL EO G U A RENA S
O G U ÍA Nº 4 D E LÓ G ICA

1.3. Funciones Proposicionales:

Son términos o variables a los cuales no se les puede asignar valore de verdad (verdadera
o falsa).

Ejemplo:

Gustavo es médico
Álvaro es médico “X es médico”
Enrique es médico

X = variable individua.

Las expresiones dadas en términos de una o varias variables reciben el nombre de

funciones proporcionales.

Se pueden tener en proporciones compuestas:

“X es un número racional y Z es un número irracional”.

Qx ^ Jz

1.4. Tipos de Cuantificadores:

Estos Cuantificadores se usan para convertir una función proporcional en una proposición.

Se sustituyen las variables por un cuantificador:

 Cuantificador Universal: ұ x

Todo x
Cualquier x Afirmativos
Cada x

Ningún x
Ninguno Negación
Nada
Nadie

 Cuantificador Existencial: X

Hay x
Existe x, tal que Afirmativo
Algún x
Algunas x

“LA UNIVERSIDAD TÉCNICA DEL ESTADO VENEZOLANO”

Guarenas: Urb. Vicente Emilio Sojo. Terraza C. 362-39-72
Elaborado: Ing. Jenifer Isabel Velandia Gil Abril 2010
 U
N U NIVE R SID AD NAC IONAL E XPE R IME NT AL POL IT É C NIC A
E “A NTO NIO J O S É D E SU CRE”
X VIC E - R E C T OR AD O “L U IS C ABAL L ER O ME J IAS”
P NÚ CL EO G U A RENA S
O G U ÍA Nº 4 D E LÓ G ICA

Para negarlo solo se antepone el no.

Ejemplo:
Con negación.
“No todos son mecánicos” F.P
-(Ұx) (Mx)
“ninguno es mecánico” F.P
(Ұx) (-Mx)

1.5. Cuantificación Restringida:

Son proposiciones universales o existenciales que poseen una estructura simple pero
internamente tienen una estructura de proposición compuesta, por que poseen varios
predicados.

Ejemplo:

 “Todas las hormigas son insectos”

“Para toda X, si X eshormiga entonces X es insecto”
(Ұx) (Hx → Ix).

Donde: Hx = “X es hormiga”
Ix = “X es insecto”

 “Todo hombre es mortal”

Para todo x, si x es hombre, entonces, x es mortal.

(Ұx) (Xh → Xn)

 “Hay animales carnívoros”

“Existe un X, tal que X es animal y X es carnívoro”

( X) (Ax ^ Cx)

 “Algunos hombres son sabios”

Existe un x, tal que x es hombre ^ x es sabio.

( X) (Xh ^ Xs)

1.6. Leyes de Intercambio de Cuantificadores:

1) (Ұx) (Px) ↔ - ( X) (Px)

2) ( X) (Px) ↔ - (Ұx) (- Px)

3) - (Ұx) (Px) ↔ ( X) (- Px)

4) - ( X) (Px) ↔ (Ұx) (- Px)

“LA UNIVERSIDAD TÉCNICA DEL ESTADO VENEZOLANO”

Guarenas: Urb. Vicente Emilio Sojo. Terraza C. 362-39-72
Elaborado: Ing. Jenifer Isabel Velandia Gil Abril 2010
 U
N U NIVE R SID AD NAC IONAL E XPE R IME NT AL POL IT É C NIC A
E “A NTO NIO J O S É D E SU CRE”
X VIC E - R E C T OR AD O “L U IS C ABAL L ER O ME J IAS”
P NÚ CL EO G U A RENA S
O G U ÍA Nº 4 D E LÓ G ICA

Ejemplo:

“Todos son perfectos”

1) Todos son perfectos ↔ No existe alguno que sea perfecto.

2) Algunos son perfectos ↔ No todos no son perfectos.
3) No todos son perfectos ↔ Algunos no son perfectos.
4) No existe alguno perfecto ↔ Todos no son perfectos.

1.7. Ejercicios propuestos:

Separar el sujeto y el predicado. Simbolizar:

Si el sol es una estrella, tiene luz propia.

Mario es estudioso e inteligente, pero distraído.

Si Mario no llega temprano, María no se molestara.

Funciones proposicionales. Simbolizar:

Alguien es muy generoso.

X es par y 6 también.
X e Y son impares.
2 es un número par y primo.

Indicar si las siguientes expresiones son funciones proposicionales o proposiciones:

1) (- Ab ^ - Bx) ↔ Py v Cb.
2) (Ba ^ - Ab) → Cd.
3) Cm ^ Ds.

Cuantificadores. Simbolizar los siguientes enunciados:

Todo es perecedero
Hay marcianos
Alguien no es perfecto
No hay cosas sólidas
Si todo es rojo, hay algo rojo
Nada se mueve
No todo es perecedero
Nada es perecedero
Algunos números negativos no son enteros

Cuantificación restringida. Simbolizar:

Hay cines negros

Hay números perfectos

“LA UNIVERSIDAD TÉCNICA DEL ESTADO VENEZOLANO”

Guarenas: Urb. Vicente Emilio Sojo. Terraza C. 362-39-72
Elaborado: Ing. Jenifer Isabel Velandia Gil Abril 2010
 U
N U NIVE R SID AD NAC IONAL E XPE R IME NT AL POL IT É C NIC A
E “A NTO NIO J O S É D E SU CRE”
X VIC E - R E C T OR AD O “L U IS C ABAL L ER O ME J IAS”
P NÚ CL EO G U A RENA S
O G U ÍA Nº 4 D E LÓ G ICA

Existen ciudades de clima frío

Todos los nevados son colombianos

Hay cetáceos que son peces

Aplicando las leyes de intercambio de cuantificadores, negar las siguientes proposiciones

cuantificados:

1) (Ұx) (Cx → Dx)

2) ( X) (Px ^ Qx)

3) (Ұx) (Px ^ Mx)

4) ( X) (Px → Bx)

2. LÓGICA DE LAS RELACIONES

2.1.Conceptos básicos:

Funciones proporcionales Binarias:

Este tipo de proposiciones, posee más de un sujeto o términos. Expresa una relación entre
los objetos o términos.

Puede suceder que uno de los sujetos o términos ocupe el lugar del predicado gramatical.

Ejemplo:

“María es novia de Juan”

María es el sujeto gramatical
Juan es el predicado gramatical

Cuando la relación se hace entre dos individuos se le llama binaria o diádica, pueden
existir relaciones entre 3 o más individuos.

Ejemplo:

“X está entre a y b”
El ejemplo:
“María es novia de Juan” = Nmj es lo mismo que mNj

Viene de una función proposicional

“X es novia de Y” Nxy
o
mNj

“LA UNIVERSIDAD TÉCNICA DEL ESTADO VENEZOLANO”

Guarenas: Urb. Vicente Emilio Sojo. Terraza C. 362-39-72
Elaborado: Ing. Jenifer Isabel Velandia Gil Abril 2010
 U
N U NIVE R SID AD NAC IONAL E XPE R IME NT AL POL IT É C NIC A
E “A NTO NIO J O S É D E SU CRE”
X VIC E - R E C T OR AD O “L U IS C ABAL L ER O ME J IAS”
P NÚ CL EO G U A RENA S
O G U ÍA Nº 4 D E LÓ G ICA

Para convertir una función proposicional de dos o más variables a una proposición que
sustituye cada variable por un término específico o se le añade un cuantificador a cada
variable.

Ejemplo:

“X es novia de Y” = Nxy

Sustituir “María es novia de Juan” = Nmj

Sustituir “Alguien es novia de Alguien” = ( X) ( y) (Nxy)

2.2.Leyes del cálculo de las Relaciones:

1) -(Ұx) (Ұy) (Rxy) ↔ ( X) ( y) (-Rxy)

2) -( X) ( y) (Rxy) ↔ (Ұx) (Ұy) (-Rxy)

3) -(Ұx) ( y) (Rxy) ↔ ( X) (Ұy) (-Rxy)

4) -( X) (Ұy) (Rxy) ↔ (Ұx) ( y) (-Rxy)

Ejemplo:
“X es novia de Y”

1) No todo X y no todo Y, es X novia de Y ↔ Existe un X y existe un Y, donde X no

es novia de Y.

2) No existe un X y un Y, donde X sea novia de Y ↔ todo X y todo Y, donde X no es

novia de Y.

3) No todo X y algún Y, Donde X es novia de Y ↔ Existe un X y todo Y, donde X no

es novia de Y.

4) No existe un X y todo Y, donde X es novia de Y ↔ todo X y algún Y, donde X no es

novia de Y.

2.3.Propiedad Conmutativa de los Cuantificadores:

1) (Ұx) (Ұy) (Rxy) ↔ (Ұy) (Ұx) (Rxy)

2) ( X) ( y) (Rxy) ↔ ( y) ( X) (Rxy)

3) ( X) (Ұy) (Rxy) ↔ (Ұy) ( X) (Rxy)

4) (Ұx) ( y) (Rxy) ↔ ( y) (Ұx) (Rxy)

“LA UNIVERSIDAD TÉCNICA DEL ESTADO VENEZOLANO”

Guarenas: Urb. Vicente Emilio Sojo. Terraza C. 362-39-72
Elaborado: Ing. Jenifer Isabel Velandia Gil Abril 2010
 U
N U NIVE R SID AD NAC IONAL E XPE R IME NT AL POL IT É C NIC A
E “A NTO NIO J O S É D E SU CRE”
X VIC E - R E C T OR AD O “L U IS C ABAL L ER O ME J IAS”
P NÚ CL EO G U A RENA S
O G U ÍA Nº 4 D E LÓ G ICA

2.4.Lógica de la Identidad:

En cuando se usa el vervo “ser” entre dos terminos, para indicar que se refieren a una
misma cosa.

Ejemplo:

“Simón Bolivar fue el primer presidente de colombia”

Simón Bolivar indica lo mismo que primer presidente de colombia

Simbololizando: Simón Bolivar = S

Presidente de Colombia = P

S = P.

“ = “ es el símbolo de identidad.

Se debe tener presente que el signo de identidad se usa solo cuando dos objetos son
iguales, donde podemos identificar que es cierta la igualdad.

2.5.Axiomas de la Lógica de la Identidad:

1) (Ұx) (X = X) (Todo objeto es igual a si mismo).

2) (Ұx) (Ұy) (X = Y ↔ Y = X) (Simetria).
3) (Ұx) (Ұy) (Ұz) (X = Y ^ Y = z → X = Z) (Transitividad).
4) (c = d) → (Pc ↔ Pd) (Regla de identidad).

Si dos objetos son iguales, entonces sus propiedades son las mismas.

2.6.Ejercicios propuestos:

2.6.1. Obtener proposiciones a partir de las siguientes funciones

proposicionales:

 Platón fue alumno de Sócrates

 Todos fueron alumnos de todos
 Todos fueron alumnos de algunos
 Algunos fueron alumnos de todos
 Algunos fueron alumnos de algunos
 Juan fue alumno de todos
 Juan fue alumno de algunos
 Todos fueron alumnos de Sócrates
 Algunos fueron alumnos de Sócrates

“LA UNIVERSIDAD TÉCNICA DEL ESTADO VENEZOLANO”

Guarenas: Urb. Vicente Emilio Sojo. Terraza C. 362-39-72
Elaborado: Ing. Jenifer Isabel Velandia Gil Abril 2010