UNIVERSIDAD FERMIN TORO

FACULTAD DE INGENIERIA

DEPARTAMENTO DE MATEMATICAS

INTEGRANTE:

Orlando Aponte C.I: 15.101.439

Ejercicios     1. Negar las siguientes proposiciones cuantificadas.

("x)( C(x) D(x)).

(x)(P(x) Q(x)).

("x)(P(x) v M(x)).

(x)(P(x) ^ B(x)).

2. Simbolizar, utilizando el cuantificador universal,

las siguientes expresiones.

Existe al menos una montaña.

Hay cisnes negros.

Existen animales carnívoros.

Hay números perfectos.

3. Simbolizar, utilizando el cuantificador existencial

las siguientes expresiones.

Todos aprobamos el curso

Todo cetáceo es un pez.

Toda hormiga es un insecto.

4. Mencione el valor de verdad de cada una de las siguientes proposiciones:

a) Todas las personas no tienen el tiempo para dedicarlo al mantenimiento de sus autos

b). Todo número natural es un entero.

c). Todos los números primos son impares.

d). Todos los números impares son primos.

e) . Algunos números racionales son enteros.

5. Diga si las siguientes proposiciones son ciertas para el dominio especificado. (El dominio son todos los números enteros)

a) x + 1 > x para toda x

b) “ x < 2” para toda x

c) 2x+5<33 para toda x