Lgica Proposicional

Profesor: Daniel Benito Romn

Ing. Sistemas Computacionales

Jess Horacio Gutierrez Castellanos

Nro. Control: 16560521

Silogismos: Todos los hombres son mortales Scrates es hombre Por

lo tanto, Scrates es mortal.

El mundo del Wumpus

Antiguo juego de computador de un agente que explora una cueva con
el objetivo de encontrar el oro (si es posible, el oro puede estar en un
hueco) y salir por el mismo punto que entr
El agente puede intentar matar al Wumpus con una nica flecha
1000 puntos si toma el oro
Cada accin realizada cuesta 1 punto
10000 puntos si da muerte al Wumpus
El Wumpus no se mueve
Cuando muere el Wumpus emite un gemido

Proposicin
Es una oracin declarativa que es verdadera o falsa, pero no ambas a
la vez
Es una oracin declarativa que es verdadera o falsa,
Pero no ambas a la vez
Bogot es la capital de Colombia
Lima es la capital de Per
2+3=6
5-1=4
4 es un nmero primo
No es una proposicin aquella expresin que no es declarativa o que
no se puede decir si es falsa o verdadera

No es una proposicin aquella expresin que no es declarativa o que no

se puede decir si es falsa o verdadera Qu hora es? Lea esto con
atencin x + 1 = 2 Maana llover

Para denotar las proposiciones se usan letras y se expresan de la

siguiente forma:
p: 11 es un nmero primo
q: Sarah es inteligente
r: Bogot es la capital de Colombia
s: Lima es la capital de Per t: 2+3=6
u: 5-1=4

Se pueden relacionar diferentes proposiciones simples para

formar una compuesta
Hoy es martes y la temperatura es de 21 C
Si no llueve hoy entonces voy a la clase de discretas
No es cierto que Juan perdi el examen
Cali perdi contra el Junior y no clasific a la final
Javier perdi Discretas o Clculo

Negacin ( )
Conjuncin ( )
Disyuncin ( )
O-exclusivo (

Implicacin ( )
Doble implicacin ( )

Negacin ( )

Proposicion
p: Bogot es la capital
de Colombia
p:El idioma oficial en
Colombia es el ingls

Negacin
p: Bogot no es la
capital de Colombia
p:El idioma oficial en
Colombia no es el ingls

Tabla de verdad

P
V
F

P
F
V

Conjuncin ()
En este saln hay ms hombres que mujeres y tienen un mejor
promedio de calificaciones Perd Discretas y Clculo

P
Q
Bogot es la 1+1=2
capital
de
Colombia
1+1=2

El idioma oficial
en Colombia es
el ingls
El idioma oficial
en Colombia es
el ingls

PQ
Bogot es la
capital
de
Colombia
y
1+1=2
El idioma oficial 1+1=2 y El
en Colombia es idioma oficial en
el ingls
Colombia es el
ingls
1+1=2
El idioma oficial
en Colombia es
el
ingls
y
1+1=2
1+1=7
El idioma oficial
en Colombia es
el
ingls
y
1+1=7

P
V
V
F
F

Q
V
F
V
F

PQ
V
F
F
F

PQR

Muestre la tabla de la conjuncin cuando se tienen 3 proposiciones

P
V
V
V
V
F
F
F
F

Q
V
V
F
F
V
V
F
F

R
V
F
V
F
V
F
V
F

pQR
V
F
F
F
F
F
F
F

Disyuncin ()
Los estudiantes quienes han visto clculo o ITI pueden ver Algoritmia y
Programacin
Usted puede hacer el parcial o el opcional

O-exclusivo (

Hamlet fue escrito o en 1601 o en 1688

Sarah quiere o a Oscar o a Juan
En su plato de entrada puede tomar o sopa o ensalada
En su plato de entrada puede tomar o sopa o ensalada

P
V
V
F
F

Q
V
F
V
F

P Q
F
V
V
F

Implicacin ( )
Si el jueves hay tropel entonces perderemos clase
Si pierdo los parciales entonces perder discretas
Si me queda discretas en 2.9 entonces el profesor no me pasa
Si soy elegido, bajar los impuestos

P
V
V
F
F

Q
V
F
V
F

PQ
V
F
V
v

Solo se incumple el condicional si es elegido y no baja los impuestos

Si hace sol, entonces iremos a la playa

Doble Implicacin ( )
Paso el curso si, y solo si, gano el examen
Puede tomar el postre si, y solo si, acabas tu comida

P: Paso el Curso

Q: Gano el examen
PQ

Valor de verdad de proposiciones compuestas

Se quiere conocer el valor de verdad de proposiciones compuestas.
Para esto, se completan las tablas de verdad para cada una de las
posibles combinaciones

Tabla de Verdad

Equivalencia Logica (=)

Dos proposiciones son lgicamente equivalentes si tienen los mismos
valores de verdad

Demostrar equivalencias lgicas

Las equivalencias lgicas se pueden demostrar construyendo la tabla de
verdad. Otra forma de hacerlo consiste en utilizar equivalencias ya
conocidas

Una foto es rectangular o cuadrada. Una foto es a color o en blanco y

negro. Si la foto es cuadrada, entonces es una foto en blanco y negro. Si
es rectangular, es una foto en color. En caso de que la foto sea en blanco
y negro, entonces es un retrato. Si la foto es un retrato, es la foto de mi
amigo. Se sabe que la foto no es a color
r: la foto es rectangular
c: la foto es cuadrada
l: la foto es a color
b: la foto es a blanco y negro
t: la foto es un retrato
a: la foto es de mi amigo

 Uno de los siguientes equipos gan el torneo: Amrica, Cali,

Millonarios, Santa Fe,
Medelln o Nacional
Si el vencedor fue Amrica o Cali, un equipo del Valle gan el torneo
Si Millonarios o Santa Fe ganaron, el vencedor fue un equipo de Bogot
Si el vencedor fue Medelln o Nacional, un equipo de Antioquia gan el
torneo
Si Medelln fue derrotado entonces Santa Fe tambin
Cali perdi =)
Si Amrica perdi, entonces el Valle no gan el torneo
Si el Cali perdi, entonces un equipo de Antioquia no gan el torneo
Si Nacional fue derrotado entonces Millonarios y Medelln tambin

a: Amrica gan el torneo

c: Cali gan el torneo
m: Millonarios gan el torneo
s: Santa Fe gan el torneo
e: Medelln gan el torneo
n: Nacional gan el torneo
v: un equipo del Valle gan el torneo
p: un equipo de Antioquia gan el torneo
b: un equipo de Bogot gan el torneo