5to. Ao Secundaria
III
LGICA DE
PREDICADOS
FORMALIZACIN
PROPOSICIONES CATEGRICAS:
Son no inciertas:
DE
01.
Ningn no alfabeto es
ignorante, se simboliza:
a) x(Bx Ax)
c) x(- Ax - Bx)
e) A y D
b) x(Ax - Bx)
d) x(-Ax - Bx)
02.
Cualquier
persona no es enferma salvo que
tenga sintomatologa, se formaliza:
a) x(Ax - Bx)
c) x(- Ax Bx)
e) N.a.
b) x(- Ax v Bx)
d) Todas
03.
De ningn modo,
ningn x es tal si es filsofo, se
formaliza:
a) - x(- Ax)
c) x(Ax - Bx)
e) N.a.
04.
traduce:
b) - x(Ax - Bx)
d) x(- Ax)
01
a) 2 y 3
d) Todas
b) 1 y 2
e) N.A.
c) 1 y 3
06.
La frmula: x(- Ax v Bx),
se traduce:
a) La mayora no son aves y/o son
voladoras.
b) Casi todas no son aves o tambin
son voladoras.
c) Cualquiera no es ave salvo que
sea voladora.
d) Todas
e) N.a.
07.
Existe al menos un x
tal que ste es felino, se simboliza:
a) x(Ax Bx)
c) x(Ax)
e) N.a.
b) x (Ax)
d) x(Ax Bx)
08.
No es verdad
que haya filsofos que no son
pensantes en su elucubrar, se
formaliza:
a) x(- Ax - Bx)
c) x(Ax - Bx)
e) N.a.
b) - x(- Ax Bx)
d)- x(Ax - Bx)
09.
Es verdad que
hay siquiera un solo x, tal que ste
de ninguna manera es laico, se
simboliza:
a) x(Ax - Bx)
b) x(- Ax)
02
5to. Ao Secundaria
c) x(Ax - Bx)
e) N.a.
RAZONAMIENTO
d) x(- Ax)
10.
La frmula: - x(- Mx) por
ley
de
Morgan
tiene
como
equivalente a:
a) (x) - Mx b) x (Mx)
c) - x(Mx)
d) x(- Mx) e) x(- Mx)
11.
La frmula: - x(Ax Bx), se lee:
a) Es falso que haya un pez que no
tenga branquias.
b) Todo pez no tiene branquias.
c) De ninguna manera ningn pez
tiene branquias.
d) Es falso que algunos peces no
tengan branquias.
e) N.a.
12.
La
proposicin:
mentira
que
cada
uno
responsable de sus acciones.
a) - x(Rx Sx)
c) - x(Rx)
e) N.a.
Es
sea
b) - x(Rx Sx)
d) - x(Rx)
LGICO
b) - x(Ax - Bx)
d) x(-Ax)
b) x(- Ax v Bx)
d) x(-Ax v Bx)
b) - x(Ax - Bx)
d) - x(Ax - Bx)
b) x(Ax Bx)
d) x(Ax)
22.
De
ninguna
manera, cada persona no es
arquetipo excepto que incluso sea
falso que es un modelo humano. Se
simboliza:
a) - x(- Ax v Bx)
b) - x(- Ax v Bx)
c) - x(- Ax - Bx) d) - x (- Ax - Bx)
e) N.a.
23.
Es
absoluto
innegablemente que, ningn no
mentiroso tampoco es sincero, se
formaliza:
a) - x(- Mx Sx) b) - x(Mx - Sx)
c) - x(- Mx - Sx) d) x(Sx Mx)
e) N.a.
S5RL33B
01
24.
Es
falso
irrefutablemente
que,
haya
bastantes aves que son corredoras
por tanto es obvio que no son
voladoras.
a) - x(Cx - Vx)
c) x(Cx - Vx)
e) N.a.
b) - x(Cx Vx)
d) - x(Cx - Vx)
25.
La frmula: - x(Ax v Bx), se traduce:
1. Es innegable que, ninguno no sea
aviador excepto que nunca vuele.
2. De ningn modo, cada presidente
jams es honrado salvo que
tampoco sea moral.
3. Es falso que, cualquiera no es
hroe salvo que sea falso que es
martes.
4. Es no inobjetable que, algunos no
son predicados y/o no son
catlicos.
5. Es innegable que, nadie que sea
no postulante no es soberbio.
26.
traduce:
b) 1,3,4
e) 2 y 3
c) Todas
La frmula: - x(- Ax ), se
5to. Ao Secundaria
b) 2,3,4
c) 1,2,3,5
e) Todas 5
RAZONAMIENTO
a) x(- Ax - Bx)
c) - x(- Ax v Bx)
e) N.a.
b) x(- Ax Bx)
d) x(- Ax v Bx)
31.
De
ninguna
manera, nada de lo que existe no es
entidad
metafsica
luego
son
entidades concretas, se formaliza:
a) - x(- Ax - Bx) b) -x(- Ax Bx)
c) x(- Ax - Bx) d) - x(Ax - Bx)
e) N.a.
b) 2,3,4
e) N.a.
c) 3,4,5
b) x(- Ax - Bx)
d) x(- Ax Bx)
indudable
que,
sea benvolo, se
B) x(- Ax)
d) - x(- Bx)
30.
Es
irrefutable
que, los vegetales no son auttrofos
S5RL33B
LGICO
28.
No es absurdo que,
ningn no aborigen no sea no
civilizado, se formaliza:
Son no ciertas:
a) 2,3,4
d) 1 y 5
02
EQUIVALENCIAS
DE
Se aplica la misma teora de
equivalencias
de
la
Lgica
Proposicional.
Tener en cuenta lo siguiente:
x = , v
x =
AUTOEVALUACIN:
01.
b) 5 y 2
e) Todas
c) 1, 2, 3
S5RL33B
01
b) - x(Px - Ix)
d) x(Px Ix)
b) 3,5,4
e) 1,5,4
c) 3,2,4
02
5to. Ao Secundaria
4. Es
inadmisible
que
las
conciencias
jams
sean
propiedades cerebrales.
5. Por lo menos una propiedad
cerebral es conciencial.
Son falsamente ciertas:
a) 2,3,5
d) 2,3,4
b) 1,4,5
e) N.a.
c) 1,2,3
b) 1,2,3
e) 1,5,4
c) 3,5,4
S5RL33B
RAZONAMIENTO
a) 1,2,3
d) 1,3,5
b) 3,4,2
e) Todas
LGICO
c) 5,3,4
b) 5 y 4
e) Todas
c) 3 y 4
b) 2,1,3
e) 1,4,5
c) 3,4,5
es
2) - x(- Ax)
4) x(Ax)
b) Slo 3
e) N.a.
c) 2 y 4
es
b) - x(Ax - Bx)
d)Todas
Son no falsas:
a) 1 y 5
d) Slo 4
01
1.
2.
3.
4.
5.
x(-
Ax
Bx),
x(Ax v Bx)
x(Ax Bx)
x(Bx Ax)
x(- Ax v Bx)
x(- Ax - Bx)
b) 1,3,5
e) N.a.
5to. Ao Secundaria
a) x(Bx Ax)
c) - x(Ax Bx)
e) N.a.
RAZONAMIENTO
b) x(- Bx - Ax)
d) Todas
b) - x(- Bx Ax)
d) Todas
a) Todas
d) 2 y 3
b) N.a.
e) 1 y 3
24. Qu
proposiciones
inequivalentes?
no
Son no falsas:
c) 1,2,4
a) 1 y 2
d) Todas
b) 2 y 3
e) N.a.
c) 1 y 3
S5RL33B
c) 1 y 2
son
LGICO
Son correctas:
Son correctas:
a) 2 y 4
d) 3,4,5
02
b) - x(Ax - Bx)
d) Todas
EQUIVALENCIAS EN
COLEGIO DE CIENCIAS LORD KELVIN
5to. Ao Secundaria
4. Ningn no idealista es no
irracionalista.
5. Cada uno de los no irracionalistas
es idealista.
Son no falsas:
a) 1, 2, 3
d) 1, 3, 5
b) 2, 3, 4
e) N.a.
c) 3, 4, 5
01
b) 2,3,4
e) N.a.
Son falsas:
a) 2, 3, 4
d) 2 y 4
b) 1, 2, 3
e) 1 y 5
c) 1, 3, 5
2) - x(- Ax Bx)
4) - x(- Bx v Ax)
b) 2 y 3
e) 2, 3 y 4
c) 3 y 4
c) 3,,45
02
5to. Ao Secundaria
RAZONAMIENTO
LGICO
03. Todos
son
vertebrados,
innegablemente, equivale en un
universo infinito a:
Aqu se invierte la teora anterior:
x =
x = v
01. En
un
proposicin:
Equivale a:
universo
Existen
finito,
la
peruanos.
b) 1, 3 y 5 c) 1, 2 y 4
e) Todas las anteriores
02. En
forma
alguna
hay
extraterrestres, equivale en su
universo finito a:
1. Rita
es
falso
que
es
extraterrestre al igual que Aleja
no es extraterrestre.
2. A
menos
que
Lito
sea
extraterrestre, Chito tambin lo
ser.
3. Ni
la
Lalo
ni
Lelo
son
extraterrestres.
Son ciertas, excepto:
a) 2 y 3
d) 1 y 3
b) 1 y 2
c) Slo 2
e) Todas las anteriores
b) 1 y 3
e) N.a.
c) 2 y 1
b) Slo 1
e) 1, 2 y 3
c) Slo 3
un
o
la
ni
el
b) 1 y 2
e) Todas
c) 2 y 3
06. En
un
universo
finito,
la
proposicin: Todos son tcnicos as
S5RL33B
b) Slo 1
e) 1, 2 y 3
c) 1 y 2
b) 2 y 3
e) N.a.
c) 1 y 3
01
02
5to. Ao Secundaria
RAZONAMIENTO
LGICO
Son inciertas:
09. Innegablemente
varios
son
gordos a menos que incluso sean
altos, equivale finitamente a:
b) Slo 2
e) Todas
c) 1 y 3
b) Slo 1
e) Todas
c) 1 y 2
b) 1 y 2
e) Todas
c) Slo 2
b) 1 y 4
e) Todas
c) 3 y 5
SILOGISM
01. De: Cada nubarrn es agua
condensada, as como, por lo menos
un nubarrn es nube gris, se
deduce:
1. Es inobjetable que, toda agua
condensada en modo alguno es
nube gris.
2. No es falso que, cualquier
fenmeno no es nube gris
excepto que no sea agua
condensada.
3. Varias nubes grises son agua
condensada.
4. Es obvio que, nada que sea agua
condensada es nube gris.
5. Es innegable que, ninguna nube
gris es agua condensada; negado
totalmente.
S5RL33B
a) 1,2,4
d) 3 y 5
b) 1,3,5
e) N.a.
c) 2 y 4
tecnolgico
es
b) 2,3,4
e) N.a.
c) 1,2,4
a) x(Ax - Bx)
b) - x(- Bx Ax)
c) - x(Bx v Ax) d) Todas
e) N.a.
06.
a) x(Sx - Mx)
c) - x(Sx Mx)
e) N.a.
07.
b) x(- Mx S)
d) Todas
a) x(Bx - Cx)
c) - x(Cx Bx)
e) N.a.
S5RL33B
b) x(- Bx - Cx)
d) - x(Bx Cx)
01
02
5to. Ao Secundaria
d) 2 y 3
08.
e) Todas
RAZONAMIENTO
LGICO
e) N.a.
P1 = - x(Ax - Bx)
P2 = x(Bx - Cx)
Qu se implica?
a) x(Ax Cx)
c) x(Ax - Cx)
e) N.a.
B) - x(- Ax Cx)
d) Es falacia
sido
sido
sido
sido
b) 1,2,3
c) 4 y 5
b) 3,4,5
e) N.a.
c) 2,3,4
Son no absurdas:
a) 1,2,3
d) Todas
B) 1,3,2
d) Todas menos 1
Dado:
P1 = x(Cx v Bx)
P2 = - x(Bx v Ax)
Qu se deduce?
b) 1,2,3
e) N.a.
01
SILOGIS
c) 2,3,4
01.
Si: Cualquier animal
siendo avestruz es ave corredora,
ms bastantes avestruces de ningn
modo son aves voladoras. Entonces:
1. Hay siquiera una ave corredora
que de ningn modo es voladora.
2. Es falaz, que toda ave voladora
sea corredora.
3. No, ninguna ave no corredora es
voladora.
4. No siempre, cada ave corredora
es voladora.
5. En forma alguna, cada quien no
es corredora excepto que sea
ave.
Son falsas:
a) 1,2,3
d) 2 y 3
b) 1,4,5
e) Todas
c) 4 y 5
b) 2,3,4
e) N.a.
c) 3,4,5
02
5to. Ao Secundaria
c) 1,3,2
04. Bastantes
salseros
son
huachafos, an cuando quienquiera
sea el cantante latino no es
antisalsero. En consecuencia:
1. Bastantes
cantantes
son
huachafos.
2. En
forma
alguna,
ningn
huachafo es cantante.
3. Existen huachafos que son
cantantes.
4. Cualquier huachafo no es no
cantante.
5. Bastantes no huachafos son
cantantes.
Son incorrectas:
a) 1,2,3
d) Todas
b) 4 y 5
e) N.a.
05. Dado:
P1 = - x(- Ax v Bx)
P2 = x(- Bx Cx)
Qu se infiere?
S5RL33B
c) 1,3,5
RAZONAMIENTO
LGICO
a) x(Ax Cx)
b) - x(Cx - Ax)
c) - x(- Ax v Cx) d) Todas
e) N.a.
06. S: Ni siquiera un manitico es
normal; an cuando, la minora de
maniticos es absurdo que sean
sabios. Por tanto:
a) Algunos sabios son anormales.
b) Muchos normales son sabios.
c) Ni al menos un normal es sabio.
d) Cada uno de los anormales es
sabio.
e) N.a.
07. S: Quienquiera sea el sibarita
es displicente, sin embargo es
innegable que, muchos artistas
faranduleros son sibaritas. Luego:
1. Bastantes
displicentes
son
faranduleros.
2. La mayora de faranduleros son
displicentes.
3. Es falaz que, cualquier persona
no es farandulera salvo que no
sea displicente.
4. Es objetable que, ningn artista
farandulero sea displicente.
5. No, ni al menos una persona
displicente es farandulera.
No son no correctas:
a) 1,2, 3
d) 3, 4, 5
b) Slo 2
e) Todas
c) 1 y 2
LGICA
COLEGIO DE CIENCIAS LORD KELVIN
5to. Ao Secundaria
c) Es falaz que, algn aristcrata
sea racista.
d) A y B
e) N.a.
09. Si: La mayora de escpticos son
suicidas, al igual que ningn no
dogmtico es suicida. Luego:
1. Hay por lo menos un escptico
que
de
ningn
modo
es
dogmtico.
2. Bastantes personas que son
escpticos, son dogmticos.
3. Ningn no dogmtico no es
escptico.
4. De ningn modo, nadie que sea
dogmtico es escptico.
5. Es
innegable
que,
ningn
escptico
es
obviamente
dogmtico.
Son correctas:
a) 1, 3, 5
d) 3 y 5
b) 1, 2, 4
e) Todas
c) 2 y 4
10. Dado:
P1 = - x(- Ax Bx)
P2 = x(- Bx - Cx)
Qu se concluye?
a) x(Cx Ax)
c) - x(Ax Cx)
e) N.a.
b) x(Cx - Ax)
d) x(Cx Cx)
S5RL33B
01
4. No acontece que,
tenga
sangre
animal.
5. No, cada quien
excepto que no
caliente.
b) 2,3,4
e) N.a.
c) 3,4,5
b) 3,4,5
e) N.a.
a) 1,4,3
d) 3,2,5
LGICO
b) 1 y 4
e) 2,3 y 5
c) 2 y 5
14. Si:
P1 = x(- Ax v Bx)
P2 = x(- Cx - Bx)
Qu se infiere?
a) x(Cx - Ax)
Ax)
c) x(Cx v Ax)
e) N.a.
B) - x(- Cx D) Todas
15. Si:
P1 = x(Qx - Rx) y la conclusin es:
- x(- Rx - Sx). Cul es la otra
premisa?
a) x(Sx Qx)
c) - x(- Sx Qx)
e) N.a.
b) - x(Sx - Qx)
d) x(Qx - Sx)
2. Interseccin: A B: Elementos
comunes que pertenecen al conjunto
A y al conjunto B.
3. Reunin: A B: Totalidad de
elementos tanto del conjunto A
como del conjunto B.
4. Inclusin: A B: Todos los
elementos del conjunto A estn
incluidos en el conjunto B.
5. Exclusin: A B : Entre el conjunto
A y el conjunto B no hay relacin de
elementos.
6. Diferencia: A B: Elementos del
conjunto A que no pertenecen al
conjunto B.
7. Conjunto Universal: V, U, 1:
Conjunto total de elementos finitos
o infinitos.
c) 2,3,4
AUTOEVALUACIN
RAZONAMIENTO
4. Es
mentira
que,
existan
charlatanes veraces.
5. Siquiera por lo menos una
persona veraz es charlatn.
No son absurdas:
a) 1,2,3
d) Todas
5to. Ao Secundaria
Son no falsas:
a) 1,2,3
d) Todas
02
Los Huitotos
Las culturas selvticas
Los ashninkas
Las tribus nativas de Loreto.
Los campas.
Son
absolutamente
salvo:
S5RL33B
incorrectas,
b) 2 y 4
e) N.a.
c) 4, 2, 3
02. Dada
las
clases:
clulas
vegetales, clulas animales, de
las
cuales
derivamos:
clulas
vegetales
tanto
como
clulas
animales,
qu
operacin
se
produjo?
a) Interferencia
b) Inclusin
c) Exclusin
d)
Suma
o
reunin
e) N.a.
03. La base de la equivalencia lgica
siguiente: Quienquiera sea el animal
no es domstico excepto que
adiestrado, qu relacin clasial
produce?
a) Suma
c) Inclusin
e) N.a.
b) Interseccin
d) Exclusin
B
A
04. Dado
el
conjunto:
Filsofos
idealistas, su complemento es:
1.
2.
3.
4.
5.
01
Thales de Mileto
Herclito de Efeso
Demcrito de Abdera
Carlos Marx
Filsofos materialistas
a) (A O B)
b) Ni siquiera un no comunicador
social es periodista.
c) Arguedas es un literato.
d) Todas
e) N.a.
5to. Ao Secundaria
02
a) 4, 3, 2
d) Slo 5
b) 1 y 2
e) N.a.
c) 5, 3, 4
05. La
conclusin
del
siguiente
argumento formal:
[ (A O B) (A C )], qu
operacin clasial representa?
a) Interferencia
c) Suma de clases
e) Exclusin
S5RL33B
b) Diferencia
d) Inclusin
a)
b)
c)
d)
e)
oradores locuaces
oradores pero no locuaces
locuaces ms no oradores
slo oradores
N.a.
a) varones y mujeres
b) varones o manicuristas
c) varones manicuristas
d) varones con manicuristas
e) N.a.
10. De la siguiente frmula:
{[(- A . B . C) + -(A + B)] . (- B / - A)}
donde:
A = animales, B = vegetales;
C = seres orgnicos
qu se deduce?
a)Animales y vegetales b)
animales
c)Slo vegetales d)Seres
e) N.a.
Slo
11. Qu diagrama
paradoja clasial?
una
a)
expresa
b)
X
A
X
B
c)
A
d)
B
U
X
X
A
e) B y D
12. El siguiente diagrama, representa a:
LGICO
Son falsas:
08. De la siguiente frmula:
[(A . B) + (B . A)] + [((B . A) + B)]
donde A = oradores, B = locuaces
Qu se deduce?
RAZONAMIENTO
x
S5RL33B
x
a
x
b
a) Chferes e ignaros.
b) Chferes y/o ignaros.
c) Choferes y al mismo tiempo
ignaros.
d) Choferes que no son ignaros.
e) N.a.
14. La proposicin: La mayora de
centros educativos franceses de
calidad no son privados. Qu
operacin clasial representa?
a) a . b
d) a + b
b) a - b
e) N.a.
c) a b
El nuevo smbolo
de una buena educacin...."
b
son
01
02
5to. Ao Secundaria
RAZONAMIENTO
DIAGRAMA DE
Representaciones de proposiciones
Categricas:
Anexo:
= O : sombreado
O: x
S , P : no tocar S, P
U
10. No es innegable que, aunque
sea un no materialista no es un no
escptico.
U
U
6. Quienquiera sean las personas no
son autctonas excepto que jams
tengan identidad.
INSTRUCCIONES:
Diagrama
siguientes proposiciones:
las
1. Cualquier
catlico
es
no
U
5. Es inobjetable que, nada que no
sea humano no es social
A=S P =O
E=SP=O
I=SPO
O=S P O
LGICO
adventista
los
10.
U
7. No acaece que, cada no formalista
no sea axiomatista
INSTRUCCIONES:
Interprete
siguientes diagramas:
U
3. Ni
siquiera
extraterrestre.
un
terrcola
es
U
S5RL33B
S5RL33B
P U
d) Todas
mantecato
01
e) N.a.
02
b) 2 y 4
e) Todas
15.
13.
a) Cualquier cuentista no es no
novelista.
b) Es inobjetable que, por lo menos
un cuentista no es novelista.
c) S P O
d) La minora de no cuentistas son
novelistas.
e) N.a.
(S P O)
x(Px - Sx)
(P S = O)
Ni por lo menos un ornitorrinco
es reptil
5. Entre el conjunto S y el conjunto
P, no existe ningn elemento.
1.
2.
3.
4.
14.
b) 2,3,4
C) 3,4,5
1) A B 0
3) A A B = 0
5) ( A O B)
a) 1 y 3
d) 1 y 2
b) 2 y 5
e) N.a.
a) F C 0
c) (C F = 0)
e) N.a.
B) C F = 0
D) C F 0
a) R T 0
c) R I T
e) N.a.
B) R T 0
D) Todas
c) 2 y 4
no
b) D A 0
d) D A 0
a) D A 0
c) D A 0
e) N.a.
2) A B = 0
4) ( A E B)
Son no incorrectas:
S5RL33B
LGICO
c) 1, 3, 4
RAZONAMIENTO
es
5to. Ao Secundaria
es
a)
S I P
b) Hay falsos predicadores que no
son misioneros.
c) En modo alguno, cada anticubano es obviamente peruano.
d) Todas
e) N.a.
B) R T = 0
D) (R T 0)
b) 2 y 5
e) N.a.
c) 2 y 4
no
es
b) R T = 0
d) (R T 0)
a) S I P
b) Hay falsos predicadores que no
son misioneros.
c) En modo alguno, cada anticubano es obviamente peruano.
d) Todas
e) N.a.
29. El diagrama, representa a:
b) D A 0
d) D A 0
b) C F = 0
d) C F 0
R I T
b) R T 0
c)
e) N.a.
d) Todas
S5RL33B
RAZONAMIENTO
e) N.a.
31. El diagrama:
5to. Ao Secundaria
02
b) Es
inobjetable
que,
los
rinocerontes son verazmente
vertebrados.
c) Hay por lo menos un fsico que
no es matemtico,
negado
totalmente,
d) Todas
e) N.a.
2) A B = 0
4) ( A E B)
Son no incorrectas:
a) 1 y 3
d) 1 y 2
01
a) S P 0
a) Es
absoluto
que,
varios
diplomados son letrados.
b) No sucede que, ni al menos un
diplomado sea letrado.
c) Bastantes no diplomados son
letrados.
d) De
ninguna
forma,
los
diplomados son letrados.
S5RL33B
LGICO
01
02
5to. Ao Secundaria
RAZONAMIENTO
copyright 2003
S5RL33B
S5RL33B
LGICO