Razonamiento Lgico

Lic. Elvis Ven Hermes Malaber

EQUIVALENCIAS LOGICAS
Dos proposiciones compuestas o Frmulas Lgicas P y Q son equivalentes, si unidos por el bicondicional , el resultado es una Tautologa; es decir que ambas proposiciones tienen el mismo valor de verdad. Se denota: PQ o P Q

Se lee: P es equivalente a Q o viceversa Ejemplos: a) [(pq) r] [p (qr)] (Exportacin) b) (pq) [p (p q)] c) (pq) [q (p q)] d) e) p p p (q ~q) p (q ~q) (Expansin 1) (Exp. 2) (Exp. 3) (Exp. 4)

LOS TRES 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: Una proposicin solo es idntica a s mismo. 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 (Leyes Lgicas O Tautolgicas) Leyes Conmutativas (Conm.) (pq) (q p) (pq) (qp) (pq) (qp) (p q) (p q)

Razonamiento Lgico
Leyes Asociativas (Asoc.) p(qr) (pq)r p(qr) (pq) r p (q r) (p q) r Leyes Distributivas (Distrib.) (pq) r (pr) (qr) (pq) r (pr) (qr) p(qr) (pq)(qp) p(qr) (pq)(qp)

Lic. Elvis Ven Hermes Malaber

LEYES DE EQUIVALENCIAS NOTABLES 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.) p q ~pq p q ~(p~q)

LEYES DE EQUIVALENCIAS NOTABLES Def. del bicondicional (Def. Bicondicional) p q (pq) (qp) pq [ (pq) (~p~q) ]

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

Lic. Elvis Ven Hermes Malaber

LEYES DE EQUIVALENCIAS NOTABLES Ley de Exportacin:

a) ( p q) r p (q r) b) ( P1P2 Pn) r ( P1 P2Pn-1) (Pn r) Consideremos que T es una frmula tautolgica, C es una frmula contradictoria y Q es una frmula consistente (Proposicin). Leyes de Complemento o Adicionales TQQ CQC ( V es Neutro de la Conjuncin : p V p ) TQT

C Q Q ( F es neutro de la Disyuncin : p v F p ) TQQ QTT CQT Q C ~Q

Observacin: estas leyes son muy tiles para simplificar los problemas, puesto que es valido reemplazar una proposicin por su equivalente sin alterar el resultado. Ejemplos:

1.- Demostrar que: (pq) (~q ~p) Solucin: (pq) (~q ~p) 3

Razonamiento Lgico ~ (~q ) V ~p q ~p p Ley de la Condicional

Lic. Elvis Ven Hermes Malaber

V ~p Ley de la Doble Negacin V q Ley Conmutativa q Por Definicin

2.- Simplificar la siguiente proposicin: A = (~pq) (q p) Solucin: A = ~ (~pq) V (q p) = ( p v ~q) v (~q v p ) = ( p v ~q) v ( p v ~q) = pv ~q EJERCICIOS 1.- Demostrar que: a) p ~q ~(p q) b) p (q v ~q) p Ley de la Condicional Ley de Morgan y Condicional Ley Conmutativa Idempotencia

c) ~ [~ (p q) ~q ] v q q 2.- Simplificar y representar mediante Circuito: a) ~ [ p ~(q v r) ] R: p (q v r) c) (p v q) [(~p v q) (p q) ] b) ~(p) (p ~ q) R: ~ p v p R: p v ~ q

3.- Determinar si a) y b) son proposiciones equivalentes: a) p (r v ~ q) b) (q ~p) v ( ~r ~ p)

Nota: Se puede determinar la equivalencia mediante la tabla de verdad o mediante la simplificacin. 4.- 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

Razonamiento Lgico 5.- Responda las siguientes preguntas: 6. Cul es la relacin entre bicondicional y equivalencia?

Lic. Elvis Ven Hermes Malaber

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?