Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Razonamientologiconopw 110509205039 Phpapp02
Razonamientologiconopw 110509205039 Phpapp02
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
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
V
V
F
F
Disyuncin (Debil)
p
V
V
F
F
~p
F
V
q
V
F
V
F
q
V
F
V
F
Pq
V
F
V
V
q
V
F
V
F
pq
V
F
F
F
Disyuncin (Fuerte)
p
V
V
F
F
pq
V
V
V
F
Condicional:
p
V
V
F
F
Conjuncin:
q
V
F
V
F
pq
F
V
V
F
q
V
F
V
F
Pq
V
F
F
V
Bicondicional:
p
V
V
F
F
Lgica
b) VFVV c) VVFF
d) FVFF
e) VVVF
(p ~q) (r ~s) F
V F
F
(r ~s) F
V F F
(p ~q) V
VV V
rV
~s F
sV
pV
~q V
qF
Respuesta: a) FVVV
2. De la falsedad de la proposicin:
(p ~q) (~r s) se deduce que el valor de
verdad de los esquemas moleculares:
i. (~p ~q) ~q
ii. (~r q) [(~q r) s ]
iii. (pq) [(p q) ~q]
Son respectivamente
a) VFV
b) FFF
c) VVV
d) FFV
e) N.A.
(p ~q) F
V F F
(~r s) F
V FF
pV
~q F
qV
~r V
rF
sF
(~p ~q) ~q
(~V ~V) ~V
( F F) F
F F
F
ii.
(~r q) [(~q r) s ]
(~F V) [(~V F) F ]
( V V) [( F F) F ]
(V) [( F) F ]
(V) [F ]
F
3
iii.
Lgica
Respuesta: a) FFF
b) VFV
c) VVF
d) FFV
e) FFF
sV
s ~(p q) V
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
b) p q
c) p
d) q
e) p q
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
pq
V
V
V
F
pq
V
F
F
F
pq
V
F
V
V
Respuesta: a) p q
4
Lgica
5. Si el esquema:
[(p ~ q) (r s)] (~s r) es falsa, reducir:
[(w (p q )] (r s) p
a) V
b) F
c) w
d) r
e) w p
[(p ~ q) (r s)] V
V V V
(p ~ q) V
(V ~V) V
pV
~qV
qF
Al reducir el esquema
~s V
sF
rF
(r s) V
(V V) V
(F F) V
[(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
Si w = V
[ F ] V V
F V
F
[ V ] V V
V V
V
b) VFF
c) FVF
d) FFF
e) VVV.
5
Lgica
si
si
iii.
ii.
~ q (~p ~q)
~ q (~V ~q)
~ q (F ~q)
q=V
~ V (F ~V)
F (F F)
F (F)
V
[(r ~ p) (q p)] r
[(r ~ V) (q V)] r
[ (r F) (V) ] r
[ (r) (V) ] r
[ r ]r
Si r = V
[V]V=V
Si r = F
[F]F=V
q=F
~ F (F ~F)
V (F V)
V (V)
V
Respuesta: a) VVF
pqr
(p r) q
p (qr)
Son respectivamente
a) FFV b) VVF
c) VVV
d) FVF
e) FFF
Verdadera. Luego:
i. ~ (A ~B) C
ii. ~ (A ~B ) ~ (~C ~D)
iii. (~A C) (B ~C)
Centro Pre Universitario
Lgica
iv. (A B) ~C
v. (~A ~B) ~C.
Son verdaderas:
a) i, ii, iii
b) ii, iii, iv
c) ii, iii, v
d) i, iii, v
e) N.A.
b) VVVF
c) VFFV
d) VVFF
e) FVVF
b) slo ii
c) i, ii
d) i, iii
e) todas
b) Slo ii
c) i, ii
d) ii, iii
e) Ninguna
p[x(rs)]
(qry)s
(qx)(ys)
( s x ) ( y ~r )
a) VFFV
b) VVFF
c) VFFF
d) FVVF
e) N.A.
Lgica
b) solo ii
c) solo i, ii
e) en i, ii, iii
(3 + 5 = 8) (5 - 3 = 4)
(3 - 5 = 8) (1 - 7 = 6)
(3 + 8 = 11) (7 4 > 1)
(4 + 6 = 9) (5 - 2 = 4)
Son respectivamente:
a) VVVV
b) VVFV
c) VVFF
d) VFVF
e) N.A.
b) solo iii
c) solo iii
d) Todos
e) N.A.
i. ( p * q ) q
ii. ~ ( p * q ) p
iii. ( p * q ) ( q * p )
a) VFV
b) VFF
c) FFV
d) FFF
e) VVV
Lgica
iii. ~q ( t p )
a) VFV
b) VVF
c) FFV
d) FVF
e) VVV.
i. (r s) (s t)
ii. (r s) (t s)
iii. [(r s) t] [r (s t)]
a) VVV
b) FVV
c) VFV
d) VVF
e) FVF.
Lgica
II.
LOS PRINCIPIOS LGICOS Y LEYES LGICAS
Son esquemas tautolgicos, es decir, son frmulas formalmente verdaderas, ya que
estn en funcin al orden de sus componentes y no a los valores de los mismos,
constituyndose una de ellas en instrumentos para el anlisis de inferencias (formas
inferenciales) y otras se sustituyen por sus equivalentes (formas de equivalencias).
Un principio lgico es el fundamento de toda verdad lgica (tautologas). Aqu se
ubican los principios clsicos. En cambio una frmula es una ley lgica si y solo si
cualquiera sea la interpretacin formalmente correcta que se haga de la misma se
obtiene como resultado una verdad lgica, mientras que la regla lgica es una forma
vlida de razonamiento cuyo objetivo es la operatividad, permitiendo efectuar
operaciones para transformar una formula o derivar una consecuencia lgica.
2.1. PRINCIPIOS LGICOS CLSICOS
1. El principio de identidad:
2. El principio de no-contradiccin:
3. El tercio excluido:
pp;
pp
~(p ~p)
p ~p
a)
b)
p p p;
p p p;
6. Leyes conmutativas:
a)
b)
c)
pqqp
pqqp
ppqp
7. Leyes asociativas:
a)
b)
c)
(p q) r p (q r)
(p q) r p (q r)
(p q) r p (q r)
8. Leyes distributivas:
a)
b)
c)
d)
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
Lgica
9. Leyes de Morgan
a)
b)
~ (p q) (~p ~q)
~ (p q) (~p ~q)
a)
p q ~p q
b) ~ (p q) p ~q
a)
b)
p q (p q) (q p)
p q (p q) (~p ~q)
a)
b)
c)
d)
p (p q) p
p (~p q) p q
p (p q) p
p (~p q) p q
a)
b)
(p q) (~q ~p)
p q (~q ~p)
(p q) r p (q r)
V P P;
F P P;
FPF
VPV
T= Tautologa (Verdad),
C = Contradiccin (Falso),
P = Esquema Molecular Cualquiera
b) ~ p
c) p ~q
d) ~q
e) N.A.
[ ( ~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
Lgica
2. Simplificar: ~ [ ~ ( ~ p q) p] q
a) p ~q
b) p q
c) p
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: e) q
3. Si se define p q, por la tabla
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
q
V
F
V
F
pq
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
q
V
F
V
F
pq
F
V
F
V
b) ~ q
c) p
d) V
e) p q
12
Lgica
q
V
F
V
F
pq
F
V
F
V
(p ~q) (~p q) p
V
V
F
V
F
V
V
V
V
V
F F
F
V
V F
p
V
V
F
F
Respuesta: c) p
5. 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
Respuesta: d) V
q
V
F
V
F
pq
F
V
V
V
p*q
F
F
F
V
b) q
c) p ~q
d) p q
e) p ~p
q
V
F
V
F
p ~p
F
F
F
F
Respuesta: e) p ~p
13
Lgica
b) p q
c) p
d) ~q
e) q
b) p q
c) p
d) ~p
e) q
q
V
F
V
F
p#q
F
V
F
F
b) F
c) p ~q
d) V
e) p q
q
V
F
V
F
pq
V
V
F
V
b) ~ q
c) p q
d) p q
e) p q
b) p ~ q
c) ~p q
d) p q
e) N.A.
14
Lgica
6. Simplificar: [ ( ~ p q) (~ s s ) ] ~q
a) p
b) ~p
c) ~q
d) p q
e) N.A.
d) F
e) N.A.
b) ~p
c) V
8. Simplificar el esquema:
a) p q
b) ~ p
(~ p q) (q p)
c) p ~q
d) ~ q
e) ~ (p q)
d) ~ q
e) N.A.
9. Simplificar: [( ~p q) (r ~r)] ~q
a) ~p q
b) ~ p
c) p ~q
b) ~ p q
c) p q
b)q
12. Si: p * q ~p q
a) p
b) q
b) q
e) N.A.
[ ~ (p q) ~ (q p)] (p q)
c) ~ p
d) p q
e) p q
simplifique:
c) p ~q
d) p q
d) p ~q
e) p q
{ [p # (p # q)] q } ~p
c) p ~q
d) p q
e) ~ (p q)
q
V
F
V
F
p*q
F
F
V
F
15
Simplificar:
a) p
Lgica
~ [(p * q) p ~ q]
b) q
c) p q
d) p q
e) (p q)
16
Lgica
III.
CIRCUITOS LGICOS
Entre algunas aplicaciones de la lgica aparece la construccin de circuitos lgicos en la
Electrnica y al Ciberntica. Para cualquier formula proposicional podemos construir un
circuito elctrico basndose en 3 conectores u operadores: (, , ~). Los circuitos
elctricos estn formados por conmutadores o interruptores que son los rganos que
impiden o dejan pasar la corriente elctrica.
3.1
TIPOS DE CIRCUITOS
pq
p
1
1
0
0
q
1
0
1
0
pq
1
0
0
0
Se representa:
p
q
pq
p
1
1
0
0
q
1
0
1
0
pq
1
1
1
0
17
3.2
Lgica
EJERCICIOS RESUELTOS
q
q
~q
a) p
b) q
c) ~ p
d) p q
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
Respuesta: a) p
2. Seale el circuito equivalente a la proposicin:
a)
b)
Respuesta: a)
3. La proposicin:
c)
d)
~p
e)
p { q [ p (~p r) ] }
equivale al circuito:
p
a)
b)
c)
d)
e)
18
Respuesta: a)
Lgica
p { q [ p (~p r) ] }
p { q [ ~p (~p r) ] }
p { q [ ~p ] }
pq
~q
p
~p
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
Respuesta: a) p q
5. El siguiente circuito equivale a las formulas:
A
~B
~A
B
i.
ii.
iii.
iv.
v.
[(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
19
Lgica
[(A ~B) A] B
ii.
[(A B) A] B
~B
~B
~A
~A
iii.
iv.
B [(A ~B) ~ A]
~B
~A
v.
~B
~A
B [(A ~B) ~A ]
A
~B
~A
6. Se tiene que:
p
~p
q
q
r
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
[ p (~p q ) r ] [ r ( q r ) q ]
[(pq)r] [r(q)]
[(pq)r] [rq]
[ p ( q r) ] [ r q ]
[ p ( q r) ] ( r q )
rq
20
Lgica
S/ 12 * 2 = S/. 24
Respuesta: c) S/. 72
3.3
EJERCICIOS PROPUESTOS
~p
a) p q
b) ~pq
c) q
d) ~(pq)
e) p ~q
~q
~p
~p
a)
b)
c)
~p
d)
e)
~q
a) p q
~q
~p
~q
~p
b) p q
p
~q
c) p ~q
d) ~p q
e) N.A.
21
Lgica
~ (p
q)
q)
~q
a) p
b) ~p
c) q
d) ~q
e) pq
5. Simplificar
p
q
q
p
~p
a) p q
b) pq
c) p
d) q
e) N.A.
22
Lgica
IV.
CIRCUITOS CON COMPUERTAS LOGICAS
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)
Esta teora es la que permite el diseo de las computadoras y utilizaremos el sistema
ASA para representar circuitos lgicos mediante compuertas. Las operaciones o
funciones lgicas que participan en el diseo de compuertas son solo tres: La negacin,
la conjuncin ( incluyente o excluyente). Las dems formulas proposicionales son
representadas mediante sus equivalencias, y las entradas dependen del numero de
variables que participan en la formula directa a disear.
Funciones lgicas
Formas lgicas
Smbolo de compuerta
~p
Negacin:
NO
p
Conjuncin o producto:
AND
Disyuncin (inclusiva) o
Suma:
OR
pq
p.q
pq
p+q
pq
Disyuncin (exclusiva) o
Suma:
XOR
pq+p q
p
q
pq + p q
23
Lgica
pq~(pq)
Biimplicacion o negacin
de la disyuncin exclusiva
XNOR
p
q
p.q + p . q
p.q + pq
Negacin conjuntor
NAND
~ (p q)
p.q
(p . q)
p
q
~( p q )
Negacin disyuntor
NOR
p+q
(p + q)
Es:
a) p
b) q r
c) p q
d) q r
e) N.A.
Respuesta: b) q r
24
Lgica
2. El circuito:
Equivale a:
a) ~ [ ~ B ~ A ] B
b) ~ [ B (A B)]
c) ~ ( ~A B )] B
d) todas
e) N.A.
A
B
~(~AB)B
~ [ ~ B ~A ] B
~ [ ~ ~ B ~A ] B
~ [ B ~A ] B
~ [~A B ] B
b)
~ [ B (A B)]
~ [ ~ B (A B)]
~ [ ~ B (~ A B)]
[ B ~ (~ A B)]
~ (~ A B) B
c)
~ ( ~A B )] B
Respuesta: d) todas
A
B
C
a) B(AC)
b) B(A+C)
c) B(AC)
d) B(AC)
e) N.A.
[ ( A B ~ C ) (B ~ C ) ( ~ A B ) ]
25
4. Dada la compuerta:
A
B
Lgica
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 )
Simplificando la expresin:
( ~A B ) ( A B )
[ ( ~A B ) ( ~ ~A ~ B ) ] ( A B )
[ ( ~A B ) (A ~ B )
](AB)
(~ A B ) ( A ~ B )
( ~ A B)
Respuesta: e) (~A B)
4.2. EJERCICIOS PROPUESTOS
1. El circuito:
p
q
r
Equivale a:
a) p
b) q
c) p q
d) q r
e) ~p
26
a) p q
b) 1
c) p q
d) 0
e) N.A.
Lgica
a) BA+C
b) B+BC
c) A(BC)
d) B(A+C)
e) B+C+A
y
z
a) (xyz)
b) xyz
c) xyz
d) xyz
e) N.A.
5. Simplificar:
A
a)
b)
C
D
c)
d)
A
B
A
B
A
B
A
B
e) N.A.
27
Lgica
a) A.B.C.D
b) (A.B).C.D
c) A.B.C.D
d) 0
e) 1
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 ~ ( p ~q)
i. p (q r )
ii. ~ p (q r)
iii. ~ q (~ p r )
a) solo i
Ninguna
c) ii, iii
d) i, iii
e) todos
~ r ~ ( p ~q)
~~ r ~ ( p ~q)
r ~ ( p ~q)
r ( ~ p q)
r ~pq
p (q r )
~ p (q r )
r ~pq
ii:
~ p (q r)
(~ p q) (~ p r )
iii:
~ q (~ p r )
~ ~ q (~ p r )
q (~ p r )
q~pr
r ~pq
Respuesta: d) i, iii
2. La formula: [~ ( p ~q) r ]
i.
ii.
iii.
iv.
v.
equivale a:
[ r (~p q)]
[(~ p q) r ]
~ [(~q p) ~ r]
~[~(~p q) ~ r ]
~ [~r (~q p)]
29
Lgica
Son ciertas:
a) Todos
b) Ninguna
c) ii, iii, iv
d) i, ii, iv
e) iii, iv, v
[~ ( p ~q) r ]
~pqr
[ r (~p q) ]
r ~p q
~pqr
ii.
[(~ p q) r ]
~pqr
iii.
~ [(~ q p) ~ r]
~ (~ q p) r
(~ ~ q ~ p) r
q~pr
~pqr
iv.
~[~(~p q) ~ r ]
~[( p ~ q) ~ r ]
~ ( p ~ q) r
( ~ p q) r
~pq r
v.
~ [~ r ( ~q p )]
~ ~ r ~ ( ~q p )
r ( ~ ~q ~ p )
rq~p
~pqr
3. :Sea el esquema:
i.
ii.
iii.
iv.
v.
Respuesta: a) todas
[(p q) r]
(~q ~p) r
(~q ~p) ~ r
~r ~ (p q)
~r ~(~q ~p)
~r ~ (q p)
Son ciertas:
a) i, iii, v
b) ii, v
e) i, ii, iii
[(p q) r]
(~ p q ) r
~ (~ p q ) r
(~ ~ p ~ q ) r
(p~q)r
30
Lgica
(~q ~p) r
~ (~q ~p) r
~ (~ ~ q ~p) r
~ ( q ~p ) r
(~q~~p)r
(~qp)r
(p~q)r
ii.
(~q ~p) ~ r
~ (~q ~p) ~ r
~ (~ ~ q ~p) ~ r
~ ( q ~p) ~ r
(~qp)~r
(p~q)~r
iii.
~r ~ (p q)
~ ~ r ~ (p q)
r~(pq)
r~(~pq)
r(p~q)
(p~q)r
iv.
~ r ~(~q ~p)
~ r ~(~ ~ q ~p)
~ r ~( q ~p )
~ ~ r ~ ( q ~p )
r ~ ( q ~p )
r(~qp)
(p~q)r
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
b) ~p # q
c) ~ (p # ~q)
d) p # ~q
e) N.A.
p#qp~q
De las alternativas:
a)
~ (p # q) ~ ( p ~ q )
~pq
b)
~p # q
~p ~ q
c)
~ (p # ~q)
d)
p # ~q
(p~~q)
(pq)
~(p~~q)
~(pq)
~p~q
Respuesta: c) ~ (p # ~q)
Centro Pre Universitario
31
Lgica
~ (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]
(~ 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)
b)
(~ p q) (~ q p)
( ~ ~ p ~ q) (~ ~ q ~ p)
( p ~ q) ( q ~ p)
( p ~ q) ( q ~ p)
Respuesta: b) (~ p q) (~ q p)
32
{ [ ~ ( 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
Lgica
equivale a:
a) ~(A ~B) ~C
b) (B ~A) ~C
c) ~(~B A) C
d) (~A B) ~C
e) N.A.
2. :La formula: ~(A ~B) ~C,
equivale 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 q) (p ~p)
i.
ii.
iii.
iv.
v.
Son ciertas:
a) ii, iii
b) i, iv
c) ii, iv, v
d) i, iv, v
e) slo v
33
Lgica
iii. (~p q) p
Cules son lgicamente equivalentes:
a) i, ii
b) Ninguna
c) ii, iii
d) i, iii
e) todos
p (pq)
p(pq)
p(pq)
~p~q
Se cumple:
a) i, ii
b) iii, iv
c) ii, iii
6. La proposicin siguiente:
a) (p r) ~q
d) r (p q)
d) i, iv
e) todos
( p ~r ) [ ~q ~ (p r ) ]
b) q (p r)
e) N.A.
equivale a :
c) p (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)
34
Lgica
VI.
FORMALIZACIN Y TRADUCCIN PROPOSICIONAL
Formalizacin Proposicional es el procedimiento mediante el cual se identifican
proposiciones simples y estructuras lgicas proposicionales, asignndoles a cada uno un
determinado smbolo del lenguaje de lgica proposicional organizndolos con signos de
agrupacin.
Dentro de los trminos del lenguaje natural que designan operadores proposicionales
tenemos:
Negador: ~ A
Es negable que A
No ocurre que A
Es inadmisible
Es refutable A.
A pero B
A sin embargo B
A incluso B
A tanto como B
A as mismo B
A tambin B
A al igual que B
No solo A tambin B
A no obstante B.
Disyuntor: A B
Conjuntor: A B
Es falso que A
Es absurdo que A
Es mentira que A
Es inconcebible que A
A o tambin B
A o incluso B
A a no ser B
A y/o B
A o en todo caso B
A y bien o tambin B
A excepto que B
A a menos que B
A salvo que B
A alternativamente B
A o bien B
Implicador: A B
A implica a B
A por lo tanto B
A luego B
A consecuentemente B
Ya que A entonces B
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
A es equivalente a B
A es lo mismo que B
A implica y esta implicado por B
Solo si A entonces B.
p : Eres ingeniero
q : Eres matemtico
(p q)
// Eres Ingeniero o Matemtico.
[(p q) ~ q]
// ........ Pero no eres profesional en matemticas.
36
Lgica
(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[~q (~r ~s)]
b) (~pq) (~r ~s)
c) (~p~q) (~r ~s)
d) ~p[~q (~r ~s)
e) (~p~q) (~r ~s)
Del enunciado definimos:
Lgica
pq
~ (pq )
Simplificando la expresin:
~ (pq ) ~ ( ~ p q)
( p ~ q)
p : Me caigo
q : Me levanto
r : camino
pq
( pq ) ( qr )
( pr )
[ ( pq ) ( qr )] ( pr )
// Si caigo, me levanto
// ...... Si me levanto, camino.
// Ya que caigo bien se ve que camino
// ...... Por tanto ......
Respuesta: c) [(pq) (q r) ] (p r)
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)
38
Lgica
(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
p(q r)
(pq) ~p
p(q ~r)
(pq) (p q )
(pq) ~q
(B A) ~ ( ~B ~A)
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)
(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)] (A C)
[(A B) (B C)] (A C)
[(A B) (B C)] (A C)
[(A B) (B C)] (A C)
N.A.
40
Lgica
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
b) ~( ~A B)
c) A ~B
d) ~A ~B
e) ~(A B)
~(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
b) A (~B ~C ~D)
e) N.A.
c) A (B C ~D)
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)
a) (A B) (A B)
d) (A B) C
c) (A B) (A B)
42
Lgica
VII.
EQUIVALENCIAS NOTABLES:
Las equivalencias notables permiten realizar transformaciones, es decir, convertir unas
expresiones en otras, o unas formulas en otras
7.1. EJERCICIOS RESUELTOS
1. Dado el esquema: [( ~ p q) q ] (p q). Su equivalencia es:
a)
b)
c)
d)
e)
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)
Definiendo
p : Juan va al cine
q: Juan estudia
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
b) ii, iii, v
c) i,ii, v
d) ii, iii, iv
e) N.A.
43
Lgica
~p
~~p
~~~p
El len no es domestico:
Definimos
q: El len es domestico
~q
~p
~p
pr
~p
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
(pr)
( p 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.
pq
~~q
(pq)q
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
(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 ]
p~q
~p~q
(p ~ q ) ( ~ p ~ q )
(p ~ q )
(q~p)
(p ~ q ) ( q ~ p )
(p q )
(qp)
(p q ) ( q p )
( q ~p )
p ~q )
( q ~p ) ( p ~q )
ii:
iii:
iv:
46
Lgica
v:
q~p
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.
Son ciertas:
a) i, ii, iii
b) iii, iv, v
c) i, ii, v
d) i, ii
e) Todas
48
Lgica
b) ii, iii, iv
c) iii, iv, v
d) i, iv, v
e) i, ii, v.
Son ciertas:
a) i, ii, iii
b) iii, iv, v
c) i, ii, v
d) i, ii
e) todas
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
VIII.
LGICA CUANTIFICACIONAL
8.1. CUANTIFICADORES LGICOS
Una Variable
Tambin llamados Cuantores son los smbolos que determinan la cantidad de una
proposicin categrica y son de dos tipos:
Cuantificador Universal: x
(Universalizador o generalizador)
Para todo x
Para cada x
Para cualquier x
Cualquiera que sea x
Sean todos los x
Para cada una de las x.
Cuantificador Existencial: x
(Particulazador o existencializador)
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.
EQUIVALENCIAS LOGICAS
Equivalencias entre cuantificadores con un predicado (una variable).
~ (x(Px))
~ (x(Px))
x(Px)
~(x(~Px))
x(~Px)
x(~Px)
~[x(~Px)]
x(Px)
(Una Variable)
x N: x > x
x Z: x + 1 > x
x R: x = x
b) FVF
c) FVV
d) VFF
e) VVF
51
Lgica
q.
x N: x > x
~q . ~ [ x Z: x + 1 > x ]
~q . x Z: ~( x + 1 > x )
~q . x Z: x + 1 x
~p : ~ [ x N: x > x ]
~p : x N: ~( x > x )
~p : x N: x x
x = -5 Z: -5 + 1 -5
- 4 -5
F
x = 1 N 1 1
V
r:
x Z: x + 1 > x
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
b) V
c) Tautologa
d) Contradiccin
e) V F
~ { x Q, x + 2 > 0}
x Q, ~ (x + 2 > 0)
x Q, x + 2 0
x = - 4/2 Q
r:
(- 4/2) + 2 0
-2+20
V
x Z, x/x = 1
x = 0 Z x / x = 1 (Indeterminado)
F
Respuesta: a) F
Centro Pre Universitario
q:
x N: 3x + 3x + 1 + 3x + 2 = 117
x=2:
32 + 32 + 1 + 32 + 2 = 117
32 + 33 + 34 = 117
9 + 27 + 81 = 117
117 = 117
V
(p q) r
(V V) F
F
52
Lgica
2 es nmero impar
x A = {1, 2, 3}, x + 1 > 1
x B = {2, 4, 6}, x = 9
a) F
b) V
c) V F
2 es nmero impar
F
r:
x B = {2, 4, 6}, x = 9
x B = {2, 4, 6}, x = 3
F
q:
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.
(x R, | x | = x) (x R, x+1 > x)
x = -3 R
iii.
[ | -3 | = 3 ] [ -3 + 1 > -3 ]
[ | -3 | = 3 ] [ -2 > -3 ]
F
V
F
ii.
~ x R, x2 x
x=1
1 1
F
~ [x N, | x | 0].
x N, ~ [ | x | 0].
x N, | x | = 0].
x = 0 N
|0|=0
0 =0
V
Respuesta: c) FFV
53
Lgica
a) F
b) V
c) Tautologa
d) Contradiccin
e) V F
q:
{xQ / 1 + x > 0}
2
x Q / x > 1
x=I
x = -1/5 Q
1
1
{ x I / x + 0 = }
+0=
V
>1
2
< 1
F
r:
{ xR / x + 1 = 0}
x R / x = -1
x = 5 R
[ (pq) r ] ~q
[ (FV) F ] ~V
[V F]F
[
F ]F
V
5 = -1
F
x
iii. x A: x + 1 > 0
a) FFF
b) FVF
c) FFV
d) VVF
e) VFV
54
Lgica
iii. n A : n 25
a) FFF
b) FVF
c) FFV
d) VFF
e) VFV
x A,
x A:
x A:
a) FFF
4. S :
P(n):
Q(x):
x+3>2 x+1<7
x+1=5x~2=1
x+2>0
b) FVF
c) FFV
d) VFF
e) VFV
n N: n = n
2x + 1 > 8; A = {1, 2, 3, 4}
a) F
b) V
c) V F
b) FVF
c) FFV
d) VFF
e) N.A
b) FVF
c) FFV
d) VFF
e) VFV
x Z:
x Z:
(4x + 2) (3x - 7) = 0
(x2 2) (x -1) < 0
55
R:
x Z:
Lgica
(4x + 2) (3x 7) = 0
b) FVF
c) FFV
d) VFF
e) VFV
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)
b) FFF
c) VVF
d) VFV
e) FVF
56
Lgica
x = 1; y = 2
iii.
ii.
x < y +1
x, y:
x, y:
x + y < 12
x = 2; y = 3
1 < 2 +1
1<3
V
2 + 3 < 12
4 + 9 < 12
F
x + y< 12
x, y:
y=1
x + 1 < 12
x < 11
V
Respuesta: d) VFV
b) FFF
c) VVF
d) VVV
e) FVV
x = 1; y = 2
9
iii.
ii.
x, y [(x + y) = x+ y]
[ (1 + 2) = 1+ 2 ]
= 1+ 4
F
x, y [(x + y) = x + y]
y=0
[ (x + 0) = x + 0 ]
x
= x
V
x, y { xy = 0}
y=0
x.0 = 0
0 =0
V
Respuesta: e) FVV
b) FF
c) VF
d) VV
e) N.A.
57
Lgica
x, y { y 2x}
ii.
0 2x
V
y=0
y, x { y 2x}
y 20
y1
F
x=0
Respuesta: c) VF
b) FFF
c) VVF
d) VVV
e) FVF
x, y: x y
y=0
iii.
ii.
y, x: x + y < 9
x = 0; y = 2
x0
V
0 + 2 < 9
4
< 9
V
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.
x B, y A: x - y A
y = 1; x = 8
8-1A
7 A
F
ii.
x, y A: x + y > z, z B
x = 4; y = 3
4 + 3 > z, z B
7 > z, z B
F
Respuesta: b) FF
Centro Pre Universitario
58
Lgica
(Dos Variables)
b) VFF
c) VVF
d) VVV
e) FVF
x, y :
x, y :
x, y :
x, y :
x+ y > 5
x+ y > 5
x+ y > 5
x+ y > 5
Cuando:
x { 2, 3, 6, 7, 8};
a) FFVV
b) FFFV
d) VVVF e) VFVF
c) VVFF
x, y:
x, y:
x, y:
x, y:
a) FFVV
x+ 3y < 12
x + 3y < 12
x + 3y < 12
x + 3y < 12
b) FFFV
c) VVFF
d) VVVF e) VFVF
x, y : x + y < 7
x, y: x + y > 7
x, y x + y 8
x: x + 3 > 6
a) FFVV
b) VFFV
c) VVFF
d) VVVF e) N.A.
59
Lgica
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
a) FFVV
b) FFFV
c) VVFF
d) VVVF
e) VFVF
b) FFF
c) VVF
d) VVV
e) FVF
x:
x, y:
x:
x:
a) FFVV
x+3<7
x+y<7
x+38
x+3>6
b) FFFV
c) VVFF
b) FF
d) VVVF
B = { -1, 0, 1}
e) VFVF
4x2 + y2 17
1 - x2/4 y + 1 < 2.
c) VV
d) VF
e) N.A.
b) FF
c) VV
d) VF
e) N.A.
60
Lgica
IX.
CUANTIFICADORES - FORMALIZACIN DE PREDICADOS
9.1. FORMAS TPICAS DE LAS PROPOSICIONES CATEGRICAS
La lgica cuantificacional, predicativa o de los trminos (clases o conjuntos) es aquella
que permite hacer un anlisis ms profundo, refinado y riguroso que la lgica
proposicional. La razn bsica es que esta lgica permite el anlisis de la Cantidad y
Cualidad de las proposiciones llamadas categricas.
Proposicion
Categora
Forma Lingstica
Formalizacin Lgica
Universal Afirmativo
Todos los S
Son P
x (Sx Px)
Universal Negativo
Ningn S
Es P
x (Sx ~Px)
Algn S
Es P
x (Sx Px)
Algun S
No es P
x (Sx ~Px)
Participativo Afirmativo
Participativo Negativo
2 Variables
x ( Sx )
~ x (~Sx)
x (Sx Px)
~ x (Sx ~Px)
x (~Sx)
~ x (Sx)
x (Sx ~Px)
~ x (Sx Px)
x (~Sx)
~ x (Sx)
x (Sx ~Px)
~ x (Sx Px)
x
(Sx)
~ x (~Sx)
x (Sx Px)
~ x (Sx ~Px)
b) x (Bx)
c) Bx
d) ~ x (Bx)
e) N.A.
61
Lgica
x
(Bx)
x (Bx)
Respuesta: b) x (Bx)
2. El enunciado: Todo no es terrestre, se formaliza:
a) x ~(Tx) b) ~x (Tx)
c) Tx
d) ~ x (Tx)
e) ~x ~(Tx)
x
~( Tx )
// Todo
// Todo no es terrestre
x ~ ( Tx )
Respuesta: a) x ~ ( Tx )
3. La formula: x (~ Ax), se traduce:
a)
b)
c)
d)
e)
Ax : Es Lgico
62
Lgica
DOS PREDICADOS
4. El enunciado: Es falso que todo argentino sea sudamericano es equivalente a:
a)
b)
c)
d)
e)
Ax : Es argentino
Sx : Es sudamericano
Construimos el enunciado:
x ( Ax Sx )
// Todo argentino es sudamericano
~ [x ( Ax Sx ) ] // Es falso que ....
Simplificando:
~ [x ( Ax Sx ) ]
x ~ ( ~ Ax Sx )
x
(Ax ~ Sx )
Ax : Es aracnido
Vx : Es vertebrado
Construimos el enunciado:
x ( Ax ~Vx )
Simplificando:
Lgica
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)
Lx : Es leal
Fx : Es fiel
Construimos el enunciado:
x ( ~ Lx ~Fx )
64
Lgica
b) x (Mx)
c) Mx
d) ~ x (Mx)
e) N.A.
b) x (Ox)
c) Ox
d) ~ x (Ox)
e) N.A.
b) ~x (Dx)
c) Dx
d) ~ x (Dx)
e) N.A.
c) Fx
d) ~ x (Fx)
e) ~x (~Fx)
b) x (Px Qx)
e) N.A.
c) x Px
b) x (Px ~ Qx)
e) N.A.
c) x Bx
65
Lgica
b) x (Nx ~ Fx)
e) N.A.
c) x ( ~Nx Fx)
b) x (Px ~ Ax)
e) N.A.
c) x (Ax Px)
b) i, iii
c) ii, iii
d) Todas
e) N.A.
b) ~ x (Bx Ax)
e) N.A.
c) ~ [x (Bx ~ Ax)]
Son correctas:
a) i, ii, iii
b) ii, iii, iv
c) iii, iv, v
d) Todas
e) N.A.
66
Lgica
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)
b) x (Ex ~ Hx)
e) N.A.
c) x (Ex ~ Hx)
b) ~ x (Bx Ax)
e)N.A.
c) ~ [x ( ~Ax ~Bx )]
67
Lgica
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
V F
V F
V V
V V
69
Lgica
a) V
b) F
r~t
s
sr
~t
c) V F
d) No se puede determinar
e) N.A.
[(r~t)(s)(sr)](~t)
~[(r~t)(s)(sr)](~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 : Hoy llueve
q : Carlos va a la playa
Construimos el enunciado:
~pq
70
~q
~p
Lgica
// Carlos no va a la playa
// Entonces no llueve
[(~pq)~q]~p
[(~pq)~q]~p
~[(~pq)~q]~p
~[(pq)~q]~p
~[~pq]~p
[p~q]~p
~q~p
p : Ingresas
q : Seras ingeniero
r : Eres gerente
Construimos el enunciado:
pq
~r~q
pq
qr
71
Lgica
b) F
c) V F
d) No se puede determinar
e) N.A.
p : Estudio
q : Desapruebo matemticas
r : Voy a nadar
Construimos el enunciado:
p~q
~rp
q
r
[(p~q)(~rp)(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
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
p : El bebe
q : El Fuma
r : El come
Construimos el enunciado:
pq
~p~r
~qr
// Si l bebe, fuma
// Si no bebe entonces no come
// Por tanto:
Si no fuma, come
72
Lgica
[(pq)(~p~r)](~qr)
~[(~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
b)
d)
q~r
F~F
FV
F
e)
c)
~pr
~FF
VF
V
b) F
b) F
a) V
b) F
[(~ p q) q ] ~ p
c) V F
d) No se puede determinar
e) N.A.
[( p ~ q) q ] p
c) V F
d) No se puede determinar
e) N.A.
d) No se puede determinar
e) N.A.
gh
~gf
~h
f
c) V F
73
a) V
b) F
Lgica
d) No se puede determinar
e) N.A.
b) F
c) V F
a) V
b) F
d) No se puede determinar
e) N.A.
pq
~pq
~q
c) V F
d) No se puede determinar
e) N.A.
b) F
c) V F
d) No se puede determinar
e) N.A.
b) F
c) V F
d) No se puede determinar
e) N.A.
74
Lgica
XI.
REGLAS DE INFERENCIA
11.1. LEYES DE IMPLICACIN O 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.
A B
A
B
AB
~A
B
AB
BC
AC
AB
~B
~A
A
B
AB
75
Regla de la adicin:
Su forma simblica es:
A
AB
Regla de Expansion:
Regla de la adicin:
A
AB
AB
AC
BD
CD
Ley Bicondicional
AB
AB
~C ~D
AC
BD
~A ~B
AB
AC
BD
CD
Lgica
AB
BA
Ley de Morgan
~ (A B)
~A~B
~ (A B)
~ B ~A
pq
~qr
~r
Se infiere deductivamente:
a) p
b) ~p
c) q
d) s
e) N.A.
76
Lgica
1) p q
2) ~ q r
3) ~ r
4) ~ q
MTP 2) , 3)
~qr
~r
~q
5) ~ p
MTT 1) , 4)
pq
~q
~p
Respuesta: b) ~p
2. De las premisas:
~ge
ek
~g
k ~l
~lm
mb
Se infiere deductivamente:
a) b
b) ~ b
c) q
d) ~m
1)
2)
3)
4)
5)
6)
e) N.A.
~ge
ek
~g
k~l
~lm
mb
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
10) m
MPP 5) , 9)
~lm
~l
m
77
11) b
Lgica
MPP 6) , 10)
Respuesta: b) b
3. De las premisas:
mb
m
b
~p q
q ~r
rs
~s
Se infiere en:
a) ~p
b) ~r
c) s
d) p
1)
2)
3)
4)
e) q
~p q
q ~r
rs
~s
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
p
Respuesta: d) 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.
a) V
b) F
c) V F
p:
q:
r:
78
Lgica
pq
~q
rp
~r
1) p q
2) ~ q
3) r p
4) ~ p
MTT 1), 2)
pq
~q
~p
5) ~ r
MTT 3), 4)
rp
~p
~r
Respuesta: a) V
5. Determinar la validez del siguiente argumento:
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
Del enunciado
se define:
c) V F
p:
q:
r:
s:
t:
p(qr)
s~r
st
79
p
t
Lgica
1)
2)
3)
4)
p(qr)
s~r
st
p
5) q r
MPP 1), 4)
p(qr)
p
(qr)
6) r
Simplificacin 5) q r
r
7) ~ s
MTT 2), 6)
s~r
r
~s
8) t
MTP 3), 7)
st
~s
t
Respuesta: a) V
11.3. EJERCICIOS PROPUESTOS
1. De las premisas formales:
(AC)
(B C)
Se infiere deductivamente:
a) ~A
b) ~B
2. De las premisas:
c)A
d) D
e) ~A ~B
d) s
e) N.A.
ab
bc
cd
~d
Se infiere deductivamente:
a) a
b) ~a
c) b
80
b) ~ A
(~ A B) (~ A E) ~E
c) B
d) ~B
b) ~ H
Lgica
e) N.A.
~ S [S (H G)] ~ G
c) G
d) ~B
P1: ~A B
e) N.A.
P2: A
ii. B C
iii. ~B
iv. ~A
v. C
Son ciertas:
a) i, ii, iii
b) i, ii
c) i, ii, iv
d) ii, v
e) i, iii, v.
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
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.
Son correctas:
a) i, ii, iii
b) ii, iii, iv
c) iii, iv, v
d) i, iii, v
e) i, iv, v
81
8. De las premisas:
Lgica
P ~T
ST
SQ
(Q P) U
Se concluye:
a) U
b) T
c) S
9. De las premisas:
d) ~ Q
e) N.A.
~R S
S (P Q)
RT
~T
Se concluye:
a) R
b) T
c) Q
d) ~ Q
e) N.A.
b) F
c) V F
b) F
c) V F
Se infiere deductivamente:
a) p
b) ~p
c) q
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)
b) F
c) V F
83
Lgica
CLAVE DE RESPUESTAS
I.
La Lgica Proposicional
1.
2.
3.
4.
5.
6.
7.
c)
e)
b)
c)
b)
c)
c)
c)
c)
e)
d)
c)
Equivalencias lgicas:
1.
2.
3.
4.
5.
6.
II.
e)
e)
e)
d)
c)
d)
IV.
c)
b)
b)
e)
b)
c)
c)
b)
b)
d)
e)
b)
VI. Formalizacin
Proposicional
Traduccin
1. b)
2. d)
3. a)
4. b)
5. d)
6. d)
7. a)
8. b)
9. e)
10. d)
a)
b)
d)
b)
e)
84
Lgica
( Dos Variables)
1.
2.
3.
4.
5.
1.
2.
3.
4.
5.
d)
e)
e)
b)
e)
c)
a)
a)
e)
b)
Inferencia Lgica
1.
2.
3.
4.
5.
b)
a)
a)
b)
a)
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
2
5
II.
2.1.
2.2.
2.3.
2.4.
9
9
10
13
16
3.1
3.2
3.3
Tipos de Circuitos
Ejercicios Resueltos
Ejercicios Propuestos
16
17
20
IV
22
23
25
V.
28
EQUIVALENCIAS LGICAS
28
32
VI.
34
35
38
42
42
46
87
Lgica
50
8.1.
8.2.
8.3.
8.4.
8.5.
8.6.
50
50
53
55
55
58
IX.
60
9.1.
9.2.
9.3.
9.4.
60
60
60
64
X.
INFERENCIA LGICA
68
10.1. La Inferencia
10.2. Ejercicios Resueltos
10.3. Ejercicios Propuestos
68
68
72
XI.
74
REGLAS DE INFERENCIA
74
75
79
CLAVE DE RESPUESTAS
83
BIBLIOGRAFA
85
INDICE
86
88