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(...
b) “ x < 2” para toda x 
c) 2x+5<33 para toda x
Ejercicios.de estructura I
Ejercicios.de estructura I
Ejercicios.de estructura I
Ejercicios.de estructura I
Próxima SlideShare
Cargando en…5
×

Ejercicios.de estructura I

225 visualizaciones

Publicado el

solucion de los ejercicios

Publicado en: Educación
0 comentarios
0 recomendaciones
Estadísticas
Notas
  • Sé el primero en comentar

  • Sé el primero en recomendar esto

Sin descargas
Visualizaciones
Visualizaciones totales
225
En SlideShare
0
De insertados
0
Número de insertados
6
Acciones
Compartido
0
Descargas
2
Comentarios
0
Recomendaciones
0
Insertados 0
No insertados

No hay notas en la diapositiva.

Ejercicios.de estructura I

  1. 1. UNIVERSIDAD FERMIN TORO FACULTAD DE INGENIERIA DEPARTAMENTO DE MATEMATICAS INTEGRANTE: Orlando Aponte C.I: 15.101.439
  2. 2. 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
  3. 3. b) “ x < 2” para toda x c) 2x+5<33 para toda x

×