Logica de Predicados
Logica de Predicados
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
U=estudiantes
R(x)=x es mujer
U=hombres
U=estudiantes
U=estudiantes
Q(x)=x tomo
U=hombre
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
U=atletas-deportistas
U=seres humanos
∃ x ∈∪/¿ P(x)
Hay políticos que son corruptos
U=seres humanos
Q(x)=x políticos
R(x)=x corruptos
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
∀ x ∈∪ : q(x) ^ r(x)
Todos los jugadores de futbol entrenan a diario y una dieta rica en carbohidratos
U=deportistas o atletas
∀ x ∈∪ : p(x) v q(x)
Ningún ser humado asimila bien un desastre natural
U=ser humano
∀ x ∈∪ : B(x)
U=atletas-deportistas
∀ x ∈∪ : p(x) → q(x)
Los capitanes de navíos no ignoran las señales de peligro
U=los hombres
∀ x ∈∪ : p(x) ʌ q(x)
No existen personas perezosas
P(x)= es perezoso
∀ x ∈∪ : p(x)
∀ x ∈∪ : p ( x ) → q ( x)
U= los niños
Q(x)=juegan
∀ x ∈∪: p ( x ) ʌ q ( x)