Está en la página 1de 5

TEMA: EQUIVALENCIAS LÓGICAS

LA EQUIVALENCIA Una proposición A equivale a otra proposición B, si y sólo si unidas A y B por el bicondicional da como resultado una relación lógicamente verdadera. Por ejemplo sean las fórmulas A y B. A = p ⇒q B = q ∨~ p Para determinar si “A equivale a B”, vamos a proceder relacionando las dos fórmulas de acuerdo a la siguiente forma bicondicional: A ⇔B Luego, sustituyendo A y B por sus respectivas fórmulas, y aplicando las tablas de verdad, se tiene: 3.

LÓGICO MATEMÁTICO.
2. Principio de No - Contradicción Según este principio, es imposible que una proposición sea verdadera y falsa a la vez. Formalmente se enuncia así: ~ ( p ∧~ p) Ejemplo: Es imposible que el número 2 sea par y no sea par. Principio del Tercio Excluido Según este principio, una proposición o es verdadera o es falsa, no hay una tercera posibilidad. Formalmente se tiene p ∨~ p Ejemplo: O el número 2 es par o el número 2 no es par EQUIVALENCIAS TAUTOLÓGICAS Las siguientes expresiones son lógicamente 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í sólo consignaremos su expresión en leyes omitiendo la expresión 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 relación lógicamente verdadera. Con esta definición vemos que “A si y sólo si B” es distinto de “A equivale a B”, porque en el primer caso es una expresión de una forma bicondicional, mientras que en la equivalencia se refiere a una relación semántica, donde los componentes tienen los mismos valores de verdad. Si una proposición A equivale a una proposición B, entonces A implica a B, y a la vez, B implica a A Esto significa que de “A ⇔B” se deduce “(A ⇒B) ∧ (B⇒A)”; o también, de “A ⇔ B” se puede deducir solamente “A ⇔B”, o también sólo deducir “B⇒A”. Luego, la equivalencia es otro tipo de inferencia donde la conclusión se deriva lógicamente de una premisa. PROPIEDADES DE LA EQUIVALENCIA: 1. 2. 3. 4. 5. I. Cualquier fórmula se equivale a sí misma: A ⇔ A Relación simétrica: Si A⇔B, entonces B⇔A Relación transitiva: Si A⇔B y B⇔C, entonces A⇔C Todas las fórmulas tautológicas son equivalentes Todas las fórmulas contradictorias son equivalentes PRINCIPIOS LÓGICOS Las formas válidas de razonamiento tienen su punto de apoyo en los principios lógicos. Estos principios son tres: de identidad, de no contradicción y el principio del tercio excluido. 1. Principio de Identidad Según este principio, toda proposición se implica a sí misma. Formalmente se enuncia así: p ⇒p Ejemplo: Si el número 2 es par entonces el número 2 es par
Ficha N° 03 - A/A ®

Leyes de Implicación (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 Transposición 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

Lógica Proposicional.

(p ∨p) ≡ p Ley de la Doble Negación ~(~ 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 ® Lógica Proposicional. .

[(p → q) ∧~ q] → ~p C. ¿Cuáles de las siguientes proposiciones son siempre verdaderas? I. Simplificar: (p ∧~q) → (q ∨p) a) Tautología d) ¬ p 06. [(p → q) ∧(q → r)] → (p → r) b) F e) ¬ p c) ¬ p v q a) 0 d) 3 b) 1 e) 4 c) 2 Lógica Proposicional. . Simplificar la siguiente expresión lógica: [~ (~p→q) ⇔~(p∨ q)]∨[p→ (~p ∧ ∧ q r)] a) F d) p→~q b) V e) ~q→p c) ~p c) V o F 12. Simplificar: [~(p→q)→~(q→p)] ∧ (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. Para la proposición: b) p ʌ q c) ¬ p b) p ʌ q e) p → q c) ¬ p b) V e) F c) ¬ p 08. Simplificar: (p → q) ʌ (p → r) a) p v q d) ¬ q 04. ¿Cuántos de los siguientes esquemas moleculares son tautológicos: A. Simplificar la expresión: [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.A/A ® D. [ p → (q ∧~ q)] → ~p B. Simplificar: 13. [(p ∨~q) ∧q] → p II. El siguiente esquema al ser evaluado: (p ∧q) → ( p ∨q) resulta: a) p v q d) ¬ q 02. [(p → q) ∧p] → q [( p → ) ∧(q → )] ↔~ ( p∆ )] q p [ q a) ¬ q d) V Ficha N° 03 . 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. Su tabla de verdad corresponde a: a) Contradicción b) Tautología c) Contingencia d) “Larissa” es la novia del mundial e) Condicional. [(p ∧q) ∨q] ⇔ q III. [~p ∧~q] ∨~q a) Sólo I d) I y II b) Sólo II e) II y III c) Sólo III 09. no es Paraguaya”.01. resultará siempre: c) V o F 11. 07. Simbolizar: b) F e) p b) F e) p . Simplificar: (p ∧q) ⇔ [~(p ∧q)] se afirma que es: a) p v q d) ¬ q 03.

¿Cuáles son tautologías? a. Además p ↔ q es falso. a) VVVV d) FFFF b) FFVF e) FVVF c) VFFV b) V o F e) p → q c) F 03. ¬ (p → q) ↔ [(p v q) ʌ ¬ q] a) Sólo a d) Sólo a y c b) Sólo b e) Todas c) Sólo b y c 04. si´" p " es verdadera  = 0. [(p ʌ q) v q] ↔ q c. (p v q) ʌ (r v ¬ p) b) p ʌ q e) q c) ¬ p a) Sólo c d) b y c b) a.A/A ® 11. (p ʌ ¬ q) → r d.01. Simplifique: [p ↔ (q v ¬ r)] ʌ {[p → (q ʌ ¬ r)] ʌ [p ʌ (q → r)]} a) V d) ¬ q → p 06. . Si: p Δ q ≡ ¬ p → ¬ q b) p ʌ q e) F c) ¬ p b) p ʌ q e) ¬ (p → ¬ r) c) ¬ p 02. [(¬ p ʌ ¬q) v ¬ q] ↔ ¬ [(p v q) ʌ q] c. Determine si las siguientes proposiciones son leyes lógicas (tautologías) a. (p ʌ q) → q b. q. Simplifique [(¬p ʌ q) → (r ʌ ¬ s)] ʌ ¬ q a) p v q d) ¬ q 08. (q → p) v ¬ r c. Simplifique: [(¬ q → ¬p) → (¬ p → ¬ q)] ʌ ¬ (p ʌ q) a) V d) ¬ q 09. Para una proposición cualquiera ´´p´´ se define: θ( p ) 1. (p v q) → (¬ p ʌ ¬q) b. [(p v ¬q) ʌ q] → p b. si " p " es falsa  Si: θ(x) = 1. [¬ p ʌ (q v ¬r)] ↔ [(¬p ʌ q) v ¬ (p v r)] a) Sólo a d) Sólo a y c b) Sólo b e) Todas c) Sólo a y b P□q≡¬pʌ¬q Simplifique: [(p Δ q) → (p □ q)] v q a) ¬ p d) F 10. ¬ (q → ¬ p) ↔ (q v p) b. (¬p v q) v (¬r ʌ ¬p) b. ¿Cuáles son equivalencias lógicas? a. ¬q → ¬p a) Sólo a d) a y c b) Sólo b e) Todas c) a y b 07. x ≡ (p ʌ ¬ s) ↔ (s ↔ w) θ(y) = 0. b y d e) Todas c) a y b Lógica Proposicional. Si la proposición: [(r → s) v p] → ¬ (p Δ q) Es verdadera entonces determine los valores de verdad de p. ¿Cuál de las siguientes proposiciones son lógicamente equivalentes entre sí? a. p ʌ (r → q) c. Simplifique: [¬ (p → q) → ¬ (q → p)] ʌ (p v q) a) p v q d) ¬ q Ficha N° 03 . p → (p v q) c) – 2 a) Sólo a d) b y c b) Sólo b e) Todas c) a y b b) 0 e) Faltan datos b) p ʌ q e) F c) ¬ p 12. y ≡ (w v ¬ s) Halle: θ[ (s ↔ ¬w) ↔ ( ¬p v s) ] a) 1 d) – 1 05. sabiendo que la proposición “p” es verdadera ¿en cuál de los siguientes casos es suficiente dicha información para determinar el valor de la verdad de las siguientes proposiciones? a. r y s.

Ficha N° 03 .A/A ® Lógica Proposicional. .