Algebra

República Bolivariana de Venezuela.
Instituto Universitario de Tecnología

“Antonio José de Sucre”
Anaco, Estado Anzoátegui.
Escuela: Informática.
Cátedra: Álgebra.
Tema: 2
Lógica de
Predicados
Profesora: Bachiller:
Livio Vergara Jenifer Marcano
C.I: 30.421.278
Junio, 2021
Parte teórica.
1.- Definir Predicados y Universo o Conjunto Universal. Dar 03 ejemplos de cada

uno.
 Predicados: En lógica de primer orden, es un objeto básico del lenguaje

de dicha lógica que puede representar tanto una propiedad como una
relación entre entidades.
Ejemplos:
1. Todos los hombres son mortales. 𝐻(𝑥) = 𝐸𝑠 ℎ𝑜𝑚𝑏𝑟𝑒 𝑀(𝑥) =

𝐸𝑠 𝑀𝑜𝑟𝑡𝑎𝑙
∀𝑥 =𝐻 →𝑀
2. Algunas niñas son rubias. 𝑁(𝑥) = 𝐸𝑠 𝑛𝑖ñ𝑎 𝑅(𝑥) = 𝐸𝑠 𝑟𝑢𝑏𝑖𝑎
∃𝑥 = 𝑁^𝑅
3. Juan no se mueve. 𝐽(𝑥) = 𝐽𝑢𝑎𝑛 𝑀(𝑥) = 𝑆𝑒 𝑀𝑢𝑒𝑣𝑒
∀ 𝑥 = 𝐽¬𝑀
 Conjunto Universal: Es el conjunto que contiene a todos los elementos

del Universo. Se le denota por la letra “U”. Lo forman el conjunto de
conjuntos que intervienen. Así, si se está hablando de todos los números,
el conjunto universal será los números complejos.
Ejemplos:
1. Si lanzamos un dado, el Conjunto Universal serán los posibles resultados

del dado que son U= 1,2,3,4,5,6.
2. Si tenemos el sub conjuntos de hombres y mujeres, entonces el conjunto
universal sería U= seres humanos / personas.
3. Sean los conjuntos; A= aves; B= peces; C= anfibios; D= Tigres; Su conjunto
universal es U= Animales.
2.- Indica 05 ejemplos de predicados en el universo de los números enteros y 03

ejemplos en el universo de los números racionales y transformarlos en una
proposición verdadera. Mínimo 02 ejemplos que contengan 03 variables.
Números Enteros.
1. 𝒙 = 𝟒 𝒚 = 𝟐 𝒛 = 𝟒 𝒑(𝒙, 𝒚, 𝒛): 𝒙 . 𝒚 + 𝒛 = 𝟏𝟔
4 x 2 + 4 = 16 Es una proposición verdadera
2. Todo número entero es par o impar q(x) = par r(x) = impar

∀𝒙[𝒒(𝒙) ∨ 𝒓(𝒙)]
3. El único primo par es el 2. q(x) = es par s(x)= es primo

∀𝒙[𝒔(𝒙) ∧ 𝒒(𝒙) → 𝒙 = 𝟐]
4. 𝒙 = 𝟑 𝒚 = 𝟑 𝒛 = 𝟓 𝒒(𝒙, 𝒚, 𝒛): 𝒙 . 𝒚 − 𝒛 = 𝟒
3 x 3 – 5 = 4 Es una proposición verdadera.
5. Dado cualquier número entero, existe otro tal que la suma de ambos
es cero p(x) = 5 q(y) = -5
∀𝒙[∃𝒚: (𝒙 + 𝒚 = 𝟎)]
Números Racionales.
1. Todo número radical tiene una raíz. q(x) = tiene una raíz
∀𝒙, 𝒒(𝒙)
𝟏 𝟑 𝟓
2. 𝒙= 𝟒
𝒚=𝟑 𝒛= 𝟒
𝒑(𝒙, 𝒚, 𝒛): 𝒙 + 𝒚 = 𝒛
𝟏 𝟑 𝟓
+ = es una proposición verdadera.
𝟒 𝟑 𝟒
3. Existen radicales que se suman y se restan o son combinadas.

p(x) = se suman r(x) = se restan s(x) = son combinadas
∃𝒙: [𝒑(𝒙) ∧ 𝒓(𝒙) ∨ 𝒔(𝒙)]
3.- Definir Cuantificador Universal y Cuantificador Existencial e indicar sus

símbolos. Dar 05 ejemplos de cada uno y mínimo 02 ejemplos que contengan 03
variables.
 Cuantificador Universal: Es el antepuesto a una variable para decir que

“para todo”, a un elemento de un cierto conjunto que cumple a una
proposición dada. Su Símbolo es; ∀.
Ejemplos:
1. 𝑺𝒊 𝒚 = 𝟏, 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒙𝒚 = 𝒙 𝒑𝒂𝒓𝒂 𝒄𝒖𝒂𝒍𝒒𝒖𝒊𝒆𝒓 𝒙
∀y[q(y, 1) → ∀𝑥, 𝑝(𝑥, 𝑦, 𝑥)]
2. 𝒔𝒊 𝒙𝒚 ≠ 𝟎, 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒙 ≠ 𝟎 𝒆 𝒚 ≠ 𝟎
∀x, ∀y[¬p(x, y, 0) → ¬𝑞(𝑥, 0) ∧ ¬𝑞(0, 𝑦)]
3. 𝒙 < 𝒛 𝒆𝒔 𝒖𝒏𝒂 𝒄𝒐𝒏𝒅𝒊𝒄𝒊ó𝒏 𝒏𝒆𝒄𝒆𝒔𝒂𝒓𝒊𝒂 𝒑𝒂𝒓𝒂 𝒒𝒖𝒆 𝒙 < 𝒚 𝒆 𝒚 < 𝒛

∀x, ∀y, ∀z[r(y, x) ∧ 𝑟(𝑧, 𝑦) → 𝑟(𝑧, 𝑥)]
4. 𝟑𝒙 = 𝟔 𝒔𝒊, 𝒚 𝒔𝒐𝒍𝒐 𝒔𝒊 𝒙 = 𝟐
∀x[p(3, x, 6) ←→ 𝑞(𝑥, 2)]
5. 𝒔𝒊 𝒙 < 𝒚 𝒚 𝒛 < 𝟎 , 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒙𝒛 > 𝒚𝒛

∀x, ∀y, ∀z[r(y, x) ∧ 𝑟(0, 𝑧)∀𝑢, ∀𝑣(𝑝(𝑥, 𝑧, 𝑢) ∧ 𝑝(𝑦, 𝑧, 𝑣)) → 𝑟(𝑢, 𝑣)]
 Cuantificador Existencial: Es el antepuesto a una variable para decir que
“existe al menos”, a un elemento del conjunto al que hace referencia la
variable. Su Símbolo es; ∃.
Ejemplos:
1. 𝑺𝒊 𝒙𝒚 ≠ 𝒙 𝒑𝒂𝒓𝒂 𝒂𝒍𝒈ú𝒏 𝒙, 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒙 ≠ 𝟎
∃x: [¬p(x, y, x) → x ≠ 0]
2. Existe un par entero.

∃x: 𝑞(𝑥)
3. 𝑬𝒙𝒊𝒔𝒕𝒆 𝒖𝒏 𝒙 𝒕𝒂𝒍 𝒒𝒖𝒆 𝒑𝒂𝒓𝒂 𝒕𝒐𝒅𝒐 𝒚, 𝒚 − 𝒙 = 𝒚

∃x: [∀𝑦, 𝑝(𝑦, 𝑥, 𝑦)]
4. 𝑬𝒙𝒊𝒔𝒕𝒆 𝒖𝒏 𝒙 𝒕𝒂𝒍 𝒒𝒖𝒆 𝒙 . 𝒚 = 𝒚 𝒑𝒂𝒓𝒂 𝒄𝒂𝒅𝒂 𝒚

∃x: [∀𝑦, 𝑞(𝑥, 𝑦, 𝑦)]
5. Ningún x es menor que cero.

¬∃x: 𝑟(𝑥, 0)
4.- Defina el valor de verdad del Cuantificador Universal y el valor de verdad del
Existencial. De 03 ejemplos de cada uno.
 Valor de verdad del Cuantificador Universal: Sea p(x) un predicado

cuya variable “x” toma valores en un universo del discurso “U”.
Ejemplos:
1. ∀𝒙, 𝒙 = 𝟓 Esta proposición dice que “todos los números enteros son guales
a 5”. El predicado p(x): x = 5 es una proposición falsa, por ejemplo. Para
x = 1, la proposición ∀𝑥, 𝑥 = 5 es falsa.
2. ∀𝒙, 𝒙 + 𝒛 = 𝟓 Esta proposición dice que “todos los números enteros son
guales a 5”. El predicado p(x) : x = 5 es una proposición verdadera, por
ejemplo. Para x = 3, z = 2, la proposición ∀𝒙, 𝒙 + 𝒛 = 𝟓 es verdadera.
3. ∀𝒙, 𝒙 < 𝒙 + 𝟏 El predicado p(x) : x < x + 1 es una proposición verdadera

si sustituimos “x” por cualquier número entero, luego la proposición
cuantificada ∀𝒙, 𝒙 < 𝒙 + 𝟏 es verdad.
 Valor de verdad del Cuantificador Existencial: Sea p(x) un predicado

de variable “x” que toma valores en un universo del discurso “U”.
Ejemplos:
1. ∃𝒙: 𝒙 < 𝒙 + 𝟏 La proposición es “existe, al menos, un entero que es

menor que el siguiente” El predicado 𝒑(𝒙): 𝒙 < 𝒙 + 𝟏 es una proposición
verdadera para cualquier entero “x” , por lo tanto, la proposición es
verdadera.
2. ∃𝒙: 𝒙 = 𝟓 La traducción de la proposición al lenguaje ordinario es “existe,
al menos, un entero igual a 5”. El predicado p(x) : x = 5 es una
proposición verdadera cuando x toma el valor 5, luego la proposición
cuantificada es verdad.
3. ∃𝒙: 𝒙 = 𝒙 + 𝟏 La proposición es “existe, al menos, un número entero que
es igual al siguiente”. El predicado p(x) : x = x + 1 es una proposición
falsa para cualquier número entero x, por tanto la proposición cuantificada
es falsa.
5.- Defina Implicación Lógica y Equivalencia Lógica de Predicados.
 Implicación Lógica: Es una afirmación no hipotética, que habla del

mundo; es decir, establece que “A” es verdadero y que, por lo tanto, “B”
es verdadero. También está el caso de que “B” sea falso, entonces “A”
también lo es.
 Equivalencia Lógica de Predicados: La lógica de cuantificadores

también llamada “lógica de predicados”, es la que examina la parte interna
del enunciado, sin alejarse de la lógica de las proposiciones. Si hablamos
de la equivalencia lógica de predicados; nos referimos a las declaraciones
que son lógicamente equivalentes entre sí, es decir, poseen el mismo valor
de la verdad.
Parte Práctica.
1.- Dada las siguientes proposiciones en lenguaje ordinario, indicar su equivalente

en la Lógica de predicados y expresar su formalización simbólica o notación
lógica. Nota: Indique las variables.
a- Todo el mundo odia a alguien.
𝑝𝑥 = 𝑒𝑙 𝑚𝑢𝑛𝑑𝑜𝑜𝑑𝑖𝑎 𝑞𝑥 = 𝑎 𝑎𝑙𝑔𝑢𝑖𝑒𝑛
∀𝑥 (𝑝𝑥 → 𝑟𝑥)
b- Hay alguien que odia a todo el mundo.
𝑝𝑥 = 𝑒𝑙 𝑚𝑢𝑛𝑑𝑜 𝑞𝑥 = 𝑎𝑙𝑔𝑢𝑖𝑒𝑛 𝑞𝑢𝑒 𝑜𝑑𝑖𝑎
∃𝑥: [𝑞𝑥 → ∀(𝑥), 𝑝𝑥]

c- La desigualdad n2 < 2n es cierta para todos los naturales mayores o iguales
que 5.
𝑝𝑥 = 𝑙𝑎 𝑑𝑒𝑠𝑖𝑔𝑢𝑎𝑙𝑑𝑎𝑑 n2 < 2n
𝑞𝑥 = 𝑒𝑠 𝑐𝑖𝑒𝑟𝑡𝑎 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜𝑠 𝑙𝑜𝑠 𝑛𝑎𝑡𝑢𝑟𝑎𝑙𝑒𝑠 𝑟𝑥 = 𝑒𝑠 𝑚𝑎𝑦𝑜𝑟𝑒𝑠
𝑡𝑥 = 𝑒𝑠 𝑖𝑔𝑢𝑎𝑙 𝑎 5
∀𝒙(𝒑𝒙 ∧ 𝒒𝒙) → (𝒓𝒙 ←→ 𝒕𝒙)
2.- Analizar las afirmaciones lógicas dadas dentro del conjunto universal de los
números
enteros e indicar el valor de verdad. Traducir la proposición al lenguaje
ordinario.
a- x : x< x + 1
Proposición: “Existe, que al menos, un entero es menor que el siguiente.
Esta es proposición una verdadera.
b- y:[ x (x.y) = x]
Proposición: “Existe un y tal que para todo x, x – y = x” Esta es una

proposición verdadera.
c- x [ y :(x.y = 0)]
Proposición: “Para todo “x” existe “y”, tal que x – y = 0” Esta es una
proposición verdadera.
3.- Sea p(x,y,z) el predicado x – y = z dentro del Universo de los números

enteros,
Transcriba las siguientes afirmaciones a notación lógica.
a- Para cada x e y, existe algún z tal que x – y = z.
∀𝑥 [∀𝑦(∃𝑧: 𝑝(𝑥, 𝑦, 𝑧))]
b- Cuando el 0 se resta de cualquier entero, el resultado es el entero original.
∀𝑥: 𝑝(𝑥, 0, 𝑥)
c- Existe un x tal que para todo y, y – x = y.
∃𝑥: [∀𝑦, 𝑝(𝑦, 𝑥, 𝑦)]

4.- Dentro del universo de los números enteros consideremos el predicado p(x,y,z)
:
xy = z. Transcriba a notación lógica las afirmaciones siguientes.
a- Si x = 0, entonces xy = x para todos los valores de y.
∀𝑥[𝑥 = 0 → ∀, 𝑝(𝑥, 𝑦, 𝑥)]
b- Si xy = x para cada y, entonces x= 0.
∀𝑥[∀𝑦(𝑝(𝑥, 𝑦, 𝑥) → 𝑥 = 0]
c- Si xy x para algún x, entonces x 0.
∃𝑥: [¬𝑝(𝑥, 𝑦, 𝑥) → 𝑥 ≠ 0]

Algebra

Cargado por

Copyright:

Formatos disponibles

Algebra

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Algebra

Cargado por

Copyright:

Formatos disponibles

República Bolivariana de Venezuela.

Instituto Universitario de Tecnología

1.- Definir Predicados y Universo o Conjunto Universal. Dar 03 ejemplos de cada

 Predicados: En lógica de primer orden, es un objeto básico del lenguaje

1. Todos los hombres son mortales. 𝐻(𝑥) = 𝐸𝑠 ℎ𝑜𝑚𝑏𝑟𝑒 𝑀(𝑥) =

 Conjunto Universal: Es el conjunto que contiene a todos los elementos

1. Si lanzamos un dado, el Conjunto Universal serán los posibles resultados

2.- Indica 05 ejemplos de predicados en el universo de los números enteros y 03

2. Todo número entero es par o impar q(x) = par r(x) = impar

3. El único primo par es el 2. q(x) = es par s(x)= es primo

3. Existen radicales que se suman y se restan o son combinadas.

3.- Definir Cuantificador Universal y Cuantificador Existencial e indicar sus

 Cuantificador Universal: Es el antepuesto a una variable para decir que

3. 𝒙 < 𝒛 𝒆𝒔 𝒖𝒏𝒂 𝒄𝒐𝒏𝒅𝒊𝒄𝒊ó𝒏 𝒏𝒆𝒄𝒆𝒔𝒂𝒓𝒊𝒂 𝒑𝒂𝒓𝒂 𝒒𝒖𝒆 𝒙 < 𝒚 𝒆 𝒚 < 𝒛

5. 𝒔𝒊 𝒙 < 𝒚 𝒚 𝒛 < 𝟎 , 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒙𝒛 > 𝒚𝒛

2. Existe un par entero.

3. 𝑬𝒙𝒊𝒔𝒕𝒆 𝒖𝒏 𝒙 𝒕𝒂𝒍 𝒒𝒖𝒆 𝒑𝒂𝒓𝒂 𝒕𝒐𝒅𝒐 𝒚, 𝒚 − 𝒙 = 𝒚

4. 𝑬𝒙𝒊𝒔𝒕𝒆 𝒖𝒏 𝒙 𝒕𝒂𝒍 𝒒𝒖𝒆 𝒙 . 𝒚 = 𝒚 𝒑𝒂𝒓𝒂 𝒄𝒂𝒅𝒂 𝒚

5. Ningún x es menor que cero.

 Valor de verdad del Cuantificador Universal: Sea p(x) un predicado

3. ∀𝒙, 𝒙 < 𝒙 + 𝟏 El predicado p(x) : x < x + 1 es una proposición verdadera

 Valor de verdad del Cuantificador Existencial: Sea p(x) un predicado

1. ∃𝒙: 𝒙 < 𝒙 + 𝟏 La proposición es “existe, al menos, un entero que es

5.- Defina Implicación Lógica y Equivalencia Lógica de Predicados.

 Implicación Lógica: Es una afirmación no hipotética, que habla del

 Equivalencia Lógica de Predicados: La lógica de cuantificadores

1.- Dada las siguientes proposiciones en lenguaje ordinario, indicar su equivalente

a- Todo el mundo odia a alguien.

b- Hay alguien que odia a todo el mundo.

𝑝𝑥 = 𝑒𝑙 𝑚𝑢𝑛𝑑𝑜 𝑞𝑥 = 𝑎𝑙𝑔𝑢𝑖𝑒𝑛 𝑞𝑢𝑒 𝑜𝑑𝑖𝑎

∃𝑥: [𝑞𝑥 → ∀(𝑥), 𝑝𝑥]

∀𝒙(𝒑𝒙 ∧ 𝒒𝒙) → (𝒓𝒙 ←→ 𝒕𝒙)

Proposición: “Existe un y tal que para todo x, x – y = x” Esta es una

3.- Sea p(x,y,z) el predicado x – y = z dentro del Universo de los números

a- Para cada x e y, existe algún z tal que x – y = z.

∀𝑥 [∀𝑦(∃𝑧: 𝑝(𝑥, 𝑦, 𝑧))]

b- Cuando el 0 se resta de cualquier entero, el resultado es el entero original.

c- Existe un x tal que para todo y, y – x = y.

∃𝑥: [∀𝑦, 𝑝(𝑦, 𝑥, 𝑦)]

a- Si x = 0, entonces xy = x para todos los valores de y.

∀𝑥[𝑥 = 0 → ∀, 𝑝(𝑥, 𝑦, 𝑥)]

b- Si xy = x para cada y, entonces x= 0.

c- Si xy x para algún x, entonces x 0.

También podría gustarte