Está en la página 1de 19

LGICA

PROPOSICIONAL

Docente Yuly Oyanguren

El padre de Renata tiene 5 hijas


1.- Chacha
2.- Cheche
3.- Chichi
4.- ???
5.- Chuchu
Cul es el nombre de la cuarta?
Piensa rpido

Ests participando en una carrera


Adelantas al segundo
En qu posicin terminas?
Si contestaste que en primero .
Ests absolutamente equivocado(a)
Has adelantado al segundo, y has tomado su sitio,
por lo tanto, llegas en segunda posicin.
No tomes tanto tiempo en contestar!

LGICA PROPOSICIONAL

La lgica proposicional o tambin


llamada lgica matemtica estudia las
proposiciones, entendiendo como tales
a los enunciados declarativos que
tienen la propiedad de ser verdaderos o
falsos ; pero no ambas al mismo tiempo

Qu diferencia observas entre los


enunciados de ambas columnas?
-Qu calor!
-Qu hora es?
-Te quiero mucho
-Cuelga el telfono
-Te esperar

El Sol es fuente de
energa
Alejandro Toledo fue
Presidente de Per.
Alfonso Ugarte es un
hroe chileno
3 + 4 = 7
Yurimaguas es na
provincia del Per

Proposicin Lgica

Enunciado que puede ser


verdadero o falso, pero no ambos.
El Sol es fuente de energa
Alejandro Toledo fue Presidente de Per.
Alfonso Ugarte es un hroe chileno
3 - 4 = 7
Yurimaguas es una provincia del Per

V
V
F
F
V

Los conectivos lgicos se utilizan


para combinar proposiciones y
obtener nuevas proposiciones.
Simples o Atmicas
Proposiciones

El Misti queda en Arequipa

Compuestas
El Misti queda en Arequipa
y Machupicchu en Cuzco

Formalizacin Lgica

Letras

P, q, r, s

Conectores

v, ^, ,

Signos de
agrupacin

( ), [ ], { }

Letras
El Misti queda en Arequipa y Machupicchu
en Cuzco.

El Misti queda en Arequipa p


Machupicchu en Cuzco
q

Principales Conectivos Lgicos


Negacin
Conjuncin
Disyuncin
Condicional
Bicondicional

Expresin en el
lenguaje natural
no

Ejemplo

Smbolo
para el curso

No est lloviendo.

~p

Y , ni, pero, que

Est lloviendo y
est nublado.

Est lloviendo o
est soleado.

Si est soleado,
entonces es de da.

si y slo si

Est nublado si y
slo si hay nubes
visibles.

ni... ni

Ni est soleado ni
est nublado.

O bien est
soleado, o bien
est nublado.

si... Entonces,
luego..

o bien... o bien

Ejemplo
Si llegas despus de las ocho y
media, entonces encontrrs la
puerta cerrada y no podrs entrar al
teatro.
p (q^r)

A practicar!!!!!!

Negacin
Dada una proposicin p, se llama negacin de p a la
proposicin no p que se representa por p

Ejemplo :
Si p : el hombre es
mortal
entonces p: no es cierto
que el hombre es
mortal; lo que equivale
a decir :
p : el hombre no es
mortal

TABLA DE VERDAD
Si p es verdadera p
es falsa; si p es falsa , p
es verdadera

Conjuncin
Dadas las proposiciones p y q , se llama conjuncin de
p y q a la proposicion p y q representada por p q

Ejemplo :
Si p : 2 es mayor que
5
y q : todo nmero
impar es primo,
Entonces:
p q : 2 es mayor que
5 y todo nmero
impar es primo

TABLA DE VERDAD
p q es verdadera si p y q
son verdaderas
simultneamente
p

pq

V
V
F
F

V
F
V
F

V
F
F
F

Disyuncin
Dadas las proposiciones p y q , se llama disyuncin d p y q
a la proposicin p o q que se representa por p q.

Ejemplo :
Si p : hace frio en invierno
y q : Napolen invadi
Rusia
Entonces :
p q : Hace frio en
invierno o Napolen
invadi Rusia

TABLA DE VERDAD
p q es verdadera si p es
verdadera o q es verdadera

p q

V
V
F
F

V
F
V
F

V
V
V
F

Condicional
Se llama condicional de p y q a la proposicin si p
entonces q y se representa por p q , p se llama
antecedente y q consecuente del condicional p q

TABLA DE VERDAD
Ejemplo:
Si p : 2 es nmero
primo
y q : 5 es menor que 4
Entonces:
p q: si 2 es nmero
primo entonces 5 es
menor que 4

p q es verdadera si p es
falsa o q es verdadera

p q
V
V
F
F

V
F
V
F

pq
V
F
V
V

Condicional o Implicacin

Se lee:
Si P entonces Q

PQ

P implica Q
P es suficiente para Q
P slo si Q
Q si P
Q siempre que P
Q es necesario para P

Bicondicional
Se llama bicondicional de dos proposiciones p y q a la
proposicin p si y slo si q representada por p q

Ejemplo :
p : Juan ingresa a la
universidad
q : Juan estudia mucho
Entonces:
p q : Juan ingresa a la
universidad si y slo si
estudia mucho

TABLA DE VERDAD
pq es verdadera si p y q son
ambas verdaderas o ambas
falsas

p q
V
V
F
F

V
F
V
F

pq
V
F
F
V