C di d 129 LÓGICA

CAPÍTULO

07
1. PROPOSICIÓN
En cualquier enunciado que afirma o niega, expresan conocimiento (apofanticas) siendo falsas o
verdaderas. La lógica o se interesa en aquellos que expresan emociones, órdenes, dudas, exhortaciones,
etc.

ACTO C ON TE NI D E XP RE SIÓ N VE R BAL

PS Í Q UI C O O O BJ E TIV O E S C R IT A
Terminología actual Juicio O
Proposición Enunciado o sentencia
Terminología antigua Juicio Juicio Proposición

Una cosa es el acto psíquico de juzgar (juicio), otra es el contenido objetivo (proposición o juicio) y otra la
expresión externa (enunciado o proposición). Imagine 20 alumnos de diferentes nacionalidades a quienes el
profesor propone que piensen en el Teorema de Pitágoras y que lo escriban en una hoja, se producen en la
clase
20 actos psíquicos distintos de pensar, un solo contenido objetivo pensando (el teorema propuesto, idénticos
en
todos) y una pluralidad de expresiones lingüísticas distintas de dicho teorema (unas expresiones en
castellano, otras en alemán, otras en inglés, etc.).

La lógica se ocupa entonces de las proposiciones, no de los enunciados, pero como las proposiciones no
pueden ser estudiadas si no son expresadas o enunciadas, entonces se puede decir que estudia las
proposiciones que se expresan en los enunciados, toda proposición debe ser aseverativa.

2. PREMISA
Son enunciados que poseen la capacidad de derivar una conclusión, para que una proposición sea una
premisa debe estar en el contenido de un razonamiento, toda premisa es una proposición pero no toda
proposición es una premisa.
Ejemplo:
To d o va ró n e s m o Algún a lum no e s E.T.
P1 P1
rta l
Algún m o rta l e s va ró n Algún E.T. e s a lum n o

3. INFERENCIA
Es un sistema de premisas, que llegan a una conclusión. Puede ser:
3.1. Inferencia inmediata
Es aquella que tiene una premisa y una conclusión.
Ejemplo:
P 1 Todo gato es felino
SISTEMA HELIC
OIDA
  Ningún gato es no felino

SISTEMA HELIC
OIDA
 C di d 1 LÓGICA

3.2. Inferencia mediata

Es aquella que posee 2 o más premisas y una conclusión, si tiene 2 premisas y una conclusión se le
llama
«silogismo», si tiene más de 2 premisas y una conclusión se le llama «polisilogismo o
sorites». Ejemplo:
P 1 Todo número par es múltiplo de 2
P 2 Ningún número impar es múltiplo de 2
 Ningún número impar es par.
P 1 Para salir de la casa en llamas o tengo que bajar por la escalera ardiendo o tengo que saltar por la
ventana
P 2 Si bajo por la escalera ardiendo corro el peligro de sufrir quemaduras.
P 3 Si saltó por la ventana corro el peligro de quedar confuso.
 Para salir de la casa en llamas tengo que conocer el riesgo de quedar confuso o de sufrir
quemaduras.

I. Determine qué enunciados son proposiciones lógicas

1. Algún batracio es mamífero .........................................................
2. Todo varón es mortal .........................................................
3. Juan es arqueólogo .........................................................
4. Fulano es comerciante .........................................................
5. Pepe y Luis son amigos .........................................................
6. ¿Cuándo vamos al cine? .........................................................
7. Esta proposición es falsa .........................................................
8. Algunas sirenas son bellas .........................................................
9. Tacna está al Sur de Lima .........................................................
10. Lima no es una ciudad sucia .........................................................
11. Hoy es martes .........................................................
12. Huserles es un filósofo .........................................................
13. Si el río suena es porque piedras trae .........................................................
14. Parece que va a llover .........................................................
15. Esta pizarra está enamorada .........................................................
16. ¡Qué calor hace! .........................................................
17. Todo árabe es polígamo .........................................................
18. Ningún parlamento es rebelde .........................................................
19. ¡Prohibido tocar! .........................................................
20. ¡Cuanto te amo! .........................................................

II. Conteste verdadero (V) o falso (F).

1. Toda proposición es una premisa ...........................
2. Ninguna premisa es una premisa ...........................
3. Algunos silogismos son inferencias ...........................
4. No toda proposición es una inferencia ...........................
5. La lógica estudia enunciados emotivos ...........................
6. Los enunciados aseverativos no son proposiciones ...........................
7. El silogismo tiene solo una premisa ...........................
8. La proposición lógica debe ser apofántica ...........................
9. La proposición elíptica cambia su valor de verdad con el tiempo ...........................
10. Alguna premisa no es una proposición lógica ...........................
11. Las dudas no son proposiciones lógicas ...........................
12. Los refranes son proposiciones lógicas ...........................
13. Es falso que los refranes sean proposiciones lógicas ...........................
TIPOS DE PROPOSICIÓN

A . PROPOSICIÓN ATÓMICA O SIMPLE

Son aquellos que sólo afirman y no utilizan enlaces, existen los siguientes tipos:
1. Proposición atómica relacional
Utiliza la forma «S» es «P».
Ejemplo: Ximena es bonita.

2. Proposición relacional
Utiliza la forma R(s, y).
Ejemplo: Juan es amigo de Alan
3>4
Elena y Pedro son primos

B . PROPOSICIONES MOLECULARES O COMPUESTAS COLIGATIVAS

Son aquellas que afirman o niegan y utilizan enlaces, existen los siguientes tipos:
1. Proposición conjuntiva o coyuntivas
Es aquella que utiliza el enlace «.................. y ..................», además es conmutativa. Otros
equivalentes de «Y» son: pero, además, aunque, sin embargo, mientras, más, empero, no obstante, tanto
_como_, a la vez que, e, como (,), punto (.)
Ejemplo: El número 2 es par y el número 3 es primo.
Simbólocamente p  q

2. Proposición disyuntiva débil o inclusiva

Utiliza el enlace «.................. o ..................» permite que ambas alternativas sean verdaderas a la
vez. Ejemplo: Tomas café o tomas leche.
Simbólicamente p  q

3. Proposición disyuntiva fuerte o exclusiva

Utiliza el enlace «o .................. o ..................», no permite que ambas alternativas sean verdaderas a la
vez.
Ejemplo: O te vas o te quedas
Simbólicamente p  q

4. Proposición implicativa o hipotética

Utiliza el enlace «si _ entonces _», además existen otros equivalentes, del término «si» (porque, ya que,
puesto que, cuando, en visto que, coma (,) se concluye que).
Ejemplo: Si esta figura es un cuadrado entonces es un
cuadrilátero.
¿Cuál es el antecedente? .......................................
¿Cuál es el consecuente? .......................................
Conversa : ............................
P q
P  q Contra puesta : ............................
Opuesta : ............................

5. Proposición bicondicional o coimplicativa o equivalente

Utiliza el enlace «Si y sólo si» u otros equivalentes como solamente si entonces y solo entonces, siempre
y cuando.
Ejemplo: 3 > 2 si y sólo si 2 < 3
Simbólicamente p  q
 6. Proposición negativa
Es falso que
a) Negación libre No es el caso que
No se cumple que
Es imposible que
........................................
........................................
........................................
........................................

Ejemplo: Es falso que a > b o b = c; (p  q)

b) Negación ligada
Utiliza el adverbio «no».
Ejemplo: Hoy no es domingo p

7. Proposición binegativa
Utiliza el enlace «ni .................. ni ..................»
Ejemplo: Hoy ni hace calor ni hace frío: p  q
Hoy no hace calor y no hace frío: p  q

8. Proposición incompatible
Utiliza el enlace «Es incompatible que»
Ejemplo: Es incompatible que a > b y b > c; p/q
Es falso que a > b > c; p  q 

EJERCICIOS

I. Determine el tipo de proposición

1. Ximena es bonita además inteligente .........................................................
2. Pepe así como trabaja estudia .........................................................
3. Nunca me abrazan sin besarme .........................................................
4. Tanto a > b como b > c .........................................................
5. El número 2 es par .........................................................
6. Gina y Mary son amigos .........................................................
7. Hace calor ya que es verano .........................................................
8. Julio y Carmen están casados .........................................................
9. No es el caso que haga frío y sea verano .........................................................
10. 6 > 4 .........................................................
11. Le das un abrazo o un beso .........................................................
12. Cristina y Juana son psicólogos .........................................................
13. René es varón a menos que sea mujer .........................................................
14. Si me amas, te quiero .........................................................
15. 3 > 2 siempre y cuando 2 < 3 .........................................................
1. Marque la proposición atómica. 9. Marque el símbolo de la conjunción.
A) Juan no es abogado. B) 3 > 2 y 2 > 1 A)  B)  C) 
C) Hoy es lunes D) Si a – b, b > c D)  E) 
E) 3 > 1, 1 > 0
10. Marque el símbolo de la disyunción exclusiva.
2. Marque el enlace conjuntivo. A)  B)  C) 
A) entonces B) luego D) ~ E) 
C) siempre y cuando D) a menos que
E) sin embargo 11. Marque el operador de la disyunción débil.
A)  B)  C) 
3. La .................. es conmutativa. D) ~ E) /
A) implicación B) negación
C) relación condicional D) conjunción 12. Marque la disyunción débil.
E) byc A) o te vas o te quedas
B) René es varón a menos que sea mujer
4. Marque la negación libre. C) hoy es martes o es miércoles
A) Hoy ni hace calor ni hace frío D) tomas café o tomas leche
B) Es falso que haga frío y sea verano E) o Dios existe o no existe
C) Jorge no es xenófobo
D) Si esta figura es un rombo, es un cuadrilátero 13. El enunciado Juan y Elena son casados, es
E) Fulano es sociólogo A) atómico relacional. B)
atómica predicativa. C)
5. El enunciado «Cristina y Mary son amigas», es una molecular conjuntiva. D)
proposición atómica negativa.
A) atómica relacional. E) molecular implicativa.
B) atómica simple.
C) molecular conjuntiva. 14. Marque el esquema disyuntivo inclusivo.
D) molecular implicativa. p
A) p  q B) p q C)
E) atómica predicativa.
D) p  q
E) p  q

6. El operador de la binegación es
15. La conversa de p  q, es
A) ~ B)  C) 
A) q  p B) q  p C) p  q
D)  E) 
D) p  q E) p  q
7. ¿Cuál no es un símbolo de la disyunción exclusiva?
A)  B)  C) E 16. Lo opuesto de p  q es
D)  E)  A) p  q B) pq C) q  p
D) p q E) q p
8. La proposición atómica
A) Puede afirmar o negar.
17. Lo opuesto de la conversa p  q es
B) Solo niega.
C) Solo afirma. A) q  p B) p q C) p q
D) Utiliza enlaces. D) q  p E) p  q
E) Puede dudar.
18. Marque la relación correcta. 21. La binegación equivale a
A) p  q .  . q  p A) p . q B) p q
B) p  q .  . q  p C) p q D) p  q
C) p  q .  . p  q E) p/q
D) p  q .  . p  q
E) p  q .  . p  q 22. Marque la proposición molecular.
A) Hoy es lunes
19. La .................. no es conmutativa. B) Algunos alumnos son estudiosos
A) conjunción C) Juan no es sociólogo
B) disyunción fuerte D) Manuel es mñas audaz que Julio
C) binegación E) Alfredo es taxista
D) disyunción débil
E) implicación 23. La proposición lógica no es un enunciado.
A) emotivo B) aseverativo
20. El bicondicional también es conocido como C) informativo D) afirmativo o negativo
A) implicación. E) verdadero o falso
B) binegación.
C) equivalencia. 24. El conectivo binegativo es
D) incompatibilidad. A)  B)  C) 
E) negacón doble. D)  E) ~
 C di d 135 LÓGICA
CAPÍTULO

08
MÉTODOS DE LAS MATRI
CES 3. CUADRO DE POS
Método decisorio que permite determinar si una T
inferen- cia es válida o no, en función de los valores Segmentos intersecados que permiten un
de verdad que asumen las proposiciones que la desarrollo ordenado de las cifras tabuladores.
integran.
I II
III IV
1. CIFRAS TABULAR
ES I: Variables proposicionales
Resultado de las combinatorias de los valores de II: Fórmula
ver- dad de las proposiciones. III: Combinatorias
1.1. Tipos IV: Cifras tabulares
a) Tautológicas
Aquellas cuyos valores son todos 4. COMBINATORI
verdade- ros. Las inferencias cuya cifra AS
tabular es tautológica son válidas. Se establece de acuerdo a la siguiente
VVVV fórmula: K = 2n
n: Número de variables
b) Consistencias
Aquellas que contienen valores 5. MATRICES
verdaderos y falsos. Las inferencias son 5.1. Variable
cifras tabula- res consistentes no son
p
válidas
VFVF V
F
c) Contradicciones
Aquellas que contienen todos sus valores 5.2. Negación
falsos. Las inferencias con cifras
p
tabulares contradictorias.
F V
FFFF
V F
2. JERA RQUÍ
AS 5.3. Conjunción
Determinan cuál de las combinatorias ha de resolver
pq
pri- mero y cuál al final. Señala la combinatoria
principal. VVV
2.1. Con signos de agrupación
La mayor jerarquía corresponde al operador libre.
Este operador señala la matriz principal y final.
p q q
 3
 p 
2 1 VFF
FFV
FFF
2.2. Sin signos de agrupación 3º n
La jerarquía se determina según el siguiente Conjunció 5º Negativo
criterio: n pqpq
1º Bicondicional 4º prq
2º Condicional Disyunció
SISTEMA HELIC
OIDA
 qV
VVV
5.4. Disyunción
VFF
p VVF
FF

SISTEMA HELIC
OIDA
 ió d III-E 1 PASC UA SAC O
OLIVERO

5.5
.  p  q  .p  q
Co p
ndi
cio
nal
p
 p  q  .  q  
 p q
F

I
.

H
a  p.p   p  q . q
5.6 l 
. l
e
Bic
on l
dic a
ion m
al a
t
r
i
z

p
r
i
n
c
i
p
a
l

d
e

l
a
s

s
i
g
u
i
e
n
t
e
s

f
ó
r
m
u
l
a
s
por método abreviado y tabla de
verdad.

pp  p p 
 ió d III-E 2 PASC UA SAC O
OLIVERO
B) pq S la
 C) i poesía
 E) m es
 b absurda
o y
l exagera
i da, los
c poetas
e son
soñador
1 A « es e
. )C
L S idealista
E
a i s».
B)  p 
p rp
r q
q
o
p 2.
 D) q
o Señale r
s la
propo r
i
c sición s
i condic
ional.
ó
n A
) S
« i
H N
i
o e
t
l x
e h i
r a s
y y t
S
e
t
a l
li l l
n u a
» v
i l
s
o a i
n b
e e
c n r
o
t
n
t l a
e a d
m .
p c C) Dado que
o sueñas,
i
r
u pensarás.
á
n d D) Practicas
e a deportes o no
o lo haces.
d
s E) Aprobarás
, .
el examen, si
es: y solo sí
B estudias.
A)
)
Mole
 ió d III-E 3 PASC UA SAC O
OLIVERO
3. E)  p tá á ) dí no está frñio.
Simboliza q frío llovi El a
«Si no hay p  q   r  p D) E) El día está
.C end
solución, s soleado.
la huelga Ho o.
E)
continúa». est
7. La q 8. La cualidad
A q D
negaci ) que posee un
ón de p 4. Simbolice esquelma
la  «No es cierto que
molecular de
Juan no postula a
propo q estar
San
sición Marcos». correctament
p p: «el p p A)  e
p día  jerarquizada,
está le da un valor
frío», B)
de: A)
será: q Función
A) El cognoscitiva.
día C) B
está D)
)
nublad
o. q
B S
E) p i
)
s
5. Simbolice «Si t
N
la justicia es
o e
una utopía
m
entonces se
e a
justifica que
s el
escepticismo, b
c lo mismo que i
i el pesi- e
e mismo n
r existen»
t f
o o
r
q m
u a
e d
o
e .
l
C
d )
í
a E
s
n q
o u
e
e m
s a
 ió d III-E 4 PASC UA SAC O
OLIVERO

rel
aci
on
al.
D)
Fal
se
da
d.
E)
Id
en
tid
ad
lóg
ica
.
C di d 137 LÓGICA

9. Si 16. 
una La 
condici matri q
onal, z del 
en
esqu
todos
los ema
casos será:
posible p 
s, tie- q
ne cac
fal ión
so .
co C)
m Se
o rá
val un
or co
de ndi
su cio
s nal
an co
tec ntr
ed adi
en cto
tes rio
, .
en
to
nc
es:
A)
Se
rá
sie
m
pr
e
co
ndi
cio
nal
.
B)
Se
rá
sie
mp
re
co
ndi
cio
nal
tau
tol
ógi
co
o
im
pli
A V C p
) )E E
D ) ) 10. 18.
V ) S ¿Qué p Indique
e operad el
r or esquem
V V propos a
á icional contradi
V F cumple ctorio.
d una
e funció
F V c n
i c B
B F s o )
) i 
E v
V ) o

C
V F q )
u p
V V e p A D p
) 
e E
V V
l l
c c
C V o o
) n n
17. s d
F Indiqu e p ic
e el c q i
F esque u
ma o
e n
V tautol n p
p  p a
ógico. t
l
D A B e
B
) ) )
L s
L
a e
a a
n d
e is
f
g y
a
a u
l
c n
s
i o ci
ó . ó
n n
d i
e n
e cl
s u
t si
e v
c a
o C
n )
d D
i o
c b
i l
o e
n
a i
l m
s p
e li
r c
á a
E)  z. o e s
E d La : es .
) a fal A) fal
L d da S so D
a de p u y )
d yl s el
d e ve a co N
i ad n ns e
s q de q t ec c
y al e ue e
u a ve c nt s
n D) e e a
c l La d es r
i a fal e ve i
ó n
da r- a
n v
de t da m
e
yl e de e
e z
fal e ro. n
x .
da s C t
c B
l de v ) e
)
u al e
s ve r E e
L
i q a E) d l l
a
v Ne a
a ció d a a
v
. de e n n
e
y la r t t
r ne
11. o e e
d ció
La y c c
a de
disy s e e
d
untiv u d d
a la c e e
d ve
«V», o n n
e
es n t t
excl 1 s e e
p 2
usiv e
a . c y e
porq y U u s
ue n e e
no l c n l f
admi a o t a
te n
e c l
A f d
t o s
) a i
a n o
L l c
m s .
a s i
o b e E) El
e
n i c ant
v d
a é u ec
e a
r l n e ed
d
d s . n ent
a e B) t e
d
d r E e es
e
á l ver
d f a s da
a
e a n o de
l t n ro
a
p s e y
o c f el
l
y c e a co
a u d l ns
v a e s ec
v n
e n o ue
r e d t
 n E) i es tec
t T Co s ari ed
e a nge u am en
e u cia s en te
s t c - es
f o 1 o te fal
a l 4 m su so.
l o . p s V.
s g S o co Pa
o í e n mp ra
. a ñ e on qu
. a n en e
13. l - tes el
S B e t de co
i ) l e be ndi
o
n s n cio
s
e I s ser nal
e
g n o fal se
n
a c n so a
u
m o v s. ver
n
o n c e III. da
s s i r Pa de
u i a d ra ro,
n s d a qu ba
e t o d e sta
s e s e la rá
q n c r co co
u c o o nj n
e i r s un qu
m a r . ció e
a . e II. n el
c c P se an
o C t a a tec
n ) o r fal ed
t s a sa en
r F . q su te
a a I. u s se
d l e co a
i s l mp ver
c e a o- da
t d d ne de
o a i nt ro.
ri d s es
o . y de
, u be
o D n n
b ) c ser
t i fal
e C ó so
n o n s.
d n s IV. El
r s e co
e i a ndi
- s f cio
m t a nal
o e l ser
s n s á
u c a fal
n i , so
a a n si
A . e su
) c an
19. llu ace om uan
La V va . o oo
mat iré D) ex es
E D) Pre pre aya
riz
) Iré sen sió cuc
tab
si y tan n han
ular só o.
V idé eq
del os D) No
ntic uiv
esq V llu os ale es
ue ve nú nte po
ma V E) mer A) sibl
:  No os Si e
llu qu
p V de Ar
ve e
q con gu
si y Ar
 F
só
sta ed
nte as gu
p o si
F s. es ed
r iré
E) per as
A)
F Pre ua se
V 2
sen no a
V A) 1
Su
F tan ent Ay
V ma
mat on ac
V ric
V 20. rice ces uc
s ha
V La s es
ne no
V tra igu ay
esa y
V duc ales ac
ria no
B) ció . uc
me se
F n ha
cor nte a
F 22. no.
rec so per
F L B)
F ta am ua
Si
V del ba no.
Ar
V sig tau E)
gu
V uie to- Arg
ed
V nte lóg ued
as
C esq ca as
no
) ue . es
es
ma B) per
ay
F es: Su uan
 p ac
F mat o si
qq  p uc
F ric y
 ha
F s sólo
no
F A) ne si
Si ent es
F esa
llu on aya
F ria
ev ces cuc
F me
e, no han
nte
ir es o.
D son
é p
) con
B) e 23. Si
tra
Si r se
F ict
n u cu
rias
o a mp
V .C n
llu le
Tie o
ev no
F ne .
e, p,
el C)
ir ent
V mi O
é on
mo Arg
C) ces
F A tér ued
mi as no
u
o no q.
V n
de es Per
q
en per o
F ue
 s n A) I, II y V implica .
e tr D) I y II a q, s
d e implica S
a no r. i
a n 1 2 n
e o 5 5 Tambié
l p . n e
S tenemo
c y m
i s
a q m b
b q a
s ,
o uC) no r r
o i A) no p B) s
li e g
q m D) no E) t o
c
u p e q
e li « p
n c N i ,
o a o m
e p c
p a s l o
. n p i n
P o o c c
o s s a l
i u
r . i
b a
t P l m
a e e s o
n r q s
t p 
o q p  q p u A)  q 
o t
p q e
A) e
s 
e
q n a
B) s

e
n m c
r B)
o o i
q s
C)
s 
l ti
n a a
o n

a
p o
fi y C)
D) r n
p m o 
E)
p a ac Dq E)
s as
ci 
ó mi
24. ».
n
L
d
a
e
d
s
is
.
y
P
u
o
n
r
c
e
i
ll
ó
o
n
.
e
 ió d III-E 1 PASC UA SAC O
OLIVERO

1. El método abreviado solo se aplica a esquemas 11. El operador condicional es

A) Conjuntivos. B) Disyuntivos. A)  B)  C)
C) Implicativos. D) Negativos. D)  E) 
E) Bicondicionales.
12. El esquema tautológico es
2. Marque el esquema que sea tautológico. A)  p  q   p
A)  p  q   q  B)  p  q   p  B)  p  q   p   q
p q q
C)  p  q   p  q  C)  p  q   p   q
D)  p  q     p
D)  p  q   q  p
E)  p  q   r  s
E) p

3. El esquema  p  q    q ; ¿se le puede aplicar

13. El esquema es  p  q    q p  es:
p  A) Tautológico B) Contradictorio
el método abreviado?
C) Consistente D) Contingente
A) No B) Si son 3 variables
E) Indeterminado
C) S i D) Solo si se niega a «q»
E) Solo si se afirma a «p»

4. El resultado del esquema es  p  q   14. El método abreviado se puede aplicar a un esque-

p A) V V F F B) FFFF C) V V V V ma cuyo nexo principal es
D) F F V V E) V V V F A) La disyunción. B) El condicional.
C) El bicondicional. D) La negoción.
5. ¿Cuál esquema puede ser resuelto con el método E) La conjunción.
abreviado?
A) p   q  p  B)  p  q   p C) p  q 15. Si    p  q  
q   p  ?? , entonces

 r
D) p   p  p  E) p A) r B) C) p
6. El esquema:  p  q    q  r   p  r  , D) E) p  q

 es: p
A) Contradictorio B) Contingente
C) Consistente D) Indeterminado 16. Marque el esquema tautológico
A)  p  q   p B)  p  q   q
E) Tautológico
C)  p  q   q D)  p  q    q  p 
7. El esquema:  p  q   p  q , es: E) p  q
A) Contradictorio B) Tautológico
C) Consistente D) Contingente 17. Determine la característica tabular de
E) Indeterminado  p  q     q  p 
A) FFFF p B) V F V F C) V V V V
8. El operador implicativo es:
D) F F V V E) FFFV
A)  B)  C) 
D)  E)
18. Marque el esquema que no sea equivalente a p 
9. El método abreviado no se aplica a esquemas q
A) Condicionales. B) Bicondicionales. A) q p B)  p  q  C) p  q
D) p  q E) q p
C) Implicativos. D) Conjuntivos.
E) B y D
19. Marque el resultado de aplicar en el esquema
A) Tautológico. B)SISTEMA
Contradictorio.
HELIC
C) Contingente. D)OIDA
Consistente.
E) Indeterminado.
 ió d III-E 2 PASC UA SAC O
OLIVERO

 p  q    q , es el método abreviado

10. El esquema condicional es
p
A) p qp B)  p  q q  p
C)  p  q   p D)  p    p
E)  p  q    r  p 

SISTEMA HELIC
OIDA
 C di d 139 LÓGICA
CAPÍTULO

09
1. Tautología por idempotencia 12. Tautología por exportación
p  p.  .p
(p  q)r. . p  r  
q  q  q.  .q p
13. Tautología por importación
2. Tautología por doble negación
~ p.  .p  p   q  r   .  .  p  q 
~ ~ ~ q.  . ~ q  r 

EXPANSIONES BOOLENAS
3. Tautología por conmutación p.  .p   q  q
p  q.  .q  p
p.  .p   q  q
p  q.  .q  p
p.  .p   q  p  r 
4. Tautología por asociación p.  .p   q  q  r 
p   q  r .  .  p  q  
Principios lógicos
r p   q  r .  .  p  q 
1. Principio de identidad
r
Creador: Parménides
Enunciado filosófico: «Lo que es, es y lo que no es,
5. Tautología por distribución
no es; toda cosa es idéntica así misma».
p  q  r .  .  p  q    p  r 
Enunciado lógico: Toda proposición verdadera es
p  q  r .  .  p  q    p  r  ver- dadera, toda proposición falsa es falsa.
 p  q    r  s .  .  p  r    p  s   q  r   q
s E n u n c i a d o e s q u em á t i c o :
p  p.  . T
p  p.  . T
6. Tautología por Morgan
 p  q .  . p  q 2. Principio de contradicción
 p  q .  . p  q Creador: Platón
Enunciado filosófico: «Un ente no puede ser y no
7. Tautología por definición del condicional ser al mismo tiempo».
p  q.  . p  q Enunciado lógico: Una proposición no puede ser
fal- sa y verdadera a la vez.
8. Tautología por definición de bicondicional
p  q.  .  p  q    q  p  Enunciado esquemático:
p  p .
.  . p  q   p  q
  .T
9. Tautología por definición de la
disyunción
p  q.  .  p  q  3. Principio del tercio excluido
p  q  Creador: Aristóteles

Enunciado filosófico: «Un ente o es o no es no hay
10. Tautología por por Caso especial:
transposición
p pq .. p   q
p  q.  . q  p

11. Tautología por absorción

p   p  q  .  .p
término medio».
Enunciado esquemático:
Enunciado lógico: Una proposición o es p  p.  . T
verdadera o es falsa, no hay término p  p.  . T
medio.
C di d 1 LÓGICA

TAUTOLOGÍAS AUXILIARES 6. Simplificación

1. T T .  . P1 pq
2. T   .  .
p
3. T A.  .
4. T T .  .
5. T   .  . 7. Adición
6. T A.  . P1 p
7 p
.8
9 q

8. Prueba
del
Condicional
1
0 P1 pq
1
1 p q 
2
1
1
9.
4
1 Transitividad
1 simétrica
1
1 P p
1q
P q
2r



p

TAUTOLOGÍAS P1 pq
POR
p IMPLICACIÓN P2
1. Modus
Ponendo Ponens
P1 pq
P2 p


[(p  q)p] q

2. Modus
tollendo tollens
P1 pq
q P2
p 

3. Silogismo
Disyuntivo o
Tollendo Ponens

SISTEMA HELIC
OIDA
 ió d III-E 2 PASC UA SAC O
OLIVERO
11. Dilema P s
10.
Simple
Dilema p1 q
Destructivo 13. Dilema
Simple
Constructi P Compuesto
P p Destructivo o
vo 1 q r 2 s Doble To-
P P p P llendo
2 r Tollens
p1 q P3 p 3 r q r
P P1 pq
 p
P2 rs
r 2 q 
q q  s P3
P 12. Dilema
Compuest p r 
p 3 r o
Constructi
vo o Doble
 Ponend
q o
Ponens
q
5
.
4
.
C
S
o
i
n
l
j
o
u
g
n
i
c
s
i
m
ó
o
n
H P
i
p p1
o P
t
é q2
t 
i p
c q
o

P
u
r
o
P
p
q1
P
q
r2

p
r

SISTEMA HELIC
OIDA
 1. Del resultado de la tabla de verdad del siguiente 6. Cuál de las siguientes proposiciones es equivalente
esque-
a: «Es obligatorio pagar 100 soles y ser miembro
ma molecular:  p t    p  t  . Se tiene que la activo para escuchar el concierto».
dife- rencia entre la cantidad de verdades y I. Pagar 100 soles y ser miembro o no escuchar
falsedades es: el concierto.
II. Pagar 100 soles o ser miembro y no escuchar el
Rpta.: ................................................................
concierto.
2. Se define el operador «*», mediante la siguiente III. No escuchar el concierto o pagar 100 soles y
ta- bla de verdad. ser miembro.
p q p*q
V V F Rpta.: ................................................................
V F F
F V V 7. Dadas las proposociones p y q se establece
F F F q  p  q
Además p * q   p  q  *  q  p    p * , en- p   , ¿cuál de las siguientes es equiva-
q
tonces el operador * reemplaza lente a p  q ?
a I. p q II.  p  q
Rpta.: ................................................................ III.  p  q  IV. p  q 

3. De las siguientes proposiciones, ¿cuáles son

equiva- Rpta.: ................................................................
lentes?
I. Es necesario que Juan no estudie en la 8. ¿Cómo están relacionadas las siguientes
universi- dad Católica para que Luis viva en proposicio- nes?
Monterrico
q  p   q  p
II. No es cierto que Luis viva en Monterrico y que
q   q  r 
Juan estudie en la Universidad Católica.
r:    r
III. Luis no vive en Monterrico y Juan no estudia
en
s:  p    p
la universidad Católica.
t:  q  p    q  r p 
Rpta.: ................................................................
Rpta.: ................................................................
4. Dada la proposición en Z p: «Si a es primo y a no
es mayor que 2, entonces a no es múltiplo de 2». 9. Dadas las fórmulas, ¿Cuáles son lógicamente equi-
Se tienen valentes?
I. Si a es múltiplo de 4, entonces a no es primo y
no es mayor que 2. I :  pap
II. Si a es múltiplo de 2, entonces a no es primo ,
o es mayor que 2.
III. a no es múltiplo de 2 o a no es primo o a es
mayor que 2.
¿Cuál de estas proposiciones son equivalentes a

p? Rpta.:

................................................................

5. Dada la siguiente proposición pqp  q

II :  p  q    p  q  10. De las siguientes fórmulas ¿cuáles son
III:  p    q equivalentes? q  p 

I :  p  q   p  q 
Rpta.: ................................................................ II :  p  q    p  q 
p
¿cuál es la conectivo que deberá ser en lugar de (  III:  qp
)
para que la proposición sea una Tautología?
Rpta.: ................................................................
Rpta.: ................................................................
11. De las proposiciones, ¿cuántos no son tautología? III. r   p  q 
I. pqp r IV. ~ [(p  ~ q)(q r)]
II   p 

Rpta.: ..............
q .......................
 q .......................
r   p r  ....
q  r III.  p    q

q I 17. Dado los


V esquemas
. lógicos,
¿cuál de
 las
afirmacio-
nes es
correcta?
Rpta.: ...............
p
......................... Upq 
........................ q

12. ¿Cuál de los
siguientes q
esquemas no
señala
p una tau- 
tología?
p q 
q

I pq 
. 
 pq
III.
 q p
p
p  q IV.p q
 

q
p  q V. 
 


p  q I
I
.


 V u Rpta.: ........... .........................
 e ..................... .......
p I.
 r m 
19. Halle la
a
Rp
r p  q  r r   q proposición
s s equivalente a
ta.
: .. 
.... m 
.... r Is
o 
.... I
l 
.... .
.... e
.... c  
....
u I
.... r

.... l I
.... a I
.... . 
r
....
.... e Rpta.: ........
 ..................
.... s ..................
.... ..................
: ..
.. IV r  
s   s 20. Al
18. I
r simplificar:
L . p
Rpta.: ................ t   q
o .........................
s .......................    p  
 

p
14. El esquema 
s molecular siguientes
p q
i es 

g p q
q
u Se
obtiene
i
 :
e
 p  q  p   p q 
n Rpta.: .................
 ...........................
t  ....................
e
  21. Si la proposición
s
q «s» es falsa y el
  siguiente esquema
e
p  q   q  r  p  s    
s
 Rpta.: .................    , es
q ........................... una tautología,
 p   p .................... t 
entonces los
p valores de verdad
t 15. Dada las
afirmaciones, de p, q, r son
Rpta.: .................. determine si respec- tivamente.
III.  p  q   q
........................... verdadero (V) o
................... Son respectivamente: falso (F).
13. significa «ni r ni s», indique cuál de las si-
Si r p  q  q p I.  
s   , es
guientes nes son tautológico
proposicio tautológicas.
 II
p  r,    q Rpta.:
r  ......................
q
 es ................................
 q 
co ..........
 
nti
ng
en
te
II  p e q  r 
22. qp p
. ,s
 Simplifican  q ,
c
 o do el queda:
n esquema 
tr p
a
di
ct
o
ri
o

Rpta.: .................. Rpta.: ......................

...........................
................... ................................
..........

16. Dados los

esquemas moleculares, 23. Si definimos 
halle la afirma- «» como  p q    q
ción correcta. pq ,
I.  p   q  p halle la
expresión
 
equivalente
a  pq 
II.
pq  q Rpta.: ........
 ..................
 ..................
..................
..
24. De las siguientes proposiciones, ¿cuáles son 28. Simplifique la proposición
falsas? I 
rs  s
. 
 p

 


r

s


r II. 
 Rpta.: ..............
.......................
.......................
....


s



r  s  r  rs  p s III  
.     p   q
29. Si T es una
tautología y p, q son
 proposiciones, ¿cuá-
Rpta.: ..................
............................ les de las siguientes
.................. afirmaciones son
verdaderas?
25. Si «T» es una T   T I.  p  T    
tautología y P, q son
proposiciones.
Luego R
T  p T  p    T
  p 
q, q 
tp es p  q
q
 equiva-
lente a:
 p  q    p  q  
Rpta.: ...................  T
............................ 
.................
la proposición 
26. Determine el

 p  q  q esquema más
 p
simple equivalente a
 r
Rpta.: .....................
30. La expresión
............................... equivalente de la
............ p  q  q  r
proposición

   ; es:
Rpta.: .............. o
........................
........................
.. r

27. Sea: P= Rpta.: .......................

«Juan estudia en ................................. a
el OXFORD» ........
q  l
=
p
« m
P y
e
d e
r
o
n
e
s t
t
á
e
e
n

c
a
s l
a
»
a
Simplifique la  p q
proposición

p
p
e

r
n

o
u

p
n

o
c

s
i

i
a

c
i

ó .

n .

e .

q .

u .

i .

v .

a .

l .

e .

n .

t .

e .

. .

R .

p .

t .

a .

. .

: .
. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .

. .