Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica y Circuitos Logicosos1 PDF
Logica y Circuitos Logicosos1 PDF
J O R G E B AS A D R E G R O H M A N N
CENTRO PREUNIVERSITARIO
Razonamiento
Lgico
Lic. Jorge Lozano Cervera
TACNA - PERU
Universidad Nacional Jorge Basadre Grohmann Lgica
I.
LA LGICA PROPOSICIONAL
Negacin: Conjuncin:
p ~p p q pq
V F V V V
F V V F F
F V F
F F F
p q pq p q pq
V V V V V F
V F V V F V
F V V F V V
F F F F F F
Condicional: Bicondicional:
p q Pq p q Pq
V V V V V V
V F F V F F
F V V F V F
F F V F F V
(p ~q) V (r ~s) F
VV V V F F
pV rV
~q V ~s F
qF sV
Respuesta: a) FVVV
i. (~p ~q) ~q
ii. (~r q) [(~q r) s ]
iii. (pq) [(p q) ~q]
Son respectivamente
pV ~r V
~q F rF
qV sF
i. ~(p ~q)
ii. (p q) ~ s
iii. s (q p)
~(p q) V
~ F V
(p q) F
(F F) V
pF qF
a) p q b) p q c) p d) q e) p q
p q p#q p # (p # q) pq pq pq
V V V V V V V V V
V F V V V V V F F
F V F F V F V F V
F F V F F V F F V Respuesta: a) p q
a) V b) F c) w d) r e) w p
(p ~ q) V (r s) V ~s V
(V ~V) V sF
(V V) V rF
pV
~qV (F F) V
qF
Si w = V Si w = F
[ V ] V V [ F ] V V
V V F V
V F
Respuesta: c) w
i. ~ q (~p ~q)
ii. [(r ~ p) (q p)] r
iii. [(q (p q))] (q ~p).
i. ~ (A ~B) C
ii. ~ (A ~B ) ~ (~C ~D)
iii. (~A C) (B ~C)
iv. (A B) ~C
v. (~A ~B) ~C.
Son verdaderas:
i. (p q) (~p ~q)
ii. (p q) (p r)
iii. (p q) r
i. (p s) q
ii. (t q) p
iii. (s t) r
i. p[x(rs)]
ii. (qry)s
iii. (qx)(ys)
iv. ( s x ) ( y ~r )
i. (p q) (~p ~q)
ii. (p q) ( p r s)
iii. (p q) r
i. (3 + 5 = 8) (5 - 3 = 4)
ii. (3 - 5 = 8) (1 - 7 = 6)
iii. (3 + 8 = 11) (7 4 > 1)
iv. (4 + 6 = 9) (5 - 2 = 4)
Son respectivamente:
i. ( ~p t ) s
ii. ~ [p ( ~q ~p ) ]
iii. ~p (q ~t)
i. ( p * q ) q
ii. ~ ( p * q ) p
iii. ( p * q ) ( q * p )
i. p q
ii. t q
iii. ~q ( t p )
i. (r s) (s t)
ii. (r s) (t s)
iii. [(r s) t] [r (s t)]
II.
5. La idempotencia: a) p p p;
b) p p p;
7. Leyes asociativas: a) (p q) r p (q r)
b) (p q) r p (q r)
c) (p q) r p (q r)
8. Leyes distributivas: a) r (p q) (r q) (r q)
b) r (p q) (r p) (r q)
c) p (q r) (p q) (p r)
d) p (q r) (p q) (p r)
a) ~p q b) ~ p c) p ~q d) ~q e) N.A.
Respuesta: d) ~q
2. Simplificar: ~ [ ~ ( ~ p q) p] q
a) p ~q b) p q c) p d) ~q e) q
p q pq
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
p q pq (p q) q p ~q
V V V V V V V
V F V V V F V
F V F F F V F
F F V V V F V Respuesta: c) p ~q
p q pq
V V F
V F V
F V F
F F V
a) ~p b) ~ q c) p d) V e) p q
p q pq (p ~q) (~p q) p p
V V F V V F V V
V F V F V V V V
F V F V V F F F
F F V F V V F F Respuesta: c) p
a) p b) q c) ~p d) V e) F
[ (~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 Respuesta: d) V
p q pq p*q
V V F F
V F V F
F V V F
F F V V
a) p b) q c) p ~q d) p q e) p ~p
a) p q b) p q c) p d) ~q e) q
a) p ~q b) p q c) p d) ~p e) q
p q p#q
V V F
V F V
F V F
F F F
a) ~p b) F c) p ~q d) V e) p q
p q pq
V V V
V F V
F V F
F F V
a) ~p b) ~ q c) p q d) p q e) p q
a) p q b) p ~ q c) ~p q d) p q e) N.A.
6. Simplificar: [ ( ~ p q) (~ s s ) ] ~q
a) p b) ~p c) ~q d) p q e) N.A.
a) p b) ~p c) V d) F e) N.A.
8. Simplificar el esquema: (~ p q) (q p)
a) p q b) ~ p c) p ~q d) ~ q e) ~ (p q)
9. Simplificar: [( ~p q) (r ~r)] ~q
a) ~p q b) ~ p c) p ~q d) ~ q e) N.A.
a) ~p q b) ~ p q c) p q d) p ~q e) N.A.
a) p b)q c) ~ p d) p q e) p q
a) p b) q c) p ~q d) p q e) p q
a) p q b) q c) p ~q d) p q e) ~ (p q)
Simplificar: ~ [(p * q) p ~ q]
a) p b) q c) p q d) p q e) (p q)
III.
CIRCUITOS LGICOS
Se representa: p q
: pq p q pq
1 1 1
1 0 0
0 1 0
0 0 0
p p q pq
q 1 1 1
Se representa: : pq
1 0 1
0 1 1
0 0 0
~p q
q
~q
p
p
a) p b) q c) ~ p d) p q e) ~q
Respuesta: a) p
p
p q p q ~p q
a) b) c) d) e)
p q
p q q r p q r
a) b) c) d) e)
p q
Respuesta: a)
~p ~q p
p p
q
q ~p
Es:
a) p q b) p q c) p ~q d) ~p ~q e) p r
Respuesta: a) p q
A ~B
~A
B
i. [(A ~B) A] B
ii. [(A B) A] B
iii. [(A ~B) ~A] B
iv. B [(A ~B) ~ A]
v. B [(A ~B) ~A ]
son correctas:
A A ~B
~B ~A
~A B
B
A ~B B
~A A ~B
B ~A
v. B [(A ~B) ~A ]
A ~B
B
~A
Respuesta: a) ii, iii, iv
6. Se tiene que:
~p
p r
q
q
r q
r
Respuesta: c) S/. 72
p
p
q q
~p
a) p q b) ~pq c) q d) ~(pq) e) p ~q
~p ~q
q p
p q ~p
~p
p q ~p p q ~q
a) b) c) d) e)
p q
~q ~p p
p ~q ~q
q ~p
a) p q b) p q c) p ~q d) ~p q e) N.A.
~ (p q)
~ (p q) ~q
r
a) p b) ~p c) q d) ~q e) pq
5. Simplificar
p
q
q
p
~p q
a) p q b) pq c) p d) q e) N.A.
IV.
Las compuertas lgicas, son los distintos dispositivos que resumen la interconexin de
conmutadores para procesar las leyes lgicas y ejecutar clculos.
Las Compuertas lgicas son bloques de circuitos que producen seales de salida cuyas
entradas solo pueden tomar dos niveles distintos de tensin (1 = verdadero, 0 = falso)
~p
Negacin:
p p
NO
p
Conjuncin o producto: pq p
AND
p.q q
Disyuncin (inclusiva) o pq p
Suma:
OR p+q q
pq
Disyuncin (exclusiva) o p
Suma: pq+p q
q
XOR
pq + p q
pq~(pq)
Biimplicacion o negacin p
de la disyuncin exclusiva p.q + p . q
q
XNOR
p.q + pq
~ (p q) p.q p
Negacin conjuntor
NAND q
(p . q)
~( p q )
Negacin disyuntor p
p+q
NOR q
(p + q)
q a) p
b) q r
r
c) p q
d) q r
e) N.A.
Respuesta: b) q r
2. El circuito:
Equivale a:
A a) ~ [ ~ B ~ A ] B
b) ~ [ B (A B)]
B c) ~ ( ~A B )] B
d) todas
e) N.A.
a) ~ [ ~ B ~A ] B b) ~ [ B (A B)]
~ [ ~ ~ B ~A ] B ~ [ ~ B (A B)]
~ [ B ~A ] B ~ [ ~ B (~ A B)]
~ [~A B ] B [ B ~ (~ A B)]
~ (~ A B) B
c) ~ ( ~A B )] B Respuesta: d) todas
A a) B(AC)
B b) B(A+C)
C c) B(AC)
d) B(AC)
e) N.A.
Respuesta: a) B(AC)
4. Dada la compuerta:
A Equivale a
B a) (A B) (~A B)
b) (A B) ( ~ A B)
c) ~(~ A B)
d) (A B) ~B
e) (~A B)
Simplificando la expresin: ( ~A B ) ( A B )
[ ( ~A B ) ( ~ ~A ~ B ) ] ( A B )
[ ( ~A B ) (A ~ B ) ](AB)
[ ( ~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
A.B + A.B (~ A B ) ( A ~ B )
( ~ A B)
Respuesta: e) (~A B)
1. El circuito:
p Equivale a:
q a) p
r b) q
c) p q
d) q r
e) ~p
5. Simplificar:
A A
B
B a)
A
B
b)
C
D A
B
c)
A
B
d)
e) N.A.
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
i. p (q r )
ii. ~ p (q r)
iii. ~ q (~ p r )
Respuesta: d) i, iii
i. [ r (~p q)]
ii. [(~ p q) r ]
iii. ~ [(~q p) ~ r]
iv. ~[~(~p q) ~ r ]
v. ~ [~r (~q p)]
Son ciertas:
v. ~ [~ r ( ~q p )]
~ ~ r ~ ( ~q p )
r ( ~ ~q ~ p )
rq~p
~pqr Respuesta: a) todas
i. (~q ~p) r
ii. (~q ~p) ~ r
iii. ~r ~ (p q)
iv. ~r ~(~q ~p)
v. ~r ~ (q p)
Son ciertas:
v. ~ r ~ (q p)
~ ~ r ~ (q p)
r ~ (q p)
r ~ ( ~ q p)
r ( ~ ~ q ~ p)
r ( q ~ p)
(~pq)r Respuesta: c) i, iii, iv
a) ~ (p # q) b) ~p # q c) ~ (p # ~q) d) p # ~q e) N.A.
De las alternativas:
a) ~ (p # q) ~ ( p ~ q ) b) ~p # q ~p ~ q
~pq
Respuesta: c) ~ (p # ~q)
Centro Pre Universitario 31
Universidad Nacional Jorge Basadre Grohmann Lgica
a) ( ~p q ) ( q p )
b) ( ~p q ) ( ~q p )
c) ( ~p ~q ) ( q p )
d) todos
e) N.A.
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]
a) (~ p q) (q p) b) (~ 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)
c) (~ p ~ q) (q p)
(~ ~ p ~ ~ q) (~ q ~ p)
( p q) (~ q ~ p) Respuesta: b) (~ p q) (~ q p)
{ [ (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
{ [ (~ 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 Respuesta: a) {[(p ~q) r] ~s} t
a) ~(A ~B) ~C
b) (B ~A) ~C
c) ~(~B A) C
d) (~A B) ~C
e) N.A.
a) ~(A B) C
b) ~(A ~B) C
c) ~(B ~A) ~C
d) ~(B A) C
e) N.A.
Son ciertas:
i. (~p q) p
ii. (p q) (p q)
Centro Pre Universitario 33
Universidad Nacional Jorge Basadre Grohmann Lgica
iii. (~p q) p
i. p (pq)
ii. p(pq)
iii. p(pq)
iv. ~p~q
Se cumple:
a) (p r) ~q b) q (p r) c) p (p r)
d) r (p q) e) N.A.
P = ( pq ) ~ ( ~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.
8. La proposicin: ~ (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)
VI.
Dentro de los trminos del lenguaje natural que designan operadores proposicionales
tenemos:
Negador: ~ A
Conjuntor: A B
A pero B A tambin B
A sin embargo B A al igual que B
A incluso B No solo A tambin B
A tanto como B A no obstante B.
A as mismo B
Disyuntor: A B
Implicador: A B
Biimplicador: A B
a) [(p q) ~ q] p
b) [(p q) ~ q] p
c) [(p q) ~ q] p
d) [(p q) ~ q] p
e) N.A.
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)
Respuesta: c) (r s) (p q)
a) [(pq) (q r) ] (p r)
b) [(pq) (q r) ] (p r)
c) [(pq) (q r) ] (p r)
d) [(p q) (q r) ] (p r)
e) N.A.
Respuesta: c) [(pq) (q r) ] (p r)
(BC)
// Si Alondra depende de Brbara entonces tambin depende de
Clotilde
(B C)] (C D)
// ....... Y, si depende de Clotilde, depende de Dalia,
[ (B C) (C D) ] (DE)
// ........ mas, si depende de Dalia luego depende de Ernestina
[ (B C) (C D) ] (DE) (BE)
// ....... Por tanto, ya que alondra depende de Brbara en tal sentido
depende de Ernestina
1. Formalizar: Si luchas por triunfar, entonces triunfars, sin embargo no luchas por
triunfar.
a) p(q r)
b) (pq) ~p
c) p(q ~r)
d) (pq) (p q )
e) (pq) ~q
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.
a) (q r) ~p
b) (q ~r) p
c) p (q r)
d) p (q r)
e) 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) [(A B) (B C)] (A C)
b) [(A B) (B C)] (A C)
c) [(A B) (B C)] (A C)
d) [(A B) (B C)] (A C)
e) N.A.
7. Sean R p ~q; S ~p q
Expresar en trminos de p y q S es condicin suficiente para R:
a) q p b) p q c) p ~q d) q p e) ~p ~q
a) A ~B b) ~( ~A B) c) A ~B d) ~A ~B e) ~(A B)
a) ~(A B) ~A ~B
b) ~(A B) ~A ~B
c) ~(A B) (A B)
d) (~A ~B) ( ~A ~B)
e) (~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:
11. La proposicin Alex ingresar a la UNJBG, siempre que y slo cuando Felipe,
Miguel adems Ral no sean postulantes, se formaliza:
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) (A B) (A B) b) (A B) C c) (A B) (A B)
d) (A B) C e) N.A.
VII.
EQUIVALENCIAS NOTABLES:
i. El len no es domestico
ii. El len no es mamfero
iii. Es objetable decir que, el len sea mamfero
iv. El len es mamfero o adems vertebrado
v. No es innegable que, el len sea mamfero
p: El len es un mamfero.
i. El len no es domestico: ~q
Definimos q: El len es domestico
a) Ni ro ni estoy tranquilo
b) No estoy tranquilo salvo que reniegue
c) Ro porque estoy tranquilo
d) No ro salvo que est tranquilo
e) N.A.
(pq)(qr) (pr)
( p r ) ( ~p r )
a) La televisin es antinacional
b) Es falso que la televisin no sea antinacional
c) No es verdad que la televisin sea antinacional y alienante
d) Todas
e) La televisin es alienante.
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:
pq (p q) (~p ~q)
[ (p q) ~p ] [ (p q) ~q ]
( q ~p ) ( p ~q )
( q ~p ) ( p ~q ) [ ( q ~p ) p ] [ ( q ~p ) ~q ]
[ ( q p ] [~p ~q ]
i:
p~q // Tienen los cetceos crneo y no son vertebrados.
~p~q // ni son vertebrados ni tiene crneo
(p ~ q ) ( ~ p ~ q ) // ......, a menos que, ......
ii:
(p ~ q ) // Tienen crneo o no son vertebrados
(q~p) // son vertebrados o no tiene crneo.
(p ~ q ) ( q ~ p ) // ...... , as como, .......
iii:
(p q ) // Si tiene crneo, son vertebrados
(qp) // si son vertebrados, tienen crneo.
(p q ) ( q p ) // ......; tal como; ......
iv:
( q ~p ) // Los cetceos son vertebrados o no tienen crneo
p ~q ) // tienen crneo o no son vertebrados.
( q ~p ) ( p ~q ) // ...... , as como, .......
v:
q~p // Los cetceos son vertebrados y no tiene crneo.
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) 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.
Son ciertas:
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:
Son ciertas:
Son ciertas:
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.
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:
Son ciertas:
VIII.
LGICA CUANTIFICACIONAL
Tambin llamados Cuantores son los smbolos que determinan la cantidad de una
proposicin categrica y son de dos tipos:
EQUIVALENCIAS LOGICAS
~ (x(Px)) x(~Px)
~ (x(Px)) x(~Px)
x(Px) ~[x(~Px)]
~(x(~Px)) x(Px)
p: x N: x > x
q: x Z: x + 1 > x
r: x R: x = x
p: x N: x > x q. x Z: x + 1 > x
~p : ~ [ x N: x > x ] ~q . ~ [ x Z: x + 1 > x ]
~p : x N: ~( x > x ) ~q . x Z: ~( x + 1 > x )
~p : x N: x x ~q . x Z: x + 1 x
x = 1 N 1 1 x = -5 Z: -5 + 1 -5
V - 4 -5
F
r: x R: x = x
~ r : ~ [ x R: x = x ]
~ r : x R: ~( x = x)
~ r : x R: x x
x = 1 R 1 1
F Respuesta: d) VFF
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
p: ~ { x Q, x + 2 > 0} q: x N: 3x + 3x + 1 + 3x + 2 = 117
x Q, ~ (x + 2 > 0)
x Q, x + 2 0 x=2: 32 + 32 + 1 + 32 + 2 = 117
32 + 33 + 34 = 117
x = - 4/2 Q (- 4/2) + 2 0 9 + 27 + 81 = 117
-2+20 117 = 117
V V
r: x Z, x/x = 1 (p q) r
(V V) F
x = 0 Z x / x = 1 (Indeterminado) F
F
Respuesta: a) F
p: 2 es nmero impar
q: x A = {1, 2, 3}, x + 1 > 1
r: x B = {2, 4, 6}, x = 9
r: x B = {2, 4, 6}, x = 9 (~ p q) (q ~ r)
x B = {2, 4, 6}, x = 3 (~ F V) (V ~ F)
F (V V) (V V)
(F) (F)
V
Respuesta: b) V
i. (x R, | x |= x) ( x R, x+1>x)
ii. ~ x R, x x
iii. ~[x N, | x | 0].
x = -3 R [ | -3 | = 3 ] [ -3 + 1 > -3 ] x=1 1 1
[ | -3 | = 3 ] [ -2 > -3 ] F
F V
F
iii. ~ [x N, | x | 0].
x N, ~ [ | x | 0].
x N, | x | = 0].
x = 0 N |0|=0
0 =0
V Respuesta: c) FFV
p: {xQ / 1 + x > 0}
2
q: { x I / x + 0 = }
r: { xR / x + 1 = 0}
Hallar el valor de: [(pq) r ] ~q
a) F b) V c) Tautologa d) Contradiccin e) V F
p: {xQ / 1 + x > 0} q: { x I / x + 0 = }
2
x Q / x > 1 x=I +0=
2
V
x = -1/5 Q 1 >1
5 2
1 < 1
5 2
F
r: { xR / x + 1 = 0} [ (pq) r ] ~q
x R / x = -1 [ (FV) F ] ~V
[V F]F
x = 5 R 5 = -1 [ F ]F
F V
i. x A: x + 3 < 12
ii. x A: x + 3 < 12
x
iii. x A: x + 1 > 0
i. n A : n 40
ii. m A : m > 40
iii. n A : n 25
p: x A, x+3>2 x+1<7
q: x A: x+1=5x~2=1
r: x A: x+2>0
4. S :
P(n): n N: n = n
Q(x): 2x + 1 > 8; A = {1, 2, 3, 4}
i. ~ [x / x = 4]
ii. ~ [x / x + 1>3 ]
iii. ~ [x / x + 2 = 5]
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 }
P: x Z: (4x + 2) (3x - 7) = 0
Q: x Z: (x2 2) (x -1) < 0
R: x Z: (4x + 2) (3x 7) = 0
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
i. x, y: x < y +1
ii. x, y: x + y < 12
iii. x, y: x + y< 12
x = 1; y = 2 1 < 2 +1 x = 2; y = 3 2 + 3 < 12
1<3 4 + 9 < 12
V F
iii. x, y: x + y< 12
y=1 x + 1 < 12
x < 11
V Respuesta: d) VFV
i. x, y [(x + y) = x+ y]
ii. x, y [(x + y) = x + y]
iii. x, y { xy = 0}
x = 1; y = 2 [ (1 + 2) = 1+ 2 ] y=0 [ (x + 0) = x + 0 ]
9 = 1+ 4 x = x
F V
iii. x, y { xy = 0}
y=0 x.0 = 0
0 =0
V Respuesta: e) FVV
i. x, y { y 2x}
ii. y, x { y 2x}
a) FV b) FF c) VF d) VV e) N.A.
y=0 0 2x x=0 y 20
V y1
F Respuesta: c) VF
i. x, y: x y
ii. y, x: x + y < 9
iii. x, y: x + y > 128
i. x, y: x y ii. y, x: x + y < 9
y=0 x0 x = 0; y = 2 0 + 2 < 9
V 4 < 9
V
iii. x, y: x + y > 128
x = 0; y = 2 0 + 2 > 128
4 > 128
F Respuesta: c) VVF
i. x B, y A: x - y A
ii. x, y A: x + y > z, z B
a) FV b) FF c) VF d) VV e) N.A.
i. x B, y A: x - y A ii. x, y A: x + y > z, z B
y = 1; x = 8 8-1A x = 4; y = 3 4 + 3 > z, z B
7 A 7 > z, z B
F F
Respuesta: b) FF
i. x, y: x y +2
ii. x, y: x + y < 5
iii. x, y: x + y 5.
i. x, y : x+ y > 5
ii. x, y : x+ y > 5
iii. x, y : x+ y > 5
iv. x, y : x+ y > 5
i. x, y: x+ 3y < 12
ii. x, y: x + 3y < 12
iii. x, y: x + 3y < 12
iv. x, y: x + 3y < 12
i. x, y : x + y < 7
ii. x, y: x + y > 7
iii. x, y x + y 8
iv. x: x + 3 > 6
i. x N, y R: x +1 > y > x
ii. x N, y R: y > x > (y ~ 1)
iii. x N, y R: x (y ~ 1)
iv. x N, y R: y + 1 x
i. x, y: (-x)(-y) = xy xy > 0
ii. x: (-1)x = 0
iii. x: x2/x = x
i. x: x+3<7
ii. x, y: x+y<7
iii. x: x+38
iv. x: x+3>6
i. x A, y B: 4x2 + y2 17
ii. x A, y B: 1 - x2/4 y + 1 < 2.
a) FV b) FF c) VV d) VF e) N.A.
i. x A, y A; y2 4(x + 1)
ii. x A, y A; (x -1)2 y
a) FV b) FF c) VV d) VF e) N.A.
IX.
Proposicion
Forma Lingstica Formalizacin Lgica
Categora
Todos los S
Universal Afirmativo x (Sx Px)
Son P
Ningn S
Universal Negativo x (Sx ~Px)
Es P
Participativo Afirmativo Algn S
x (Sx Px)
Es P
Algun S
Participativo Negativo x (Sx ~Px)
No es P
1 Variable 2 Variables
x ( Sx ) x (Sx Px)
~ x (~Sx) ~ x (Sx ~Px)
x (~Sx) x (Sx ~Px)
~ x (Sx) ~ x (Sx Px)
x (~Sx) x (Sx ~Px)
~ x (Sx) ~ x (Sx Px)
x (Sx) x (Sx Px)
~ x (~Sx) ~ x (Sx ~Px)
Respuesta: b) x (Bx)
x // Todo
~( Tx ) // Todo no es terrestre
Respuesta: a) x ~ ( Tx )
DOS PREDICADOS
Construimos el enunciado:
Simplificando: ~ [x ( Ax Sx ) ]
x ~ ( ~ Ax Sx )
x (Ax ~ Sx )
Construimos el enunciado:
Simplificando: x ( Ax ~Vx )
x ( ~ Ax ~Vx )
Construimos el enunciado:
Son correctas:
i. x ( ~ Ax Bx)
ii. ~ [x (Ax ~Bx)]
iii. ~ [x (Bx Ax)]
15. Si un seor afirma: que todos lo chips son hechos en Japn y yo estuviera en
desacuerdo, para defender mi posicin bastara con:
Son ciertas:
X.
INFERENCIA LGICA
10.1. LA INFERENCIA
P1 P2 .... Pn C
Respuesta: a) V
Respuesta: a) V
Construimos el enunciado:
~q // Carlos no va a la playa
~p // Entonces no llueve
Respuesta: a) F
Construimos el enunciado:
Construimos el enunciado:
Construimos el enunciado:
a) p F b) q F c) r F
XI.
REGLAS DE INFERENCIA
El objetivo es utilizar las reglas de inferencia de manera que conduzcan a otras formular
que se denominan conclusiones. El paso lgico de las premisas a la conclusin que se
obtiene se dice que es una consecuencia logica de las premisas si cada paso que se da
para llegar a la conclusin esta permitido por una regla. La idea de inferencia se puede
expresar de manera siguiente: de premisas verdaderas se obtiene solo conclusiones que
son verdaderas, es decir, si las premisas son verdaderas, entonces las conclusiones que
se derivan de ellas lgicamente, han de ser verdaderas.
AB AB ~ (A B) ~ (A B)
AB BA ~A~B ~ B ~A
a) p b) ~p c) q d) s e) N.A.
4) ~ q MTP 2) , 3) ~qr
~r
~q
5) ~ p MTT 1) , 4) pq
~q
Respuesta: b) ~p ~p
Se infiere deductivamente:
a) b b) ~ b c) q d) ~m e) N.A.
7) e MPP 1) , 3) ~ge
~g
e
8) k MPP 2) , 7) ek
e
k
9) ~ l MPP 4) , 8) k~l
k
~l
3. De las premisas: ~p q
q ~r
rs
~s
Se infiere en:
a) ~p b) ~r c) s d) p e) q
5) ~p ~r SH 1) , 2) ~pq
q~r
~ p ~r
6) r MTP 3) , 4) rs
~s
r
7) p MTT 5) , 6) ~p ~ r
r
Respuesta: d) p p
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.
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.
6) r Simplificacin 5) q r
r
8) t MTP 3), 7) st
~s
t
Respuesta: a) V
Se infiere deductivamente:
a) ~A b) ~B c)A d) D e) ~A ~B
Se infiere deductivamente:
a) a b) ~a c) b d) s e) N.A.
a) A b) ~ A c) B d) ~B e) N.A.
a) H b) ~ H c) G d) ~B e) N.A.
Son ciertas:
6. El argumento es vlido:
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:
Son correctas:
8. De las premisas: P ~T
ST
SQ
(Q P) U
Se concluye:
a) U b) T c) S d) ~ Q e) N.A.
9. De las premisas: ~R S
S (P Q)
RT
~T
Se concluye:
a) R b) T c) Q d) ~ Q e) N.A.
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.
Se infiere deductivamente:
a) p b) ~p c) q d) ~ q e) s
13. De las premisas: En el Per no hay estabilidad o no hay empleo. Pero hay empleo.
En consecuencia:
CLAVE DE RESPUESTAS
1. c) 1. b)
2. c) 2. b)
3. e) 3. d)
4. d) 4. e)
5. c) 5. b)
1. a)
2. b)
3. d)
4. b)
5. e)
1. d) 1. c)
2. e) 2. a)
3. e) 3. a)
4. b) 4. e)
5. e) 5. b)
1. a)
2. b)
3. c)
4. a)
5. b)
6. a)
7. e)
8. a)
9. c)
10. a)
11. a)
BIBLIOGRAFIA
Lgica. Luis Piscoya Hermoza.. 1997. Primera Edicin. Editorial UNMSN. Lima. Per.
INDICE
I. LA LGICA PROPOSICIONAL 1
V. EQUIVALENCIAS LGICAS 28
X. INFERENCIA LGICA 68
10.1. La Inferencia 68
10.2. Ejercicios Resueltos 68
10.3. Ejercicios Propuestos 72
CLAVE DE RESPUESTAS 83
BIBLIOGRAFA 85
INDICE 86