PONTIFICIA

UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional

3.5 Razonamientos con proposiciones
Si nos entregan el valor de verdad de las proposiciones simples es posible
deducir el valor de verdad de la proposicin compuesta.

p: Holmes naci antes que Marx, es falsa

q: Freud naci en el siglo XIX, es verdadera
r: Einstein muri antes de 1960, es verdadera
s: Freud naci en Jupiter, es falsa

Holmes naci antes que Marx y Freud no naci en el siglo XIX slo si Einstein
muri antes de 1960.

Holmes naci antes que Marx y Freud no naci en el siglo XIX, pero Freud
naci en Jupiter o no naci en el siglo XIX.

Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica

Ricardo Soto De Giorgis Informtica

PONTIFICIA
UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional

3.5.1 Implicaciones Lgicas

Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica

Ricardo Soto De Giorgis Informtica

1
PONTIFICIA
UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional

3.6 Reglas de Inferencia
Una proposicin Q se puede inferir de las proposiciones P1 , P2 ,..., Pk siempre
que P1 P2 ... Pk Q simbolizamos tal regla de inferencia como:
P1
P2

Pk
Q

La implicacin lgica modus ponens [ p ( p q )] q corresponde a la regla

de inferencia

P
PQ
Q

Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica

Ricardo Soto De Giorgis Informtica

PONTIFICIA
UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional

3.6 Reglas de Inferencia

Modus ponens Modus tollens

Silogismo Silogismo
disyuntivo hipottico

conjuncin

Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica

Ricardo Soto De Giorgis Informtica

2
PONTIFICIA
UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional

3.7 Cuantificador Universal y Existencial
El clculo proposicional no permite el uso de un nmero infinito de
proposiciones.

Por ejemplo si tenemos p(n) es verdadera para toda n el nico simbolismo

que podriamos utilizar sera p (0) p (1) p ( 2) ... pero no es aceptable en
el clculo proposicional.
Para solucionar este problema introduciremos un nuevo sistema de smbolos
y reglas llamado clculo de predicados.

Los nuevos smbolos que utilizaremos se llaman cuantificadores.

El conjunto U lo llamaremos universo de discurso o dominio del discurso.

Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica

Ricardo Soto De Giorgis Informtica

PONTIFICIA
UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional

3.7 Cuantificador Universal y Existencial
El cuantificador universal , se utiliza para construir proposiciones
compuestas de la forma: Para toda x
Para cada x
x p (x) Para cualquier x

x p ( x ) es verdadera si p (x) es verdadera para toda x en U, en cualquier

otro caso es falsa.

El cuantificador existencial , se utiliza para construir proposiciones

compuestas de la forma: Existe x tal que

x p ( x ) Hay una x tal que

Para alguna x

x p ( x ) es verdadera si p ( x ) es verdadera para al menos una x en U,

.x p ( x ) es falsa si p ( x ) es falsa para toda x en U .

Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica

Ricardo Soto De Giorgis Informtica

3
PONTIFICIA
UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional

3.7 Cuantificador Universal y Existencial
El predicado corresponde al atributo, propiedad o cualidad de un determinado
objeto.
La madre de jos est casada con el padre de jos

Una constante es un objeto especifico de un dominio en particular.

La madre de jos est casada con el padre de jos

Una variable es una generalizacin de un objeto especfico de un dominio en

particular.

El escal el Everest

Una funcin es una transformacin de uno o ms elementos de un conjunto a

un nico valor de otro conjunto.

La madre de jos est casada con el padre de jos

Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica

Ricardo Soto De Giorgis Informtica

PONTIFICIA
UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional

3.7 Cuantificador Universal y Existencial

Mara es madre de Jos

ser madre (mara, Jos)
Juan juega ftbol o tenis

jugar (Juan, ftbol) jugar (Juan, tenis)

Alejandra es amiga de Manuel y Gonzalo

ser amiga (Alejandra, Manuel) ser amiga (Alejandra, Gonzalo)

Pedro estudia matemticas y escucha msica
estudiar (Pedro, matemticas) escuchar (Pedro, msica)

Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica

Ricardo Soto De Giorgis Informtica

4
PONTIFICIA
UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional

3.7 Cuantificador Universal y Existencial

Toda persona tiene padre

x tener ( x, padre)
Existe alguien que juega ftbol y tenis

x (jugar ( x, ftbol) jugar ( x, tenis))

Alejandra viene hoy o maana

venir (Alejandra, hoy) venir (Alejandra, maana)

No Todos los nios toman leche
x (tomar ( x, leche))

Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica

Ricardo Soto De Giorgis Informtica

PONTIFICIA
UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional

3.7 Cuantificador Universal y Existencial

Para toda x p(x) es verdadero No existe un x tal que p(x) sea falso
x p ( x ) x [p ( x)]

Todos han comido pan No existe alguien que no haya

comido pan
x comer ( x, pan ) x [comer ( x, pan )]
No para todo x p(x) es falso Existe x tal que p(x) sea verdadero
x [p ( x )] x p ( x )

No todos los candidatos Existe un candidato que gana

pierden las elecciones las elecciones
x [ganar ( x, elecciones )] x ganar ( x, elecciones )

Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica

Ricardo Soto De Giorgis Informtica

5
PONTIFICIA
UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional

3.7 Cuantificador Universal y Existencial

Para toda x p(x) es falso No existe un x tal que p(x) sea

verdadero
x [p ( x)] x p ( x)

Todos los jugadores No existe un jugador que haya

perdieron el partido ganado el partido
x [ganar ( x, partido )] x ganar ( x, partido )
No para todo x p(x) es verdadero Existe x tal que p(x) sea falso
x p ( x ) x [p ( x)]

No todos estudian fsica Existe alguien que no estudia

fsica
x estudiar ( x, fisica ) x [estudiar ( x, fisica )]

Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica

Ricardo Soto De Giorgis Informtica

PONTIFICIA
UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional

3.7.1 Reglas de Inferencia para Cuantificadores
Especificacin Universal
x p ( x)
, a = constante
p(a)
Generalizacin Universal
p(a)
, a = constante
x p ( x )
Especificacin Existencial
x p ( x )
, a = constante
p(a)
Generalizacin Existencial
p(a)
, a = constante
x p ( x )

Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica

Ricardo Soto De Giorgis Informtica

6
PONTIFICIA
UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional

3.7.1 Reglas de Inferencia para Cuantificadores
En trminos generales la estrategia para manejar inferencias que impliquen
cuantificadores se desarrolla en 4 partes.

1. Representacin simblica de las premisas en notacin simblica.

2. Representacin de cuantificadores.
3. Aplicacin de mtodos de reduccin o reglas de inferencia para obtener una
conclusin sin cuantificadores.
4. Aadir cuantificadores para obtener una conclusin final.

Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica

Ricardo Soto De Giorgis Informtica

PONTIFICIA
UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional

3.7.1 Reglas de Inferencia para Cuantificadores
Ejemplo:
Todos los hombres son mortales, Juan es un hombre,
por lo tanto Juan es mortal

1. x [ serhombre( x) sermortal ( x)]

2. serhombre(Juan)
sermortal (Juan)

1. x [ H ( x ) M ( x )]
2. H ( j )
M ( j)

Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica

Ricardo Soto De Giorgis Informtica

7
PONTIFICIA
UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional

3.7.1 Reglas de Inferencia para Cuantificadores

1. x [ H ( x ) M ( x )]
2. H ( j )
M ( j)
1. Especificacin Universal
1. H ( j ) M ( j )
2. H ( j )
M ( j)

1,2 Modus Ponens

1. M ( j )
M ( j)

Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica

Ricardo Soto De Giorgis Informtica