Calculo De Predicado4


LÓGICA MATEMÁTICA
Práctica Núm.4

NOMBRE: ___________________________________________________________
MATRICULA:_______________________

I.- Represente mediante el formalismo del Calculo de Predicados las siguientes expresiones:
1.- Para cada x, x tiene un nombre. 7.-Dios nos ama a todos.
2.- Nada es absolutamente frio. 8.- En toda multitud hay un tonto.
3.- Para todo y, y es una idea. 9.- Nadaes imposible.
4.- Para cada x, x < x+1 10.- Para cada w, w es un hombre.
5.- Nadie es perfecto. 11.- Todo tiene su historia.
6.-A nadie no le gusta no tener razon. 12.- Ningun limon es dulce.

II.- Usar razonamiento logico para demostrar lo siguiente:
a) Todos losperros son animales.
Lassie es un perro.
Por tanto, Lassie es un animal.
b) Cada numero par es divisible por dos.
Diez es un numero par.Ocho es un numero par.
Por tanto, ocho y diez son divisibles por dos.
c) Ninguna fraccion es un entero.
Cuatro es un entero.
Por tanto, cuatrono es una fraccion.
d) Cada numero que no es igual a cero es mayor que cero o menor que cero.
Seis dividido por dos no es cero y seisdividido por dos no es menor que cero.
Por tanto, seis dividido por dos es mayor que cero.
e) Para cada x, si x es un numero par, entonces x+2 espar.
Para cada x, si x es un numero par, entonces x no es un numero impar.
Dos es un numero par.
Por tanto, 2+2 no es un numero impar.