Documente Academic
Documente Profesional
Documente Cultură
PROPOSICIONAL
LGICA PROPOSICIONAL
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
V
V
F
F
V
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.
Expresin en el
lenguaje natural
no
Ejemplo
Smbolo
para el curso
No est lloviendo.
~p
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