LOGICA

PROPOSICIONAL

RELACIONES ENTRE
PROPOSICIONES
EQUIVALENCIA
LOGICA
Dos proposiciones compuestas A y B, se
dice que son equivalentes si al conectar con
la bicondicional resulta una tautologa
Se escribe : A B o
AB
Se lee:
A es
equivalente a B

Ejemplo:
A: Si Juan aprob el examen de admisin,
ingreso a la universidad
B: No es el caso que juan aprob el examen
de admisin y no ingreso a la universidad
Tanto A como B son
proposiciones
compuestas,
Proposicin
Proposicin
simple
Compuesta
A: p q
p: Juan aprob el
B: ~(p ~q)
examen
de
admisin
Si: A B es

Ejempl
o:
A:pq
B : ~(p ~q)
Evaluar A B

B
q

(p

~ q)

Tautolo
ga a B)
equivalente

Luego: A B ( A es
y
( B es equivalente a A)

RELACIONES ENTRE
PROPOSICIONES
INFERENCIA LOGICA
(AB)
Un conjunto de premisas
unidas por la conjuncin
implica a una conclusin,
si el resultado es:
Tautolgico
Se escribe
La inferencia
es valida

No es
Tautolgico
Se escribe
La inferencia
no es valida

RELACIONES ENTRE
PROPOSICIONES
INFERENCIA LOGICA
(AB)
INFERIR
CONCLUIR

Si la condicional (AB) es una

tautologa se dice que A implica
lgicamente a B y se denota como :
(AB)

Ejempl
o:
A : (~p v q)
B : (~q ~p)
Evaluar A B

~ p

A
v

~q

~p

Tautolo
ga

Luego se afirma que: A B ( A implica a

B)

Ejempl
o:
Establecer la validez de la siguiente inferencia
Si el triangulo es issceles, entonces tiene dos lados
iguales. Pero no tiene dos lados iguales; por lo tanto el
triangulo no es issceles
Solucin:
Proposiciones simples
p: el triangulo es issceles
q: el triangulo tiene dos lados iguales
Premisas:
1. p q
P1: p q
2. ~p / ~q
P2: ~p
3. ~q
T T ( 1, 2)
Conclusin:
~q

LEYES DEL ALGEBRA PROPOSICIONAL

Ley de
adicin

p
:p v

Ley de
pq
simplificaci : p
n

pq
Ley Modus
p
Ponens
:q

Ley modus
Tollens

pq
~q
:~p

Ley
silogismo
disyuntivo
(MPT)

Ley
silogismo
hipottico

Ley de
conjuncin

pv q
~q
:p

pq
q r
:p r

p
q
:pq

LEYES DEL ALGEBRA

PROPOSICIONAL
Doble negacin
~ (~p ) p

Conmutativa

pqqp
pvqqvp
pqqp

Asociativa

p (q r ) (q p) r
p v (q v r ) (q v p ) v r
p (q r ) ( q p)
r

Distributiva

p (q v r ) (p q) v ( p
r)

De Morgan

p v (q r ) (p v q )
( p v r)
p (q r ) ( p q)
(p r)

~ ( p q ) ~p v ~q

Absorcin

Condicional

Bicondicional

Elemento neutro

Idempotencia
Complemento

p (p v q ) p
p v (p q ) p
p (~p v q ) p q
p v (~p q ) p v q
p q ~p v q
~(p q ) p ~q
p q (p q) (q p)
pvVV
pVp
pvFp
pFF
ppp
pvpp
p v ~p V
p ~p F

Ejemplo
1:
Establecer la validez de la siguiente inferencia, utilizando
el mtodo de las derivaciones
1.
2.
3.
4.

p q
q r
s~r
p/:~s

Ejemplo
2:
Simplificar, aplicando las leyes del algebra proposicional
( p q ) p