Nombre del Documento: No. Pág.

1/1
Actividad

Carrera: Ingenieríaen Sistemas Computacionales Fecha de Aplicación: 03-10-17

Asignatura: Programación lógica y funcional Grupo: 7° A Período: Agosto 17 - Enero 18
Nombre: 1. Conceptos y ejercicios de lógica de primer
orden. Tema(s): 3. Programación Lógica.
Docente: Ing. Hugo Lucas Alvarado
Nombre del Alumno(a):
1.
2. Calificación:
3
Fecha de entrega: 04/10/17 Reactivos: 24 Aciertos:

Utilice el libro Matemáticas discretas (Rosen) para realizar esta actividad.

A. Defina los siguientes conceptos

1. Proposición (Definición y ejemplo)
2. Lógica proposicional
3. Proposición compuesta
4. Negación (Definición y tabla de verdad)
5. Conjunción (Definición y tabla de verdad)
6. Disyunción (Definición y ejemplo)
7. O exclusivo (Definición y tabla de verdad)
8. Implicación (Definición y tabla de verdad)
9. Doble implicación (Definición y tabla de verdad)
10. Lógica de primer orden
11. Cuantificación universal (Definición y ejemplo)
12. Cuantificación existencial (Definición y ejemplo)
13. Hechos (Definición y ejemplo)
14. Reglas (Definición y ejemplo)

B. Resolver los ejercicios 1-10 (Paginas 36 y 37 del libro) del tema 1.3

Resolver en equipo de 3 integrantes.

Entregar en hojas blancas, engrapado y utilizar esta hoja como portada (sin folder).
Entregar 03/10/17 a las 19:00 hrs.

ITSMT-ID-7.1-04,12/08/2016, VER 02