TEMA: EQUIVALENCIAS LGICAS

LA EQUIVALENCIA Una proposicin A equivale a otra proposicin B, si y slo si unidas A y B por el bicondicional da como resultado una relacin lgicamente verdadera. Por ejemplo sean las frmulas A y B. A = p q B = q ~ p Para determinar si A equivale a B, vamos a proceder relacionando las dos frmulas de acuerdo a la siguiente forma bicondicional: A B Luego, sustituyendo A y B por sus respectivas frmulas, y aplicando las tablas de verdad, se tiene: 3.

LGICO MATEMTICO.
2. Principio de No - Contradiccin Segn este principio, es imposible que una proposicin sea verdadera y falsa a la vez. Formalmente se enuncia as: ~ ( p ~ p) Ejemplo: Es imposible que el nmero 2 sea par y no sea par. Principio del Tercio Excluido Segn este principio, una proposicin o es verdadera o es falsa, no hay una tercera posibilidad. Formalmente se tiene p ~ p Ejemplo: O el nmero 2 es par o el nmero 2 no es par EQUIVALENCIAS TAUTOLGICAS Las siguientes expresiones son lgicamente equivalentes. Por lo mismo pueden sustituirse unas por otras en todos los lugares en los que aparezcan. Estas equivalencias constituyen reglas de inferencia adicionales que usaremos en las derivaciones. Aqu slo consignaremos su expresin en leyes omitiendo la expresin de las reglas.

p V V F F

q V F V F

(p q) V F V V

V V V V

(q v p) V F V V

En este caso podemos observar que (p q) equivale a (q ~p) es una relacin lgicamente verdadera. Con esta definicin vemos que A si y slo si B es distinto de A equivale a B, porque en el primer caso es una expresin de una forma bicondicional, mientras que en la equivalencia se refiere a una relacin semntica, donde los componentes tienen los mismos valores de verdad. Si una proposicin A equivale a una proposicin B, entonces A implica a B, y a la vez, B implica a A Esto significa que de A B se deduce (A B) (BA); o tambin, de A B se puede deducir solamente A B, o tambin slo deducir BA. Luego, la equivalencia es otro tipo de inferencia donde la conclusin se deriva lgicamente de una premisa. PROPIEDADES DE LA EQUIVALENCIA: 1. 2. 3. 4. 5. I. Cualquier frmula se equivale a s misma: A A Relacin simtrica: Si AB, entonces BA Relacin transitiva: Si AB y BC, entonces AC Todas las frmulas tautolgicas son equivalentes Todas las frmulas contradictorias son equivalentes PRINCIPIOS LGICOS Las formas vlidas de razonamiento tienen su punto de apoyo en los principios lgicos. Estos principios son tres: de identidad, de no contradiccin y el principio del tercio excluido. 1. Principio de Identidad Segn este principio, toda proposicin se implica a s misma. Formalmente se enuncia as: p p Ejemplo: Si el nmero 2 es par entonces el nmero 2 es par
Ficha N 03 - A/A

Leyes de Implicacin (condicional) p q ~ p q p q ~ (p ~q) Leyes de la Bicondicional p q (p q) (q p) p q (p q) (~ p ~q) Leyes de Transposicin p q ~ q ~ p p q ~ q ~ p Leyes Transitivas [(p q) (q r)] (p r) [(p q) (q r)] (p r) Leyes Adicionales A) p F p B) p V V C) p F F D) p V p E) p ~ p F Leyes Commutativas (p q) (q p) (p q) (q p) (p q) (q p) Leyes Asociativas (p q) r p (q r) (p q) r p (q r) (p q) r p (q r) Leyes de Idempotencia (p p) p

Lgica Proposicional.

(p p) p Ley de la Doble Negacin ~(~ p) p Leyes de Morgan ~ (p q) ~ p ~ q ~ (p q) ~ p ~ q p q ~ (~p ~ q) p q ~ (~p ~ q)

EJERCICIOS RESUELTOS

Ficha N 03 - A/A

Lgica Proposicional.

01. El siguiente esquema al ser evaluado: (p q) ( p q) resulta: a) p v q d) q 02. Simplificar: (p q) [~(p q)] se afirma que es: a) p v q d) q 03. Simplificar: (p q) (p r) a) p v q d) q 04. Para la proposicin: b) p q c) p b) p q e) p q c) p b) V e) F c) p

08. Cules de las siguientes proposiciones son siempre verdaderas? I. [(p ~q) q] p

II. [(p q) q] q III. [~p ~q] ~q

a) Slo I d) I y II

b) Slo II e) II y III

c) Slo III

09. Simplificar el esquema: (~p q) (q p) a) p q d) p q b) p ~q e) ~p ~ q c) ~(p q)

e) p (q r)

10. Simplificar la expresin: [p ~ (q p)] ~q a) p ~q d) ~ p ~ q b) p q e) p ~ q c) ~p q

[ ( ~ p ~ q ) p ]
a) V d) p 05. Simplificar: (p ~q) (q p) a) Tautologa d) p 06. Simbolizar: b) F e) p b) F e) p

; resultar siempre:

c) V o F

11. Simplificar la siguiente expresin lgica: [~ (~pq) ~(p q)][p (~p q r)] a) F d) p~q b) V e) ~qp c) ~p

c) V o F

12. Simplificar: [~(pq)~(qp)] (p q) a) q d) ~ p b) ~q e) p ~ q c) p

Si Larissa es Paraguaya entonces es aficionada a la fiesta brava y Larissa no es aficionada a la fiesta brava por lo tanto, no es Paraguaya. Su tabla de verdad corresponde a: a) Contradiccin b) Tautologa c) Contingencia d) Larissa es la novia del mundial e) Condicional. 07. Simplificar:

13. Cuntos de los siguientes esquemas moleculares son tautolgicos: A. [ p (q ~ q)] ~p B. [(p q) ~ q] ~p C. [(p q) p] q

[( p ) (q )] ~ ( p )] q p [ q
a) q d) V
Ficha N 03 - A/A

D. [(p q) (q r)] (p r)

b) F e) p

c) p v q

a) 0 d) 3

b) 1 e) 4

c) 2

Lgica Proposicional.

01. Cul de las siguientes proposiciones son lgicamente equivalentes entre s? a. (p v q) v (r p) b. p (r q) c. q p a) Slo a d) a y c b) Slo b e) Todas c) a y b

07. Simplifique [(p q) (r s)] q a) p v q d) q 08. Simplifique: [( q p) ( p q)] (p q) a) V d) q 09. Si: p q p q b) p q e) F c) p b) p q e) (p r) c) p

02. Cules son tautologas? a. [(p v q) q] p b. [(p q) v q] q c. [ p (q v r)] [(p q) v (p v r)] a) Slo a d) Slo a y c b) Slo b e) Todas c) Slo a y b

Pqpq Simplifique: [(p q) (p q)] v q a) p d) F 10. Si la proposicin: [(r s) v p] (p q) Es verdadera entonces determine los valores de verdad de p; q; r y s. Adems p q es falso. a) VVVV d) FFFF b) FFVF e) FVVF c) VFFV b) V o F e) p q c) F

03. Cules son equivalencias lgicas? a. (q p) (q v p) b. [( p q) v q] [(p v q) q] c. (p q) [(p v q) q] a) Slo a d) Slo a y c

b) Slo b e) Todas

c) Slo b y c

04. Para una proposicin cualquiera p se define:

( p )

1; si" p " es verdadera = 0; si " p " es falsa

Si: (x) = 1; x (p s) (s w) (y) = 0; y (w v s) Halle: [ (s w) ( p v s) ] a) 1 d) 1 05. Simplifique: [p (q v r)] {[p (q r)] [p (q r)]} a) V d) q p 06. Simplifique: [ (p q) (q p)] (p v q) a) p v q d) q
Ficha N 03 - A/A

11. Determine si las siguientes proposiciones son leyes lgicas (tautologas) a. (p q) q b. p (p v q) c) 2 a) Slo a d) b y c b) Slo b e) Todas c) a y b

b) 0 e) Faltan datos

b) p q e) F

c) p

12. sabiendo que la proposicin p es verdadera en cul de los siguientes casos es suficiente dicha informacin para determinar el valor de la verdad de las siguientes proposiciones? a. (p v q) ( p q) b. (q p) v r c. (p q) r d. (p v q) (r v p)

b) p q e) q

c) p

a) Slo c d) b y c

b) a; b y d e) Todas

c) a y b

Lgica Proposicional.

Ficha N 03 - A/A

Lgica Proposicional.