I.E.

PNP

MARIANO SANTOS MATEOS

Razonamiento lgico

Equivalencias
Profesora: Pilar Terrones.
Alumna: Leslie Caroline Palacios Tovar.
Grado: 5to B
Turno: Maana.

2009

Dedico este trabajo al

padre celestial, quien me
da nuevos bros cada da;
y tambin a mi padre,
quien me orienta y apoya
con su orientacin.

Agradezco a mi padre y a mis

profesores por su preocupacin
en nuestro aprendizaje y por el
apoyo y cario que nos
muestran en el proceso.

Este trabajo tiene como fin

las distintas
equivalencias notables. Agradezco de antemano su
inters y as darme la oportunidad de presentar y
demostrar en mi trabajo un poco de la calidad de
enseanza de los profesores de este colegio.

EQUIVALENCIAS
NOTABLES

BICONDICIONAL Y EQUIVALENCIA

Es falso que si y slo si p, entonces q signifique lo

mismo que p es equivalente a q.
Cuando decimos si y slo si p, entonces q, estamos
usando el lenguaje para decir que lo enunciado por p
es condicin necesaria y suficiente de lo enunciado por
q.
Cuando decimos p es equivalente a q estamos
utilizando el metalenguaje para expresar una relacin
entre nombres de enunciados y no entre enunciados
mismos. Lo ms correcto sera afirmar que p es
equivalente a q .
Cuando decimos si y slo si p, entonces q, estamos
diciendo que slo en el caso de que se d lo enunciado
por el antecedente se dar lo enunciado por el
consecuente.
Cuando decimos p es equivalente a q estamos
diciendo que los valores de verdad del antecedente son
en todos los casos los mismos que los del consecuente.

BICONDICIONAL Y EQUIVALENCIA

Bicondicional y equivalencia son, por tanto, nociones situadas en niveles

distintos de lenguaje. Hay sin embargo, entre uno y otro concepto una
relacin que merece la pena sealar. Bicondicional y equivalencia se
relacionan del siguiente modo: cuando un bicondicional es lgicamente
verdadero, se puede decir que su antecedente equivale a su consecuente.
Pero esto solo cuando el bicondicional sea lgicamente verdadero; y
adems no se trata de que ambas expresiones si y solo si p, entonces q
(siendo esta expresin lgicamente verdadera) y p es equivalente a q
vengan a decir lo mismo, sino que la segunda constituye una parfrasis
metalgica de la primera, un comentario sobre la primera hecho desde el
metalenguaje. Contemplando el hecho de que un bicondicional es
lgicamente
verdadero,
se
nos
puede
antojar
describirlo
metalingsticamente diciendo que las dos expresiones que flanquean el
smbolo del bicondicional son equivalentes.
As pues y puesto que por ejemplo, (pq)(pq), es un esquema vlido
de inferencia podemos decir que pq es equivalente a pq. En cambio,
dado un bicondicional como (pq)(pq), que no es una tautologa, no
podemos decir con verdad que el antecedente de la expresin equivalga a
su consecuente: no podemos decir que sean los mismos valores de verdad
de uno y otro.

EQUIVALENCIA DE FRMULAS

Dos frmulas A y B son equivalentes si y slo si

sus matrices son iguales; si sus matrices son
diferentes, de dice que A y B no son equivalentes.
Notacin:
A B: se lee A es equivalente a B
A B: se lee A no es equivalente a B
Ejemplos:
[(pq) r] [p (qr)] (Exportacin)
(pq) [p (p q)] (Expansin 1)
(pq) [q (p q)] (Exp. 2)
p p (q ~q)
(Exp. 3)
p p (q ~q)
(Exp. 4)

PRINCIPIOS LGICOS CLSICOS

La
tradicin
aristotlica
ha
considerado
como
fundamentales a los principios lgicos otorgndoles
mxima jerarqua. Dichos principios pueden transformarse
a frmulas cuya evaluacin de sus matrices lgicas nos
revele que se trata de una tautologa. Esto significa que no
podemos privilegiar slo a estas tautologas por sobre otras
igual de vlidas. Dichos principios son los siguientes:
1. Principio de Identidad: Toda proposicin es verdadera
si y solo si ella misma es verdadera
Forma Lgica: pp
2. Principio de No-contradiccin: No es posible que una
proposicin sea verdadera y falsa al mismo tiempo.
Forma Lgica: ~(p~p)
3. Principio de Tercio Excluido: Toda proposicin es
necesariamente verdadera o necesariamente falsa. No
existe una posibilidad intermedia.
Forma Lgica: p~p

LEYES DE EQUIVALENCIAS NOTABLES

-I

Conmutacin (Conm.)
(pq) (q p)
(pq) (qp)
(pq) (qp)
(p q) (p q)
Asociacin (Asoc.)
p(qr) (pq)r
p(qr) (pq) r
p (q r) (p q) r
Distribucin (Distrib.)
(pq) r (pr) (qr)
(pq) r (pr) (qr)
p(qr) (pq)(qp)
p(qr) (pq)(qp)

LEYES DE EQUIVALENCIAS NOTABLES

-II

Doble Negacin (DN)

~~pp
~~~p ~p
Teoremas de De Morgan (DM)
~(pq) ~p~q
~(pq) ~p~q
pq ~(~p~q)
pq ~(~p~q)
Idempotencia (Idem.)
pp p
pp p

Def. del condicional (Def. cond.)

pq ~pq
pq ~(p~q)

LEYES DE EQUIVALENCIAS NOTABLES

-III

Def. del bicondicional (Def. Bicondicional)

p q (pq) (qp)
pq [ (pq) (~p~q) ]
Def. de la disyuncin fuerte (Def. DF)
p q ~ (p q)
p q (pq) (~p~q)
Absorcin (Abs.)
p (p q) p
p (p q) p
p (~p q) pq
p (~p q) pq
Transposicin (Trans.)
pq ~q~p
p q (~ q ~p)

LEYES DE EQUIVALENCIAS NOTABLES

-IV-

Consideremos que T es una frmula tautolgica, C

es una frmula contradictoria y Q es una frmula
consistente.

TQQ
CQC
TQT
CQQ

TQQ
CQT
QTT
Q C ~Q

EJERCICIOS

I. Demostrar que las siguientes equivalencias son tautolgicas:

1. [(pq) (rs)] ~(~s~r)~(~q~p)

2. [(pq)r] [(pr) (~qr)]

3. [(pq) r] s ~[~(pq)r] s

4. ~(pqr) ~p~q~r

5. p[~p(qr)] (p~pq)r

II. Responda las siguientes preguntas:

6. Cul es la relacin entre bicondicional y equivalencia?

7. Qu es una tautologa? Qu cosas pueden ser tautolgicas?

8. Cul es la relacin entre lgica proposicional y teora de

conjuntos?

9. Podemos leer lgicamente las equivalencias usando las tablas

de verdad? Cmo? D unos ejemplos.

10. Si lo son en qu sentido son importantes los principios lgicos?

qu correcciones le haras a los principios lgicos?

BIBLIOGRAFA

GARCA, . (2007) Lgica. Lima: UNMSM.

LLANOS, M. (2003) Lgica Jurdica. Lima:
Logos.
PISCOYA, L. (1997) Lgica. Lima: UNMSM.
DEAO, A. (2001) Introduccin a la Lgica
Formal. Madrid: Alianza Editorial.

BIBLIOGRAFIA
www.scribd.com
www.monografas.com
www.wikipedia.es