UNIVERSIDAD N ACION AL J O R G E B AS A D R E G R O H M A N N CENTRO PREUNIVERSITARIO

Razonamiento Lógico
Lic. Jorge Lozano Cervera

TACNA - PERU

Universidad Nacional Jorge Basadre Grohmann

Lógica

I. LA LÓGICA PROPOSICIONAL
La lógica proposicional también llamada simbólica o matemática, es aquella parte de la lógica que estudia las proposiciones y símbolos utilizados en la formación de nuevas proposiciones que podrán ser verdaderas o falsas, señaladas por reglas formales. 1.1. TABLAS DE VERDAD DE LAS OPERACIONES LÓGICAS La validez de una proposición se puede demostrar mediante las siguientes tablas: Sean: “p” y “q”: dos proposiciones Negación: p V F ~p F V Conjunción: p V V F F q V F V F p∧q V F F F

Disyunción (Debil) p V V F F Condicional: p V V F F q V F V F P q V F V V q V F V F p∨q V V V F

Disyunción (Fuerte) p V V F F Bicondicional: p V V F F q V F V F P↔q V F F V q V F V F p∆q F V V F

Centro Pre Universitario

2

Universidad Nacional Jorge Basadre Grohmann

Lógica

1.2. EJERCICIOS RESUELTOS 1. Si la proposición: (p ∧ ~q) (en ese orden es: a) FVVV (r ~s) es falsa, el valor de verdad de: q, p, r, s e) VVVF ~s) ≡ F ≡F (r ~s) ≡ F V F≡F r≡V ~s ≡ F s≡V

b) VFVV c) VVFF

d) FVFF (r F

Del enunciado tenemos: (p ∧ ~q) ≡ V V∧V ≡V p≡V ~q ≡ V q≡F Respuesta: a) FVVV

(p ∧ ~q) V

2. De la falsedad de la proposición: (p verdad de los esquemas moleculares: i. (~p ∧ ~q) ∨ ~q ii. (~r ∨ q) ↔ [(~q ∨ r) ∧ s ] iii. (p q) [(p ∨ q) ∧ ~q] Son respectivamente a) VFV b) FFF c) VVV (p

~q) ∨ (~r

s) se deduce que el valor de

d) FFV

e) N.A.

Del enunciado tenemos: (p ~q) ≡ F V F ≡F p≡V ~q ≡ F q≡V De las alternativas se obtiene: i. (~p ∧ ~q) ∨ ~q (~V ∧ ~V) ∨ ~V ( F ∧ F) ∨ F F ∨F F

~q) ∨ (~r s) ≡ F F ∨ F ≡F (~r V s) ≡ F F≡F

~r ≡ V r≡F s≡F

ii.

(~r ∨ q) ↔ [(~q ∨ r) ∧ s ] (~F ∨ V) ↔ [(~V ∨ F) ∧ F ] ( V ∨ V) ↔ [( F ∨ F) ∧ F ] (V) ↔ [( F) ∧ F ] (V) ↔ [F ] F 3

Centro Pre Universitario

Universidad Nacional Jorge Basadre Grohmann

Lógica

iii.

(p q) [(p ∨ q) ∧ ~q] (V V) [(V ∨ V) ∧ ~V] (V) [(V) ∧ F] (V) [F] F

Respuesta: a) FFF

3. Si: s y la proposición: s ~(p ∨ q) son verdaderas, indique los valores de verdad de las siguientes expresiones: i. ~(p ∧ ~q) ii. (p q) ∨ ~ s iii. s ∨ (q p) a) VVV b) VFV c) VVF s≡V d) FFV e) FFF s V ~(p ∨ q) ≡ V V ≡V ~(p ∨ q) ≡ V ~ F ≡V (p ∨ q) ≡ F (F ∨ F) ≡ V p≡F i. ~(p ∧ ~q) ~(F ∧ ~F) ~(F ∧ V) ~ (F) V Respuesta: a) VVV ii. (p q) ∨ ~ s (F F) ∨ ~V (V) ∨ F V iii. q≡F s ∨ (q p) V ∨ (F F) V ∨ (V) V

Del enunciado se tiene:

4. Si: p # q = VVFV. Entonces: p # (p # q) equivale a: a) p ∨ q b) p ∧ q c) p d) q e) p q

Construyendo la tabla de verdad a través del enunciado tenemos: p V V F F q V F V F p#q V V F V p # (p # q) V V V V V V F V F F F V p∨q V V V F p∧q V F F F p q V F V V

Respuesta: a) p ∨ q 4

Centro Pre Universitario

[(q ↔ (p ∧ q))] ↔ (q ∧ ~p). q y r dos proposiciones cualesquiera. reducir: e) w ∧ p Del enunciado se tiene: [(p ∧ ~ q) ↔ (r V [(p ∧ ~ q) ↔ (r s)] ≡ V V ↔ V ≡V (p ∧ ~ q) ≡ V (V ∧ ~V) ≡ V p≡V ~q≡V q≡F Al reducir el esquema (r (V ó (F s) ≡ V V) ≡ V F) ≡ V s)] (~s r) ≡ F F ≡F (~s (V r) ≡ F F) ≡ F ~s ≡ V s≡F r≡F [(w ∨ (p ∧ q )] ↔ ( r s ) ∧ p [(w ∨ (V ∧ F )] ↔ (F F) ∧ V [(w ∨ ( F ) ] ↔ ( V ) ∧ V [(w ∨ ( F ) ] ↔ ( V ) ∧ V [ w ]↔ V ∧V Si w = F [ F ]↔ V ∧V F ∧V F Si w = V [ V ]↔ V ∧V V ∧V V En ambos casos el valor obtenido es el mismo valor dado a w Respuesta: c) w 6. Hallar el valor de verdad de: i. ~ q (~p ∨ ~q) ii. a) VVF b) VFF c) FVF d) FFF e) VVV. 5 Centro Pre Universitario . Si el esquema: [(p ∧ ~ q) ↔ (r [(w ∨ (p ∧ q )] ↔ (r s) ∧ p a) V b) F c) w s)] d) r (~s r) es falsa.Universidad Nacional Jorge Basadre Grohmann Lógica 5. Si: v(p) = V. [(r ∨ ~ p) ∧ (q ∨ p)] r iii.

Sean las proposiciones: p: 23 + 32 = 17 q: 62 = 36 r: 32 + 43 > 5 Los valores de verdad de los siguientes esquemas moleculares: • p∧q r • (p r) ∧ q • p ∧ (q r) Son respectivamente a) FFV b) VVF 2. (~A C) ∧ (B ~C) Centro Pre Universitario 6 . [(r ∨ ~ p) ∧ (q ∨ p)] r [(r ∨ ~ V) ∧ (q ∨ V)] r [ (r ∨ F) ∧ (V) ] r [ (r) ∧ (V) ] r [ r ] r Si r = V [V] Si r = F [F] V=V F=V Respuesta: a) VVF 1. Luego: i. ~ (A ∧ ~B) ∧ C ii. EJERCICIOS PROPUESTOS 1.Universidad Nacional Jorge Basadre Grohmann Lógica Del enunciado se tiene: i. [(q ↔ (p ∧ q))] ↔ (q ∧ ~p) [(q ↔ (V ∧ q))] ↔ (q ∧ ~V) [(q ↔ (q) ) ] ↔ (q ∧ F) [(V)] ↔ (F ) F (F ∨ ~F) (F ∨ V) (V) (F ∨ ~V) (F ∨ F) (F) ii. ~ (A ∧ ~B ) ~ (~C ~D) iii.3. ~q ~q ~q si (~p ∨ ~q) (~V ∨ ~q) (F ∨ ~q) q=V ~V F F V si q=F ~F V V V iii. Sea: ~ [(A ∧ ~B) c) VVV (C D)] d) FVF e) FFF Verdadera.

A. v d) i. (~ p ∨ s) es falso. p∧[x∨(r∨s)] (q∨r∨y) s (q x) (y∧s) ( s x ) ( y ∧ ~r ) b) VVFF c) VFFF d) FVVF a) VFFV e) N. ii d) i. (p ∧ q) (p ∨ r) iii. c) VFFV d) VVFF e) FVVF b) VVVF 4. iii 3. (A ↔ B) ∧ ~C v. Señale el valor de: p. ¿cuáles de las siguientes proposiciones son verdaderas? i. Centro Pre Universitario 7 . iii. (p ∨ q) ↔ (~p ∧ ~q) ii. (~A ↔ ~B) ∧ ~C. (s ∨ t) r a) Sólo i b) Sólo ii c) i. (p ∧ s) ∨ q ii. iii. (t ∧ q) p iii. q. ii. Si (~p ∧ ~r) (r ∆ q) es falsa. (p q) r a) sólo i b) sólo ii c) i. iv. iii e) todas 5. q. Sean las proposiciones: p. v e) N. r y s. ii. r. iii. y las proposiciones s y t tienen valores de verdad desconocido.Universidad Nacional Jorge Basadre Grohmann Lógica iv. iv s] c) ii. Si: ~[(p ∧ q ∧ r) a) VFVF b) ii. Si la proposición: (p ∧ r) Determinar los valores de verdad: i. ii d) ii. iii e) Ninguna (q ∨ s) es falsa. Sabiendo que la proposición “p” es verdadera. 6. y. iii. Son verdaderas: a) i. x. s. ¿En cuáles de los siguientes casos es suficiente dicha información para determinar el valor de verdad de las siguientes proposiciones? i.A.

ii. ii d) Solo ii. (p ∨ q) ↔ (~p ∧ ~q) ii. ii.A. (3 + 5 = 8) ∨ (5 . iv. Si: { ( ~p ∨ q ) ∨ [( p i. Sabiendo que la proposición “p” es verdadera. Si se sabe que: (p ∧ q) y (q son verdaderas? i.A. Los valores de verdad de las siguientes proposiciones: i. ( ~p ∨ t ) ∨ s ii. ( p * q ) ∧ q ii. (p q) r a) solo i b) solo ii c) solo i. Si: p * q = (-p ∧ q) i. (p ∧ q) ( p ∨ r ∨ s) iii. ¿Cuáles de las siguientes proposiciones c) solo iii d) Todos e) N. ( p * q ) ∨ ( q * p ) a) VFV b) VFF b) solo iii p.2 = 4) Son respectivamente: a) VVVV b) VVFV c) VVFF d) VFVF e) N.7 = 6) (3 + 8 = 11) ∧ (7 – 4 > 1) (4 + 6 = 9) ↔ (5 .3 = 4) (3 . t) son falsas. t ∨ q Centro Pre Universitario q ) ∧ t]} ∧ q.Universidad Nacional Jorge Basadre Grohmann Lógica 7. ~p ∨ (q ∧ ~t) a) solo i 10. ~ ( p * q ) ∧ p iii. 9.5 = 8) (1 . iii e) en i. es verdadero. ~ [p ∧ ( ~q ∧ ~p ) ] iii. iii. p q ii. Señale el valor de verdad de: c) FFV d) FFF e) VVV 11. Hallar el valor de: 8 . iii 8. es suficiente dicha información para determinar el valor de verdad de las proposiciones i. ¿En cuales de los siguientes casos.

Señale la verdad o falsedad de: i. (r s) ↔ (t s) iii. [(r s) ↔ t] ↔ [r ↔ (s ↔ t)] a) VVV b) FVV c) VFV d) VVF e) FVF. (r ↔ s) (s ↔ t) ii. Si: [(r s) b) VVF t ] ↔ [r (s c) FFV t)] d) FVF e) VVV.Universidad Nacional Jorge Basadre Grohmann Lógica iii. Centro Pre Universitario 9 . ~q ∧ ( t ∨ p ) a) VFV 12. es falso.

p⇔p ~(p ∧ ~p) p ∨ ~p 2. LOS PRINCIPIOS LÓGICOS Y LEYES LÓGICAS Son esquemas tautológicos. Leyes asociativas: 8. Aquí se ubican los principios clásicos. PRINCIPIOS LÓGICOS CLÁSICOS 1.1. Leyes conmutativas: a) b) a) b) c) a) b) c) a) b) c) d) p ∨ p ≡ p. son fórmulas formalmente verdaderas. El principio de no-contradicción: 3. Leyes distributivas: Centro Pre Universitario . p ∧ p ≡ p. LEYES EQUIVALENTES O EQUIVALENCIAS NOTABLES: Permiten transformar y simplificar formulas lógicas: 4. ya que están en función al orden de sus componentes y no a los valores de los mismos. El principio de identidad: 2. La idempotencia: 6. mientras que la regla lógica es una forma válida de razonamiento cuyo objetivo es la operatividad. Un principio lógico es el fundamento de toda verdad lógica (tautologías). 2. es decir.2. constituyéndose una de ellas en instrumentos para el análisis de inferencias (formas inferenciales) y otras se sustituyen por sus equivalentes (formas de equivalencias). permitiendo efectuar operaciones para transformar una formula o derivar una consecuencia lógica.Universidad Nacional Jorge Basadre Grohmann Lógica II. El tercio excluido: p⇒p. p∧q≡q∧p p∨q≡q∨p p⇔p≡q⇔p (p ∧ q) ∧ r ≡ p ∧ (q ∧ r) (p ∨ q) ∨ r ≡ p ∨ (q ∨ r) (p ⇔ q) ⇔ r ≡ p ⇔ (q ⇔ r) r ∨ (p ∧ q) ≡ (r ∨ q) ∧ (r ∨ q) r ∧ (p ∨ q) ≡ (r ∧ p) ∨ (r ∧ q) p ⇒ (q ∧ r) ≡ (p ⇒ q) ∧ (p ⇒ r) p ⇒ (q ∨ r) ≡ (p ⇒ q) ∨ (p ⇒ r) 10 7. En cambio una fórmula es una ley lógica si y solo si cualquiera sea la interpretación formalmente correcta que se haga de la misma se obtiene como resultado una verdad lógica. Ley de Involución (doble negación): ~(~p) ≡ p 5.

Ley de Exportación (p ∧ q) ⇒ r ≡ p ⇒ (q ⇒ r) V ∧ P ≡ P.3. P = Esquema Molecular Cualquiera 2. C = Contradicción (Falso). Del enunciado tenemos: [ ( ~p ∧ q) (s ∧ ~s) ] ∧ ~q [ ( ~p ∧ q) ( F ) ] ∧ ~q [~( ~p ∧ q) ∨ ( F ) ] ∧ ~q [ (p ∨ ~q) ∨ ( F ) ] ∧ ~q [ (p ∨ ~q) ] ∧ ~q ~q Respuesta: d) ~q Centro Pre Universitario 11 . Leyes del Condicional 11. Leyes de la Absorción a) b) ~ (p ∧ q) ≡ (~p ∨ ~q) ~ (p ∨ q) ≡ (~p ∧ ~q) a) p ⇒ q ≡ ~p ∨ q b) ~ (p ⇒ q) ≡ p ∧ ~q a) b) a) b) c) d) a) b) p ⇔ q ≡ (p ⇒ q) ∧ (q ⇒ p) p ⇔ q ≡ (p ∧ q) ∨ (~p ∧ ~q) p ∧ (p ∨ q) ≡ p p ∧ (~p ∨ q) ≡ p ∧ q p ∨ (p ∧ q) ≡ p p ∨ (~p ∧ q) ≡ p ∨ q (p ⇒ q) ≡ (~q ⇒ ~p) p ⇔ q ≡ (~q ⇔ ~p) 13. EJERCICIOS RESUELTOS 1.Universidad Nacional Jorge Basadre Grohmann Lógica 9. F∧P≡F V∨P≡V 15. Elementos Neutros para la Contradicción y Tautología: P ∧ C = C. 16. P ∨ T = T. C∧T=C donde: T= Tautología (Verdad). Formas normales: Para la Conjunción: V ∧ V ≡ V. F ∨ P ≡ P. Leyes de Morgan 10. Simplificar el esquema: [( ~p ∧ q) a) ~p ∨ q b) ~ p c) p ∨ ~q (s ∧ ~s)] ∧ ~q d) ~q e) N. Leyes del Bicondicional 12. Leyes de Transposición 14. Para la Disyunción: F ∨ F ≡ F. C ∨ T = T.A.

por la tabla p q p∗q V V V V F V F V F F F V Simplificar: (p ∗ q) ∗ q a) ~p b) ~q c) p ∨ ~q d) V e) p ∧ q Del enunciado construimos la tabla de verdad: p V V F F q V F V F p∗q V V F V (p ∗ q) ∗ V V V V F F V V q V F V F p ∨ ~q V V F V Respuesta: c) p ∨ ~q 4. Si se define p ⊕ q. por la tabla p V V F F q V F V F p⊕q F V F V p e) p ∧ q 12 Simplificar: (p ⊕ ~q) ∨ (~p ⊕ q) a) ~p b) ~ q c) p d) V Centro Pre Universitario . Simplificar: ~ [ ~ ( ~ p ∨ q) a) p ∨ ~q b) p ∧ q c) p p] ∨ q d) ~q e) q Del enunciado tenemos: ~ [ ~ ( ~ p ∨ q) p] ∨ q ~ [ ~ {~ ( ~ p ∨ q)} ∨ p] ∨ q ~ [ ( ~ p ∨ q) ∨ p] ∨ q ~ [ (~ p ∨ p) ∨ q] ∨ q ~ [ ( V ) ∨ q] ∨ q ~[ V ]∨q F∨q q Respuesta: e) q 3. Si se define p ∗ q.Universidad Nacional Jorge Basadre Grohmann Lógica 2.

Se define: p ◊ q = (p ∧ ~q) ∨ (q ∨ ~p) Simplificar: [(~p ◊ q) q] [p (q ◊ p)] a) p b) q c) ~p d) V e) F Del enunciado tenemos: [ (~p ◊ q) q ] [ p (q ◊ p) ] [{(~p ∧ ~q) ∨ (q ∨ p)} q ] [ p {( q ∧ ~p) ∨ (p ∨ ~q)} ] [{~(p ∨ q) ∨ (q ∨ p)} q ] [ p {~ (~q ∨ p) ∨ (p ∨ ~q)} ] [{ V } q ] [ p { V } ] [~{ V } ∨ q ] [~p ∨ { V } ] [ F ∨ q ] [~p ∨ V ] [q] [V] ~q∨V V 6. Se define: * .Universidad Nacional Jorge Basadre Grohmann Lógica Del enunciado construimos la tabla de verdad: p V V F F q V F V F p⊕q F V F V (p ⊕ ~q) ∨ (~p ⊕ q) V V F F V V V V F F V V p V V F F p V V F F Respuesta: c) p 5. ⊕ en la tabla siguiente: p V V F F q V F V F pΘq F V V V p*q F F F V Respuesta: d) V Simplificar: [(p ⊕ ~q) * p] ∧ (q ⊕ ~p) a) p b) q c) p ∨ ~q d) p q e) p ∧ ~p Del enunciado construimos la tabla de verdad: p V V F F q V F V F [(p ⊕ ~q) * p] ∧ (q ⊕ ~p) V F F V F F F V V F F F V F F V p ∧ ~p F F F F Respuesta: e) p ∧ ~p 13 Centro Pre Universitario .

Centro Pre Universitario 14 . Definimos p # q como una operación verdadera si p es falsa y q verdadera.A. Luego ~(p#q) equivale a: a) p ∨ q b) p ∨ ~ q c) ~p ∨ q d) p q e) N. :Simplificar el esquema: [(p ∧ ~q) ∧ (q a) p ∨ q b) p ∧ q c) p p) ∧ r] ∨ p d) ~q (~p ∧ r )] } d) ~p e) q e) q 2.4. Simplificar el esquema: p ∧ {q ∨ [p a) p ∨ ~q b) p ∧ q c) p 3. y como falsa en todos los casos restantes. Si se define p Θ q. Si se define p # q.Universidad Nacional Jorge Basadre Grohmann Lógica 2. por la tabla p V V F F q V F V F pΘq V V F V (q Θ p)} d) p ∧q e) p q Simplificar: M = {[(~p Θ q) Θ p] a) ~p b) ~ q c) p ∨ q 5. EJERCICIOS PROPUESTOS 1. por la tabla p V V F F q V F V F p#q F V F F Simplificar: {(~p#q) # ~q} # {(p#q) #~p} a) ~p b) F c) p ∨ ~q d) V e) p ∧ q 4.

11. Simplificar: [ ( ~ p ∧ q) a) p b) ~p (~ s ∧ s ) ] ∧ ~q c) ~q d) p ∧ q ~p d) F (~ p ∧ q) c) p ∨ ~q (r ∧ ~r)] ∧ ~q c) p ∨ ~q [(~p ∨ q ) c) p ∨ q [ ~ (p c) ~ p q) d) p ∧ q d) ~ q e) N. Simplificar el esquema: a) p 12. Simplificar: a) p ∧ q b) q c) p ∨ ~q { [p # (p # q)] ∧ q } d) p q 14. p) e) ~ (p ∨ q) e) N. (q d) ~ q e) N.A. 7. Simplificar: [ (p a) p b) ~p q) ∧ ~q) c) V 8.Universidad Nacional Jorge Basadre Grohmann Lógica 6. Simplificar: [( ~p ∧ q) a) ~p ∨ q b) ~ p 10. Simplificar el esquema: a) p ∨ q b) ~ p 9. Si: p # q = VVFV. La siguiente proposición: a) ~p ∨ q b) ~ p ∧ q (p ∧ q)] ∨ (~p ∧ ~q) equivale a: d) p ∨ ~q ~ (q p)] ∧ (p ∨ q) e) p ∨ q e) N. Si: p * q ≡ ~p a) p b)q q b) q simplifique: c) p ∨ ~q ~ [(p ∨ q) * (~p)] * [( p ∧ q) *q] d) p ∨ q e) p ∧ q ~p e) ~ (p ∧ q) 13.A. Si se define p * q por la tabla: p V V F F Centro Pre Universitario q V F V F p*q F F V F 15 .A.A.

Universidad Nacional Jorge Basadre Grohmann Lógica Simplificar: a) p b) q ~ [(p * q) ∨ p c) p ∨ q ~ q] d) p q e) (p ∧ q) Centro Pre Universitario 16 .

cuya expresión mas simple es “p∧q” Se representa: p q : p∧q p 1 1 0 0 q 1 0 1 0 p∧q 1 0 0 0 • Circuito en Paralelo. Los circuitos eléctricos están formados por conmutadores o interruptores que son los órganos que impiden o dejan pasar la corriente eléctrica. CIRCUITOS LÓGICOS Entre algunas aplicaciones de la lógica aparece la construcción de circuitos lógicos en la Electrónica y al Cibernética. donde un interruptor está sobre otro o en la otra línea y así sucesivamente. ∨. Los interruptores también llamados conmutadores son los elementos que participan en la instalación eléctrica: son de dos tipos: • Conmutador cerrado: permite el paso de la corriente eléctrica y equivale a un dato verdadero que numéricamente toma el valor de 1. cuya expresión mas simple es: “p∨q”. Para cualquier formula proposicional podemos construir un circuito eléctrico basándose en 3 conectores u operadores: (∧. ~). donde un interruptor esta a continuación de otro y así sucesivamente. TIPOS DE CIRCUITOS • • 3. consta de dos o más interruptores. el grafico de un circuito en serie es la representación de una formula proposicional conjuntiva.1 Circuito en serie: constan de dos o más interruptores. Conmutador abierto: impide el paso de la corriente y equivale a un dato falso que numéricamente toma el valor de 0.Universidad Nacional Jorge Basadre Grohmann Lógica III. El grafico de un circuito en paralelo es la representación de la fórmula proposicional disyuntiva. p q Se representa: : p∨q p 1 1 0 0 q 1 0 1 0 p∨q 1 1 1 0 Centro Pre Universitario 17 .

Universidad Nacional Jorge Basadre Grohmann Lógica 3. Simplificar el siguiente circuito: ~p q p ~q p q a) p b) q c) ~ p d) p q e) ~q Del enunciado tenemos: p ∧ { [ ( ~p ∧ q ) ∨ q ] ∨ [ ~q ∨ p] } p∧{ [q ] ∨ [ ~q ∨ p] } p∧{ [q ] ∨ [ ~q ∨ p] } p ∧ { ( q ∨ ~q ) ∨ p } p∧{(V)∨p} p∧{ V } p Respuesta: a) p 2. La proposición: p p∧{q∨[p (~p ∧ r) ] } equivale al circuito: p q a) p q b) q r c) p d) q e) r Centro Pre Universitario 18 . Señale el circuito equivalente a la proposición: [(p q) p] ∧ [~p p (~p q)] a) p b) q c) p q d) ~p e) q Del enunciado tenemos: [(p q) p] ∧ [~p (~p q)] [(~p ∨ q) p] ∧ [~p (~ ~ p ∨ q)] [~ (~p ∨ q) ∨ p] ∧ [~ ~p ∨ (~ ~ p ∨ q)] [~ (~p ∨ q) ∨ p] ∧ [ p ∨ ( p ∨ q)] [(p ∧ ~q) ∨ p] ∧ [ p ∨ ( p ∨ q)] [ p ] ∧ [ (p ∨ p) ∨ q ] p ∧[p∨q] p Respuesta: a) 3.2 EJERCICIOS RESUELTOS 1.

v.Universidad Nacional Jorge Basadre Grohmann Lógica Del enunciado tenemos: p ∧ { q ∨ [ p (~p ∧ r) ] } p ∧ { q ∨ [ ~p ∨ (~p ∧ r) ] } p ∧ { q ∨ [ ~p ] } p∧q Respuesta: a) p q 4. iii. iv. iv c) ii. iii. iii b) ii. v Del circuito en el enunciado se tiene: (A ∧ ~B) ∨ ~A ∨ B Centro Pre Universitario 19 . [(A ∨ ~B) ∨ A] ∨ B [(A B) ∧ A] B [(A ∧ ~B) ∨ ~A] ∨ B B ∨ [(A ∧ ~B) ∨ ~ A] B ∧ [(A ∧ ~B) ∨ ~A ] son correctas: a) i. iii. iii. ii. iv. v e) i. El equivalente del siguiente circuito: ~p p q ~q q p p ~p Es: a) p ∨ q b) p ∧ q c) p ∧ ~q d) ~p ∧ ~q e) p ∧ r Del enunciado tenemos: { ( ~p ∧ ~q ) ∨ ( p ∨ q ) } ∧ { p ∨ [ q ∧ ( p ∨ ~ p ) } { [ ( ~p ∧ ~q ) ∨ p ] ∨ q ) } ∧ { p ∨ [ q ∧ V ] } { [ ~q ∨ p ] ∨ q } ∧ { p ∨ [ q ] } { [ ~q ∨ q ] ∨ p } ∧ { p ∨ [ q ] } {[V]∨p}∧{p∨q} {V}∧{p∨q} p∨q Respuesta: a) p ∨ q 5. ii. v d) iii. El siguiente circuito equivale a las formulas: A ~A B ~B i.

B ∧ [(A ∧~B) ∨ ~A ] A ~A ~B B Respuesta: a) ii. B ∨ [(A ∧~B) ∨ ~ A] B A ~A ~B v. ¿en cuánto se reducirá el costo de la instalación si se reemplaza este circuito por su equivalente más simple? a) S/. 36 e) S/. Se tiene que: p ~p q q r r r q El costo de instalación de cada interruptor es de S/. [(A ∧ ~B) ∨ ~A] ∨ B A ~A B ~B iv.Universidad Nacional Jorge Basadre Grohmann Lógica Y de las alternativas se obtiene: i. Del circuito en el enunciado se tiene: El costo de instalacion inicial: Simplificando el circuito [ p ∧ (~p ∨ q ) ∧ r ] ∨ [ r ∧ ( q ∨ r ) ∧ q S/ 12 * 8 = S/. 48 b) S/. [(A ∨ ~B) ∨ A] ∨ B A ~B ~A B ii. 96 [ p ∧ (~p ∨ q ) ∧ r ] ∨ [ r ∧ ( q ∨ r ) ∧ q ] [(p∧q)∧r] ∨ [r∧(q)] [(p∧q)∧r] ∨ [r∧q] [ p ∧ ( q ∧ r) ] ∨ [ r ∧ q ] [ p ∧ ( q ∧ r) ] ∨ ( r ∧ q ) r∧q 20 Centro Pre Universitario . iii. 12. 60 c) S/. 24. 72 d) S/. [(A B) ∧ A] A ~A B B ~B iii. iv 6.

3 EJERCICIOS PROPUESTOS S/. 24 = S/. Determinar el circuito equivalente: p ~q p q ~q ~p q ~p p ~q a) p ∨ q b) p ∧ q c) p ∧ ~q d) ~p ∧ q e) N. 72 S/ 12 * 2 = S/. Simplificar el siguiente circuito: p p q ~p q a) p ∧ q b) ~p∨q c) q d) ~(p∨q) e) p ∨~q 2. Centro Pre Universitario 21 .Universidad Nacional Jorge Basadre Grohmann Lógica El costo de instalacion del circuito simplificado es: El costo se reduce en : Respuesta: c) S/. 24 1.A. 72 3. Reducir el siguiente circuito: ~p q p ~p ~q p q ~p a) p b) q c) ~p d) p q e) ~q 3. 96 ~ S/.

A. Hallar la expresión que representa al circuito equivalente: ~ (p q) ~ (p r q) ~q a) p b) ~p c) q d) ~q e) p∧q 5. Simplificar p q q p ~p p q a) p∨ q b) p∧q c) p d) q e) N.Universidad Nacional Jorge Basadre Grohmann Lógica 4. Centro Pre Universitario 22 .

Universidad Nacional Jorge Basadre Grohmann Lógica IV. la conjunción ( incluyente o excluyente). y las entradas dependen del numero de variables que participan en la formula directa a diseñar. Funciones lógicas Formas lógicas ~p Símbolo de compuerta Negación: “NO” p p’ p Conjunción o producto: “AND” p∧q p. CIRCUITOS CON COMPUERTAS LOGICAS Las compuertas lógicas. Las Compuertas lógicas son bloques de circuitos que producen señales de salida cuyas entradas solo pueden tomar dos niveles distintos de tensión (1 = verdadero. 0 = falso) Esta teoría es la que permite el diseño de las computadoras y utilizaremos el sistema ASA para representar circuitos lógicos mediante compuertas. Las demás formulas proposicionales son representadas mediante sus equivalencias. son los distintos dispositivos que resumen la interconexión de conmutadores para procesar las leyes lógicas y ejecutar cálculos.q p q Disyunción (inclusiva) o Suma: “OR” p∨q p+q p∨q p q Disyunción (exclusiva) o Suma: “XOR” pq+p q p’q + p q’ p q Centro Pre Universitario 23 . Las operaciones o funciones lógicas que participan en el diseño de compuertas son solo tres: La negación.

r).r]+(q.[1] (q. Del circuito se obtiene la expresión: [ ( p ∧ q ) ∧ r ] ∨ ( q ∧ r ) Simplificando la expresión por las leyes lógicas [(p∧q)∧r]∨(q∧r) [p∧(q∧r)]∨(q∧r) (q∧r) Respuesta: b) q ∧ r Simplificando por el método digital: [(p.q + p’q’ ~ (p ∧ q) (p . q p.(q.r)]+(q.r). EJERCICIOS RESUELTOS 1.q + p .1. El circuito lógico equivalente a: p q r Es: a) p b) q ∧ r c) p ∧ q d) q ∨ r e) N.[p+1] (q.A.r) [p.r) Centro Pre Universitario 24 .q).r) (q. q)’ ~( p ∨ q ) Negación disyuntor “NOR” p q Negación conjuntor “NAND” p.Universidad Nacional Jorge Basadre Grohmann Lógica p↔q≡~(p∨q) Biimplicacion o negación de la disyunción exclusiva “XNOR” p.q p q p+q (p + q)’ p q 4.

C’ + A’ .[ C’ + A’ ] B .[ A .Universidad Nacional Jorge Basadre Grohmann Lógica 2. (A .[ A’ + C’ ] B .A. B . C)’ Respuesta: a) B(AC)´ Centro Pre Universitario 25 .B B . C’ + B . ~(~A∨B)∧B Del circuito se obtiene: De las alternativas tenemos: a) ~ [ ~ B ~A ] ∧ B ~ [ ~ ~ B ∨ ~A ] ∧ B ~ [ B ∨ ~A ] ∧ B ~ [~A ∨ B ] ∧ B ~ ( ~A ∨ B )] ∧ B b) ~ [ B (A B)] ~ [ ~ B ∨ (A B)] ~ [ ~ B ∨ (~ A ∨ B)] [ B ∧ ~ (~ A ∨ B)] ~ (~ A ∨ B) ∧ B c) Respuesta: d) todas 3.A.[ C’ ( 1 ) + A’ ] B . El circuito: A B Equivale a: a) ~ [ ~ B ~ A ] ∧ B b) ~ [ B (A B)] c) ~ ( ~A ∨ B )] ∧ B d) todas e) N. C’ + C’ + A’ ] B . La expresión de salida del circuito es: A B C a) B(AC)´ b) B(A´+C) c) B´(AC)´ d) B´(A´C´) e) N. Del circuito se obtiene: [ ( A ∧ B ∧ ~ C ) ∨ (B ∧ ~ C ) ∨ ( ~ A ∧ B ) ] Simplificando por el método digital: [ ( A ∧ B ∧ ~ C ) ∨ (B ∧ ~ C ) ∨ ( ~ A ∧ B ) ] A .[ C’ ( A + 1 ) + A’ ] B .

B } { A’.B’ } + { A’. B’ ] .B’.B + A.B’ ≡ Respuesta: e) (~A ↔ B) 4. EJERCICIOS PROPUESTOS 1.0} { 0 + A.B + 0} { A.B + A.B’ Llevando la expresión a la estructura lógica A’. B’ ] .B.Universidad Nacional Jorge Basadre Grohmann Lógica 4. B + A . El circuito: p q r (~ A ∧ B ) ∨ ( A ∧ ~ B ) ( ~ A ↔ B) Equivale a: a) p b) q c) p ∧ q d) q ∨ r e) ~p Centro Pre Universitario 26 .A } + { A’. B’ ] . ( A + B ) { [ A’.A + A.B’ + A’.B } { A’.B A’. Dada la compuerta: A B Equivale a a) (A ∧ B) ∨ (~A ↔ B) b) (A ∨ B) ∧ ( ~ A ↔ B) c) ~(~ A ↔ B) d) (A∨ B) ∨ ~B e) (~A ↔ B) ( ~A↔ B ) ∧ ( A ∨ B ) ( ~A↔ B ) ∧ ( A ∨ B ) [ ( ~A ∧ B ) ∨ ( ~ ~A ∧ ~ B ) ] ∧ ( A ∨ B ) [ ( ~A ∧ B ) ∨ (A ∧ ~ B ) ]∧(A∨B) Del circuito se obtiene: Simplificando la expresión: Continuando con el método digital de simplificación: [ ( ~A ∧ B ) ∨ (A ∧ ~ B ) ]∧(A∨B) [ A’.B.B’.B + A.A.B + A.B’ } + { A’.A.B’. B + A . B + A .B } { 0. A } + { [ A’.B + A.2.B} A.B.B + A.B + A.B’ } + { A’.B’ } + { A’.

A. Encuentre la expresión de salida (F) en el circuito mostrado: A B C F a) B´A+C b) B´+B´C c) A(B´C) d) B´(A+C) e) B´+C+A 4. 3.A.Universidad Nacional Jorge Basadre Grohmann Lógica 2. Centro Pre Universitario 27 . El siguiente circuito equivale a: p q r a) p ∨ q b) 1 c) p ∧ q d) 0 e) N. Simplificar: A B a) A B b) A B C D c) A B d) A B e) N.A. 5. La expresión de salida del circuito es: x y z a) (xyz)´ b) x´yz c) xy´z d) xyz´ e) N.

B’.C.B.Universidad Nacional Jorge Basadre Grohmann Lógica 6.B)’.C’.C.D b) (A.D c) A’. Obtener la expresión “E” de salida del circuito de la figura: A B a) A.D’ d) 0 e) 1 C D Centro Pre Universitario 28 .

El resultado es una Tautología 5. Cuáles de las siguientes fórmulas son equivalentes a: ~ r i. iii 2. p (q ∨ r ) ii. ~ p ∧ (q ∨ r) iii. iii.Universidad Nacional Jorge Basadre Grohmann Lógica V. [ r ∨ (~p ∨ q)] [(~ p ∨ q) ∨ r ] ~ [(~q ∧ p) ∧ ~ r] ~[~(~p ∨ q) ∧ ~ r ] ~ [~r ∧ (~q ∧ p)] 29 equivale a: Centro Pre Universitario . La formula: [~ ( p ∧ ~q) ∨ r ] i. iii d) i.1. ii. iii e) todos ~ ( p ∧ ~q) Del enunciado se tiene: ~ r ~ ( p ∧ ~q) ~~ r ∨ ~ ( p ∧ ~q) r ∨ ~ ( p ∧ ~q) r ∨ ( ~ p ∨ q) r∨ ~p∨q De las alternativas podemos obtener: i: p (q ∨ r ) ~ p ∨ (q ∨ r ) r∨ ~p∨q ii: ~ p ∧ (q ∨ r) (~ p ∧ q) ∨ (~ p ∧ r ) iii: ~ q (~ p ∨ r ) ~ ~ q ∨ (~ p ∨ r ) q ∨ (~ p ∨ r ) q∨~p∨r r∨ ~p∨q Respuesta: d) i. iv. EQUIVALENCIAS LÓGICAS: La equivalencia lógica es una relación que existe entre dos fórmulas que tienen los mismos valores en su matriz final y si se unen bicondicionamente. v. EJERCICIOS RESUELTOS 1. ~ q (~ p ∨ r ) a) solo i Ninguna c) ii.

iv. ii.Universidad Nacional Jorge Basadre Grohmann Lógica Son ciertas: a) Todos b) Ninguna c) ii. ii. iv. v b) ii. iv. :Sea el esquema: i. iii. ii. iii. iv [(p q) r] (~ p ∨ q ) r ~ (~ p ∨ q ) ∨ r (~ ~ p ∧ ~ q ) ∨ r (p∧~q)∨r e) i. Respuesta: a) todas 3. v Del enunciado se obtiene: De los enunciados se obtiene: i. (~q ~p) (~q ~p) ~r ~ (p ~r ~(~q ~r ~ (q r] sus equivalencias son: r ~r q) ~p) p) Son ciertas: a) i. [(~ p ∨ q) ∨ r ] ~p∨q∨r ~[~(~p ∨ q) ∧ ~ r ] ~[( p ∧ ~ q) ∧ ~ r ] ~ ( p ∧ ~ q) ∨ r ( ~ p ∨ q) ∨ r ~p∨q∨ r iii. v. iii. iii. v. v c) i. iv d) ii. [ r ∨ (~p ∨ q) ] r ∨ ~p ∨ q ~p∨q∨r ~ [(~ q ∧ p) ∧ ~ r] ~ (~ q ∧ p) ∨ r (~ ~ q ∨ ~ p) ∨ r q∨~p∨r ~p∨q∨r ~ [~ r ∧ ( ~q ∧ p )] ~ ~ r ∨ ~ ( ~q ∧ p ) r ∨ ( ~ ~q ∨ ~ p ) r∨q∨~p ~p∨q∨r [(p q) ii. iv [~ ( p ∧ ~q) ∨ r ] ~p∨q∨r d) i. iii Del enunciado tenemos: Centro Pre Universitario 30 . iv e) iii. iii.

iii. iv. (~q ~p) r ~ (~q ~p) ∨ r ~ (~ ~ q ∨ ~p) ∨ r ~ ( q ∨ ~p ) ∨ r (~q∧~~p)∨r (~q∧p)∨r (p∧~q)∨r ~r ~ (p q) ~ ~ r ∨ ~ (p q) r∨~(p q) r∨~(~p∨q) r∨(p∧~q) (p∧~q)∨r ~ r ~ (q p) ~ ~ r ∨ ~ (q p) r ∨ ~ (q p) r ∨ ~ ( ~ q ∨ p) r ∨ ( ~ ~ q ∧ ~ p) r ∨ ( q ∧ ~ p) (~p∧q)∨r ii.Universidad Nacional Jorge Basadre Grohmann Lógica De las alternativas tenemos: i. Dadas las proposiciones p y q se establece: p # q ≡ p ∧ ~ q ¿Cuál de las siguientes es equivalente a: p ~ q? a) ~ (p # q) b) ~p # q c) ~ (p # ~q) p#q≡p∧~q De las alternativas: a) c) ~ (p # q) ≡ ~ ( p ∧ ~ q ) ~p∨q ~ (p # ~q) ≡ ~(p∧~~q) ~(p∧q) ~p∨~q b) d) ~p # q ≡ p # ~q ≡ ~p ∧ ~ q (p∧~~q) (p∧q) d) p # ~q p ~q ~p∨~q e) N. v. (~q ~p) ~ r ~ (~q ~p) ∨ ~ r ~ (~ ~ q ∨ ~p) ∨ ~ r ~ ( q ∨ ~p) ∨ ~ r (~q∧p)∨~r (p∧~q)∨~r ~ r ~(~q ~p) ~ r ~(~ ~ q ∨ ~p) ~ r ~( q ∨ ~p ) ~ ~ r ∨ ~ ( q ∨ ~p ) r ∨ ~ ( q ∨ ~p ) r∨(~q∧p) (p∧~q)∨r iii.A. Respuesta: c) i. Del enunciado tenemos: Respuesta: c) ~ (p # ~q) Centro Pre Universitario 31 . iv 4.

Universidad Nacional Jorge Basadre Grohmann Lógica 5. Si: p ↓ q se define por (~p) ∧ (~q). Del enunciado tenemos: p ↓ q ≡ (~p) ∧ (~q) ~ (p ↔ q) ≡ ~ [( p ∧ q ) ∨ ( ~p ∧ ~q ) ~ [( p ∧ q ) ∨ ( ~p ∧ ~q ) ~ ( p ∧ q ) ∧ ~ ( ~p ∧ ~q ) (~p∨~q)∧(p∨q) [(~p∨~q)∧p]∨[(~p∨~q)∧q] [p∧~q]∨[~p∧q] De las alternativas se obtiene: a) (~ p ↓ q) ∨ (q ↓ p) (~~p∧~q)∨(~q∧~p) (p∧~q)∨(~q∧~p) (p∧~q)∨(~q∧~p) (~ p ↓~ q) ∨ (q ↓ p) (~ ~ p ∧ ~ ~ q) ∨ (~ q ∧ ~ p) ( p ∧ q) ∨ (~ q ∧ ~ p) q) r] s} b) (~ p ↓ q) ∨ (~ q ↓ p) ( ~ ~ p ∧ ~ q) ∨ (~ ~ q ∧ ~ p) ( p ∧ ~ q) ∨ ( q ∧ ~ p) ( p ∧ ~ q) ∨ ( q ∧ ~ p) c) Respuesta: b) (~ p ↓ q) ∨ (~ q ↓ p) 6. Dado el esquema: {[(p es: a) {[(p ∧ ~q) ∨ r] ∧ ~s} ∨ t b) {[(p ∨ q) ∨ r] ∧ s} ∨ t c){[(~p ∨ q) ∧ ~r] ∨ s} ∧ t d) {[(p ∨ q) ∧ r] ∨ s} ∧ t e) {[( p ∧ q) ∨ r] ∧ s} ∧ t Del enunciado tenemos: t su esquema molecular equivalente { [ (p q) r ] s } t { [ (~ p ∨ q) r ] s } t { [ ~ (~ p ∨ q) ∨ r ] s } t { [ ( p ∧ ~ q) ∨ r ] s } t { ~ [ ( p ∧ ~ q) ∨ r ] ∨ s } t Centro Pre Universitario 32 . entonces ¿ A cuál es equivalente: ~ (p ↔ q) ? a) ( ~p ↓ q ) ∨ ( q ↓ p ) b) ( ~p ↓ q ) ∨ ( ~q ↓ p ) c) ( ~p ↓ ~q ) ∨ ( q ↓ p ) d) todos e) N.A.

iii. Dadas las formulas: i. ii. ~B) ∧ C].A. iv.A. v d) i. (p q) ∨ (p ∧ q) Centro Pre Universitario 33 . v. Respuesta: a) {[(p ∧ ~q) ∨ r] ∧ ~s} ∨ t equivale a: equivale a: equivale a las siguientes proposiciones: (p ~q) ∧ (~q ~p) ~p∨q ~[~(p q) ∧ (p ∧ ~p)] ~p ∧ p (~p ∨ q) ∧ (~p ∧ p) Son ciertas: a) ii. La formula: ~ [(A a) ~(A ~B) ∧ ~C b) (B ~A) ∨ ~C c) ~(~B A) ∨ C d) (~A B) ∨ ~C e) N. iv c) ii. iv. :La formula: ~(A a) ~(A ∧ B) ∧ C b) ~(A ~B) ∧ C c) ~(B ~A) ∧ ~C d) ~(B A) ∧ C e) N.2. iii b) i.Universidad Nacional Jorge Basadre Grohmann Lógica { [ ~ ( p ∧ ~ q) ∧ ~ r ] ∨ s } t { [ (~ p ∨ q) ∧ ~ r ] ∨ s } t ~ { [ (~ p ∨ q) ∧ ~ r ] ∨ s } ∨ t { ~ [ (~ p ∨ q) ∧ ~ r ] ∧ ~ s } ∨ t { [ ~ (~ p ∨ q) ∨ r ] ∧ ~ s } ∨ t { [ (p ∧ ~ q) ∨ r ] ∧ ~ s } ∨ t 5. q) ∧ (p ∧ ~p) ~B) ∨ ~C. EJERCICIOS PROPUESTOS 1. 3. (~p ∨ q) p ii. 2. iv. El esquema lógico: (p i. v e) sólo v 4.

Son formulas equivalentes: i. iv e) todos equivale a : 6.A. La proposición siguiente: a) (p ∧ r) d) r (p ~q q) ~ (p ∧ r ) ] c) p (p ∧ r) 7. 8. ii. Dados los esquemas lógicos: P = ( p q ) ∧ ~ ( ~p ∧ q ) R = ~( p ↔ q ) Q=~(p∨~q) ¿ Cuál de las siguientes relaciones es correcta? a) P ≡ R b) R ≡ Q c) P ≡ Q d) R ≡ Q e) N. iii. d) i.Universidad Nacional Jorge Basadre Grohmann Lógica iii. iv. (~p ∨ q) p ¿Cuáles son lógicamente equivalentes: a) i. ii b) Ninguna c) ii. La proposición: ~ (p q) ∧ (q ~r) Es equivalente a: a) (p ∧ ~q) ∧ ~ ( r ∧ q) b) (p ∧ ~q) ∧ ~ r c) (p ∨ ~q) ∧ ~ ( r ∧ q) d) (p ∧ ~r) ∧ ~ q e) (p q) ∧ (r ~q) Centro Pre Universitario 34 . iii e) todos 5. ii b) iii. iii ( p ∧ ~r ) ∨ [ ~q b) q (p ∧ r) e) N.A. p ∧ (p↔q) p↔(p∧q) p (p q) ~p∧~q Se cumple: a) i. iii d) i. iv c) ii.

Disyuntor: A ∨ B • • • • • • A o también B A o incluso B A a no ser B A y/o B A o en todo caso B A y bien o también B B • • • • • A excepto que B A a menos que B A salvo que B A alternativamente B A o bien B Implicador: A • • • • • A implica a B A por lo tanto B A luego B A consecuentemente B Ya que A entonces B • • • • • Siempre que A entonces B Dado que A entonces B A solo cuando B A es condición suficiente para B A solo si B. FORMALIZACIÓN Y TRADUCCIÓN PROPOSICIONAL Formalización Proposicional es el procedimiento mediante el cual se identifican proposiciones simples y estructuras lógicas proposicionales. 35 Centro Pre Universitario . Dentro de los términos del lenguaje natural que designan operadores proposicionales tenemos: Negador: ~ A • • • • Es falso que A Es absurdo que A Es mentira que A Es inconcebible que A • • • • Es negable que A No ocurre que A Es inadmisible Es refutable A.Universidad Nacional Jorge Basadre Grohmann Lógica VI. asignándoles a cada uno un determinado símbolo del lenguaje de lógica proposicional organizándolos con signos de agrupación. Conjuntor: A ∧ B • • • • • A pero B A sin embargo B A incluso B A tanto como B A así mismo B • • • • A también B A al igual que B No solo A también B A no obstante B.

. Se simboliza: a) [(p q) ∧ ~ q] ∧ p b) [(p ↔ q) ∧ ~ q] ∧ p c) [(p ∨ q) ∧ ~ q] ∧ p d) [(p ∨ q) ∧ ~ q] p e) N.. Pero no eres profesional en matemáticas.. 6. • [(p ∨ q) ∧ ~ q] // . EJERCICIOS RESUELTOS 1..... • [(p ∨ q) ∧ ~ q] p // .. Pero no eres profesional en matemáticas..1.. La proposición: “Habrá aros y sortijas refulgentes siempre que el oro sea derretido además moldeado”.Universidad Nacional Jorge Basadre Grohmann Lógica • Puesto que A entonces B Biimplicador: A ↔ B • • • • A siempre y cuando B A es condición suficiente y necesaria para B A porque y solamente B A es suficiente y B también • • • • A es equivalente a B A es lo mismo que B A implica y esta implicado por B Solo si A entonces B.. Por tanto eres profesional en Ingeniería”. El argumento: “Eres Ingeniero o Matemático. se formaliza: a) (p ∧ q) (r ∨ s) b) r (p ∧ q) c) (r ∧ s) (p ∧ q) d) (r ∨ s) (p ∧ q) e) (p ∧ q) ↔ (r ∨ s) Centro Pre Universitario 36 .. Del enunciado definimos: p : Eres ingeniero q : Eres matemático Construimos la expresión a través del enunciado: • (p ∨ q) // Eres Ingeniero o Matemático... Por tanto eres profesional en Ingeniería Respuesta: d) [(p ∨ q) ∧ ~ q] p 2.A.

Universidad Nacional Jorge Basadre Grohmann

Lógica

Del enunciado definimos:

p : Habrá aros refulgentes q : Habrá sortijas refulgentes r : Oro sea derretido s : Oro sea moldeado

Construimos la expresión a través del enunciado: • (p ∧ q) // Habrá aros y sortijas refulgentes • (r ∨ s) // Oro sea derretido además moldeado • (r ∨ s) (p ∧ q) // ....... Siempre que ....... Respuesta: c) (r ∧ s) (p ∧ q)

3. Formalizar: “Si en Marte no hay agua; entonces no hay vida; en consecuencia, no hay marcianos ni platillos voladores” a) ~p b) (~p c) (~p d) ~p e) (~p [~q (~r ∧ ~s)] q) (~r ∧ ~s) ~q) (~r ∨ ~s) [~q (~r ∧ ~s) ~q) (~r ∧ ~s) p : En Marte hay agua q : En Marte hay vida r : Hay marcianos s : Hay platillos voladores

Del enunciado definimos:

Construimos la expresión a través del enunciado: • (~p ~q) // Si en Marte no hay agua; entonces no hay vida • (~r ∧ ~s) // no hay marcianos ni platillos voladores • (~p ~q) (~r ∧ ~s) // en consecuencia, Respuesta: e) (~p ~q) (~r ∧ ~s)

4. Hallar la equivalencia a: “Es falso que su Ud. ve un gato negro entonces tendrá mala suerte” a) Ve un gato negro y tiene mala suerte b) no tiene mala suerte si ve un gato negro c) Ve un gato negro y no tiene mala suerte d) Ve un gato negro si tiene mala suerte e) N.A. Del enunciado definimos: p : Ud. ve un gato negro q : Ud. tendrá mala suerte 37

Centro Pre Universitario

Universidad Nacional Jorge Basadre Grohmann

Lógica

Construimos la expresión a través del enunciado:
• •

p q ~ (p q )

// Si Ud. ve un gato negro entonces tendrá mala suerte // Es falso que ... ~ (p q ) ≡ ~ ( ~ p∨ q) ( p ∧ ~ q)

Simplificando la expresión:

La expresión se interpretaría como: “Ud. ve un gato negro y no tendrá mala suerte” Respuesta: c) Ve un gato negro y no tiene mala suerte 5. La proposición “Si caigo, me levanto. Si me levanto, camino. Por tanto ya que caigo bien se ve que camino”. Se formaliza: a) [(p∧q) ∧ (q ∧ r) ] (p ∧ r) b) [(p q) ∧ (q r) ] ∧ (p r) c) [(p q) ∧ (q r) ] (p r) d) [(p ∧ q) (q ∧ r) ] (p r) e) N.A. Del enunciado definimos: p : Me caigo q : Me levanto r : camino

Construimos la expresión a través del enunciado:
• • • •

p q (p q)∧(q r) (p r) [ ( p q ) ∧ ( q r )]

// Si caigo, me levanto // ...... Si me levanto, camino. // Ya que caigo bien se ve que camino ( p r ) // ...... Por tanto ...... r) ] (p r)

Respuesta: c) [(p q) ∧ (q

6. “Si Alondra depende de Bárbara entonces también depende de Clotilde. Y, si depende de Clotilde, depende de Dalia, mas, si depende de Dalia luego depende de Ernestina. Por tanto, ya que alondra depende de Bárbara en tal sentido depende de Ernestina” se simboliza: a) b) c) d) e) [(A ∧B) ∧ (B ∧ C)] ∧ (C ∧ D) [(A B)∧ (B ∧ C)] ∧ (C D) [(A B)∧(B C)] (C D) [(A B)∧(B C)] ∧ (C D) N.A. (A (A (A (A E) D) D) D)

Centro Pre Universitario

38

Universidad Nacional Jorge Basadre Grohmann

Lógica

Del enunciado definimos:

B : Alondra depende de Barbara C : Alondra depende de Clotilde D : Alondra depende de Dalia E : Alondra depende de Ernestina

Construimos la expresión a través del enunciado:

(B C) (B [ (B [ (B // Si Alondra depende de Bárbara entonces también depende de Clotilde C)] ∧ (C D) // ....... Y, si depende de Clotilde, depende de Dalia, C) ∧ (C D) ] ∧ (D E) // ........ mas, si depende de Dalia luego depende de Ernestina C) ∧ (C D) ] ∧ (D E) (B E) // ....... Por tanto, ya que alondra depende de Bárbara en tal sentido depende de Ernestina

Revisando la estructura de respuesta con la de las alternativas del ejercicio obtenemos la alternativa d) como respuesta Respuesta: d) [(A B)∧(B C)] ∧ (C D) (A D)

6.2. EJERCICIOS PROPUESTOS 1. Formalizar: “Si luchas por triunfar, entonces triunfarás, sin embargo no luchas por triunfar”. a) b) c) d) e) p (p p (p (p (q ∧ r) q) ∧ ~p (q ∧ ~r) q) ∧ (p ∨ q ) q) ∨ ~q (B A) ~ ( ~B ~A)

2. La traducción correcta de la formula proposicional: es:

a) Si actúo entonces soy consciente; por lo tanto si no actúo entonces no soy consciente b) Pienso porque existo. En consecuencia no pienso porque no existo c) Hace calor siempre que sea verano. Entonces es falso que si no hace calor luego es verano Centro Pre Universitario 39

Universidad Nacional Jorge Basadre Grohmann

Lógica

d) Sale el sol si es de día, luego, es falso que si no sale el sol luego no es de día. e) N.A. 3. “No es buen deportista pero sus notas son excelentes”. Es equivalente a: a) b) c) d) e) No es cierto que, sea un buen deportista o sus notas no sean excelentes. No es cierto que, sea un buen deportista o sus notas sean excelentes. No es cierto que, no sea un buen deportista o sus notas no sean excelentes. No es cierto que, es un buen deportista y sus notas no son excelentes. N.A.

4. En la siguiente expresión: “El alcalde será reelegido, si mantiene el ornato de la ciudad o no aumenta el impuesto predial” su formalización es: a) b) c) d) e) (q ∨ r) ∧ ~p (q ∨ ~r) p p (q ↔ r) p (q ∨ r) N.A.

5. Dada la proposición “Juan será encontrado culpable, si hoy rinde su instructiva, por tanto si hoy rinde su instructiva, dirá la verdad. Juan no será encontrado culpable, si no dice la verdad”. La formalización correcta es: a) b) c) d) e) [(A B) (B C)] ∧ (~C ~A) [(A ∧B) ∧ (B C)] ∧ (~C ∧ ~A) [(A B) ∧ (B ∧ C)] ∧ (~C ∧ ~A) [(B A) (B C)] ∧ (~C ~A) N.A.

6. La proposición: “Siempre que y sólo cuando haya explosión nuclear, habrá radioactividad. Sin embargo, al haber radioactividad luego habrá mutaciones. por lo tanto la explosión nuclear es condición suficiente para las mutaciones ”, se simboliza: a) b) c) d) e) [(A B) ∧ (B C)] [(A ↔ B) ∧ (B C)] [(A ↔ B) ∧ (B ↔ C)] [(A ↔ B) ∧ (B C)] N.A. (A C) (A ↔ C) (A C) (A C)

Centro Pre Universitario

40

A]. Se formaliza como: a) b) c) d) e) ~(A ∨ B) ~A ∧ ~B ~(A ∨ B) ↔ ~A ∨ ~B ~(A ∧ B) ∨ (A ∨ B) (~A ∧ ~B) ∨ ( ~A ∧ ~B) (~A ∧ ~B) ↔ ~(A ∨ B) 10.A. los sueldos no tienen capacidad adquisitiva. S ≡ ~p ↔ q Expresar en términos de p y q “S es condición suficiente para R”: a) q p b) p q c) p ∧ ~q d) q ↔ p e) ~p ∨ ~q 8. La ley: “La negación de una disyunción de dos variables es equivalente a la conjunción de las negaciones de cada variable”. Centro Pre Universitario 41 . Miguel además Raúl no sean postulantes”. Su formalización es: a) ~ (~B) b) ~ (~B) c) ~ ~ (~B) d) ~ ~ [ ~ ~ (~B) ] e) ~ B 11. La proposición: “Es absurdo que.Universidad Nacional Jorge Basadre Grohmann Lógica 7. Se formaliza como: a) A ∨ ~B b) ~( ~A ∧ B) c) A ∧ ~B d) ~A ∧ ~B e) ~(A ∧ B) 9. La proposición “Alex ingresará a la UNJBG. La fórmula lógica [(B ∧ C) a) b) c) d) e) b) A ↔ (~B ∧ ~C ∧ ~D) e) N. Sean R ≡ p ∧ ~q. pero los trabajadores protestan”. La proposición lógica: “No es falso que no sea correcto que el Brasil no sea un pais subdesarrollado”. siempre que y sólo cuando Felipe. se formaliza: a) A ( B ∧ C ∧ ~D) d) (~B ∧ ~C ∧ ~D) A 12. se traduce como: c) A ↔ (B ∧ C ∧ ~D) Duermo si tengo sueño o cansancio Si camino además trajino entonces me canso De la uva deviene el vino y la cachina Por la materia es infinita es obvio que no se crea ni se destruye Todas las anteriores.

Cierro los ojos entonces duermo. D)∧(~B∨ ~D)] (~A ∨ ~C) D) ∧ (~B∨ ~D)] (~A ∨ C) D) ∧ (~B∨ D)] (~A ∨ C) D) ∧ (~B∨~D)] (~A ∧~C) 14.A. en consecuencia no sudo a menos que no cierro los ojos” la formalización correcta es: a) b) c) d) e) [(B A)∧(C [(B ↔A)∧(C [(A B)∧(C [(A B ∧ C N. La formalización de: se formaliza: a) (A ∧ B) d) (A ∨ B) 3 8 = 2 al igual que 9 = 3 en consecuencia 3 8 + 9 = 5 b) (A ∧ B) e) N. C c) (A ∨ B) (A ∧ B) (A ∨ B) C Centro Pre Universitario 42 .A. Pero no corro o no duermo.Universidad Nacional Jorge Basadre Grohmann Lógica 13. Dado el siguiente argumento: “Si sudo es porque corro.

el león es un mamífero”.A. EQUIVALENCIAS NOTABLES: Las equivalencias notables permiten realizar transformaciones.1. el león sea mamífero El león es mamífero o además vertebrado No es innegable que. iii. La proposición “no es falso que sea absurdo que. Su equivalencia es: Del enunciado procedemos simplificar el esquema: [( ~ p ∧ q) q ] (p ∨ q) ~ [ ~ ( ~ p ∧ q) ∨ q ] ∨ (p ∨ q) [ ~ ~ ( ~ p ∧ q) ∧ ~ q ] ∨ (p ∨ q) [ ( ~ p ∧ q) ∧ ~ q ] ∨ (p ∨ q) [~p∧(q∧~q)] ∨ (p ∨ q) [~p∧ F ] ∨ (p ∨ q) F ∨ (p ∨ q) (p ∨ q) Se puede interpretar el esquema obtenido como: “ Juan va al cine o estudia ” Respuesta: a) Juan va al cine o estudia 2. iv e) N. iv. ii. es decir. ii. equivale a: i. 43 Centro Pre Universitario . excepto: a) i. o unas formulas en otras 7. convertir unas expresiones en otras.A. Dado el esquema: [( ~ p ∧ q) a) b) c) d) e) Juan va al cine o estudia Juan no va al cine o estudia Juan va al cine y estudia Juan no va al cine ni estudia N. EJERCICIOS RESUELTOS 1. iii. el león sea mamífero No son ciertas.ii. iii b) ii.Universidad Nacional Jorge Basadre Grohmann Lógica VII. v d) ii. v. El león no es domestico El león no es mamífero Es objetable decir que. v c) i. a Definiendo p : Juan va al cine q: Juan estudia q] (p ∨ q). iii.

Universidad Nacional Jorge Basadre Grohmann Lógica Del enunciado definimos: p: El león es un mamífero. // No es falso que .. La estructura del enunciado seria: • • • ~p ~~p ~~~p // sea absurdo que. el león sea mamífero: iv.. No reniego excepto que esté tranquilo” a) b) c) d) e) Ni río ni estoy tranquilo No estoy tranquilo salvo que reniegue Río porque estoy tranquilo No río salvo que esté tranquilo N.. El león no es mamífero: iii. el león es un mamífero // es falso que sea absurdo . el león sea mamífero Respuesta: d) ii.. El león es mamífero o además vertebrado: Definimos r: El león es vertebrado v. Es objetable decir que.. Que se concluye de la expresión “No río a menos que reniegue. iii. El león no es domestico: Definimos q: El león es domestico ~q ~p ~p p∨r ~p ii. Por lo que el equivalente al enunciado seria : ~ p De las alternativas se tiene: i.. iv 3. No es innegable que. p: Yo rio q: Yo reniego r : Yo estoy tranquilo Del enunciado definimos Construimos la expresión a través del enunciado: • • • ~p∨q ~q∨r ( ~ p ∨ q ) ∧ (~ q ∨ r ) // No río a menos que reniegue // No reniego excepto que esté tranquilo 44 Centro Pre Universitario ..A..

así como. Respuesta: d) No río salvo que esté tranquilo 4. q: La televisión es alienante. a menos que. equivale a: i.. q)∧q≡q Simplificando la expresión tenemos : ( p De lo que se interpreta : “La televisión es alienante” Respuesta: e) La televisión es alienante. Es equivalente a: a) b) c) d) e) La televisión es antinacional Es falso que la televisión no sea antinacional No es verdad que la televisión sea antinacional y alienante Todas La televisión es alienante. ni son vertebrados ni tiene cráneo.. donde el consecuente q del primer condicional es el antecedente del segundo condicional. 5. Centro Pre Universitario 45 . son vertebrados. tienen cráneo.. La proposición: “los cetáceos tienen cráneo si y solo si son vertebrados”.. p: La televisión es antinacional.. por lo que se deduce lógicamente que la expresión: (p q)∧(q (p r) → (p r) r ) ≡ ( ~p ∨ r ) Lo que se interpreta: “No rio a menos que esté tranquilo”.. iii. Sin embargo . La expresión: “Si la televisión es antinacional por tanto es alienante. Del enunciado definimos Construimos la expresión a través del enunciado: • • • p q ~~q (p q)∧q // Si la televisión es antinacional por tanto es alienante // no es mentira que sea alienante // . ii.Universidad Nacional Jorge Basadre Grohmann Lógica Aplicando leyes lógicas tenemos: ( ~ p ∨ q ) ∧ (~ q ∨ r ) ≡ ( p q)∧(q r) Se observa que en la expresión ( p q)∧(q r ) existen dos condicionales. Si tiene cráneo.. son vertebrados o no tiene cráneo.. si son vertebrados. Tienen los cetáceos cráneo y no son vertebrados. Sin embargo no es mentira que sea alienante”. tal como. Tienen cráneo o no son vertebrados..

. v.. tienen cráneo. iii.... Del enunciado definimos p: Los cetáceos tienen cráneo. iii b) ii. // .... tienen cráneo o no son vertebrados.. ... iv e) N.. iii.. // Tienen cráneo o no son vertebrados // son vertebrados o no tiene cráneo. .. . ii. .. // Si tiene cráneo.. Son ciertas: a) i. v d) ii..... .. tal como. ii: • • • iii: • • • p) iv: • • • ( q ∨ ~p ) p ∨ ~q ) ( q ∨ ~p ) ∧ ( p ∨ ~q ) Centro Pre Universitario 46 . . v c) i... así como...A. ii.. así como. // .. son vertebrados // si son vertebrados..Universidad Nacional Jorge Basadre Grohmann Lógica iv.... así como. // ni son vertebrados ni tiene cráneo // .... // . Los cetáceos son vertebrados y no tiene cráneo..... a menos que. Los cetáceos son vertebrados o no tienen cráneo... // Los cetáceos son vertebrados o no tienen cráneo // tienen cráneo o no son vertebrados.... q: Los cetáceos son vertebrados Construimos la expresión a través del enunciado: • p↔q // Los cetáceos tienen cráneo si y solo si son vertebrados Simplificando el enunciado tenemos: p↔q ≡ (p ∧ q) ∨ (~p ∧ ~q) [ (p ∧ q) ∨ ~p ] ∧ [ (p ∧ q) ∨ ~q ] ( q ∨ ~p ) ∧ ( p ∨ ~q ) ( q ∨ ~p ) ∧ ( p ∨ ~q ) ≡ De las alternativas se obtiene: i: • • • [ ( q ∨ ~p ) ∧ p ] ∨ [ ( q ∨ ~p ) ∧ ~q ] [ ( q ∧ p ] ∨ [~p ∧ ~q ] p∧~q ~p∧~q (p ∧ ~ q ) ∨ ( ~ p ∧ ~ q ) (p ∨ ~ q ) (q∨~p) (p ∨ ~ q ) ∧ ( q ∨ ~ p ) (p (q (p q) p) q)∧(q // Tienen los cetáceos cráneo y no son vertebrados..

2. v 7. e) N.A. b) Los científicos son seres normales a no ser que los astronautas no son seres normales. iii. las chicas te miran”. Centro Pre Universitario 47 . a) b) c) d) e) No es el caso que practique deporte y las chicas te miren No es cierto que estés en forma o las chicas te miren Las chicas te miran y no practicas pesas No practicas pesas o las chicas te miran N. EJERCICIOS PROPUESTOS 1. Pablo es rico o no es feliz Pablo ni es rico ni feliz Es incorrecto que si pablo es rico. Que se concluye de: “ Si practicas pesas. c) Es falso que los científicos no son seres normales. Su equivalencia es: a) Es falso que los científicos son seres normales. Respuesta: b) ii. excepto que los astronautas son seres normales. Sean las proposiciones: p: Los astronautas son seres normales q: Los científicos son seres normales Dado el esquema: (p ∧ q) ∨ ~ p. El enunciado “Pablo no es rico pero es feliz”. 3. estás en forma.A. d) No sólo los científicos son seres normales también los astronautas son seres normales.A. Se simboliza: a) b) c) d) e) Es falso que.Universidad Nacional Jorge Basadre Grohmann Lógica v: • q∧~p // Los cetáceos son vertebrados y no tiene cráneo. es infeliz Pablo es rico o feliz N. Si estas en forma.2.

La negación de la proposición: “Juan no viajó a Europa porque perdió sus documentos” equivale a: i. salvo que. iii. Del mismo modo recibió el pedido salvo que ofrecerá el brindis.” Se puede afirmar: a) Luis maneja con cuidado y la carretera no está bien asfaltada. iv. Es falso que al no ser Sandra profesora deducimos que será economista. Es absurdo que Juan no viajó. iv. Si la siguiente proposición es falsa: “Si el viaje es muy largo entonces Luis maneja con cuidado. será profesora.A. a menos que no perdió sus documentos. Dado el esquema molecular: (p ∧ r) ∨ (p ∧ s) ∨ (q ∧ r) ∨ (q ∧ s) es equivalente a: a) Carmela recibió la carta también tomó el bus. Si Sandra es economista. Es mentira que si Juan viajó. v d) i. El enunciado: “Sandra ni es profesora ni es economista” equivale a: a) b) c) d) e) Es falso que Sandra sea profesora así como también economista. ii. 5. entonces no perdió sus documento Juan viajó y perdió sus documentos. Carmela tomó el bus a no ser que ella ofrecerá el brindis. Centro Pre Universitario 48 . o bien la carretera no está bien asfaltada o Luis maneja con cuidado. Por tanto el viaje no es muy largo. O también recibió el pedido salvo que ofrezca el brindis b) Carmela recibió la carta o también tomó el bus. Es falso que Juan no perdió sus documentos o Juan no viajó a Europa Juan perdió sus documentos y viajó a Europa. ii e) Todas 6. iii b) iii.Universidad Nacional Jorge Basadre Grohmann Lógica 4. Carmela tomó el bus al igual que ofrecerá el brindis. 7. d) Carmela recibió la carta excepto que recibió el pedido. Sandra es economista o profesora Es incorrecto que Sandra fuera economista será profesora. v. ii. Son ciertas: a) i. v c) i. ii. e) N. c) Carmela recibió la carta al mismo tiempo recibió el pedido. pero la carretera no está bien asfaltada. Tal como. b) El viaje no es muy largo y Luis maneja con cuidado. c) El viaje es muy largo.

Es falso que. entonces no perdió sus documentos Benito viajó y perdió sus documentos.A. Son ciertas: a) i. ii. Es absurdo que Benito no viajó. al mismo tiempo. v e) i. v d) i. Benito perdió sus documentos y viajo a Europa. v d) i. iii b) ii. e) N. d) Si has estudiado no pasarás de ciclo y pagarás por segunda matricula. iii. Son ciertas: a) i. ii. 9. iv. c) Sólo si has estudiado. v. si el metabolismo no se da por catabolismo. iii b) iii. ii e) todas 10. Es falso que Benito no perdió sus documentos o Benito no viajo a Europa. luego no se da por anabolismo. iv. e) El viaje no es muy largo pero la carretera esta bien asfaltada. v. toda vez que has estudiado en consecuencia no pagarás por segunda matricula. pasarás de ciclo y no pagaras segunda matricula. ii. Es mentira que si Benito viajó. Es absurdo que el metabolismo se da por anabolismo también por catabolismo.Universidad Nacional Jorge Basadre Grohmann Lógica d) La carretera está bien asfaltada. ii. iv. Es equivalente a: a) Has estudiado entonces pasarás de ciclo excepto que has estudiado y no pagarás por segunda matricula. ii. v c) i. a menos que no perdió sus documentos. b) Siempre que has estudiado por consiguiente pasarás de ciclo. iv c) iii. El metabolismo se da por catabolismo y anabolismo. Centro Pre Universitario 49 . Metabolismo se da por catabolismo entones no se da por anabolismo. ii. 8. iii. El enunciado “Si has estudiado. La proposición “Es inadmisible que el metabolismo se dé por catabolismo y anabolismo” equivale a: i. v. entonces pasarás de ciclo y no pagarás por segunda matricula”. iv. iv. La negación de la proposición: “Benito no viajo a Europa porque perdió sus documentos” equivale a: i. iii. El metabolismo no se da por catabolismo o no se da por anabolismo.

Universidad Nacional Jorge Basadre Grohmann Lógica 11. v d) Todas e) N. iii b) ii. b) Luis esta de viaje sin embargo Ricardo tiene fiebre. iii.A. Son ciertas: a) i. iii. Es absurdo que la señal de corriente alterna no es cuadrada. Centro Pre Universitario 50 . A menos que Luis está de viaje y Ricardo no está agripado d) No solo Luis está de viaje también Ricardo está agripado. Pero Ricardo tiene fiebre o también está agripado: a) Luis está de viaje o Ricardo tiene fiebre. Pero Luis está de viaje salvo que Ricardo está agripado. La señal digital es cuadrada implica que la señal alterna sea sinusoidal. Luis está de viaje y Ricardo tiene fiebre. iv c) i. A menos que.A. A menos que Luis está de viaje aunque Ricardo esta agripado. c) Luis esta de viaje así como Ricardo tiene fiebre. ii. Luis está de viaje. ii. iv. 12. e) N. iv. El enunciado: “La señal de corriente alterna es sinusoidal del mismo modo que la señal digital es cuadrada” equivale a: i. Es falso que la señal de corriente alterna sea sinusoidal implica que la señal no sea cuadrada. La señal digital es cuadrada aunque de la corriente alterna es sinusoidal.

1. muchos x Hay al menos un x que. EJERCICIOS RESUELTOS 1. ciertos. CUANTIFICADORES LÓGICOS Una Variable También llamados Cuantores son los símbolos que determinan la cantidad de una proposición categórica y son de dos tipos: Cuantificador Universal: ∀ x (Universalizador o generalizador) • • • • • • Cuantificador Existencial: ∃ x (Particulazador o existencializador) • • • • • • • Para todo x Para cada x Para cualquier x Cualquiera que sea x Sean todos los x Para cada una de las x. • • • • ~ (∀x(Px)) ~ (∃x(Px)) ∃x(Px) ~(∃x(~Px)) ≡ ≡ ≡ ≡ ∃ x(~Px) ∀x(~Px) ~[∀x(~Px)] ∀x(Px) (Una Variable) 8. EQUIVALENCIAS LOGICAS Equivalencias entre cuantificadores con un predicado (una variable). Existe x Algunos x Exista al menos un x Tantos. muchos x Existe por lo menos un x Pocos. LÓGICA CUANTIFICACIONAL 8.Universidad Nacional Jorge Basadre Grohmann Lógica VIII. Hallar los valores de verdad de las negaciones de las proposiciones siguientes: p: q: r: a) FFF ∀ x ∈ N: x² > x ∀ x ∈ Z: x + 1 > x ∃ x ∈ R: x² = x b) FVF c) FVV d) VFF e) VVF 51 Centro Pre Universitario .2.

4 ≤ -5 F ~ r : ~ [ ∃ x ∈ R: x² = x ] ~ r : ∀ x ∈ R: ~( x² = x) ~ r : ∀ x ∈ R: x² ≠ x x = 1 ∈ R ⇒ 1² ≠ 1 F 2. x + 2 > 0} ∃ x ∈ Q. ∀ x ∈ Z: x + 1 > x ~p : ~ [ ∀ x ∈ N: x² > x ] ~p : ∃ x ∈ N: ~( x² > x ) ~p : ∃ x ∈ N: x² ≤ x x = 1 ∈ N ⇒ 1² ≤ 1 V r: ∃ x ∈ R: x² = x ~q . ∃ x ∈ Z: ~( x + 1 > x ) ~q .4/2 ∈ Q r: ∀ x ∈ Z. Dadas las proposiciones: p: ~ { ∀ x ∈ Q.Universidad Nacional Jorge Basadre Grohmann Lógica Del enunciado se tiene: p: ∀ x ∈ N: x² > x q. x + 2 ≤ 0 (. x/x = 1 Hallar el valor de verdad de: (p ∧ q) r a) F b) V c) Tautología d) Contradicción e) V ó F Respuesta: d) VFF Del enunciado se tiene: p: ~ { ∀ x ∈ Q. ~ [ ∀ x ∈ Z: x + 1 > x ] ~q .4/2) + 2 ≤ 0 -2+2≤0 V q: ∃ x ∈ N: 3x + 3x + 1 + 3x + 2 = 117 32 + 32 + 1 + 32 + 2 = 117 32 + 33 + 34 = 117 9 + 27 + 81 = 117 117 = 117 V (p ∧ q) (V ∧ V) F r F x=2: x = . ∃ x ∈ Z: x + 1 ≤ x x = -5 ∈ Z: -5 + 1 ≤ -5 . x + 2 > 0} q: ∃ x ∈ N: 3x + 3x + 1 + 3x + 2 = 117 r: ∀ x ∈ Z. ~ (x + 2 > 0) ∃ x ∈ Q. x/x = 1 x = 0 ∈ Z x / x = 1 (Indeterminado) F Respuesta: a) F Centro Pre Universitario 52 .

~ [∀x ∈ N. 4. 2. 6}. 6}. | x | ≠ 0]. ~[∀x ∈ N. 3}. a) FFF b) FVF c) FFV d) VFF e) N. 6}. (∀x ∈ R. Del enunciado se tiene: i. 3}. 4. Hallar el valor de verdad de: i. | x | ≠ 0]. x² = 9 ∃ x ∈ B = {2. | x | = x) ∧ (∃x∈ R. x+1 > x) x = -3 ∈ R [ | -3 | = 3 ] ∧ [ -3 + 1 > -3 ] [ | -3 | = 3 ] ∧ [ -2 > -3 ] F ∧ V F ii. ∃ x ∈ N. | x |= x) ∧ (∃ x ∈ R. ~ ∃ x ∈ R. ~ [ | x | ≠ 0]. Si “p Θ q” sólo es verdadero cuando p y q son ambos falsos. ~∃ x ∈ R. 2. x = ± 3 F Respuesta: b) V 4. 3}. | x | = 0]. x2 ≠ x x=1 F 1² ≠ 1 iii. 2.Universidad Nacional Jorge Basadre Grohmann Lógica 3. 4. ∃ x ∈ N. x > 0 V (~ p Θ q) Θ (q Θ ~ r) (~ F Θ V) Θ (V Θ ~ F) (V Θ V) Θ (V Θ V) (F) Θ (F) V r: ∃ x ∈ B = {2. x² = 9 b) V c) V ó F d) No se Puede Determinar e) N. Hallar el valor de verdad de: ( ~ p Θ q) Θ (q Θ ~ r) si: p: q: r: a) F 2 es número impar ∀ x ∈ A = {1. Del enunciado se tiene: p: 2 es número impar F q: ∀ x ∈ A = {1. x + 1 > 1 ∃ x ∈ B = {2. x = 0∈ N |0|=0 0 =0 V Respuesta: c) FFV 53 Centro Pre Universitario .A. x+1>x) ii. x² ≠ x iii. (∀x ∈ R. x + 1 > 1 ∀ x ∈ A = {1.A.

3. 6. 5. 4. Sí: A = {0. 3.Universidad Nacional Jorge Basadre Grohmann Lógica 5. ∃ m ∈ A : m² > 40 Centro Pre Universitario 54 . EJERCICIOS PROPUESTOS (Una Variable) 1. Sean las proposiciones: {∀x∈Q / 1 + x > 0} 2 q: { ∃ x ∈I / x + 0 = π} r: { ∀x∈R / x² + 1 = 0} Hallar el valor de: [(p q) ∧ r ] ↔ ~q p: a) F b) V c) Tautología d) Contradicción e) V ó F Del enunciado se tiene: p: {∀x∈Q / 1 + x > 0} 2 ∀x ∈ Q / x > − 1 2 q: { ∃ x ∈I / x + 0 = π} x=π∈I π+0=π V x = -1/5 ∈ Q − 1 1 5 5 >−1 2 < 1 F 2 r: { ∀x∈R / x² + 1 = 0} ∀x ∈ R / x² = -1 x = 5∈ R 5² = -1 F [ (p q) ∧ r ] ↔ ~q [ (F V) ∧ F ] ↔ ~V [V ∧F]↔F [ F ]↔F V 8. 2. 2. 8} indicar el valor de verdad de: i. ∀ n ∈ A : n² ≤ 40 ii. ∃ x ∈ A: x + 3 < 12 x iii. ∀ x ∈ A: x + 3 < 12 ii. 4. Dado A = {1. ∀ x ∈ A: x + 1 > 0 a) FFF b) FVF c) FFV d) VVF e) VFV 2. 6} señalar el valor de verdad de: i.

4 } a) FFF b) FVF c) FFV d) VFF e) VFV 7. 3. 4} [∀ n P(n)] ∨ [∃ x Q(x)] [∃n P(n)] ∨ [∀x Q(x)] Hallar el valor de verdad de: a) F b) V c) V ó F d) No se Puede Determinar e) N. ∃ n ∈ A : n² ≤ 25 a) FFF b) FVF c) FFV d) VFF e) VFV 3. 2. ~ [∃x / x² = 4] ii. 4. ~ [∀x / x + 2 = 5] a) FFF b) FVF c) FFV d) VFF e) N. Hallar el valor de verdad de en A = {1. 2. ∃ x ∈ A: x + 2 < 8 x .3} i. 3. Sean las proposiciones: P: Q: ∃ x ∈ Z: ∃ x ∈ Z: (4x + 2) (3x .2. 5. ~ [∀x / x + 1>3 ] iii. 3. Hallar el valor de verdad de las siguientes proposiciones: p: q: r: a) FFF 4. 2.1 > 5 iii. Si A = { 0. x ∈ A: x ≤ 3 ∧ x > 4 ii. ∃ x ∈ A: x ≤ 3 ∧ x ≥ 2 Donde A = { 1. ∃ x ∈ A: ∀ x ∈ A: x+3>2 ∧ x+1<7 x+1=5 x~2=1 x+2>0 c) FFV d) VFF e) VFV b) FVF n ∈ N: n² = n 2x + 1 > 8. Sí : P(n): Q(x): ∀ x ∈ A.A 6. 1. 5}. ¿Cuál es el valor de verdad de las siguientes proposiciones? i.A.Universidad Nacional Jorge Basadre Grohmann Lógica iii. A = {1.7) = 0 (x2 ≥ 2) ∨ (x -1) < 0 55 Centro Pre Universitario .

y)] ∃y ∃x [P(x. CUANTIFICADORES LÓGICOS: Dos Variables Una Proposición de dos variables es de la forma: posibilidades de determinar: • • • • • • • • P(x. y)]} ~ {∀x ∃y [P(x.5. y)]} ~ {∃x ∃y [P(x. y)] ~ {∀x ∀y [P(x. y)] ∀x ∃y [P(x. ∀y: x² + y² < 12 iii. ∃y: x² + y²< 12 a) FFV b) FFF c) VVF d) VFV e) FVF Centro Pre Universitario 56 . y)] ∃x ∀y ~[P(x. y)] (Dos Variables) 8.Universidad Nacional Jorge Basadre Grohmann Lógica R: ∃ x ∈ Z: (4x + 2) (3x – 7) = 0 Los valores de verdad son: a) FFF b) FVF c) FFV d) VFF e) VFV 8. ∀x. 2. y)]} ≡ ≡ ≡ ≡ ≡ ∀y ∀x [P(x. y)] ∃y ∃x [P(x. ∃x. y)] ∀y ∃x [P(x. • • • • • ∀x ∀y [P(x. EJERCICIOS RESUELTOS 1. y)] ∃x ∃y [P(x. y)] ∃x ∃y ~[P(x. ∀x. y)] ∀y ∀x [P(x. y)] ∃x ∃y [P(x. y)]. y)] ∀x ∀y ~[P(x. y) en el cual existen 8 ∀x ∀y [P(x. Si A = { 1. ∃y: x² < y +1 ii. y)] ∃x ∀y [P(x. y)] ∃y ∀x [P(x.4. 3} Determinar el valor de verdad de: i. EQUIVALENCIAS LOGICAS Equivalencias entre cuantificadores con dos predicados (dos variable).

∀x. ∀y: x = 2. ∀y [(x + y)² = x²+ y²] ii. ∃x { y ≤ 2x} a) FV b) FF c) VF d) VV e) N. En los números reales señalar el valor de verdad de: i. ∃y [(x + y)² = x² + y²] iii. ∃y { y ≤ 2x} ii. ∃y { xy = 0} y=0 x. ∀x. ∀x.0 = 0 0 =0 V [ (1 + 2)² = 1²+ 2² ] = 1+ 4 F ii. ∃x.Universidad Nacional Jorge Basadre Grohmann Lógica Del enunciado se tiene: i. ∃y [(x + y)² = x² + y²] y=0 [ (x + 0)² = x² + 0² ] x² = x² V Respuesta: e) FVV 3. y = 2 9 iii. ∀x. ∀x. ∃y { xy = 0} a) FFV b) FFF c) VVF d) VVV e) FVV Del enunciado se tiene: i. ∀x. y = 2 x² < y +1 1² < 2 +1 1<3 V x² + y²< 12 x² + 1² < 12 x² < 11 V ii. En los números reales. ∃y: x = 1.A. señalar el valor de verdad de: i. Centro Pre Universitario 57 . ∃y: y=1 Respuesta: d) VFV 2. ∀x. ∀x. ∀y. ∀y [(x + y)² = x²+ y²] x = 1. y = 3 x² + y² < 12 2² + 3² < 12 4 + 9 < 12 F iii. ∀x.

x = 8 8-1∈A 7 ∈A F ii. y = 2 0² + 2² < 9 4 < 9 V ∀x. B = {1. Del enunciado se tiene: i. ∃x: x² + y² < 9 iii. 2.y ∈ A ii. Indicar el valor de verdad de: i. y = 2 0² + 2² > 128 4 > 128 F Respuesta: c) VVF 5. ∃ x. ∃ y ∈ A: x . ∃x { y ≤ 2x} x=0 y ≤ 20 y≤1 F Respuesta: c) VF 4. 5. ∀x ∈ B. ∃y. 3. ∀x. ∀z ∈ B 7 > z. ∀y. ∃y: x ≥ y ii. ∃x: x² + y² < 9 x = 0. ∃ x. ∀z ∈ B a) FV b) FF c) VF d) VV e) N. ∃y. y ∈ A: x + y > z. ∃y { y ≤ 2x} y=0 0 ≤ 2x V ii. ∃ y ∈ A: x . ∀x ∈ B. ∀y: x² + y² > 128 a) FFV b) FFF c) VVF d) VVV e) FVF Del enunciado se tiene: i. 4.y ∈ A y = 1. Sean: A = {1.Universidad Nacional Jorge Basadre Grohmann Lógica Del enunciado se tiene: i. 6. 4. x≥0 V ii. 8} Determinar el valor de verdad de: i. ∀x. ∀z ∈ B F Respuesta: b) FF Centro Pre Universitario 58 . 8}. y = 3 4 + 3 > z. ∀z ∈ B x = 4. ∀x. y ∈ A: x + y > z.A. 2. Sea A = {0. ∃y: x ≥ y y=0 iii. 4}. ∀y: x² + y² > 128 x = 0. ∀x.

Universidad Nacional Jorge Basadre Grohmann Lógica 8. 3 }. ii. 7. Determinar el valor de verdad de: i. y): x2 + y > 5. Sí: P(x. 3. ∃y: x + y > 7 ∃x. ∃y: ∃x. 8}. ∃y : ∃x. iii. ii. iii. ii. ∀y : ∀x. ∃y: x + y < 5 iii. Sí: M = {1. a) FFVV Centro Pre Universitario 59 . 6. ∀y: ∃x. ∃y : x²+ y > 5 x²+ y > 5 x²+ y > 5 x²+ y > 5 x ∈ { 2. determine el valor de verdad de las siguientes proposiciones: i. ∀y: x² + y² ≤ 5. iv. ∀y: x ≤ y +2 ii. Si x. ∀x. Sea A = { 1. 4. y pueden ser cualquiera de los números 1 y 2. ∀y: ∀x. ∃y: x²+ 3y < 12 x² + 3y < 12 x² + 3y < 12 x² + 3y < 12 b) FFFV c) VVFF d) VVVF e) VFVF a) FFVV 4. iv. 5}. ∃y : x + y < 7 ∀x. iii. ∃x. ∃x. ∀x.6. 2. 3. Determinar el valor de verdad de: i.A. Determinar el valor de verdad de: i. a) FFV b) VFF c) VVF d) VVV e) FVF 2. -2. iv. EJERCICIOS PROPUESTOS (Dos Variables) 1. -3} d) VVVF e) VFVF Cuando: a) FFVV 3. ∀y x + y ≤ 8 ∃x: x + 3 > 6 b) VFFV c) VVFF d) VVVF e) N. 2. ∀x. b) FFFV c) VVFF y ∈ { -1. ∀x. ∀y : ∃x.

∀x ∈ A. ∀x ∈ A. iv. iii. 4. ∀x: x2/x = x a) FFV b) FFF xy > 0 c) VVF d) VVV e) FVF 7. de: i. 2}.A. 1. ii. determinar el valor de verdad de: i.x2/4 ≤ y + 1 < 2. ∀y: (-x)(-y) = xy ii. 2 }. ∀y ∈ A. Sean: A = { -2. 0.Universidad Nacional Jorge Basadre Grohmann Lógica 5. ∃x: ∀x. ∀x. ∃x: (-1)x = 0 iii. En los números reales indicar la verdad o falsedad de: i. 9. 1. ∃y ∈ R: y + 1 ≤ x b) FFFV c) VVFF d) VVVF e) VFVF a) FFVV 6. ∃y: ∃x: ∃x: x+3<7 x+y<7 x+3≤8 x+3>6 b) FFFV c) VVFF d) VVVF e) VFVF a) FFVV 8.A. Determinar el valor de verdad de: i. ∀x ∈ A. 0. 3. ∀y ∈ B: ii. Dado M = {1. Centro Pre Universitario 60 . ∀y ∈ A. (x -1)2 ≤ y a) FV b) FF c) VV d) VF e) N. iv. 2. 5}. Sea A = { 0. ii. 1} determinar el valor de verdad 4x2 + y2 ≤ 17 1 . ∃x ∈ A. ∃y ∈ R: x +1 > y > x ∃x ∈ N. ∃y ∈ R: x ≤ (y ~ 1)² ∀x ∈ N. ∀y ∈ R: y² > x > (y ~ 1)² ∀x ∈ N. c) VV d) VF e) N. ∀x ∈ N. -1. y2 ≤ 4(x + 1) ii. iii. Señalar el valor de verdad de las siguientes proposiciones: i. ∃y ∈ B: a) FV b) FF B = { -1.

CUANTIFICADORES . INFERENCIAS INMEDIATAS 1 Variable ∀x ( Sx ) ~ ∃x (~Sx) ∃x (~Sx) ~ ∀x (Sx) ∀x (~Sx) ~ ∃x (Sx) ∃x (Sx) ~ ∀x (~Sx) 9.Universidad Nacional Jorge Basadre Grohmann Lógica IX.3. EJERCICIOS RESUELTOS 1. El enunciado: “Existe al menos una cosa que es bella”.A.1. refinado y riguroso que la lógica proposicional.2. FORMAS TÍPICAS DE LAS PROPOSICIONES CATEGÓRICAS La lógica cuantificacional. 61 2 Variables ∀x (Sx Px) ~ ∃x (Sx ∧ ~Px) ∃x (Sx ∧~Px) ~ ∀x (Sx Px) ∀x (Sx ~Px) ~ ∃x (Sx ∧ Px) ∃x (Sx ∧Px) ~ ∀x (Sx ~Px) Centro Pre Universitario . La razón básica es que esta lógica permite el análisis de la Cantidad y Cualidad de las proposiciones llamadas categóricas. se formaliza: a) ∀x (Bx) b) ∃x (Bx) c) Bx d) ~ ∀x (Bx) e) N. predicativa o de los términos (clases o conjuntos) es aquella que permite hacer un análisis más profundo. Proposicion Categoría Universal Afirmativo Universal Negativo Participativo Afirmativo Participativo Negativo Forma Lingüística Todos los S Son P Ningún S Es P Algún S Es P Algun S No es P Formalización Lógica ∀x (Sx ∀x (Sx Px) ~Px) ∃x (Sx ∧Px) ∃x (Sx ∧~Px) 9.FORMALIZACIÓN DE PREDICADOS 9.

Ax : Es Lógico De las alternativas definimos a) Cada uno no es lógico: ∀x ~ Ax b)Es verdad que muchos no son no lógicos: ∃x ~~ Ax ≡ ∃x Ax c) Varios no son lógicos: ∃x ~ Ax Respuesta: c) Varios no son lógicos Centro Pre Universitario 62 . La formula: ∃x (~ Ax).Universidad Nacional Jorge Basadre Grohmann Lógica Del enunciado se procede a construir la formalizacion: • • ∃x (Bx) // Existe al menos una cosa // Es bella ∃x (Bx) Por lo que la formalizacion es: Respuesta: b) ∃x (Bx) 2. se traduce: a) b) c) d) e) Cada uno no es lógico Es verdad que muchos no son no lógicos Varios no son lógicos Todas N.A. se formaliza: a) ∀x ~(Tx) b) ~∃x (Tx) c) Tx d) ~ ∀x (Tx) e) ~∃x ~(Tx) Del enunciado se procede a construir la formalizacion: • • ∀x ~( Tx ) // Todo // Todo no es terrestre ∀x ~ ( Tx ) Por lo que la formalizacion es: Respuesta: a) ∀x ~ ( Tx ) 3. El enunciado: “Todo no es terrestre”.

A. Respuesta: d) Algunos argentinos no son sudamericanos 5. ~ [∀x ( Ax Sx ) ] ∃x ~ ( ~ Ax ∨ Sx ) ∃x (Ax ∧ ~ Sx ) Simplificando: Traduciendo a un nuevo enunciado seria : “Existen algunos argentinos que no son sudamericanos”.. El enunciado: “Es falso que todo argentino sea sudamericano” es equivalente a: a) b) c) d) e) Todo argentino es sudamericano Todo argentino no es sudamericano Ningún argentino es sudamericano Algunos argentinos no son sudamericanos N. Ax : Es argentino Sx : Es sudamericano Del enunciado definimos: Construimos el enunciado: • • ∀x ( Ax Sx ) // Todo argentino es sudamericano ~ [∀x ( Ax Sx ) ] // Es falso que ..Universidad Nacional Jorge Basadre Grohmann Lógica DOS PREDICADOS 4. El enunciado: “Ningún arácnido es vertebrado”.A. Todo vertebrado es arácnido N.. Ax : Es aracnido Vx : Es vertebrado Del enunciado definimos: Construimos el enunciado: • ∀x ( Ax ~Vx ) // Ningún arácnido es vertebrado ∀x ( Ax ~Vx ) ∀x ( ~ Ax ∨ ~Vx ) 63 Simplificando: Centro Pre Universitario . es equivalente a: a) b) c) d) e) Todo animal es arácnido a menos que sea vertebrado Para todo animal no es arácnido a menos que no sea vertebrado Es falso que algunos vertebrados no sean arácnidos.

Identificar la proposición categórica equivalente a: “Todo desleal es infiel” a) b) c) d) e) Algún desleal no es fiel Ningún fiel es leal Algún fiel es desleal Ningún desleal es fiel N. Lx : Es leal Fx : Es fiel Del enunciado definimos: Construimos el enunciado: • ∀x ( ~ Lx ~Fx ) // Todo desleal es infiel De las alternativas tenemos: a) Algún desleal no es fiel ∃x ( ~Lx ∧ ~Fx ) b) Ningún fiel es leal ∀x ( Fx → ~Lx ) c) Algún fiel es desleal ∃x ( Fx ∧ ~Lx ) d) Ningún desleal es fiel ∀x ( ~Lx → ~ Fx ) Centro Pre Universitario 64 . ~ [∃x ( Vx ∧ ~Ax ) ] ≡ ∀x ~ ( Vx ∧ ~Ax ) ∀x ( ~ Vx ∨ Ax ) d) Todo vertebrado es arácnido ∀x ( Vx → Ax ) ≡ ∀x ( ~ Vx ∨ Ax ) Respuesta: b) Para todo animal no es arácnido a menos que no sea vertebrado 6.Universidad Nacional Jorge Basadre Grohmann Lógica De las alternativas tenemos: a) Todo animal es arácnido a menos que sea vertebrado ∀x ( Ax ∨ Vx ) b) Para todo animal no es arácnido a menos que no sea vertebrado ∀x ( ~Ax ∨ ~Vx ) c) Es falso que algunos vertebrados no sean arácnidos.A.

“Existen profesionales” equivale decir: a) b) c) d) a) Patricia es profesional o julia es profesional A menos que Juan es profesional. 4.A. se formaliza: a) ∀x (Bx Qx) d) ∀x (Bx ∧ Ox) b) ∃x (Px ∧ ~ Qx) e) N.Universidad Nacional Jorge Basadre Grohmann Lógica Respuesta: d) Ningún desleal es fiel 9. El enunciado: “Todos los profesores son queridos”.A. El enunciado: “algunos no son felices”. Qx) c) ∀x Px 7. c) ∀x Bx Centro Pre Universitario 65 . se formaliza: a) ∀x (Px Qx) d) ∀x (Mx ∧ Px) b) ∃x (Px e) N. 6. EJERCICIOS PROPUESTOS 1. se formaliza: a) ∀x ~(Fx) b) ∃x (~Fx) c) Fx d) ~ ∀x (Fx) e) ~∃x (~Fx) 5. 2. se formaliza: a) ∀x (Dx) b) ~∃x (Dx) c) Dx d) ~ ∀x (Dx) e) N. se formaliza: a) ∀x (Mx) b) ∃x (Mx) c) Mx d) ~ ∀x (Mx) e) N. 3. El enunciado: “No todo x es oro”.A. Ricardo también es profesional Carmen profesional o a la vez Teresa también lo sea Todas N.A. En un universo finito.4.A. se formaliza: a) ∀x (Ox) b) ∃x (Ox) c) Ox d) ~ ∀x (Ox) e) N. El enunciado: “No todo lo que brilla es oro”. El enunciado: “No existe dinero”.A. El enunciado: “Dada cualquier x éste es un mamífero”.

iv c) iii. v d) Todas e) N.A. ii. Alguien no estudia o ingresa a la UNJBG. v. se traduce: a) b) c) d) e) Varios mamíferos no tienen onda acústica. iii b) ii. La formula: ∃x (Ax ∧ ~ Bx). c) ∀x ( ~Nx Fx) 9. iv. 66 Centro Pre Universitario . iii d) Todas e) N. Son correctas: a) i. a menos que no estudie. 12.A. 11. El enunciado: “Al menos un esquimal es friolento”. ingresará a la UNJBG.A.A.Universidad Nacional Jorge Basadre Grohmann Lógica 8. Todos no son cetáceos o son acuáticos Todos son acuáticos o no son cetáceos. se formaliza: a) ∀x (~Ax ~Px) d) ∃x (~Ax ∧ Px) b) ∃x (Px ∧ ~ Ax) e) N. Existe siquiera uno que no es periodista Cada uno de los obreros jamás es empresario. Todas e) N. ii. es igual a: a) ∀x (Ax ~ Bx) d) ∃x (Ax ∧ ~ Bx) b) ~ ∀x (Bx e) N. Cualquiera. iii. Es falso que algunos animales no acuáticos sean cetáceos Es falso que algunos cetáceos no sean acuáticos Ningún animal si no es acuático entonces es cetáceo. ii b) i. c) ∀x (Ax ∧ Px) 10. se formaliza: a) ∀x (Nx Fx) d) ∃x (~Nx ∧ Hx) b) ∃x (Nx ∧ ~ Fx) e) N. Equivale a: i. Cada uno no estudia excepto que a la UNJBG ingrese a) i.A.A. La formula: ∀x ( ~Ax ∨ Bx ). iii c) ii. Ax) c) ~ [∀x (Bx ~ Ax)] 13. El enunciado: “Algunos niños son infelices”. El enunciado: “Todo pez es acuático”. ii. se traduce: i. iv. iii. iii. De las premisas: “Todos los cetáceos son acuáticos”.

Universidad Nacional Jorge Basadre Grohmann Lógica 14.A. El enunciado “Todas las proteínas son compuestos orgánicos” equivale: i. Todos los que no son proteínas o son compuestos orgánicos Es absurdo que algunos que no son compuestos orgánicos sean proteínas . ~ [∀x (Ax ∨ ~Bx)] iii. 16. iv. El enunciado: “Algunos políticos son honestos” equivale a: a) b) c) d) e) Ningún político es honesto Es falso que ningún político es honesto Todo político es honesto Algunas personas honestas no son políticas N. equivale a: a) ∀x (Ax Bx) d) ∀x (Ax ∧ Bx) b) ~ ∀x (Bx e)N. Probar que en Japón no fabrican chips. ii d) ii. Mostrar varios chips hechos en Japón. iii e) N. para defender mi posición bastaría con: a) b) c) d) e) Mostrar un chip no hecho en Japón. 15. ∃x ( ~ Ax ∧ Bx) ii. Si un señor afirma: que todos lo chips son hechos en Japón y yo estuviera en desacuerdo. Ax) c) ~ [∀x ( ~Ax ∨ ~Bx )] 19. ¿ Cuáles son equivalentes ? i. La proposición: “Hubo varios pueblos primitivos en África que fueron antropófagos”. Probar que el señor no sabe de chips.A. iii c) i. Ninguno que no es compuesto orgánico es proteína Ninguna proteína es compuesto orgánico 67 Centro Pre Universitario . iii. ~ [∀x (Bx Ax)] a) Todas b) i.A.A. se formaliza: a) ∀x (Ex Hx) d) ∀x (Ex ∧ Hx) b) ∃x (Ex ∧ ~ Hx) e) N. c) ∀x (Ex ~ Hx) 17. Probar que no existen chips en Japón. El enunciado: “Los embajadores siempre reciben honores”. 18. ii.

iv. iii. v Centro Pre Universitario 68 . iii b) ii. iv c) iii. iv d) i.Universidad Nacional Jorge Basadre Grohmann Lógica v. Es falso que algunas proteínas sean compuesto orgánicos. Son ciertas: a) i. iii. ii. v e) i.

Un argumento es la proposición que se forma al unir mediante una condicional. Determinar la validez de: [(~ p ∨ q) ∧ ~q ] ~p a) V b) F c) V ó F d) No se puede determinar e) N. se obtiene otras proposiciones llamada conclusión. Si el esquema es tautológico.. La inferencia expresada en lenguaje natural es un argumento. éstas van unidas por el conectivo conjuntivo (∧) y la conclusión a su vez va precedida por el conectivo condicional ( ). Cuando el argumento se forma por dos o más premisas. P1 ∧ P2 ∧ . se determina el esquema al cual pertenece el argumento. Inferencia: Premisas Conclusión Analizar la validez o invalidez lógica de la inferencia es la tarea primordial de la lógica.2. EJERCICIOS RESUELTOS 1. Una inferencia es válida si las premisas implican lógicamente la conclusión. la inferencia es válida. LA INFERENCIA Es una estructura de proposiciones donde a partir de un o más proposiciones llamadas premisas. Las inferencias lógicas se rigen por principios o tautologías. si resulta contradictorio o inconsistente. la conjunción de las premisas y la conclusión. la inferencia es inválida.. ∧ Pn C Al analizar una inferencia para determinar su validez. Se puede validar el enunciado a traves de la leyes logicas o una tabla de verdad: Leyes: [(~ p ∨ q) ∧ ~q ] ~ p ~ [(~ p ∨ q) ∧ ~q ] ∨ ~ p ~ [ ~ p ∧ ~q ] ∨ ~ p (p∨q)∨~p ( p ∨ ~p ) ∨ q V p V V F F q V F V F Tabla de Verdad [(~ p ∨ q) ∧ ~q ] F V V F F F F F F V V V V F F V V F V V ~p F F V V V V V V Centro Pre Universitario 69 . La inferencia es válida.A.. cuando de la conjunción de premisas verdaderas se deriva su conclusión necesariamente también verdadera.Universidad Nacional Jorge Basadre Grohmann Lógica X. INFERENCIA LÓGICA 10. 10.1.

esto indica que el enunciado se considera valido. Del enunciado se define: Construimos el enunciado: • p : Hoy llueve q : Carlos va a la playa ~p q // Si hoy no llueve. r)] (~t) a) V b) F Primeramente se debe llevar el enunciado [ ( r a una estructura logica conocida: Se puede aplicar el metodo de la simplificacion logica o latabla deverdad para determinar la validez del enunciado. Determinar la validez de: r ~t s s r ~t c) V ó F d) No se puede determinar ~t)∧(s)∧(s e) N.A. Simplificando el enunciado: [(r ~t)∧(s)∧(s r)] (~t) ~[(r ~t)∧(s)∧(s r)]∨(~t) ~ [ (~ r ∨ ~ t ) ∧ s ∧ ( ~ s ∨ r ) ] ∨ ( ~ t ) [(r∧t)∨~s∨(s∧~r)]∨(~t) [(r∧t)∨(~s∨~r)]∨(~t) [(r∧t)∨~t]∨(~s∨~r) [r∨~t]∨(~s∨~r) r∨~t∨ ~s∨~r r∨~r∨~t∨ ~s V∨~t∨ ~s V Respuesta: a) V 3. Entonces no llueve” a) V b) F c) V ó F d) No se puede determinar e) N. entonces Carlos va a la playa. Carlos no va a la playa. entonces Carlos va a la playa 70 Centro Pre Universitario . Determinar la validez de: “Si hoy no llueve. Respuesta: a) V 2.A.Universidad Nacional Jorge Basadre Grohmann Lógica A traves de la simplificación logica se obtiene V (Valor Verdadero) y a traves del uso de una tabla de verdad se obtiene Tautologia (Todos los valores verdaderos).

Universidad Nacional Jorge Basadre Grohmann Lógica • • ~q ~p // Carlos no va a la playa // Entonces no llueve [(~p q)∧~q] ~p Llevar el enunciado a una forma logica conocida: Simplificando el enunciado: [(~p q)∧~q] ~p ~[(~p q)∧~q]∨~p ~[(p∨q)∧~q]∨~p ~[~p∨q]∨~p [p∧~q]∨~p ~q∨~p El resultado del enunciado dependera de los valores que adopte p y q. Centro Pre Universitario 71 . El segundo elemento q de la primera premisa es el primer elemento de la segunda premisa. Si ingresas serás gerente. p q q r Aplicando leyes logicas se tiene: Se ve claramente que existen dos implicaciones. eres gerente p : Ingresas q : Seras ingeniero r : Eres gerente Del enunciado se define: Construimos el enunciado: • • p q ~r ~q // Si ingresas serás ingeniero // Si no eres un gerente entonces no serás ingeniero. Si no eres un gerente entonces no serás ingeniero. serás gerente. Respuesta: a) F 4. Si ingresas serás ingeniero. Si eres gerente. Se deduce: a) b) c) d) e) Si ingresas no eres ingeniero. Si no eres ingeniero. Si no ingresas. Esto es suficiente para unir ambas en la forma: p r Por lo que el resultado se traduce como: “Si ingresas entonces seras gerente” Respuesta: b) Si ingresas serás gerente. entonces ingresaras. entonces se determina que el enunciado es no valido.

// Si no voy a nadar.Universidad Nacional Jorge Basadre Grohmann Lógica 5. come 72 Centro Pre Universitario . entonces no me desaprueban en matemáticas. Si la siguiente proposición es falsa: “Si él bebe. // Por tanto: Me fui a nadar. entonces estudio. come” Es correcto afirmar: a) Bebe b) Fuma c) Come d) Fuma y no come e) No bebe o come Del enunciado se define: p : El bebe q : El Fuma r : El come Construimos el enunciado: • • • p q ~p ~r ~q r // Si él bebe. Del enunciado se define: p : Estudio q : Desapruebo matemáticas r : Voy a nadar Construimos el enunciado: • • • • p ~q ~r p q r // Si estudio. Si no voy a nadar. Por tanto: Me fui a nadar. Pero. Determinar la validez del siguiente argumento: Si estudio. por lo tanto si no fuma. entonces no me desaprueban en matemáticas. a) V b) F c) V ó F d) No se puede determinar e) N. me desaprobaron matemáticas. entonces estudio // Pero. fuma. me desaprobaron matemáticas. y si no bebe entonces no come. [(p ~q)∧(~r p)∧(q)] r ~[(~p∨~q)∧(r∨p)∧(q)]∨r [ ( p ∧ q ) ∨ ( ~ r ∧ ~p ) ∨ ( ~q ) ] ∨ r ( p ∧ q ) ∨ ( ~ r ∧ ~p ) ∨ ( ~q ) ∨ r ( p ∧ q ) ∨ ~q ∨ ( ~ r ∧ ~p ) ∨ r ( p ∨ ~q ) ∨ ( ~p ∨ r ) p ∨ ~q ∨ ~p ∨ r p ∨ ~p ∨ ~q ∨ r ≡ V Llevar el enunciado a una forma logica conocida y simplificando: Respuesta: a) V 6.A. fuma // Si no bebe entonces no come // Por tanto: Si no fuma.

Determinar la validez de: a) V b) F [( p ∨ ~ q) ∧ q ] c) V ó F g h ~g f ~h f c) V ó F d) No se puede determinar e) N. d) No se puede determinar p 2. Centro Pre Universitario 73 .A.A.3. Determinar la validez de: a) V b) F [(~ p ∨ q) ∧ q ] c) V ó F ~p e) N. Determinar la validez de: a) V b) F d) No se puede determinar e) N.Universidad Nacional Jorge Basadre Grohmann Lógica Llevar el enunciado a una forma logica conocida y simplificando: [(p q)∧(~p ~r)] (~q r) ~[(~p∨q)∧(p∨~r)]∨(q∨r) [ ( p ∧ ~q ) ∨ ( ~p ∧ r ) ] ∨ ( q ∨ r ) ( p ∧ ~q ) ∨ ( ~p ∧ r ) ∨ q ∨ r ( p ∧ ~q ) ∨ q ∨ ( ~p ∧ r ) ∨ r ( p ∨ q ) ∨ (r ) p∨q∨r Puesto que el enunciado es falso se tiene: p∨q∨r≡F De lo que se deduce que: p ≡ q ≡ r ≡ F De las alternativas se tiene: a) d) p ≡ F ≡ b) F∧~F F∧V F q ≡ e) F ~p∨r c) ≡ r ≡ ~F∨F V∨F V F q∧~r Respuesta: e) No bebe o come 10.A. EJERCICIOS PROPUESTOS 1. 3.

No me permitirán tomar el siguiente curso. a) V b) F 5. Si trabajo no puedo estudiar. Por tanto: No estudié. Determinar la validez del siguiente argumento: Si tiene luz propia.A. a) V b) F c) V ó F d) No se puede determinar p∧q ~p q ~q c) V ó F d) No se puede determinar e) N. 6. Apruebo matemáticas.A. Determinar la validez de: Trabajo o apruebo matemáticas. no puedo estudiar Estudio o apruebo matemáticas Trabaje Por lo tanto: Trabajé a) V b) F c) V ó F d) No se puede determinar e) N. Centro Pre Universitario 74 . entonces me permitirán tomar el siguiente curso. Por lo tanto estudié. e) N. Determinar la validez del siguiente argumento: Si trabajo. entonces el astro es una estrella. entonces aprobaré el siguiente curso. a) V b) F c) V ó F d) No se puede determinar e) N. Comprobar la validez del argumento: Si estudio o si soy un genio. Si apruebo el curso. El astro no es una estrella Por lo tanto: No tiene luz propia.Universidad Nacional Jorge Basadre Grohmann Lógica 4. 8.A. Determinar la validez de: a) V b) F 7.A. c) V ó F d) No se puede determinar e) N.A.

si las premisas son verdaderas. han de ser verdaderas. LEYES DE IMPLICACIÓN O REGLAS DE INFERENCIA: El objetivo es utilizar las reglas de inferencia de manera que conduzcan a otras formular que se denominan conclusiones. es decir.Universidad Nacional Jorge Basadre Grohmann Lógica XI. REGLAS DE INFERENCIA 11. Modus Ponendo Ponens (MMP): Su forma simbólica es: A A B B Modus Tollendo Tollens (MTT): Su forma simbólica es: A B ~B ~A Su forma implicativa es: [(A B) ∧ A] B Modus Tollendo Ponens (MTP): Su forma simbólica es: A∨B ~A B Su forma implicativa es: [(A B) ∧ ~ A] ~ B Silogismo Hipotetico (SH) Su forma simbólica es: A B A B C C C Su forma implicativa es: [(A ∨ B) ∧ ~ A] B Regla de la Simplificación: (S) Su forma simbólica es: A∧B A∧B B A Su forma implicativa es: (A ∧ B) B. (A ∧ B) A Su forma implicativa es: [(A B) ∧ ( B C)] A Regla de la Conjunción (A) Su forma simbólica es: A B A∧B Su forma implicativa es: (A ∧ B) (A ∧ B) Centro Pre Universitario 75 . La idea de inferencia se puede expresar de manera siguiente: de premisas verdaderas se obtiene solo conclusiones que son verdaderas.1. entonces las conclusiones que se derivan de ellas lógicamente. El paso lógico de las premisas a la conclusión que se obtiene se dice que es una consecuencia logica de las premisas si cada paso que se da para llegar a la conclusión esta permitido por una regla.

76 Centro Pre Universitario .2.A. EJERCICIOS RESUELTOS 1.Universidad Nacional Jorge Basadre Grohmann Lógica Regla de la adición: Su forma simbólica es: Su forma implicativa es: A (A ∨ B) A A∨B Regla del Silogismo Disyuntivo Su forma simbólica es: A∨B A C B D C∨D (C ∨ D) Su forma implicativa es: [(A∨B) ∧ (A C) ∧ (B D)] Regla de Expansion: Su forma simbólica es: A B A (A ∧ B) Su forma implicativa es: ( A B ) [ A (A ∧ B) ] Regla del Dilema Destructivo Su forma simbólica es: ~C ∨ ~D A C B D ~A ∨ ~B (~A∨~B) Su forma implicativa es: [(~C∨~D) ∧ (A C) ∧ (B D)] Regla del Silogismo Disyuntivo Regla de la adición: Su forma simbólica es: Su forma implicativa es: A (A ∨ B) A A∨B Su forma simbólica es: A∨B A C B D C∨D (C ∨ D) Su forma implicativa es: [(A∨B) ∧ (A C) ∧ (B D)] Ley Bicondicional A↔B A B A↔B B A Ley de Morgan ~ (A ∨ B) ~A∧~B ~ (A ∧ B) ~ B ∨ ~A 11. De las premisas: p q ~q∨r ~r Se infiere deductivamente: a) p b) ~p c) q d) s e) N.

3) ~q∨r ~r ~q p q ~q ~p 5) ~ p Respuesta: b) ~p MTT 1) .A. Del enunciado tenemos: 7) e 8) k MPP 2) . 9) Centro Pre Universitario 77 .Universidad Nacional Jorge Basadre Grohmann Lógica Del enunciado tenemos: 1) p q 2) ~ q ∨ r 3) ~ r 4) ~ q MTP 2) . 3) ~g ~g e e e k k e e) N. De las premisas: ~g e e k ~g k ~l ~l m m b Se infiere deductivamente: a) b b) ~ b c) q 1) 2) 3) 4) 5) 6) d) ~m ~g e e k ~g k ~l ~l m m b MPP 1) . 8) k ~l k ~l ~l ~l m m 10) m MPP 5) . 4) 2. 7) 9) ~ l MPP 4) .

Si Juan y Luis tienen la misma estatura.Universidad Nacional Jorge Basadre Grohmann Lógica 11) b Respuesta: b) b 3. p: q: r: Juan es más alto que Pedro. Juan y Luis no tienen la misma estatura. Maria es más baja que Juana Juan y Luis tienen la misma estatura Del enunciado se define: Centro Pre Universitario 78 . 6) 4. Maria no es mas baja que Juana.A. 10) m m b b Se infiere en: a) ~p b) ~r c) s 1) 2) 3) 4) d) p ~p q q ~r r∨s ~s ~r SH 1) . Por lo tanto. El argumento es válido: “Si Juan es más alto que Pedro. De las premisas: ~p q q ~r r∨s ~s MPP 6) . entonces Juan es más alto que Pedro. entonces Maria es más baja que Juana. 2) ~p q q ~r ~ p ~r r∨s ~s r ~p r p ~r e) q Del enunciado tenemos: 5) ~p 6) r MTP 3) .” a) V b) F c) V ó F • • • d) No se puede Determinar e) N. 4) 7) p Respuesta: d) p MTT 5) .

Determinar la validez del siguiente argumento: MTT 3). entonces Juan llegó antes de las diez y vio partir el coche de Andrés // Si Andrés dice la verdad. Andrés dice la verdad o estaba en el edificio en el momento del crimen. a) V b) F • • • • • c) V ó F p: q: r: s: t: d) No se puede Determinar e) N. 5) ~ r Respuesta: a) V 5. entonces Juan llegó antes de las diez y vio partir el coche de Andrés.” 1) p q 2) ~ q 3) r p 4) ~ p MTT 1).A. Juan y Luis no tienen la misma estatura. entonces Juan no vio partir el coche de Andrés. El reloj está adelantado. entonces Maria es más baja que Juana // Maria no es mas baja que Juana // Si Juan y Luis tienen la misma estatura. El reloj está adelantado. Si Andrés dice la verdad.Universidad Nacional Jorge Basadre Grohmann Lógica Construimos la estructura de la inferencia • p q • • ~q r p ~r • // Si Juan es más alto que Pedro. entonces Juan es más alto que Pedro // Por lo tanto. Por tanto. se da por valido. 4) “Si el reloj está adelantado. Andrés estaba en el edificio en el momento del crimen”. Juan llegó antes de las diez Juan vio partir el coche de Andrés Andrés dice la verdad Andrés estaba en el edificio en el momento del crimen Del enunciado se define: Construimos la estructura de la inferencia • p s s∨t (q∧r) ~r • • // Si el reloj está adelantado. entonces Juan no vio partir el coche de Andrés // Andrés dice la verdad o estaba en el edificio en el momento del crimen 79 Centro Pre Universitario . 2) p q ~q ~p r p ~p ~r Para determinar la validez del enunciado se infiere las premisas y de llegar a la misma conclusión que en el enunciado.

Andrés estaba en el edificio en el momento del crimen. 4) p (q∧r) p (q∧r) Para determinar la validez del enunciado se infiere las premisas y de llegar a la misma conclusión que en el enunciado.A. 1) 2) 3) 4) p (q∧r) s ~r s∨t p MPP 1). 7) Respuesta: a) V 11.3. De las premisas formales: Se infiere deductivamente: a) ~A b) ~B c)A a b b c c d ~d d) D e) ~A ∧ ~B (A C) (B ∧ C) 2. 5) q ∧ r 6) r 7) ~ s Simplificación 5) q ∧ r r MTT 2). se da por valido. EJERCICIOS PROPUESTOS 1.Universidad Nacional Jorge Basadre Grohmann Lógica • • p t // El reloj está adelantado // Por tanto. 6) s ~r r ~s s∨t ~s t 8) t MTP 3). Centro Pre Universitario 80 . De las premisas: Se infiere deductivamente: a) a b) ~a c) b d) s e) N.

C Son ciertas: a) i. ii. iii. no llegas tarde Te llaman la atención o no llegas tarde.A. 6. te llamen la atención llegas tarde y no te llaman la atención Si no le llaman la atención. Por tanto. iii b) ii. B ∨ C iii.A. 7. iv d) ii. iii. iii. B ii. Inferimos: i. a) V b) F c) V ó F d) No se puede Determinar e) N. Si toma su oxigeno del aire. entonces no necesita branquias. De las premisas: “Siempre que llegas tarde. ii. ~B iv. iv. E) ∧ ~E 4. no necesita branquias. ii. iii b) i. iv. v. 5. La ballena es un mamífero y vive en el océano. v e) i. ~A v. iv.Universidad Nacional Jorge Basadre Grohmann Lógica 3. iii. Del siguiente esquema formal: Se concluye: a) H b) ~ H c) G P1: ~A ∨ B ~ S ∧ [S ∨ (H ∨ G)] ∧ ~ G d) ~B P2: A e) N. iv c) iii. v e) i. v. El argumento es válido: “Si la ballena es un mamífero entonces toma oxigeno del aire. Del siguiente esquema formal: Se concluye: a) A b) ~ A c) B (~ A ∨ B) ∧ (~ A d) ~B e) N. Dadas las premisas: Por aplicación de las reglas de inferencia se concluye en: i. v Centro Pre Universitario 81 . Son correctas: a) i. ii.A. No llegas tarde o bien te llaman la atención Es falso que si llegas tarde. ii c) i. v d) i. Cada vez que tus maestros se enojan luego te llaman la atención”. tus maestros se enojan.

Podemos añadir nuevos miembros al comité o el informe se retrasará un mes. De las premisas: ~R S S (P ∧ Q) R T ~T Se concluye: a) R b) T c) Q d) ~ Q e) N. 11. entonces Tomás tiene la misma edad que Juana. entonces Joaquín tiene distinta edad que Juana.A. 9.Universidad Nacional Jorge Basadre Grohmann Lógica 8. Por lo tanto la enmienda fue aprobada” a) V b) F c) V ó F d) No se puede Determinar e) N. Si la Constitución queda como estaba entonces no podemos añadir nuevos miembros al comité.A.A. p q p∧q 12. a) V b) F c) V ó F d) No se puede Determinar e) N. 10. Si Joaquín tiene distinta edad que Tomás.A. Determinar la validez del siguiente argumento: “Si la enmienda no fue aprobada entonces la Constitución queda como estaba. Determinar la validez del siguiente argumento: “Si Tomás tiene diecisiete años. Tomas tiene diecisiete años y Joaquín tiene la misma edad que Juana. Pero el informe no se retrasará un mes. De las premisas formales: Se infiere deductivamente: a) p b) ~p c) q d) ~ q e) s 82 Centro Pre Universitario . Joaquín tiene la misma edad que Tomás y Tomás la misma edad que Juana”. Por tanto. De las premisas: P ∧ ~T S T S∨Q (Q ∨ P) U Se concluye: a) U b) T c) S d) ~ Q e) N.

Si B fue el segundo. De las premisas: “En el Perú no hay estabilidad o no hay empleo. En consecuencia: a) b) c) d) e) En el Perú hay estabilidad En el Perú no hay estabilidad En el Perú hay empleo En el Perú no hay empleo.A. N.Universidad Nacional Jorge Basadre Grohmann Lógica 13. Centro Pre Universitario 83 . entonces A no ganó la carrera. Entonces. El argumento es válido: “ Si A ganó la carrera. Pero hay empleo”. entonces C no fue el segundo.A. entonces B fue el segundo o C fue el segundo. “ a) V b) F c) V ó F d) No se puede Determinar e) N. A no ganó la carrera. 14. Si D fue el segundo. D no fue el segundo.

Formalización Proposicional 1. 5. Equivalencias Notables 1. a) 8. 4.Universidad Nacional Jorge Basadre Grohmann Lógica CLAVE DE RESPUESTAS I. e) 10. 6. 2. a) b) d) b) e) Centro Pre Universitario 84 . 2. Los Principios Lógicos y Leyes Lógicas 1. c) c) e) d) c) Circuitos con Compuertas Logicas 1. V. 6. 5. d) VII. b) 5. d) 6. 2. 3. 7. b) 2. 3. 5. 3. La Lógica Proposicional 1. e) e) e) d) c) d) VI. a) 4. 7. 5. 5. 6. Circuitos Lógicos 1. 2. c) b) b) e) b) c) c) III. II. 3. 4. d) 7. 4. 2. 5. 2. 4. b) 9. 4. b) b) d) e) b) y Traducción Equivalencias lógicas: 1. 4. c) e) b) c) b) c) c) IV. d) 3. 3. 3.

a) 11. c) 13. c) 4. 4. 5. a) 2. e) 3. a) 9. a) 10. a) 15. 4. 2. c) a) a) e) b) Inferencia Lógica 1. a) 12. a) XI. b) 5. 3. e) 8. a) 7. a) 5. b) 8. 5. 3. Reglas de Inferencia 1. b) 6. 5. a) Centro Pre Universitario 85 . Lógica Cuantificacional ( Una Variable) 1. a) 2. d) 14. 2. d) 6. a) 7. c) 10. b) a) a) b) a) IX. 4. Cuantificadores . 2. b) 3. Predicados 1. b) 11. 3. d) e) e) b) e) ( Dos Variables) 1.Formalización de X.Universidad Nacional Jorge Basadre Grohmann Lógica VIII. b) 9. e) 4.

. Segunda Edición.. Lógica. Perú. 1997. Introducción a la Lógica. 2003. Centro Pre Universitario 86 . Primera Edición. Lima.Universidad Nacional Jorge Basadre Grohmann Lógica BIBLIOGRAFIA Introducción a la Lógica. Perú. Editorial Mantaro. Lima. Editorial UNMSN. Bernardo Rea Ravello. Tercera Edición. Perú. Alejandro Chavez Noriega. 1995. Editorial Mantaro. Lima. Luis Piscoya Hermoza.

1.1 3.2. LOS PRINCIPIOS LÓGICOS Y LEYES LÓGICAS Principios Lógicos Clásicos Leyes Equivalentes O Equivalencias Notables Ejercicios Resueltos Ejercicios Propuestos III.3 IV Tipos de Circuitos Ejercicios Resueltos Ejercicios Propuestos CIRCUITOS CON COMPUERTAS LOGICAS 4. EQUIVALENCIAS LÓGICAS 5. Ejercicios Propuestos Centro Pre Universitario 87 . Ejercicios Resueltos 6. FORMALIZACIÓN Y TRADUCCIÓN PROPOSICIONAL 6.2.2.2. Ejercicios Resueltos 7. Ejercicios Resueltos 5. EQUIVALENCIAS NOTABLES 7.3. CIRCUITOS LÓGICOS 3. Ejercicios Resueltos 1.2 3. LA LÓGICA PROPOSICIONAL 1 1 2 5 9 9 9 10 13 16 16 17 20 22 23 25 28 28 32 34 35 38 42 42 46 1. 2.2.1. 2.3.1. 2. Ejercicios Resueltos 4. 2.4.2. Ejercicios Propuestos V. Tablas de Verdad de las Operaciones Lógicas 1. Ejercicios Propuestos II.Universidad Nacional Jorge Basadre Grohmann Lógica INDICE I.1. Ejercicios Propuestos VII.1.1. Ejercicios Propuestos VI.

2. 8. Leyes De Implicación O Reglas De Inferencia 11. REGLAS DE INFERENCIA 11. 8. Ejercicios Propuestos CLAVE DE RESPUESTAS BIBLIOGRAFÍA INDICE Centro Pre Universitario 88 .2.4. 8. 9.3.1. 9. X. Ejercicios Resueltos 10.2. 8.4. 9. 8. 9.1. Cuantificadores Lógicos: Una Variable Ejercicios Resueltos (Una Variable) Ejercicios Propuestos (Una Variable) Cuantificadores Lógicos: Dos Variables Ejercicios Resueltos (Dos Variables) Ejercicios Propuestos (Dos Variables) CUANTIFICADORES .3.3. IX. La Inferencia 10.1.6.FORMALIZACIÓN DE PREDICADOS Formas Típicas de las Proposiciones Categóricas Inferencias Inmediatas Ejercicios Resueltos Ejercicios Propuestos INFERENCIA LÓGICA 50 50 50 53 55 55 58 60 60 60 60 64 68 68 68 72 74 74 75 79 83 85 86 10. LÓGICA CUANTIFICACIONAL 8.3.5.1. Ejercicios Propuestos XI. Ejercicios Resueltos 11.Universidad Nacional Jorge Basadre Grohmann Lógica VIII.2.

Sign up to vote on this title
UsefulNot useful