“LOGICA DE PREDICADOS”

ESTUDIANTE:
ID 300010 JUAN SEBASTIAN BENAVIDEZ OSORIO

DOCENTE:
SORZA ALVAREZ, ELKIN

ASIGNATURA:
LOGICA MATEMATICA

UNIVERSIDAD COOPERATIVA DE
COLOMBIA VILLAVICENCIO-META
FACULTAD DE INGENIERIAS
INGENIERIA
2020
 INTRODUCCION

Hemos visto como la Lógica Proposicional nos permite descubrir la validez formal de

una inferencia atendiendo esencialmente a las letras enunciativas y a los conectores
presentes en un argumento. El problema surge, sin embargo, cuando nos encontramos
con razonamientos que, siendo formalmente válidos, no deben tal validez únicamente
a la naturaleza de sus letras enunciativas y sus conectores lógicos, sino que tenemos
que ir más allá de los mismos con el objeto de poder demostrar tal validez.
 EJERCICIOS
CUANTIFICADOR EXISTENCIAL

Existen estudiantes de la UCC que son mujeres

U=estudiantes

Q(x)=x estudia en la UCC

R(x)=x es mujer

∃ x ∈∪/¿ q(x) ^ r(x)

Existen estudiantes de la UCC estudian lógica matemática

U=hombres

Q(x)=x estudia en la UCC

R(x)=x estudian lógica matemática

∃ x ∈∪/¿ q(x) ^ r(x)

Existen estudiantes que si estudian lógica, ganan el curso

U=estudiantes

Q(x)=x estudia lógica

R(x)=x ganan el curso

∃ x ∈∪/¿ q(x) → r(x)

Algún estudiante de la clase tomó el curso de lógica

U=estudiantes

Q(x)=x tomo

R(x)=x curso de lógica

∃ x ∈∪/¿ q(x) ^ r(x)

Algún estudiante de esta clase ha visitado México

U=hombre

Q(x)=x en esta clase

R(x)=x ha visitado México

∃ x ∈∪/¿ q(x) ^ r(x)

Algunos hombres son altos

U=hombre

Q(x)=son altos
∃ x ∈∪/¿ q(x)
Algunos estudiantes del curso de lógica matemática de loa UCC aprobaron el primer parcial

U=estudiantes de la UCC

P(x)=x estudiante de L.M

H(x)=x aprobaron el primer parcial

∃ x ∈∪/¿ P(x) ^ H(x)

Algunos corredores de maratón entrenan a diario

U=atletas-deportistas

P(x)=x corredor de maratón

H(x)=x entrenan a diario

∃ x ∈∪/¿ P(x) ^ H(x)

Algunos hombres son sabios

U=seres humanos

P(x)=x son sabios

∃ x ∈∪/¿ P(x)
Hay políticos que son corruptos

U=seres humanos

Q(x)=x políticos

R(x)=x corruptos

∃ x ∈∪/¿ q(x) ^ r(x)

CUANTIFICADOR UNIVERSAL

Todos los hombres son mortales

U= seres humanos

Q(x)=x es mortal

∀ x ∈∪ : q(x)
Todos los jugadores de futbol entrenan a diario y una dieta rica en carbohidratos

U=todos los jugadores de futbol

Q(x)=x entrenan a diario

∀ x ∈∪ : q(x) ^ r(x)
Todos los jugadores de futbol entrenan a diario y una dieta rica en carbohidratos
U=deportistas o atletas

P(x)=es jugador de futbol

Q(x)=x entrenan a diario

R(x)=x tiene una dieta rica en carbohidratos

∀ x ∈∪ : p(x) → (q(x) ^ r(x))

Todos los cursos de lógica matemática se imparten se imparten a las 6pm o 7pm

U=cursos de lógica matemática

P(x)=x se imparten a las 6pm

Q(x)=x se imparten a las 7pm

∀ x ∈∪ : p(x) v q(x)
Ningún ser humado asimila bien un desastre natural

U=ser humano

B(x)=x asimila un desastre natural

∀ x ∈∪ : B(x)

Todos los corredores de maratón entrenan a diario

U=atletas-deportistas

P(x)=x corredor de maratón

Q(X)=x entrenan a diario

∀ x ∈∪ : p(x) → q(x)
Los capitanes de navíos no ignoran las señales de peligro

U=los hombres

P(x)=x es capitán de navíos

Q(x)= x ignoran las señales de peligro

∀ x ∈∪ : p(x) ʌ q(x)
No existen personas perezosas

U=todas las personas

P(x)= es perezoso

∀ x ∈∪ : p(x)

Todos los libros son pesados entonces son confusos

U=todos los libros

P(x)=x son pesados

Q(x)=x son confusos

∀ x ∈∪ : p ( x ) → q ( x)

Los niños juegan y corren todo el día

U= los niños

Q(x)=juegan

R(x)=corren todo el día

∀ x ∈∪: p ( x ) ʌ q ( x)