EQUIVALENCIAS LGICAS

Prof. Johnny Farfn Pimentel

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 (q r)] (Exportacin) (p q) [p (p q)] (Expansin 1) (p q) [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: p p 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) (p q) (q p) (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) (p q)(q p) p (qr) (p q)(q p)

LEYES DE EQUIVALENCIAS NOTABLES -II

Doble Negacin (DN) ~~p p ~~~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.) p q ~pq p q ~(p~q)

LEYES DE EQUIVALENCIAS NOTABLES -III

Def. del bicondicional (Def. Bicondicional) p q (p q) (q p) p q [ (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.) p q ~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. Q C T Q Q T T ~Q

TQ C Q T Q C Q

T C Q Q

Q Q T C

EJERCICIOS

I. Demostrar que las siguientes equivalencias son tautolgicas: 1. [(p q) (r s)] ~(~s ~r) ~(~q ~p) 2. [(p q) r] [(pr) (~qr)] 3. [(pq) r] s ~[~(pq) r] s 4. ~(pqr) ~p~q~r 5. p [~p (q r)] (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.