Equivalencia Notable

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)

-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)

-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)

-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

Equivalencia Notable

Cargado por

Copyright:

Formatos disponibles

Equivalencia Notable

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Equivalencia Notable

Cargado por

Copyright:

Formatos disponibles

I.E.

MARIANO SANTOS MATEOS

Dedico este trabajo al

Agradezco a mi padre y a mis

Este trabajo tiene como fin

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

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

Dos frmulas A y B son equivalentes si y slo si

PRINCIPIOS LGICOS CLSICOS

LEYES DE EQUIVALENCIAS NOTABLES

LEYES DE EQUIVALENCIAS NOTABLES

Doble Negacin (DN)

Def. del condicional (Def. cond.)

LEYES DE EQUIVALENCIAS NOTABLES

Def. del bicondicional (Def. Bicondicional)

LEYES DE EQUIVALENCIAS NOTABLES

Consideremos que T es una frmula tautolgica, C

I. Demostrar que las siguientes equivalencias son tautolgicas:

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

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

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

9. Podemos leer lgicamente las equivalencias usando las tablas

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

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

También podría gustarte