Usuario:Hernandez.o/ejercicio 4
De Wikipedia, la enciclopedia libre
Pensamiento algoritmico
[Nota]
El siguiente trabajo es un proyecto realizado por los estudiantes de la Universidad Javeriana de Bogota Cololmbia los cuales se encuentran cursando el primer semestre de Ingenieria Electronica, este proyecto es llevado acabo en la materiana Pensamiento Algoritmico, estos archivos wiki son elaborados apartir de un libro guia titulado Matematica Discreta Y logica por el señor winfried karl grassman y jean-paul tremblay.
== PROBLEMAS CALCULO DE PREDICADOS ==
TALLER PAGINA 65 Problemas 2.1 ejercicio numero 2
1)EXPRESAR LAS FRACES SIGUIENTES EN CALCULO DE PREDICADOS. EL UNIVERSO DE DISCURSO ES EL DE EL CONJUNTO DE TODAS LAS PERSONAS.
- a) si a maria le gusta kiko, y a kiko le gusta juli, entonces a maria le gusta juli.
en logica de predicados seria de la siguiente forma
( G(x,y) 
G(y,z) )
G(x,z)
G(x.y): x le gusta y
G(y.z): y le gusta z
x: x se llama marica
y: x se llama kiko
z: x se llama juli
- b) juan esta muy ocupado, pero beni no
en logica de predicados seria de la siguiente forma
(P(x) 
P(y))
P(n): x esta ocupado
x: x se llama juan
y: x se llama beni
- c) benja conoce al señor suares, pero el señor suares no conoce a beja.
en logica de predicados seria de la siguiente forma
( C(x,y) C(y,x))
C(N): X CONOCE A Y
X: X SE LLAMA BENJA
Y: X SE LLAMA EL SEÑOR SUAREZ
