Lgica Matemtica

Nombre, Apellido
Nombre Universidad, Nombre Facultad o Carrera
Proposiciones:
Una proposicin es cualquier expresin
que puede ser verdadera o falsa pero no
las dos al mismo tiempo.
Ejemplo:
- El ao empieza con el mes de
Enero.
- 1+1=2
- Marte est lleno de marcianos.
- 5 * 9 = 59
Valor de verdad:
Es aquella cualidad de veracidad que
tiene una proposicin simple o
compuesta, y esta puede ser verdadera o
falsa.
Propiedades simples o Atmicas:
p, q, r, s, ..
Propiedades
compuestas
moleculares
(Nexo)
Operadores lgicos

Operadores lgicos:
Son conectores o nexos que enlazan 2 o
ms proposiciones simples formando
una nueva proposicin.
Negacin:
Es aquel operador que cambia el valor
de verdad de la proposicin original. Si
p es una proposicin, negacin de p, (
p ) es la negacin de la proposicin,
lo que significa que es su opuesto
lgico.
Los smbolos que estn dados por:
( , )
Ejemplo:
p: Quito es la capital de Ecuador
p : Quito no es la capital de
Ecuador.

q:1 + 3 = 5
q :1+3 5
Tabla de verdad
p
p
V F
F V
Nota: Para construir la tabla de verdad
es:
# de combinaciones posibles = 2n
Siendo (n) el nmero de proposiciones.
Conjuncin
Es una proposicin compuesta que se
obtiene relacionando dos proposiciones
simples mediante el conectivo lgico
(y), simblicamente la conjuncin de
dos proposiciones (p, q) se denota as:
(p^q)
Esta proposicin ser verdadera
nicamente en el caso de que ambas
proposiciones sean verdaderas.
p
q
p^q
V V
V
V F
F
F
V
F
F
F
F
Disyuncin (disyuncin inclusiva)
Es una proposicin compuesta que se
obtiene relacionando 2 proposiciones
simples mediante el conectivo lgico
(o) y su forma matemtica (v),
simblicamente se representa (p v q)
Esta proposicin es falsa si ambas
proposiciones son falsas.
p
q
p^q
V V
V
V F
V
F
V
V
F
F
F

Disyuncin (disyuncin exclusiva)

Dadas 2 proposiciones cualesquiera
(p^q) llamadas disyuncin exclusiva (p
v q) pero no ambas, la denotaremos
(pvq) se lee ( p q).
p
q
pv
q
V V
F
V F
V
F
V
V
F
F
F
Condicional (implicacin)
Es proposicin compuesta que se
obtiene relacionando dos proposiciones
simples mediante el conectivo lgico si
p entonces q se denota por pq.
pq
Antecedente Consecuente
o tesis
o conclusin
Regla:
Si el antecedente es verdadero y el
consecuente es falso la proposicin
compuesta es falsa.
p
q
p
q
V V V
V F
F
F
V V
F
F
V
Bicondicional
Es una proposicin compuesta tomada
por el conectivo lgico si y solo si y
lo denotaremos por (p
q)

F
F
F
F

V
V
F
F

V
F
V
F

V
V
V
V

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

F
F
V
V
F
F
V
V

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

Si ambas proposiciones tienen el mismo

valor lgico el bicondicional es
verdadero.

[
^ (p^q) t

Nota:

q=

V
V
V
V

V
V
F
F

V
F
V
F

(pvq)

F
F
F
F

F
F
F
F

(p^q)
r
V
F
V
V
V
F
V
V

V
V
F
F

F
F
V
V
F
F
F
F

F
F
V
V
F
F
V
V

F
F
V
F
F
F
V
F

F
V
F
V
F
V
F
V

F
V
F
F
F
V
F
F

V
V
F
F
V
V

V
F
V
F
V
F

F
V
F
V

V
V
F
V
V
V
V
V

p^q)
r
F
V
F
V
F
V
F
V

V
V
F
V
V
V
V
V

p^q)
r
F
F
F
F
V
V
V
V

V
F
V
V
V
V
V
V

p^q)
r
F
F
F
F
V
V
V
V

(p^q)]

F
V
F
V
F
V

(p^q)]

V
V
F
F
F
F

V
V
F
V
F
V

(p^q) t

V
V
V
V
F
F

F
V
V
V

V
F
V
F
V
V

F
F
F
F
V
V

V
V
F
F
F
F

V
V
F
F
F
F

F
F

F
F

V F V V F
F V V V F

F
F

F
F

F
V

Tautologia: Cuando una proposicin

compuesta es verdadera para todos los
valores de verdad.
Contradiccin:
Cuando
una
proposicin compuesta es falsa para
todos los valores de verdad.
Contingencia: Cuando la proposicin
compuesta tiene al menos un verdadero
y un falso.
p q

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

F
V
F
V
F
V
F
V

V
V
V
V
V
V
V
V

(p^q)] ^ (p^q) t
(tv
t)
F F V V
F F V F
F F V V
F F V F
F F V V
F F V F
F F V V
F F V F

Si p (qv
p) es falso
determine los valores de las siguientes
proposiciones.
p (qv

p)

a. pq = F
b.
q p=V
c. (p v q)
p=F
d. (
p q )p =
V
e. [(qp)
q]
v
[r^(s^t)] = V
(
p^
q)[(rp) (
q v p)]
p q r
V
V
V
V
F

V
V
F
F
V

V
F
V
F
V

(
^
V
V
V
V
V

(
F
F
F
F
V

F
F
F
F
F

q)[(rp)
q v p)]
F V V F F F
F F F V F F
V F V V F V
V V F F F V
F V V F V F

F
F
F

tvs) [(
st)^(qv

s)]

tvs) [(
st)^(qv
s)]
V V V F V V F V V V F
V V F V F F F V V V F
V F V F F F V V V V V
V F F V V F V F F V V
F V V F V F F V F F F
F V F V V F F V F F F
F F V F F F V V V F V
F F F V V F V F F F V
Equivalencia e implicacin lgica
Equivalencia
Sean A y B dos formas proposicionales,
se dice que A es equivalente
lgicamente a B denotado por: , si
y solo si , es una tautologa.
q

Cuando se requieren sustituir una

estructura por otra que sea equivalente,
alternativamente el smbolo se lo
reemplaza por .
Ejemplos:
La forma proposicional: p q q
p se puede traducir al
lenguaje comn como cada vez que se
tiene p, se tiene q, y es lgicamente
equivalente a: cuando no se tiene q
entonces no se tiene p.
p

V
V
F
F

V
F
V
F

V
F
V
V

p
V
V
V
V
F

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

q
p
F
V
V
F
F
V
V
V

V
V
V
V

q
F
F
V
V

(pvq) p^

q
q

V
V
F
F

V
F
V
F

F
F
F
V

V
V
V
F

V
V
V
V

F
F
V
V

F
F
F
V

F
V
F
V

Leyes de la Lgica Proposicional

Implicacin lgica
Sean A y B dos formas proposicionales,
se dice que A implica lgicamente a B
denotado por A B, si y solo si
AB es una tautologa.
Ejemplos:
La forma proposicional p q (qp),
se puede traducir al lenguaje comn
como si se tiene p, de cualquier manera
q seguir teniendo p.
p

V
V
F
F

V
F
V
F

p
V
V
F
F

p q
(qp)
V
V
V
V

q
V
F
V
F

V
V
F
V

p^(pq)
q)
V
V
V
F
F
V
F
V
V
F
V
V

Conjuncin (^)
p^q

q^p

Ley
Conmutativa

p^(q^r)
(p^q)^r

Asociativa

p`p

Idempotencia
Identidad
Absorcin

p`v p
p^F p

Disyuncin
(v)
pvq q
vp
p v (q v r)
(p v q)
vr
pvp p
pv p
pvV v

Ley: Negacin
V F
F V
Ley: Doble negacin
( p) p
Ley: Distributiva
p v (q^r) (p v q)^(p v r)
p^(q v r) (p^q) v (p^r)
De Morgan
(p v q)
(p ^q)

p ^ q
pv q