PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR

Sede Esmeraldas

Clculo Proposicional y de Predicados

Santiago Luzcando Figueroa
Instructor: Ing. Csar Godoy.
Cesar.godoy@pucese.edu.ec
santiw.06@gmail.com

Solucionario Examen Final

1. Elaborar una tabla de verdad que d como resultado tautologas usando como mnimo 3
proposiciones.
Si tengo una tarjeta de video Nvidia GTX 690, entonces podr ejecutar juegos de ltima
generacin y podr sacar provecho al rendimiento grfico. No puedo ejecutar juegos de
ltima generacin. Luego, No tengo una tarjeta de video Nvidia GTX 690.
a. Tengo una tarjeta de video Nvidia GTX 690.
b. Podr ejecutar juegos de ltima generacin.
c. Podr sacar provecho al rendimiento grfico.

[[a -> (b & c)] & ~b] -> ~a

V V V V V F F V F
V F V F F F F V F
V F F F V F V V F
V F F F F F V V F
F V V V V F F V V
F V V F F F F V V
F V F F V F V V V
F V F F F F V V V

Tautologa

2. Que es cuantificador Existencial y Universal.

El cuantificador universal. Es el que se simboliza as: , es empleado con la misin de
establecer que todos los elementos de un conjunto cumplen con una propiedad dada.
El cuantificador existencial, ser usado para sealar que existen uno o ms elementos en
el conjunto en cuestin que cumplen con una determinada propiedad.

3. Que es clculo de predicado.

Es un sistema formal diseado para estudiar la inferencia en los lenguajes de primer orden.
Los lenguajes de primer orden su, a su vez, lenguajes formales con cuantificadores que
alcanzan slo a variables de individuo, y con predicados y funciones cuyos argumentos son
solo constantes o variables de individuo.
El clculo de predicados el valor de verdad depende de los componentes que forman el
predicado. Un predicado es un enunciado que contiene una o ms variables, no es una
proposicin cuando se sustituyen esas variables por constantes.
 PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR
Sede Esmeraldas

4. Realizar un programa que permita sumar y multiplicar 2 nmeros en

Prolog.

Cdigo Fuente:

Suma(X, Y, Z):-
Z is X + Y.

Multiplicacin (A, B, C):-

C is A* B.

Ejecucin:

Suma (3, 4, Z).

Resultado es:
Z= 7

Multiplicacin (3, 4, C).

Resultado es:
C = 12