Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Razonamiento Lgico
Lic. Jorge Lozano Cervera
TACNA - PERU
Lgica
I. LA LGICA PROPOSICIONAL
La lgica proposicional tambin llamada simblica o matemtica, es aquella parte de la lgica que estudia las proposiciones y smbolos utilizados en la formacin de nuevas proposiciones que podrn ser verdaderas o falsas, sealadas por reglas formales. 1.1. TABLAS DE VERDAD DE LAS OPERACIONES LGICAS La validez de una proposicin se puede demostrar mediante las siguientes tablas: Sean: p y q: dos proposiciones Negacin: p V F ~p F V Conjuncin: p V V F F q V F V F pq V F F F
Lgica
1.2. EJERCICIOS RESUELTOS 1. Si la proposicin: (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 FF rV ~s F sV
b) VFVV c) VVFF
d) FVFF (r F
(p ~q) V
2. De la falsedad de la proposicin: (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
d) FFV
e) N.A.
Del enunciado tenemos: (p ~q) F V F F pV ~q F qV De las alternativas se obtiene: i. (~p ~q) ~q (~V ~V) ~V ( F F) F F F F
~r V rF sF
ii.
Lgica
iii.
Respuesta: a) FFF
3. Si: s y la proposicin: 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 sV d) FFV e) FFF s V ~(p q) V V V ~(p q) V ~ F V (p q) F (F F) V pF i. ~(p ~q) ~(F ~F) ~(F V) ~ (F) V Respuesta: a) VVV ii. (p q) ~ s (F F) ~V (V) F V iii. qF s (q p) V (F F) V (V) V
Respuesta: a) p q 4
Lgica
s)] d) r
(~s
r) es falsa, 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 pV ~qV qF 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 sF rF
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. Si: v(p) = V, q y r dos proposiciones cualesquiera. Hallar el valor de verdad de: i. ~ q (~p ~q) ii. [(r ~ p) (q p)] r iii. [(q (p q))] (q ~p). a) VVF b) VFF c) FVF d) FFF e) VVV. 5
Lgica
Del enunciado se tiene: i. ~q ~q ~q si (~p ~q) (~V ~q) (F ~q) q=V ~V F F V si q=F ~F V V V iii. [(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. [(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.3. EJERCICIOS PROPUESTOS 1. Sean las proposiciones: p: 23 + 32 = 17 q: 62 = 36 r: 32 + 43 > 5 Los valores de verdad de los siguientes esquemas moleculares: pq r (p r) q p (q r) Son respectivamente a) FFV b) VVF 2. Sea: ~ [(A ~B) c) VVV (C D)] d) FVF e) FFF
Verdadera. Luego:
i. ~ (A ~B) C ii. ~ (A ~B ) ~ (~C ~D) iii. (~A C) (B ~C) Centro Pre Universitario 6
Lgica
iv. (A B) ~C v. (~A ~B) ~C. Son verdaderas: a) i, ii, iii 3. Si: ~[(p q r) a) VFVF b) ii, iii, iv s] c) ii, iii, v d) i, iii, v e) N.A.
b) VVVF
4. Sabiendo que la proposicin p es verdadera, En cules de los siguientes casos es suficiente dicha informacin para determinar el valor de verdad de las siguientes proposiciones? i. (p q) (~p ~q) ii. (p q) (p r) iii. (p q) r a) slo i b) slo ii c) i, ii d) i, iii e) todas
5. Si (~p ~r) (r q) es falsa, y las proposiciones s y t tienen valores de verdad desconocido, cules de las siguientes proposiciones son verdaderas? i. (p s) q ii. (t q) p iii. (s t) r a) Slo i b) Slo ii c) i, ii d) ii, iii e) Ninguna (q s) es falsa.
6. Sean las proposiciones: p, q, r, s, x, y. Si la proposicin: (p r) Determinar los valores de verdad: i. ii. iii. iv. p[x(rs)] (qry) s (q x) (ys) ( s x ) ( y ~r ) b) VVFF c) VFFF d) FVVF
a) VFFV
e) N.A.
Lgica
7. Sabiendo que la proposicin p es verdadera. En cuales de los siguientes casos, es suficiente dicha informacin para determinar el valor de verdad de las proposiciones i. (p q) (~p ~q) ii. (p q) ( p r s) iii. (p q) r a) solo i b) solo ii c) solo i, ii d) Solo ii, iii e) en i, ii, iii
8. Los valores de verdad de las siguientes proposiciones: i. ii. iii. iv. (3 + 5 = 8) (5 - 3 = 4) (3 - 5 = 8) (1 - 7 = 6) (3 + 8 = 11) (7 4 > 1) (4 + 6 = 9) (5 - 2 = 4)
9. Si se sabe que: (p q) y (q son verdaderas? i. ( ~p t ) s ii. ~ [p ( ~q ~p ) ] iii. ~p (q ~t) a) solo i 10. Si: p * q = (-p q) i. ( p * q ) q ii. ~ ( p * q ) p iii. ( p * q ) ( q * p ) a) VFV b) VFF b) solo iii p.
c) solo iii
d) Todos
e) N.A.
c) FFV
d) FFF
e) VVV
Lgica
iii. ~q ( t p ) a) VFV 12. Si: [(r s) b) VVF t ] [r (s c) FFV t)] d) FVF e) VVV.
Lgica
2.2. LEYES EQUIVALENTES O EQUIVALENCIAS NOTABLES: Permiten transformar y simplificar formulas lgicas: 4. Ley de Involucin (doble negacin): ~(~p) p 5. La idempotencia: 6. Leyes conmutativas: a) b) a) b) c) a) b) c) a) b) c) d) p p p; p p p; pqqp pqqp ppqp (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. Leyes asociativas:
8. Leyes distributivas:
Lgica
9. Leyes de Morgan 10. Leyes del Condicional 11. Leyes del Bicondicional 12. Leyes de la Absorcin
a) b)
(p q) r p (q r) V P P; F P P; FPF VPV
16. Elementos Neutros para la Contradiccin y Tautologa: P C = C; C T = T; P T = T; CT=C donde: T= Tautologa (Verdad), C = Contradiccin (Falso), P = Esquema Molecular Cualquiera
Lgica
2. Simplificar: ~ [ ~ ( ~ p q) a) p ~q b) p q c) p
p] q d) ~q e) q
~ [ ~ ( ~ p q) p] q ~ [ ~ {~ ( ~ p q)} p] q ~ [ ( ~ p q) p] q ~ [ (~ p p) q] q ~ [ ( V ) q] q ~[ V ]q Fq q
Respuesta: c) p ~q
Lgica
Respuesta: c) p
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] ~qV V 6. Se define: * , en la tabla siguiente: p V V F F q V F V F pq F V V V p*q F F F V
Respuesta: d) V
Respuesta: e) p ~p 13
Lgica
2. Simplificar el esquema: p {q [p a) p ~q b) p q c) p
Simplificar: M = {[(~p q) p] a) ~p b) ~ q
c) p q
5. Definimos p # q como una operacin verdadera si p es falsa y q verdadera, y como falsa en todos los casos restantes. Luego ~(p#q) equivale a: a) p q b) p ~ q c) ~p q d) p q e) N.A.
14
Lgica
6. Simplificar: [ ( ~ p q) a) p b) ~p
7. Simplificar: [ (p a) p b) ~p
q) ~q) c) V
8. Simplificar el esquema: a) p q b) ~ p
9. Simplificar: [( ~p q) a) ~p q b) ~ p
simplifique: c) p ~q
{ [p # (p # q)] q } d) p q
Lgica
Simplificar: a) p b) q
~ [(p * q) p c) p q
~ q] d) p q e) (p q)
16
Lgica
Conmutador cerrado: permite el paso de la corriente elctrica y equivale a un dato verdadero que numricamente toma el valor de 1. Conmutador abierto: impide el paso de la corriente y equivale a un dato falso que numricamente toma el valor de 0. TIPOS DE CIRCUITOS
3.1
Circuito en serie: constan de dos o ms interruptores, donde un interruptor esta a continuacin de otro y as sucesivamente, el grafico de un circuito en serie es la representacin de una formula proposicional conjuntiva, cuya expresin mas simple es pq Se representa:
p q
pq
p 1 1 0 0
q 1 0 1 0
pq 1 0 0 0
Circuito en Paralelo, consta de dos o ms interruptores, donde un interruptor est sobre otro o en la otra lnea y as sucesivamente. El grafico de un circuito en paralelo es la representacin de la frmula proposicional disyuntiva, cuya expresin mas simple es: pq.
p q
Se representa:
pq
p 1 1 0 0
q 1 0 1 0
pq 1 1 1 0
17
Lgica
3.2
EJERCICIOS RESUELTOS
a) p
b) q
c) ~ p
d) p
e) ~q
p { [ ( ~p q ) q ] [ ~q p] } p{ [q ] [ ~q p] } p{ [q ] [ ~q p] } p { ( q ~q ) p } p{(V)p} p{ V } p
(~p
q)]
a)
b)
c)
d)
~p
e)
[(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 [pq] p
Respuesta: a) 3. La proposicin:
p{q[p
(~p r) ] }
equivale al circuito:
p q
a)
b)
c)
d)
e)
18
Lgica
p { q [ p (~p r) ] } p { q [ ~p (~p r) ] } p { q [ ~p ] } pq
Respuesta: a)
Es: a) p q b) p q c) p ~q d) ~p ~q e) p r
{ ( ~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}{pq} {V}{pq} pq
[(A ~B) A] B [(A B) A] B [(A ~B) ~A] B B [(A ~B) ~ A] B [(A ~B) ~A ]
son correctas: a) i, ii, iii b) ii, iii, iv c) ii, iii, v d) iii, iv, v e) i, iii, v
Lgica
ii.
[(A
B) A]
A ~A B
B
~B
iii.
iv.
B [(A ~B) ~ A]
B A ~A ~B
v.
B [(A ~B) ~A ]
A ~A ~B B
6. Se tiene que:
p ~p q q r r
El costo de instalacin de cada interruptor es de S/. 12. en cunto se reducir el costo de la instalacin si se reemplaza este circuito por su equivalente ms simple? a) S/. 48 b) S/. 60 c) S/. 72 d) S/. 36 e) S/. 24.
[ p (~p q ) r ] [ r ( q r ) q S/ 12 * 8 = S/. 96
Lgica
El costo de instalacion del circuito simplificado es: El costo se reduce en : Respuesta: c) S/. 72 3.3 EJERCICIOS PROPUESTOS S/. 96 ~ S/. 24 = S/. 72
S/ 12 * 2 = S/. 24
a) p q
b) ~pq
c) q
d) ~(pq)
e) p ~q
a)
b)
c)
~p
d)
e)
~q
a) p q
b) p q
c) p ~q
d) ~p q
e) N.A.
21
Lgica
a) p
b) ~p
c) q
d) ~q
e) pq
5. Simplificar
p q q p ~p p q
a) p q
b) pq
c) p
d) q
e) N.A.
22
Lgica
Funciones lgicas
Formas lgicas ~p
Smbolo de compuerta
Negacin: NO
p
p
pq p.q
p q
pq p+q pq
p q
pq+p q
pq + p q
p q
23
Lgica
pq~(pq) Biimplicacion o negacin de la disyuncin exclusiva XNOR p.q + p . q p.q + pq ~ (p q) (p . q) ~( p q ) Negacin disyuntor NOR
p q
p.q
p q
p+q
(p + q)
p q
Es: a) p b) q r c) p q d) q r e) N.A.
Del circuito se obtiene la expresin: [ ( p q ) r ] ( q r ) Simplificando la expresin por las leyes lgicas [(pq)r](qr) [p(qr)](qr) (qr) Respuesta: b) q r Simplificando por el mtodo digital: [(p.q).r]+(q.r) [p.(q.r)]+(q.r) (q.r).[p+1] (q.r).[1] (q.r)
24
Lgica
2. El circuito:
A B
c)
Respuesta: d) todas
A B C
[ ( A B ~ C ) (B ~ C ) ( ~ A B ) ]
25
Lgica
4. Dada la compuerta: A B
Simplificando la expresin:
Continuando con el mtodo digital de simplificacin: [ ( ~A B ) (A ~ B ) ](AB) [ A. B + A . B ] . ( A + B ) { [ A. B + A . B ] . A } + { [ A. B + A . B ] . B } { A.B.A + A.B.A } + { A.B.B + A.B.B } { A.A.B + A.A.B } + { A.B.B + A.B.B } { 0.B + A.B } + { A.B + A.0} { 0 + A.B } + { A.B + 0} { A.B } + { A.B} A.B + A.B A.B + A.B Llevando la expresin a la estructura lgica A.B + A.B Respuesta: e) (~A B) 4.2. EJERCICIOS PROPUESTOS 1. 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
26
Lgica
a) p q b) 1 c) p q d) 0 e) N.A.
B C
y z
5. Simplificar: A
a)
A B
b)
A B
C D
c)
A B
d)
A B
e) N.A.
27
Lgica
C D
28
Lgica
V. EQUIVALENCIAS LGICAS:
La equivalencia lgica es una relacin que existe entre dos frmulas que tienen los mismos valores en su matriz final y si se unen bicondicionamente. El resultado es una Tautologa 5.1. EJERCICIOS RESUELTOS 1. Cules de las siguientes frmulas son equivalentes a: ~ r i. p (q r ) ii. ~ p (q r) iii. ~ q (~ p r ) a) solo i Ninguna c) ii, iii d) i, iii e) todos ~ ( p ~q)
Respuesta: d) i, iii 2. La formula: [~ ( p ~q) r ] i. ii. iii. iv. v. [ r (~p q)] [(~ p q) r ] ~ [(~q p) ~ r] ~[~(~p q) ~ r ] ~ [~r (~q p)] 29 equivale a:
Lgica
Son ciertas: a) Todos b) Ninguna c) ii, iii, iv [~ ( p ~q) r ] ~pqr d) i, ii, iv e) iii, iv, v
Del enunciado se obtiene: De los enunciados se obtiene: i. [ r (~p q) ] r ~p q ~pqr ~ [(~ q p) ~ r] ~ (~ q p) r (~ ~ q ~ p) r q~pr ~pqr ~ [~ r ( ~q p )] ~ ~ r ~ ( ~q p ) r ( ~ ~q ~ p ) rq~p ~pqr [(p q)
ii.
iii.
iv.
v.
Respuesta: a) todas
3. :Sea el esquema: i. ii. iii. iv. v. (~q ~p) (~q ~p) ~r ~ (p ~r ~(~q ~r ~ (q
r]
r ~r q) ~p) p)
Son ciertas: a) i, iii, v b) ii, v c) i, iii, iv d) ii, iii, iv [(p q) r] (~ p q ) r ~ (~ p q ) r (~ ~ p ~ q ) r (p~q)r e) i, ii, iii
30
Lgica
De las alternativas tenemos: i. (~q ~p) r ~ (~q ~p) r ~ (~ ~ q ~p) r ~ ( q ~p ) r (~q~~p)r (~qp)r (p~q)r ~r ~ (p q) ~ ~ r ~ (p q) r~(p q) r~(~pq) r(p~q) (p~q)r ~ r ~ (q p) ~ ~ r ~ (q p) r ~ (q p) r ~ ( ~ q p) r ( ~ ~ q ~ p) r ( q ~ p) (~pq)r ii. (~q ~p) ~ r ~ (~q ~p) ~ r ~ (~ ~ q ~p) ~ r ~ ( q ~p) ~ r (~qp)~r (p~q)~r ~ r ~(~q ~p) ~ r ~(~ ~ q ~p) ~ r ~( q ~p ) ~ ~ r ~ ( q ~p ) r ~ ( q ~p ) r(~qp) (p~q)r
iii.
iv.
v.
Respuesta: c) i, iii, iv
4. Dadas las proposiciones p y q se establece: p # q p ~ q Cul de las siguientes es equivalente a: p ~ q? a) ~ (p # q) b) ~p # q c) ~ (p # ~q) p#qp~q De las alternativas: a) c) ~ (p # q) ~ ( p ~ q ) ~pq ~ (p # ~q) ~(p~~q) ~(pq) ~p~q b) d) ~p # q p # ~q ~p ~ q (p~~q) (pq) d) p # ~q p ~q ~p~q e) N.A.
Lgica
5. Si: p q se define por (~p) (~q), entonces A cul es equivalente: ~ (p q) ? a) ( ~p q ) ( q p ) b) ( ~p q ) ( ~q p ) c) ( ~p ~q ) ( q p ) d) todos e) N.A. Del enunciado tenemos: p q (~p) (~q) ~ (p q) ~ [( p q ) ( ~p ~q ) ~ [( p q ) ( ~p ~q ) ~ ( p q ) ~ ( ~p ~q ) (~p~q)(pq) [(~p~q)p][(~p~q)q] [p~q][~pq]
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:
Lgica
{ [ ~ ( 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.2. EJERCICIOS PROPUESTOS 1. La formula: ~ [(A a) ~(A ~B) ~C b) (B ~A) ~C c) ~(~B A) C d) (~A B) ~C e) N.A. 2. :La formula: ~(A a) ~(A B) C b) ~(A ~B) C c) ~(B ~A) ~C d) ~(B A) C e) N.A. 3. El esquema lgico: (p i. ii. iii. iv. v. q) (p ~p) ~B) ~C, ~B) C],
equivale a:
equivale a:
Lgica
iii. (~p q)
6. La proposicin siguiente: a) (p r) d) r (p ~q q)
~ (p r ) ] c) p (p r)
7. Dados los esquemas lgicos: P = ( p q ) ~ ( ~p q ) R = ~( p q ) Q=~(p~q) Cul de las siguientes relaciones es correcta? a) P R b) R Q c) P Q d) R Q e) N.A.
34
Lgica
Conjuntor: A B
Disyuntor: A B
Implicador: A
Siempre que A entonces B Dado que A entonces B A solo cuando B A es condicin suficiente para B A solo si B. 35
Lgica
Biimplicador: A B
A siempre y cuando B A es condicin suficiente y necesaria para B A porque y solamente B A es suficiente y B tambin
6.1. EJERCICIOS RESUELTOS 1. El argumento: Eres Ingeniero o Matemtico. Pero no eres profesional en matemticas. Por tanto eres profesional en Ingeniera. Se simboliza: a) [(p q) ~ q] p b) [(p q) ~ q] p c) [(p q) ~ q] p d) [(p q) ~ q] p e) N.A. Del enunciado definimos: p : Eres ingeniero q : Eres matemtico
Construimos la expresin a travs del enunciado: (p q) // Eres Ingeniero o Matemtico. [(p q) ~ q] // ........ Pero no eres profesional en matemticas. [(p q) ~ q] p // ........ Por tanto eres profesional en Ingeniera Respuesta: d) [(p q) ~ q] p
2. La proposicin: Habr aros y sortijas refulgentes siempre que el oro sea derretido adems moldeado, 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)
36
Lgica
p : Habr aros refulgentes q : Habr sortijas refulgentes r : Oro sea derretido s : Oro sea moldeado
Construimos la expresin a travs del enunciado: (p q) // Habr aros y sortijas refulgentes (r s) // Oro sea derretido adems 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
Construimos la expresin a travs 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
Lgica
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 expresin:
La expresin se interpretara como: Ud. ve un gato negro y no tendr mala suerte Respuesta: c) Ve un gato negro y no tiene mala suerte 5. La proposicin Si caigo, me levanto. Si me levanto, camino. Por tanto ya que caigo bien se ve que camino. Se formaliza: a) [(pq) (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
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 Brbara entonces tambin 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 Brbara 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)
38
Lgica
B : Alondra depende de Barbara C : Alondra depende de Clotilde D : Alondra depende de Dalia E : Alondra depende de Ernestina
(B C) (B [ (B [ (B // Si Alondra depende de Brbara entonces tambin 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 Brbara 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 triunfars, 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)
a) Si acto entonces soy consciente; por lo tanto si no acto 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
Lgica
d) Sale el sol si es de da, luego, es falso que si no sale el sol luego no es de da. 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 expresin: El alcalde ser reelegido, si mantiene el ornato de la ciudad o no aumenta el impuesto predial su formalizacin es: a) b) c) d) e) (q r) ~p (q ~r) p p (q r) p (q r) N.A.
5. Dada la proposicin 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 formalizacin 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 proposicin: Siempre que y slo cuando haya explosin nuclear, habr radioactividad. Sin embargo, al haber radioactividad luego habr mutaciones. por lo tanto la explosin nuclear es condicin 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)
40
Lgica
8. La proposicin: Es absurdo que, los sueldos no tienen capacidad adquisitiva, pero los trabajadores protestan. Se formaliza como: a) A ~B b) ~( ~A B) c) A ~B d) ~A ~B e) ~(A B)
9. La ley: La negacin de una disyuncin de dos variables es equivalente a la conjuncin de las negaciones de cada variable. 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. La proposicin lgica: No es falso que no sea correcto que el Brasil no sea un pais subdesarrollado. Su formalizacin es: a) ~ (~B) b) ~ (~B) c) ~ ~ (~B) d) ~ ~ [ ~ ~ (~B) ] e) ~ B
11. La proposicin Alex ingresar a la UNJBG, siempre que y slo cuando Felipe, Miguel adems Ral no sean postulantes, se formaliza: a) A ( B C ~D) d) (~B ~C ~D) A 12. La frmula lgica [(B C) a) b) c) d) e) b) A (~B ~C ~D) e) N.A. A], se traduce como: c) A (B C ~D)
Duermo si tengo sueo o cansancio Si camino adems 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.
41
Lgica
13. Dado el siguiente argumento: Si sudo es porque corro. Cierro los ojos entonces duermo. Pero no corro o no duermo; en consecuencia no sudo a menos que no cierro los ojos la formalizacin correcta es: a) b) c) d) e) [(B A)(C [(B A)(C [(A B)(C [(A B C N.A. D)(~B ~D)] (~A ~C) D) (~B ~D)] (~A C) D) (~B D)] (~A C) D) (~B~D)] (~A ~C)
(A B) C
42
Lgica
Respuesta: a) Juan va al cine o estudia 2. La proposicin no es falso que sea absurdo que, el len es un mamfero, equivale a: i. ii. iii. iv. v. El len no es domestico El len no es mamfero Es objetable decir que, el len sea mamfero El len es mamfero o adems vertebrado No es innegable que, el len sea mamfero
No son ciertas, excepto: a) i, ii, iii b) ii, iii, v c) i,ii, v d) ii, iii, iv e) N.A. 43
Lgica
~p ~~p ~~~p
// sea absurdo que, el len es un mamfero // es falso que sea absurdo ..... // No es falso que .....
Por lo que el equivalente al enunciado seria : ~ p De las alternativas se tiene: i. El len no es domestico: Definimos q: El len es domestico ~q ~p ~p pr ~p
ii. El len no es mamfero: iii. Es objetable decir que, el len sea mamfero: iv. El len es mamfero o adems vertebrado: Definimos r: El len es vertebrado v. No es innegable que, el len sea mamfero Respuesta: d) ii, iii, iv
3. Que se concluye de la expresin No ro a menos que reniegue. No reniego excepto que est tranquilo a) b) c) d) e) Ni ro ni estoy tranquilo No estoy tranquilo salvo que reniegue Ro porque estoy tranquilo No ro salvo que est tranquilo N.A. p: Yo rio q: Yo reniego r : Yo estoy tranquilo
~pq ~qr ( ~ p q ) (~ q r )
Lgica
q)(q
r)
Se observa que en la expresin ( p q)(q r ) existen dos condicionales, donde el consecuente q del primer condicional es el antecedente del segundo condicional, por lo que se deduce lgicamente que la expresin: (p q)(q (p r) (p r)
r ) ( ~p r )
Lo que se interpreta: No rio a menos que est tranquilo. Respuesta: d) No ro salvo que est tranquilo 4. La expresin: Si la televisin es antinacional por tanto es alienante. Sin embargo no es mentira que sea alienante. Es equivalente a: a) b) c) d) e) La televisin es antinacional Es falso que la televisin no sea antinacional No es verdad que la televisin sea antinacional y alienante Todas La televisin es alienante. p: La televisin es antinacional. q: La televisin es alienante.
p q ~~q (p q)q
// Si la televisin es antinacional por tanto es alienante // no es mentira que sea alienante // ...... Sin embargo ..... q)qq
De lo que se interpreta : La televisin es alienante Respuesta: e) La televisin es alienante. 5. La proposicin: los cetceos tienen crneo si y solo si son vertebrados, equivale a: i. Tienen los cetceos crneo y no son vertebrados, a menos que, ni son vertebrados ni tiene crneo. ii. Tienen crneo o no son vertebrados, as como, son vertebrados o no tiene crneo. iii. Si tiene crneo, son vertebrados; tal como; si son vertebrados, tienen crneo. Centro Pre Universitario 45
Lgica
iv. Los cetceos son vertebrados o no tienen crneo, as como, tienen crneo o no son vertebrados. v. Los cetceos son vertebrados y no tiene crneo. Son ciertas: a) i, ii, iii b) ii, iii, v c) i, ii, v d) ii, iii, iv e) N.A.
pq
[ ( q ~p ) p ] [ ( q ~p ) ~q ] [ ( q p ] [~p ~q ]
// Tienen los cetceos crneo y no son vertebrados. // ni son vertebrados ni tiene crneo // ......, a menos que, ...... // Tienen crneo o no son vertebrados // son vertebrados o no tiene crneo. // ...... , as como, ....... // Si tiene crneo, son vertebrados // si son vertebrados, tienen crneo. // ......; tal como; ...... // Los cetceos son vertebrados o no tienen crneo // tienen crneo o no son vertebrados. // ...... , as como, .......
ii:
iii:
p)
iv:
( q ~p ) p ~q ) ( q ~p ) ( p ~q )
46
Lgica
v:
q~p
Respuesta: b) ii, iii, v 7.2. EJERCICIOS PROPUESTOS 1. El enunciado Pablo no es rico pero es feliz. Se simboliza: a) b) c) d) e) Es falso que, Pablo es rico o no es feliz Pablo ni es rico ni feliz Es incorrecto que si pablo es rico, es infeliz Pablo es rico o feliz N.A.
2. Sean las proposiciones: p: Los astronautas son seres normales q: Los cientficos son seres normales Dado el esquema: (p q) ~ p. Su equivalencia es: a) Es falso que los cientficos son seres normales, excepto que los astronautas son seres normales. b) Los cientficos son seres normales a no ser que los astronautas no son seres normales. c) Es falso que los cientficos no son seres normales. d) No slo los cientficos son seres normales tambin los astronautas son seres normales. e) N.A. 3. Que se concluye de: Si practicas pesas, ests en forma. Si estas en forma, las chicas te miran. a) b) c) d) e) No es el caso que practique deporte y las chicas te miren No es cierto que ests en forma o las chicas te miren Las chicas te miran y no practicas pesas No practicas pesas o las chicas te miran N.A.
47
Lgica
(p r) (p s) (q r) (q s) es equivalente a:
a) Carmela recibi la carta tambin tom el bus. O tambin recibi el pedido salvo que ofrezca el brindis b) Carmela recibi la carta o tambin tom el bus. Del mismo modo recibi el pedido salvo que ofrecer el brindis. c) Carmela recibi la carta al mismo tiempo recibi el pedido, salvo que, Carmela tom el bus al igual que ofrecer el brindis. d) Carmela recibi la carta excepto que recibi el pedido. Tal como, Carmela tom el bus a no ser que ella ofrecer el brindis. e) N.A. 5. La negacin de la proposicin: Juan no viaj a Europa porque perdi sus documentos equivale a: i. ii. iii. iv. v. Es falso que Juan no perdi sus documentos o Juan no viaj a Europa Juan perdi sus documentos y viaj a Europa. Es mentira que si Juan viaj, entonces no perdi sus documento Juan viaj y perdi sus documentos. Es absurdo que Juan no viaj, a menos que no perdi sus documentos.
6. El enunciado: Sandra ni es profesora ni es economista equivale a: a) b) c) d) e) Es falso que Sandra sea profesora as como tambin economista. Sandra es economista o profesora Es incorrecto que Sandra fuera economista ser profesora. Es falso que al no ser Sandra profesora deducimos que ser economista. Si Sandra es economista, ser profesora.
7. Si la siguiente proposicin es falsa: Si el viaje es muy largo entonces Luis maneja con cuidado, o bien la carretera no est bien asfaltada o Luis maneja con cuidado; pero la carretera no est bien asfaltada. Por tanto el viaje no es muy largo. Se puede afirmar: a) Luis maneja con cuidado y la carretera no est bien asfaltada. b) El viaje no es muy largo y Luis maneja con cuidado. c) El viaje es muy largo. Centro Pre Universitario 48
Lgica
d) La carretera est bien asfaltada. e) El viaje no es muy largo pero la carretera esta bien asfaltada. 8. La proposicin Es inadmisible que el metabolismo se d por catabolismo y anabolismo equivale a: i. ii. iii. iv. Metabolismo se da por catabolismo entones no se da por anabolismo. Es absurdo que el metabolismo se da por anabolismo tambin por catabolismo. El metabolismo se da por catabolismo y anabolismo. Es falso que, si el metabolismo no se da por catabolismo, luego no se da por anabolismo. v. El metabolismo no se da por catabolismo o no se da por anabolismo. Son ciertas: a) i, ii, iii b) ii, iii, iv c) iii, iv, v d) i, iv, v e) i, ii, v.
9. La negacin de la proposicin: Benito no viajo a Europa porque perdi sus documentos equivale a: i. ii. iii. iv. v. Es falso que Benito no perdi sus documentos o Benito no viajo a Europa. Benito perdi sus documentos y viajo a Europa. Es mentira que si Benito viaj, entonces no perdi sus documentos Benito viaj y perdi sus documentos. Es absurdo que Benito no viaj, a menos que no perdi sus documentos.
10. El enunciado Si has estudiado, entonces pasars de ciclo y no pagars por segunda matricula. Es equivalente a: a) Has estudiado entonces pasars de ciclo excepto que has estudiado y no pagars por segunda matricula. b) Siempre que has estudiado por consiguiente pasars de ciclo, al mismo tiempo, toda vez que has estudiado en consecuencia no pagars por segunda matricula. c) Slo si has estudiado, pasars de ciclo y no pagaras segunda matricula. d) Si has estudiado no pasars de ciclo y pagars por segunda matricula. e) N.A.
49
Lgica
11. Luis est de viaje. Pero Ricardo tiene fiebre o tambin est agripado: a) Luis est de viaje o Ricardo tiene fiebre. Pero Luis est de viaje salvo que Ricardo est agripado. b) Luis esta de viaje sin embargo Ricardo tiene fiebre. A menos que Luis est de viaje aunque Ricardo esta agripado. c) Luis esta de viaje as como Ricardo tiene fiebre. A menos que Luis est de viaje y Ricardo no est agripado d) No solo Luis est de viaje tambin Ricardo est agripado. A menos que, Luis est de viaje y Ricardo tiene fiebre. e) N.A. 12. El enunciado: La seal de corriente alterna es sinusoidal del mismo modo que la seal digital es cuadrada equivale a: i. La seal digital es cuadrada aunque de la corriente alterna es sinusoidal. ii. Es absurdo que la seal de corriente alterna no es cuadrada. iii. Es falso que la seal de corriente alterna sea sinusoidal implica que la seal no sea cuadrada. iv. La seal digital es cuadrada implica que la seal alterna sea sinusoidal. Son ciertas: a) i, ii, iii b) ii, iii, iv c) i, iv, v d) Todas e) N.A.
50
Lgica
Tambin llamados Cuantores son los smbolos que determinan la cantidad de una proposicin categrica y son de dos tipos:
Para todo x Para cada x Para cualquier x Cualquiera que sea x Sean todos los x Para cada una de las x.
Existe x Algunos x Exista al menos un x Tantos, ciertos, muchos x Existe por lo menos un x Pocos, muchos x Hay al menos un x que.
(Una Variable)
1. 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
Lgica
~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 . x Z: ~( x + 1 > x ) ~q . x Z: x + 1 x x = -5 Z: -5 + 1 -5 - 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. Dadas las proposiciones: p: ~ { x Q, x + 2 > 0} q: x N: 3x + 3x + 1 + 3x + 2 = 117 r: x Z, x/x = 1 Hallar el valor de verdad de: (p q) r a) F b) V c) Tautologa d) Contradiccin e) V F Respuesta: d) VFF
Del enunciado se tiene: p: ~ { x Q, x + 2 > 0} x Q, ~ (x + 2 > 0) x Q, x + 2 0 (- 4/2) + 2 0 -2+20 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 = - 4/2 Q
r:
x Z, x/x = 1
52
Lgica
3. Si p q slo es verdadero cuando p y q son ambos falsos. Hallar el valor de verdad de: ( ~ p q) (q ~ r) si: p: q: r: a) F 2 es nmero impar x A = {1, 2, 3}, x + 1 > 1 x B = {2, 4, 6}, x = 9 b) V c) V F d) No se Puede Determinar e) N.A.
Del enunciado se tiene: p: 2 es nmero impar F q: x A = {1, 2, 3}, x + 1 > 1 x A = {1, 2, 3}, x > 0 V (~ p q) (q ~ r) (~ F V) (V ~ F) (V V) (V V) (F) (F) V
r:
Respuesta: b) V 4. Hallar el valor de verdad de: i. (x R, | x |= x) ( x R, x+1>x) ii. ~ x R, x x iii. ~[x N, | x | 0]. a) FFF b) FVF c) FFV d) VFF e) N.A.
iii.
Respuesta: c) FFV 53
Lgica
5. Sean las proposiciones: {xQ / 1 + x > 0} 2 q: { x I / x + 0 = } r: { xR / x + 1 = 0} Hallar el valor de: [(p q) r ] ~q p: a) F b) V c) Tautologa d) Contradiccin e) V F
q:
{ x I / x + 0 = } x=I +0= V
x = -1/5 Q
1 1 5
>1 2 < 1 F
r:
{ xR / 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.3. EJERCICIOS PROPUESTOS (Una Variable) 1. S: A = {0, 2, 4, 6, 8} indicar el valor de verdad de: i. x A: x + 3 < 12 ii. x A: x + 3 < 12
x iii. x A: x + 1 > 0
a) FFF b) FVF c) FFV d) VVF e) VFV
2. Dado A = {1, 2, 3, 4, 5, 6} sealar el valor de verdad de: i. n A : n 40 ii. m A : m > 40 Centro Pre Universitario 54
Lgica
3. Si A = { 0, 1, 2, 3, 4, 5}. Hallar el valor de verdad de las siguientes proposiciones: p: q: r: a) FFF 4. S : P(n): Q(x): x A, 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
5. Hallar el valor de verdad de en A = {1,2,3} i. ~ [x / x = 4] ii. ~ [x / x + 1>3 ] iii. ~ [x / x + 2 = 5] a) FFF b) FVF c) FFV d) VFF e) N.A
6. Cul es el valor de verdad de las siguientes proposiciones? i. x A: x 3 x > 4 ii. x A: x + 2 < 8 x - 1 > 5 iii. x A: x 3 x 2 Donde A = { 1, 2, 3, 4 } a) FFF b) FVF c) FFV d) VFF e) VFV
Lgica
R:
x Z:
(4x + 2) (3x 7) = 0
8.4. CUANTIFICADORES LGICOS: Dos Variables Una Proposicin de dos variables es de la forma: posibilidades de determinar:
x y [P(x, y)] y x [P(x, y)] x y [P(x, y)] y x [P(x, y)] x y [P(x, y)] y x [P(x, y)] x y [P(x, y)] y x [P(x, y)];
EQUIVALENCIAS LOGICAS Equivalencias entre cuantificadores con dos predicados (dos variable).
x y [P(x, y)] x y [P(x, y)] ~ {x y [P(x, y)]} ~ {x y [P(x, y)]} ~ {x y [P(x, y)]}
y x [P(x, y)] y x [P(x, y)] x y ~[P(x, y)] x y ~[P(x, y)] x y ~[P(x, y)] (Dos Variables)
1. Si A = { 1, 2, 3} Determinar el valor de verdad de: i. x, y: x < y +1 ii. x, y: x + y < 12 iii. x, y: x + y< 12 a) FFV b) FFF c) VVF d) VFV e) FVF
56
Lgica
Del enunciado se tiene: i. x, y: x = 1; y = 2 x < y +1 1 < 2 +1 1<3 V x + y< 12 x + 1 < 12 x < 11 V ii. x, y: x = 2; y = 3 x + y < 12 2 + 3 < 12 4 + 9 < 12 F
iii.
x, y: y=1
Respuesta: d) VFV
2. En los nmeros reales, sealar el valor de verdad de: i. x, y [(x + y) = x+ y] ii. x, y [(x + y) = x + y] iii. x, y { xy = 0} a) FFV b) FFF c) VVF d) VVV e) FVV
Del enunciado se tiene: i. x, y [(x + y) = x+ y] x = 1; y = 2 9 iii. x, y { xy = 0} y=0 x.0 = 0 0 =0 V [ (1 + 2) = 1+ 2 ] = 1+ 4 F ii. x, y [(x + y) = x + y] y=0 [ (x + 0) = x + 0 ] x = x V
Respuesta: e) FVV
3. En los nmeros reales sealar el valor de verdad de: i. x, y { y 2x} ii. y, x { y 2x} a) FV b) FF c) VF d) VV e) N.A.
57
Lgica
Respuesta: c) VF
4. Sea A = {0, 2, 4, 6, 8}. Indicar el valor de verdad de: i. x, y: x y ii. y, x: x + y < 9 iii. x, y: x + y > 128 a) FFV b) FFF c) VVF d) VVV e) FVF
Respuesta: c) VVF
Lgica
(Dos Variables)
1. Si x, y pueden ser cualquiera de los nmeros 1 y 2, determine el valor de verdad de las siguientes proposiciones: i. x, y: x y +2 ii. x, y: x + y < 5 iii. x, y: x + y 5. a) FFV b) VFF c) VVF d) VVV e) FVF
2. S: P(x, y): x2 + y > 5. Determinar el valor de verdad de: i. ii. iii. iv. x, y : x, y : x, y : x, y : x+ y > 5 x+ y > 5 x+ y > 5 x+ y > 5 x { 2, 3, 6, 7, 8}; b) FFFV c) VVFF y { -1, -2, -3} d) VVVF e) VFVF
Cuando: a) FFVV
3. Sea A = { 1, 2, 3 }. Determinar el valor de verdad de: i. ii. iii. iv. x, y: x, y: x, 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. S: M = {1, 2, 3, 4, 5}. Determinar el valor de verdad de: i. ii. iii. iv. x, y : x + y < 7 x, y: x + y > 7 x, y x + y 8 x: x + 3 > 6 b) VFFV c) VVFF d) VVVF e) N.A.
a) FFVV
59
Lgica
5. Sealar el valor de verdad de las siguientes proposiciones: i. ii. iii. iv. x N, y R: x +1 > y > x x N, y R: y > x > (y ~ 1) x N, y R: x (y ~ 1) x N, y R: y + 1 x b) FFFV c) VVFF d) VVVF e) VFVF
a) FFVV
6. En los nmeros reales indicar la verdad o falsedad de: i. x, y: (-x)(-y) = xy ii. x: (-1)x = 0 iii. x: x2/x = x a) FFV b) FFF xy > 0
c) VVF
d) VVV
e) FVF
7. Dado M = {1, 2, 3, 4, 5}. Determinar el valor de verdad de: i. ii. iii. iv. x: x, y: x: x: x+3<7 x+y<7 x+38 x+3>6 b) FFFV c) VVFF d) VVVF e) VFVF
a) FFVV
B = { -1, 0, 1}
60
Lgica
9.2. INFERENCIAS INMEDIATAS 1 Variable x ( Sx ) ~ x (~Sx) x (~Sx) ~ x (Sx) x (~Sx) ~ x (Sx) x (Sx) ~ x (~Sx) 9.3. EJERCICIOS RESUELTOS 1. El enunciado: Existe al menos una cosa que es bella, se formaliza: a) x (Bx) b) x (Bx) c) Bx d) ~ x (Bx) e) N.A. 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)
Lgica
x (Bx)
x ~( Tx )
Cada uno no es lgico Es verdad que muchos no son no lgicos Varios no son lgicos Todas N.A. Ax : Es Lgico
b)Es verdad que muchos no son no lgicos: x ~~ Ax x Ax c) Varios no son lgicos: x ~ Ax Respuesta: c) Varios no son lgicos
62
Lgica
DOS PREDICADOS 4. 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 Ningn argentino es sudamericano Algunos argentinos no son sudamericanos N.A. Ax : Es argentino Sx : Es sudamericano
Simplificando:
Traduciendo a un nuevo enunciado seria : Existen algunos argentinos que no son sudamericanos. Respuesta: d) Algunos argentinos no son sudamericanos 5. El enunciado: Ningn arcnido es vertebrado, es equivalente a: a) b) c) d) e) Todo animal es arcnido a menos que sea vertebrado Para todo animal no es arcnido a menos que no sea vertebrado Es falso que algunos vertebrados no sean arcnidos. Todo vertebrado es arcnido N.A. Ax : Es aracnido Vx : Es vertebrado
x ( Ax
~Vx )
Simplificando:
Lgica
De las alternativas tenemos: a) Todo animal es arcnido a menos que sea vertebrado x ( Ax Vx ) b) Para todo animal no es arcnido a menos que no sea vertebrado x ( ~Ax ~Vx ) c) Es falso que algunos vertebrados no sean arcnidos. ~ [x ( Vx ~Ax ) ] x ~ ( Vx ~Ax ) x ( ~ Vx Ax ) d) Todo vertebrado es arcnido x ( Vx Ax ) x ( ~ Vx Ax ) Respuesta: b) Para todo animal no es arcnido a menos que no sea vertebrado 6. Identificar la proposicin categrica equivalente a: Todo desleal es infiel a) b) c) d) e) Algn desleal no es fiel Ningn fiel es leal Algn fiel es desleal Ningn desleal es fiel N.A. Lx : Es leal Fx : Es fiel
x ( ~ Lx
~Fx )
De las alternativas tenemos: a) Algn desleal no es fiel x ( ~Lx ~Fx ) b) Ningn fiel es leal x ( Fx ~Lx ) c) Algn fiel es desleal x ( Fx ~Lx ) d) Ningn desleal es fiel x ( ~Lx ~ Fx ) Centro Pre Universitario 64
Lgica
Respuesta: d) Ningn desleal es fiel 9.4. EJERCICIOS PROPUESTOS 1. El enunciado: Dada cualquier x ste es un mamfero, se formaliza: a) x (Mx) b) x (Mx) c) Mx d) ~ x (Mx) e) N.A.
5. En un universo finito; Existen profesionales equivale decir: a) b) c) d) a) Patricia es profesional o julia es profesional A menos que Juan es profesional, Ricardo tambin es profesional Carmen profesional o a la vez Teresa tambin lo sea Todas N.A.
6. El enunciado: Todos los profesores son queridos, se formaliza: a) x (Px Qx) d) x (Mx Px) b) x (Px e) N.A. Qx) c) x Px
7. El enunciado: No todo lo que brilla es oro, se formaliza: a) x (Bx Qx) d) x (Bx Ox) b) x (Px ~ Qx) e) N.A. c) x Bx
65
Lgica
8. El enunciado: Algunos nios son infelices, se formaliza: a) x (Nx Fx) d) x (~Nx Hx) b) x (Nx ~ Fx) e) N.A. c) x ( ~Nx Fx)
9. El enunciado: Todo pez es acutico, se formaliza: a) x (~Ax ~Px) d) x (~Ax Px) b) x (Px ~ Ax) e) N.A. c) x (Ax Px)
10. La formula: x ( ~Ax Bx ), se traduce: i. Cualquiera, a menos que no estudie, ingresar a la UNJBG. ii. Alguien no estudia o ingresa a la UNJBG. iii. Cada uno no estudia excepto que a la UNJBG ingrese a) i, ii b) i, iii c) ii, iii d) Todas e) N.A.
11. La formula: x (Ax ~ Bx), se traduce: a) b) c) d) e) Varios mamferos no tienen onda acstica. Existe siquiera uno que no es periodista Cada uno de los obreros jams es empresario. Todas e) N.A.
12. El enunciado: Al menos un esquimal es friolento, es igual a: a) x (Ax ~ Bx) d) x (Ax ~ Bx) b) ~ x (Bx e) N.A. Ax) c) ~ [x (Bx ~ Ax)]
13. De las premisas: Todos los cetceos son acuticos. Equivale a: i. ii. iii. iv. v. Es falso que algunos animales no acuticos sean cetceos Es falso que algunos cetceos no sean acuticos Ningn animal si no es acutico entonces es cetceo. Todos no son cetceos o son acuticos Todos son acuticos o no son cetceos.
Son correctas: a) i, ii, iii b) ii, iii, iv c) iii, iv, v d) Todas e) N.A. 66
Lgica
14. Cules son equivalentes ? i. x ( ~ Ax Bx) ii. ~ [x (Ax ~Bx)] iii. ~ [x (Bx Ax)] a) Todas b) i, iii c) i, ii d) ii, iii e) N.A.
15. Si un seor afirma: que todos lo chips son hechos en Japn y yo estuviera en desacuerdo, para defender mi posicin bastara con: a) b) c) d) e) Mostrar un chip no hecho en Japn. Mostrar varios chips hechos en Japn. Probar que no existen chips en Japn. Probar que en Japn no fabrican chips. Probar que el seor no sabe de chips.
16. El enunciado: Los embajadores siempre reciben honores, se formaliza: a) x (Ex Hx) d) x (Ex Hx) b) x (Ex ~ Hx) e) N.A. c) x (Ex ~ Hx)
17. El enunciado: Algunos polticos son honestos equivale a: a) b) c) d) e) Ningn poltico es honesto Es falso que ningn poltico es honesto Todo poltico es honesto Algunas personas honestas no son polticas N.A.
18. La proposicin: Hubo varios pueblos primitivos en frica que fueron antropfagos, equivale a: a) x (Ax Bx) d) x (Ax Bx) b) ~ x (Bx e)N.A. Ax) c) ~ [x ( ~Ax ~Bx )]
19. El enunciado Todas las protenas son compuestos orgnicos equivale: i. ii. iii. iv. Todos los que no son protenas o son compuestos orgnicos Es absurdo que algunos que no son compuestos orgnicos sean protenas . Ninguno que no es compuesto orgnico es protena Ninguna protena es compuesto orgnico 67
Lgica
v. Es falso que algunas protenas sean compuesto orgnicos. Son ciertas: a) i, ii, iii b) ii, iii, iv c) iii, iv d) i, iii, v e) i, iv, v
68
Lgica
X. INFERENCIA LGICA
10.1. LA INFERENCIA Es una estructura de proposiciones donde a partir de un o ms proposiciones llamadas premisas, se obtiene otras proposiciones llamada conclusin. La inferencia expresada en lenguaje natural es un argumento. Cuando el argumento se forma por dos o ms premisas, stas van unidas por el conectivo conjuntivo () y la conclusin a su vez va precedida por el conectivo condicional ( ). La inferencia es vlida, cuando de la conjuncin de premisas verdaderas se deriva su conclusin necesariamente tambin verdadera. Una inferencia es vlida si las premisas implican lgicamente la conclusin. Las inferencias lgicas se rigen por principios o tautologas. Inferencia: Premisas Conclusin
Analizar la validez o invalidez lgica de la inferencia es la tarea primordial de la lgica. Un argumento es la proposicin que se forma al unir mediante una condicional, la conjuncin de las premisas y la conclusin. P1 P2 .... Pn C
Al analizar una inferencia para determinar su validez, se determina el esquema al cual pertenece el argumento. Si el esquema es tautolgico, la inferencia es vlida; si resulta contradictorio o inconsistente, la inferencia es invlida. 10.2. EJERCICIOS RESUELTOS 1. Determinar la validez de: [(~ p q) ~q ] ~p
a) V b) F c) V F d) No se puede determinar e) N.A. 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 (pq)~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
69
Lgica
A traves de la simplificacin logica se obtiene V (Valor Verdadero) y a traves del uso de una tabla de verdad se obtiene Tautologia (Todos los valores verdaderos), esto indica que el enunciado se considera valido. Respuesta: a) V 2. Determinar la validez de: r ~t s s r ~t c) V F d) No se puede determinar ~t)(s)(s e) N.A. r)] (~t)
a) V
b) F
Se puede aplicar el metodo de la simplificacion logica o latabla deverdad para determinar la validez del enunciado. Simplificando el enunciado: [(r ~t)(s)(s r)] (~t) ~[(r ~t)(s)(s r)](~t) ~ [ (~ r ~ t ) s ( ~ s r ) ] ( ~ t ) [(rt)~s(s~r)](~t) [(rt)(~s~r)](~t) [(rt)~t](~s~r) [r~t](~s~r) r~t ~s~r r~r~t ~s V~t ~s V
Respuesta: a) V 3. Determinar la validez de: Si hoy no llueve, entonces Carlos va a la playa. Carlos no va a la playa. Entonces no llueve a) V b) F c) V F d) No se puede determinar e) N.A.
~p
Lgica
~q ~p
El resultado del enunciado dependera de los valores que adopte p y q, entonces se determina que el enunciado es no valido. Respuesta: a) F 4. Si ingresas sers ingeniero. Si no eres un gerente entonces no sers ingeniero. Se deduce: a) b) c) d) e) Si ingresas no eres ingeniero. Si ingresas sers gerente. Si eres gerente, entonces ingresaras. Si no ingresas, sers gerente. Si no eres ingeniero, eres gerente p : Ingresas q : Seras ingeniero r : Eres gerente
Construimos el enunciado:
p q ~r ~q
Se ve claramente que existen dos implicaciones. El segundo elemento q de la primera premisa es el primer elemento de la segunda premisa. 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 sers gerente. Centro Pre Universitario 71
Lgica
5. Determinar la validez del siguiente argumento: Si estudio, entonces no me desaprueban en matemticas. Si no voy a nadar, entonces estudio. Pero, me desaprobaron matemticas. Por tanto: Me fui a nadar. a) V b) F c) V F d) No se puede determinar e) N.A.
Construimos el enunciado:
p ~q ~r p q r
// Si estudio, entonces no me desaprueban en matemticas. // Si no voy a nadar, entonces estudio // Pero, me desaprobaron matemticas. // Por tanto: Me fui a nadar. [(p ~q)(~r p)(q)] r ~[(~p~q)(rp)(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
Respuesta: a) V 6. Si la siguiente proposicin es falsa: Si l bebe, fuma, y si no bebe entonces no come; por lo tanto si no fuma, come Es correcto afirmar: a) Bebe b) Fuma c) Come d) Fuma y no come e) No bebe o come
Construimos el enunciado:
p q ~p ~r ~q r
Lgica
[(p q)(~p ~r)] (~q r) ~[(~pq)(p~r)](qr) [ ( p ~q ) ( ~p r ) ] ( q r ) ( p ~q ) ( ~p r ) q r ( p ~q ) q ( ~p r ) r ( p q ) (r ) pqr Puesto que el enunciado es falso se tiene: pqrF De lo que se deduce que: p q r F
q~r
Respuesta: e) No bebe o come 10.3. EJERCICIOS PROPUESTOS 1. Determinar la validez de: a) V b) F [(~ p q) q ] c) V F ~p e) N.A.
d) No se puede determinar p
[( p ~ q) q ] c) V F g h ~g f ~h f c) V F
d) No se puede determinar
e) N.A.
a) V
b) F
d) No se puede determinar
e) N.A.
73
Lgica
Trabajo o apruebo matemticas. Si trabajo no puedo estudiar. Apruebo matemticas. Por lo tanto estudi. c) V F d) No se puede determinar e) N.A.
a) V
b) F
5. Determinar la validez del siguiente argumento: Si tiene luz propia, entonces el astro es una estrella. El astro no es una estrella Por lo tanto: No tiene luz propia. a) V b) F c) V F d) No se puede determinar pq ~p q ~q c) V F d) No se puede determinar e) N.A. e) N.A.
a) V
b) F
7. Determinar la validez del siguiente argumento: Si trabajo, no puedo estudiar Estudio o apruebo matemticas Trabaje Por lo tanto: Trabaj a) V b) F c) V F d) No se puede determinar e) N.A.
8. Comprobar la validez del argumento: Si estudio o si soy un genio, entonces aprobar el siguiente curso. No me permitirn tomar el siguiente curso. Si apruebo el curso, entonces me permitirn tomar el siguiente curso. Por tanto: No estudi. a) V b) F c) V F d) No se puede determinar e) N.A.
74
Lgica
Su forma implicativa es: [(A B) A] B Modus Tollendo Ponens (MTP): Su forma simblica es: AB ~A B
Su forma implicativa es: [(A B) ~ A] ~ B Silogismo Hipotetico (SH) Su forma simblica es: A B A B C C C
Su forma implicativa es: [(A B) ~ A] B Regla de la Simplificacin: (S) Su forma simblica es: AB AB B A Su forma implicativa es: (A B) B; (A B) A
Su forma implicativa es: [(A B) ( B C)] A Regla de la Conjuncin (A) Su forma simblica es:
A B AB
75
Lgica
Su forma implicativa es: [(AB) (A C) (B D)] Regla de Expansion: Su forma simblica es: A B A (A B) Su forma implicativa es: ( A B ) [ A (A B) ] Regla del Dilema Destructivo Su forma simblica es:
~C ~D A C B D ~A ~B (~A~B)
AB A C B D CD (C D)
Su forma implicativa es: [(AB) (A C) (B D)] Ley Bicondicional AB A B AB B A Ley de Morgan ~ (A B) ~A~B ~ (A B) ~ B ~A
Lgica
1) p q 2) ~ q r 3) ~ r 4) ~ q MTP 2) , 3) ~qr ~r ~q p q ~q ~p
5) ~ p Respuesta: b) ~p
MTT 1) , 4)
2. De las premisas:
~g e e k ~g k ~l ~l m m b
7) e
8) k
MPP 2) , 7)
9) ~ l
MPP 4) , 8)
k ~l k ~l ~l ~l m m
10) m
MPP 5) , 9)
77
Lgica
MPP 6) , 10)
m m b
Se infiere en: a) ~p b) ~r c) s 1) 2) 3) 4) d) p ~p q q ~r rs ~s ~r SH 1) , 2) ~p q q ~r ~ p ~r rs ~s r ~p r p ~r e) q
5) ~p
6) r
MTP 3) , 4)
7) p Respuesta: d) p
MTT 5) , 6)
4. El argumento es vlido: Si Juan es ms alto que Pedro, entonces Maria es ms baja que Juana. Maria no es mas baja que Juana. Si Juan y Luis tienen la misma estatura, entonces Juan es ms alto que Pedro. Por lo tanto, Juan y Luis no tienen la misma estatura. a) V b) F c) V F
d) No se puede Determinar e) N.A. p: q: r: Juan es ms alto que Pedro. Maria es ms baja que Juana Juan y Luis tienen la misma estatura
78
Lgica
~q r p ~r
// Si Juan es ms alto que Pedro, entonces Maria es ms baja que Juana // Maria no es mas baja que Juana // Si Juan y Luis tienen la misma estatura, entonces Juan es ms alto que Pedro // Por lo tanto, Juan y Luis no tienen la misma estatura. 1) p q 2) ~ q 3) r p 4) ~ p MTT 1), 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 conclusin que en el enunciado, se da por valido.
MTT 3), 4)
Si el reloj est adelantado, entonces Juan lleg antes de las diez y vio partir el coche de Andrs. Si Andrs dice la verdad, entonces Juan no vio partir el coche de Andrs. Andrs dice la verdad o estaba en el edificio en el momento del crimen. El reloj est adelantado. Por tanto, Andrs 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.A. El reloj est adelantado. Juan lleg antes de las diez Juan vio partir el coche de Andrs Andrs dice la verdad Andrs estaba en el edificio en el momento del crimen
p s st
(qr) ~r
// Si el reloj est adelantado, entonces Juan lleg antes de las diez y vio partir el coche de Andrs // Si Andrs dice la verdad, entonces Juan no vio partir el coche de Andrs // Andrs dice la verdad o estaba en el edificio en el momento del crimen 79
Lgica
p t
// El reloj est adelantado // Por tanto, Andrs estaba en el edificio en el momento del crimen. 1) 2) 3) 4) p (qr) s ~r st p MPP 1), 4) p (qr) p (qr)
Para determinar la validez del enunciado se infiere las premisas y de llegar a la misma conclusin que en el enunciado, se da por valido.
5) q r
6) r 7) ~ s
8) t
MTP 3), 7)
Respuesta: a) V 11.3. EJERCICIOS PROPUESTOS 1. 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. De las premisas:
80
Lgica
(~ A B) (~ A d) ~B e) N.A.
E) ~E
Por aplicacin de las reglas de inferencia se concluye en: i. B ii. B C iii. ~B iv. ~A v. C
6. El argumento es vlido: Si la ballena es un mamfero entonces toma oxigeno del aire. Si toma su oxigeno del aire, entonces no necesita branquias. La ballena es un mamfero y vive en el ocano. Por tanto, no necesita branquias. a) V b) F c) V F d) No se puede Determinar e) N.A.
7. De las premisas: Siempre que llegas tarde, tus maestros se enojan. Cada vez que tus maestros se enojan luego te llaman la atencin. Inferimos: i. ii. iii. iv. v. No llegas tarde o bien te llaman la atencin Es falso que si llegas tarde, te llamen la atencin llegas tarde y no te llaman la atencin Si no le llaman la atencin, no llegas tarde Te llaman la atencin o no llegas tarde.
Son correctas: a) i, ii, iii b) ii, iii, iv c) iii, iv, v d) i, iii, v e) i, iv, v
81
Lgica
8. De las premisas:
P ~T S T SQ (Q P)
Se concluye: a) U b) T c) S d) ~ Q e) N.A.
9. De las premisas:
~R S S (P Q) R T ~T
Se concluye: a) R b) T c) Q d) ~ Q e) N.A.
10. Determinar la validez del siguiente argumento: Si la enmienda no fue aprobada entonces la Constitucin queda como estaba. Si la Constitucin queda como estaba entonces no podemos aadir nuevos miembros al comit. Podemos aadir nuevos miembros al comit o el informe se retrasar un mes. Pero el informe no se retrasar un mes. Por lo tanto la enmienda fue aprobada a) V b) F c) V F d) No se puede Determinar e) N.A.
11. Determinar la validez del siguiente argumento: Si Toms tiene diecisiete aos, entonces Toms tiene la misma edad que Juana. Si Joaqun tiene distinta edad que Toms, entonces Joaqun tiene distinta edad que Juana. Tomas tiene diecisiete aos y Joaqun tiene la misma edad que Juana. Por tanto, Joaqun tiene la misma edad que Toms y Toms la misma edad que Juana. a) V b) F c) V F d) No se puede Determinar e) N.A. p q pq
d) ~ q
e) s 82
Lgica
13. De las premisas: En el Per no hay estabilidad o no hay empleo. Pero 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. N.A.
14. El argumento es vlido: Si A gan la carrera, entonces B fue el segundo o C fue el segundo. Si B fue el segundo, entonces A no gan la carrera. Si D fue el segundo, entonces C no fue el segundo. A no gan la carrera. Entonces, D no fue el segundo. a) V b) F c) V F d) No se puede Determinar e) N.A.
83
Lgica
CLAVE DE RESPUESTAS
I. La Lgica Proposicional 1. 2. 3. 4. 5. 6. 7. c) e) b) c) b) c) c) IV. II. Los Principios Lgicos y Leyes Lgicas 1. 2. 3. 4. 5. 6. 7. c) b) b) e) b) c) c)
Equivalencias lgicas: 1. 2. 3. 4. 5. 6. e) e) e) d) c) d)
84
Lgica
IX. Cuantificadores - Formalizacin de X. Predicados 1. a) 2. e) 3. e) 4. b) 5. d) 6. a) 7. b) 8. b) 9. a) 10. b) 11. a) 12. c) 13. d) 14. a) 15. a) XI. Reglas de Inferencia 1. a) 2. b) 3. c) 4. a) 5. b) 6. a) 7. e) 8. a) 9. c) 10. a) 11. a)
85
Lgica
BIBLIOGRAFIA
Introduccin a la Lgica. Bernardo Rea Ravello. 2003. Tercera Edicin. Editorial Mantaro. Lima. Per. Introduccin a la Lgica. Alejandro Chavez Noriega.. 1995. Segunda Edicin. Editorial Mantaro. Lima. Per. Lgica. Luis Piscoya Hermoza.. 1997. Primera Edicin. Editorial UNMSN. Lima. Per.
86
Lgica
INDICE
I. LA LGICA 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.1. Tablas de Verdad de las Operaciones Lgicas 1.2. Ejercicios Resueltos 1.3. Ejercicios Propuestos II. 2.1. 2.2. 2.3. 2.4. LOS PRINCIPIOS LGICOS Y LEYES LGICAS Principios Lgicos Clsicos Leyes Equivalentes O Equivalencias Notables Ejercicios Resueltos Ejercicios Propuestos
III. CIRCUITOS LGICOS 3.1 3.2 3.3 IV Tipos de Circuitos Ejercicios Resueltos Ejercicios Propuestos CIRCUITOS CON COMPUERTAS LOGICAS
5.1. Ejercicios Resueltos 5.2. Ejercicios Propuestos VI. FORMALIZACIN Y TRADUCCIN PROPOSICIONAL
6.1. Ejercicios Resueltos 6.2. Ejercicios Propuestos VII. EQUIVALENCIAS NOTABLES 7.1. Ejercicios Resueltos 7.2. Ejercicios Propuestos
87
Lgica
VIII. LGICA CUANTIFICACIONAL 8.1. 8.2. 8.3. 8.4. 8.5. 8.6. IX. 9.1. 9.2. 9.3. 9.4. X. Cuantificadores Lgicos: Una Variable Ejercicios Resueltos (Una Variable) Ejercicios Propuestos (Una Variable) Cuantificadores Lgicos: Dos Variables Ejercicios Resueltos (Dos Variables) Ejercicios Propuestos (Dos Variables) CUANTIFICADORES - FORMALIZACIN DE PREDICADOS Formas Tpicas de las Proposiciones Categricas Inferencias Inmediatas Ejercicios Resueltos Ejercicios Propuestos INFERENCIA LGICA
50 50 50 53 55 55 58 60 60 60 60 64 68 68 68 72 74 74 75 79 83 85 86
10.1. La Inferencia 10.2. Ejercicios Resueltos 10.3. Ejercicios Propuestos XI. REGLAS DE INFERENCIA
11.1. Leyes De Implicacin O Reglas De Inferencia 11.2. Ejercicios Resueltos 11.3. Ejercicios Propuestos CLAVE DE RESPUESTAS BIBLIOGRAFA INDICE
88