Lógica Matemática

LÓGICA DE PREDICADORES
LÓGICA MATEMÁTICA

Programa Ciencia de la Información y la Documentación,

Bibliotecología y Archivística
 Lógica Matemática

LÓGICA DE PREDICADORES

YEISON ANTONIO FRANCO FLÓREZ

GRUPO 01

UNIVERSIDAD DEL QUINDIO

FACULTAD DE CIENCIAS HUMANAS Y BELLAS ARTES
PROGRAMA CIENCIA DE LA INFORMACIÓN Y LA DOCUMENTACIÓN
BIBLIOTECOLOGÍA Y ARCHIVÍSTICA
LÓGICA MATEMÁTICA
Armenia 2018
 Lógica Matemática

ACTIVIDAD SEMANAS 5 y 6

Lógica de Predicados

1. La lógica de predicados estudia frases declarativas con mayor grado de detalle,

considerando la estructura interna de las proposiciones. Se tomará como elemento básico los

sujetos / objetos y las relaciones entre dichos sujetos / Objetos. Es decir, se distingue:

 De quien se afirma (sujeto – Objeto)

 Que se afirma (predicado)

Basados en lo anterior, apreciados estudiantes el propósito de este numeral es el de

formalizar las siguientes sentencias:

SENTENCIA FORMALIZACIÓN
A. Ariel juega J (a)
B. David estudia E (d)

NOTA: los predicados se representan mediante letras mayúsculas (P, Q, R…) y los

términos mediante letras minúsculas (p, q, r…)

2. Aplicando los cuantificadores Ɐ (universal) y Ǝ (Existencial), formalizar en el

cálculo de predicados las siguientes sentencias:

ENUNCIADO FORMALIZACIÓN
A. Todos los libros de la biblioteca son Ɐx ∈U : L(x)→I (x)

interesantes.
 Lógica Matemática

B. Todos los estudiantes de CIDBA son Ɐx ∈U : E(x)→D (x)

dedicados.
C. Algunas revistas de la hemeroteca son Ǝx ∈U / R(x) ∧ A(x)

actualizadas.
D. Alguna manzana es roja. Ǝx ∈U / R(x)

3. Enlace con una flecha los enunciados con su respectiva formalización:

4. Hallar los estados de verdad o falsedad utilizando los cuantificadores Ɐ (universal)

y Ǝ (Existencial), para el siguiente argumento: El argumento “x” tenemos los datos: {2, 5. 8.

15, 20, 30}

El argumento “x” tenemos los datos: {2, 5. 8. 15, 20, 30}

A. Ɐ (x > 1): Nos dice que todos los datos de “x” son mayores que 1; siendo

verdadero.

B. Ɐ (x > 7): Nos dice que todos los datos de “x” son mayores que 7; siendo falso ya

que 2 y 5 no son mayores que 7.

C. Ǝ (x > 10): Nos dice que algún dato de “x” es mayor que 10; siendo verdadero ya

que el 15, 20 y 30 son mayores que 10.

 Lógica Matemática

5. Hallar los estados de verdad utilizando los cuantificadores Ɐ (universal) y Ǝ

(Existencial), para la siguiente tabla, basados en el argumento: x= {2, 5, 8, 15, 20}

Argumento: x = {2, 5, 8, 15, 20} Estado de verdad o falsedad

Nos dice que todos los datos de “x”

Ɐ (x > 2) son mayores de 2; siendo falso ya que el 2

no es mayor que el 2.
Nos dice que algún dato de “x” es

Ǝ (x > 2) mayor de 2; siendo verdadero ya que el 5,

8, 15, 20 son mayores que 2.

Nos dice que todos los datos de “x”

son mayores que 2 y a la vez son menores

Ɐ (x > 2) ∧ (x < 15) de 15; siendo falso ya que 2 no es mayor

que 2 y el 20 y el 15 no son menores que

15.
Nos dice que algún dato de “x” es

mayor que 2 y a la vez es menor de 15;

Ǝ (x > 2) ∧ (x < 15) siendo verdadero ya que 5, 8, 15, 20 son

mayores que 2 y 2, 5, 8 son menores que

15.
Nos dice que algún dato de “x” es

mayor que 10 y a la vez es menor que 14;

Ǝ (x > 10) ∧ (x < 14) siendo esto verdadero ya que 15 y 20 son

mayores que 10 y 2, 5, 8 son menores que

14.
Lógica Matemática