LOGICA MATEMATICA

Práctica en el Aula Núm. 4

NOMBRE: ___________________________________________________________

MATRICULA: _______________________

I.- Simbolizar las siguientes premisas y conclusiones mediante el formalismo del

Cálculo de Predicados:

a) Todos los perros son animales.

Lassie es un perro.

Por tanto, Lassie es un animal.

b) Cada número par es divisible por dos.

Diez es un número par.

Ocho es un número par.

Por tanto , ocho y diez son divisibles por dos.

c) Todos los loros son pájaros.

Todos los pájaros son vertebrados.

Polly es un loro.

Por tanto, Polly es un vertebrado.

d) Ninguna fracción es un entero.

Cuatro es un entero.

Por tanto, cuatro no es una fracción.

e) Cada número que no es igual a cero es mayor que cero o menor que cero.

Seis dividido por dos no es cero y seis dividido por dos no es menor que cero.

Por tanto, seis dividido por dos es mayor que cero.

f) Un número es par si y sólo si es divisible por dos.

Tres por cinco no es par, pero tres más cinco es divisible por dos.

Por tanto, tres por cinco no es divisible por dos, pero tres más cinco es par.

g) Para cada x, no ocurre que x sea a la vez un número positivo y x sea un

número negativo.

Para cada x, si x es menor que 0, entonces x es un número negativo.

1+1 es un número positivo

Por tanto, 1 +1 no es menor que 0.

1 Dra. Ing. Rina Familia Copyright (c)2012 INVIPROA

II.- Probar las siguientes conclusiones presentando una deducción completa a partir
de las premisas:

2 Dra. Ing. Rina Familia Copyright (c)2012 INVIPROA

III.- Representar mediante el formalismo del Cálculo de Predicados, las
informaciones siguientes:

1.- Antonio, Miguel y Juan pertenecen al Club de Alpinismo.

Todo miembro del Club de Alpinismo o es un esquiador o es un escalador de

montañas.

A los escaladores de montaña no les gusta la lluvia, y a quien no le gusta la nieve no es

un esquiador.

A Miguel le disgusta cualquier cosa que le gusta a Antonio y le gusta cualquier cosa
que le disgusta a él.

A Antonio le gusta la lluvia y la nieve.

¿Hay algún miembro del Club de Alpinismo que sea un escalador de montaña, pero no
un esquiador?

¿Qué le gusta a Miguel?

2.- Todas las aves son animales.

Todos los carnívoros y ungulados son mamíferos.

Los guepardos y los tigres son carnívoros, mientras que las jirafas y las cebras
son ungulados.

Los avestruces, los pingüinos y los albatros son aves.

Todos los ungulados tienen pezuñas.

Los avestruces tienen colores blanco y negro.

Las jirafas y los avestruces tienen el cuello y las patas largas.

Todas las aves, excepto los avestruces y los pingüinos pueden volar.

Ningún ave, excepto los pingüinos pueden nadar.

3 Dra. Ing. Rina Familia Copyright (c)2012 INVIPROA