Proposiciones Categoricas Ejercicios

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 6

I.E.P.

“EXITUS “Formadores de Nuevas Generaciones”

Curso 5º Secundaria 2021


Raz. Lógico Separata N°10

PROPOSICIONES CATEGÓRICAS
Lógica Proposicional: Ejemplos:
Si Luís es matemático entonces es hábil: p → q “La Nanotecnología es nueva ciencia”: Proposición
El gato es un animal además es un felino: p  q afirmativa.
“Ningún matemático es informal”: Proposición negativa.
Lógica Predicativa:
a) Sujeto Precisado: FORMAS TÍPICAS DE LAS PROPOSICIONES
Si Luís es matemático entonces es hábil: M → H CATEGÓRICAS:
Otra forma: M() → H() Son las clases de proposiciones que se distinguen,
teniendo en cuenta su cantidad y cualidad
El gato es un animal además es un felino: Ag  Fg simultáneamente, son las cuatro siguientes:
FORMA
b) Sujeto no Precisado: REPRESENTACION
REPRES. REPRES
Todos los matemáticos son hábiles :  x (Mx → Hx) TIPICA LITERAL SIMBOLICA
TIPO SIMBOLICA CON
CUANTIFICADORES
Algunos animales son felinos :  x (Ax  Fx)
Universal
A Todo S es P SaP x (S x → Px )
Afirmativo
ELEMENTOS DE LAS PROPOSICIONES Ningún S es Universal
CATEGÓRICAS (lógica predicativa) Éstas poseen cuatro E SeP x (S x →  Px )
P Negativo
elementos: Algún S es Particular
I SiP x (S x  Px )
P Afirmativo
a) CUANTIFICADOR: Indica si el término sujeto se toma Algún S no Particular
O SoP x (S x   Px )
en toda su extensión o sólo en parte. es P Negativo
Ejemplo:
“Todos los árboles son verdes”
CUADRO DE BOECCIO
“Algunos leones son rabiosos”
x + x -
b) SUJETO: Es el término que indica un conjunto o Contrarias
clase. Se le simboliza por “S”. A E
En el ejemplo anterior los sujetos son: “árboles” y
Subalternante

Co
Subalterna

ri a Subalternante
Subalterna

“perros” ntr
a icto
dd
c) VERBO: Une el Sujeto y Predicado, sea en forma tra ict
on o ri
C a
afirmativa o negativa. El verbo es el término que está
en todas sus formas, tiempo, mayormente es el verbo
SER en forma afirmativa o negativa. I O
En el ejemplo anterior, se usa el verbo SER en forma Subcontrarias
afirmativa. x + x -
d) PREDICADO: Es el término que indica también un
conjunto o clase. Se le simboliza por “P”. Llamado también cuadro de oposiciones, es un gráfico
En el ejemplo anterior, los predicados son: “verdes” y atribuido al filósofo medieval Boeccio, que muestra las
“rabiosos”. relaciones entre estas cuatro formas típicas de las
proposiciones categóricas (con los mimos términos
CANTIDAD DE UNA PROPOSICIÓN CATEGÓRICA: sujeto y predicado).
Es el número de elementos del término sujeto mencionado
en una proposición categórica. Según la cantidad, las Ejemplos:
proposiciones categóricas se clasifican en: Universales y a) La contradictoria de “E” es I.
particulares. b) La subalternante de la contradictoria de “E” es A.
Ejemplos: c) La subcontraria de la subalterna de la subalternante
“Todos los animales mueren”: Proposición universal de “O” es I.
“Algunos alumnos son artistas”: Proposición particular
INFERENCIAS INMEDIATAS EN EL CUADRO DE BOECCIO:
CALIDAD O CUALIDAD DE UNA PROPOSICIÓN Se han establecido las siguientes inferencias inmediatas
CATEGÓRICA: válidas:
Es la que determina si la proposición es afirmativa o Por equivalencia:
negativa a través del verbo. AO ; EI ; I E ; OA

1 RAZ. LÓGICO – 5º SECUNDARIA II TRIMESTRE - 2021


I.E.P. “EXITUS “Formadores de Nuevas Generaciones”

Ley de D Morgan 4. La proposición: “Algunos periodistas son honestos”, se


 x ( M)  x (M)  x ( M)  x (M) formaliza como:
Formas especiales: a) x ( Px  Hx ) b) x ( Px → Hx ) c) x ( Px  Hx )
A) Conversa:
1) Conversa Lineal: d) x (Px  Hx ) e) x (Px  Hx )
1) S e P 1) S i P
P e S P i S 5. Formalizar la proposición: “Ningún comunista es
2) Conversa Accidental pacifico”
1) S a P 1) S e P a) x ( Cx  Px ) b) x ( Cx  Px ) c) x (Cx → Px )
P i S P o S
B) Obversa: d) x ( Cx  Px ) e) x (Cx → Px )
Premisa Obversa
__
SaP Se P 6. La proposición: “Pocos artistas no son vegetarianos”,
__ se formaliza como:
SeP Sa P
__ a) x ( A x → Vx )
Si P So P
__
b) x ( A x  Vx )
SoP Si P
C) Contrapuerta Parcial: c) x ( A x  Vx )
P: Premisa
O: Obversa d) x ( A x  Vx )
C: Conversa
e) x ( A x  Vx )

7. Formalizar: “Todo jugador no es atleta”


D) Contrapuerta Total:
P: Premisa a) x ( Jx → A x )
O: Obversa
C: Conversa
b) x ( Jx  Ax )
O: Obversa c) x ( Jx → A x )
EJERCICIOS
d) x ( Jx  A x )
1. Simbolizar en forma tìpica y forma cuantificada las
siguientes proposiciones categòricas. e) x ( A x → Jx )
a. Algunas ciudades no grandes no son inadecuadas
para vivir. 8. Formalizar: “Ningún joven no es adulto”
a) x ( Jx → A x )
b. Los no filósofos son no matemáticos.
b) x ( Jx → A x )
c. En forma alguna no hay humano que sea mortal.
c) x ( Jx → Ax )
d. Varios insanos son deportistas.
d) x ( Jx → A x )
e. Todas las aves no son no Tropicales e) x ( Jx → A x )

2. Simbolizar: 9. Formalizar: “Ningún jugador no es no atleta”


a) x ( Jx → A x )
a. José duerme y Mary estudia.
b) x ( Jx → Ax )
b. Mario no deportista. c) x ( Jx → Ax )
d) x ( Jx → A x )
c. Cualquier es honesto.
e) x ( Jx → A x )
d. Es inconcebible que hay disciplinados.
10. Formalizar:
“En forma alguna, algunas ciudades no son de clima
3. En la lógica de predicados, la proposición, no frío”
“José duerme y Mary estudia”, se simboliza como: a) x ( Cx  Fx )
a) pq b) Jd  Me c) Dj  Em
b) x ( Cx  Fx )
d) Jd  E m e) D j Me
c) x ( Cx  Fx )
d) x ( Cx  Fx )
e) x ( Cx  Fx )

2 RAZ. LÓGICO – 5º SECUNDARIA II TRIMESTRE - 2021


I.E.P. “EXITUS “Formadores de Nuevas Generaciones”

11. Simbolizar: “O bien César es estudioso e inteligente, o 18. La conversa lineal y la obversa de “Determinados
bien distraído” platos de comida son ceviches” es:
a) (Ce  Ci )  Cd a) C a P, P o c͞
b) C i P , P e ͞c
b) (Ce  Ci )  Cd c) C a P, P e c͞
d) C i P, P i c͞
c) (Ec  Ic )  Dc e) C i P, P o ͞c
d) Ce i  Cd
19. La proposición: “Solamente los científicos son adictos
e) (Ec  Ic )  Dc al café”, se puede afirmar:
I. A i C ,es su fórmula booleana
12. El equivalente de:” No todo lo que brilla es Oro” II. Representa una inclusión total de clases
III. C e Ā es la fórmula típica de su obversa.
1. Algunos metales que brillan no son de oro”
2. Existen metales que brillan pero no son de oro Son ciertas:
3. Hay metales que brillan sin ser de oro a) III
4. Muchos metales que brillan no son de oro b) I y II
Son ciertas: c) I y III
a) 1,2,3 y 4 b) 1,3 y 4 c) 1 y 3 d) II
d) 2,3 y 4 e)1,2 y 4 e) II y III

13. El equivalente típico de : Es inobjetable que los 20. Negar la siguiente proposición
países desarrollados no son los que sostienen el
sistema financiero” ( x )(y )( z ) /  p(x) → q(y)  r(z) ,
a) D i F b) D e F c)D a F
c) D o F e) F a D Si el conjunto de referencia es los reales ( )
a) ( x )( y )( z ) / p(x) → q(y)  r(z)
14. El equivalente típico de: “Es mentira que el
crecimiento de la población sea la causa de la crisis b) ( x )(y )( z ) /  p(x) → q(y)  r(z)
mundial”
c) (x )( y )( z ) / p(x) → q(y)  r(z)
a) P a C b) P e C c) P i C
d) C o P e) P o C d) (x )( y )(z ) / p(x) → q(y)  r(z)

15. La proposición: “Toda enfermera es Profesional” es


e) (x )(y )( z ) / p(x) → q(y)  r(z)
equivalente a:
1) Toda persona no es enfermera a menos que sea 21. La traducción de “ x (Mx  Ix ) ”, es equivalente a :
Profesional.
2) Ningún no profesional es enfermera a) Bastantes matemáticos son investigadores.
3) Nadie que sea no profesional es enfermera b) No es cierto que los matemáticos son
4) Todo profesional es enfermera investigadores.
5) Muchos profesionales son enfermeras c) Es innegable que ningún matemático es
Son ciertas: investigador.
a)1 ,2 y 3 b)2,3y 4 c)3,4 y 5 d) Los investigadores son matemáticos.
d)1,2,3,4 y 5 e)2,4 y 5
e) Ningún científico es matemático.
16. La proposición “La minoría de abogados no son no
tramposos” su equivalente es: 22. El equivalente de la proposición: “Es mentira que los
soldados no son cobardes”, es:
1). A i T 2). A o T 3). ~(A e T) a) Muchos soldados son cobardes.
4.) ~(A a T) 5) ~(A O T) b) Es no innegable que toda persona no sea soldado
a no ser que sea cobarde.
Son ciertas: c) Ningún soldado es no cobarde.
a)1,2 y 3 b) 2,4 y 5 c) 1 y 2 d) Es innegable que hay soldados que no sean
d) 1 y 3 e) 1 cobardes.
e) Algunos soldados son cobardes
17. El equivalente de: x ( Sx  Px ) es:
23. El equivalente “Es mentira que, la mayoría de jóvenes
1) SeP son ociosos”, es:
2) PeS
a) Pocos jóvenes son ociosos.
3) x (Px → Sx ) b) Ningún joven es ocioso.
4) x (Sx → Px ) c) Casi todos los jóvenes son ociosos.
d) Cualquier joven es ocioso.
Son ciertas:
e) Varios jóvenes son trabajadores
a) 1 y 2 b) 2 y 3 c) 1 y 4
d) 3 y 4 e)1,2,3 y 4

3 RAZ. LÓGICO – 5º SECUNDARIA II TRIMESTRE - 2021


I.E.P. “EXITUS “Formadores de Nuevas Generaciones”

24. La subcontraria de la contradictoria de la contraria de : 30. Formalizar en forma típica y cuantificacional


“Ningún Biólogo es Doctor” es equivalente: respectivamente: “Algunos no brasileños no son no
a) Todo Biólogo es Doctor futbolistas”.
b) Algún Biólogo es Doctor __ ___
c) Ningún Biólogo es Doctor a) B o F ; x (Bx  Fx )
d) Algún biólogo es no Doctor __ ___
e) Todos los Doctores son Biólogos b) B o F ; x ( Bx  Fx )
__ ___
25. Son proposiciones equivalentes: c) B i F ; x (Bx  Fx )
1) Todos los filósofos son agnósticos. __ ___

2) Cualquier agnóstico es filósofo. d) B o F ; x (Bx  Fx )


3) No es cierto que, la minoría de filósofos no son __ ___

agnósticos. e) B a F ; x ( Bx → Fx )
4) Las personas son agnósticas o jamás son
filósofas. 31. Dada las proposiciones:
5) Es imposible que, existen no agnósticos que son 1. Todos los jueces son abogados.
filósofos. 2. Juan no es abogado pero Miguel es juez.
Son no inciertas:
Se puede inferir que:
a) 2 y 3
b) 2 y 4 a) Juan no es juez pero Miguel no es abogado.
c) 2 y 5 b) Juan es juez pero Miguel es abogado.
d) 1, 3 y 4 c) Miguel es abogado aunque Juan no es juez.
e) 1,3,4 y 5 d) Ni Miguel es abogado ni Juan juez.
e) Si Juan es juez, Miguel es abogado.
26. La formalización de: “Algunos periodistas son
veraces”, equivale a:
32. La formalización por conversión accidental y lineal,
a) P o V
respectivamente en: “Ningún tímido es líder”, es:
b) V o P
a) T e L ; L o T b) L o T ; L e T c) T e L ; T o L
c) x (Px → Vx )
d) T o L ; T e L e) L o T ; T e L
d) VaP
e) PaV 33. Si “Ninguna sustancia es alimento” es falso, entonces
señale la conclusión verdadera.
27. El equivalente de “Pocos países están superando la
a) Algunas sustancias no son alimentos.
crisis mundial”
b) Todo alimento es sustancia.
a) Todos los países están superando la crisis
mundial c) Algunas no sustancias son alimentos.
b) Ningún país está superando la crisis mundial d) Muchas sustancias son alimentos.
c) Ningún país no está superando la crisis mundial e) No se puede determinar conclusión alguna.
d) Algunos países no están superando la crisis
mundial 34. Dadas las premisas:
e) Es mentira que los países están superando la
1. m, ( 2014 = m x 2)  (34 + 1 = m)
crisis mundial
2. m, ( m + 1 = 35)  ( 48 − m = 14)
28. Dada la proposición: “Ningún ateo es agnóstico”, se
3. 48 − 34 = 14
afirma que:
1. El término “Ateo” está distribuido. Se concluye en:
a) 2014 = 35 x 2 b) 2014  35 x 2
2. El término “Agnóstico” no está distribuido.
c) 34 + 1  35 d) 2014  34 x 2
3. El cuantificador es particular.
e) 2014 = 34 x 2
4. Pertenece a la forma típica “e”.
35. La contrapuesta parcial de “Todo niño es vulnerable”,
a) Sólo 1 es cierta
es:
b) 2 y 4 son falsas
a) Ningún vulnerable es niño
c) 1 y 4 son falsas
b) Algún vulnerable es niño.
d) 1 y 3 son ciertas
c) Ningún vulnerable es no niño.
e) 1 y 4 son ciertas
d) Algo no vulnerable no es niño.
29. Según el cuadro de Boecio, las proposiciones e) Algo no vulnerable es niño.
subalternantes son aquellas que:
36. Si “Algunos legisladores son ciudadanos” es falsa.
a) Tienen la misma cantidad y cualidad.
¿Cuál de las siguientes proposiciones son falsas?
b) Se diferencian por la cualidad.
1. Algunos legisladores no son ciudadanos
c) Tienen distinta cantidad pero igual cualidad.
2. Ningún legislador es ciudadano
d) Se diferencian tanto en cantidad como en calidad. 3. Todos los legisladores son ciudadanos
e) Tienen distinta cualidad pero igual cantidad. Son ciertas:
b) 1 y 2 b)2 y 3 c)1 y 3 d)Sólo 2 e)Sólo 3

4 RAZ. LÓGICO – 5º SECUNDARIA II TRIMESTRE - 2021


I.E.P. “EXITUS “Formadores de Nuevas Generaciones”

37. Si “Ningún compuesto orgánico es un metal” es 44. La proposición: “No hay no políticos”; equivalente a:
verdadera. ¿Cuál de las siguientes proposiciones son 1. Algunos son políticos
falsas? 2. Todos son políticos.
1. Todo compuesto orgánico es un metal 3. Todos no son no políticos.
2. Pocos compuestos orgánicos no son metales
3. Casi todos los compuestos orgánicos son metales 4. Es absurdo que, no todos sean políticos.
Son ciertas: 5. Es falso que, no todos no sean políticos.
a) 1 y 2 b) 2 y 3 c) 1 y 3 Son ciertas, excepto:
d) Sólo 1 e) Sólo 2
a) 3, 4 y 5 b) 4 y 5 c) Sólo 3
38. Si “Algunos sacerdotes no son abstemios” es falsa. d) 1, 2 y 4 e) 1 y 5
Indicar el valor de:
1. Pocos sacerdotes son abstemios 45. Son proposiciones equivalentes:
2. Ningún sacerdote es abstemio 1. Todos los docentes no son profesionales.
3. Todos los sacerdotes son abstemios
a) FFV b) FVF c) VVV 2. Cualquier profesional es docente.
d) VFV e) VVF 3. La minoría de docentes son no profesionales.
4. Algunos no docentes no son profesionales.
39. En la lógica de predicados, la proposición, “Si Juan 5. Existen profesionales que son docentes.
estudia entonces triunfa”, se simboliza como:
a) p → q b) Je → Mt c) Dj  Em
Son correctas:
d) E j → T j e) E j  Tj a) 1, 3 y 4 b) 1 y 2 c) 1 y 3
d) 1, 3 y 5 e) Sólo 1
40. Negar la siguiente proposición categórica:
“ ,  /( x  ) → ( f ( x )  ) 46. El equivalente de: (M e G) , es:

a)  /  , ( x   )  ( f ( x )   ) a)M i G b) G o M c) x (Mx  Gx )
d) x ( Gx  Mx )
b)  /  , ( x   )  ( f ( x )   )
e) b y d

c)  /  , ( x   )  ( f ( x )   ) 47. Son proposiciones equivalentes:

d)  /  , ( x   )  ( f ( x )   )
1)Todos los matemáticos son agnósticos.
2)Cualquier agnóstico es matemático.
e)  /  , ( x   ) → ( f ( x )   ) 3)No es cierto que, la minoría de matemáticos no son
agnósticos.
4)Los agnósticos jamás son matemáticos.
41. La contradictoria de: “Sólo los economistas son 5)Es imposible que, existen no agnósticos que son
ministros de economía”, es: matemáticos.
a) Todos los economistas son ministros de
economía Son no inciertas:
b) Ningún ministro de economía es economista a) 2 y 3 b) 2 y 4 c) Sólo 2
c) Algunos ministros de economía son economistas d) 1, 3 y 5 e) Todas menos 2
d) Pocos ministros de economía no son economistas
e) Los economistas no son ministros de economía 48. La obversa de la subcontraria de la contrapuerta total
de la obversa de la subalterna de “Sólo las playas
42. “Los egipcios no son no africanos”, su obversa
piuranas están contaminadas”, es:
equivale a:
a) P o C b) P e C c) P a C
1. Algunos egipcios son africanos.
2. Algunos africanos son egipcios. d) P a C e) P i C
3. Es absurdo que, ningún egipcio es africano.
4. Es falso que ningún egipcio no es africano. 49. La formalización de: “No se da que ningún elemento
5. No es no falso que quienquiera sea no africano a es radioactivo”. Equivale a:
menos que sea egipcio. 1) Algún elemento es radiactivo.
Son ciertas: 2) Pocos elementos no son no radioactivos.
a) 3 y 5 b)1, 2 y 4 c)1, 2, 3 y 5 3) Es falso que todos los elementos son
d)Sólo 1 e)1, 2 y 3 radioactivos.
4) Ninguno elemento es radioactivo.
43. La contrapuerta total de la obversa de la contradictoria
de “Ciertos candidatos son técnicos”, es: Son ciertas:
a) Todos los candidatos son técnicos. a) 1, 2, 3
b) Algunos técnicos son candidatos. b)2 y 4
c) Ningún técnico es candidato. c)1 y 2
d) Todos los candidatos son no técnicos. d) Sólo 3
e) Todos los técnicos son no candidatos. e) 3 y 4

5 RAZ. LÓGICO – 5º SECUNDARIA II TRIMESTRE - 2021


I.E.P. “EXITUS “Formadores de Nuevas Generaciones”

50. En las siguientes proposiciones: Los términos distribuidos respectivamente, son:


• Todos los eucaliptos son árboles. a) Árboles, vertebrado.
• Ningún insecto es vertebrado. b) Eucalipto, insecto y vertebrado.
• Algunos filósofos son matemáticos. c) Eucalipto, insecto, vertebrado y matemático.
Los términos distribuidos respectivamente, son: d) Eucalipto y filósofo.
a) Árboles, vertebrado. e) Matemático.
b) Eucalipto, insecto y vertebrado.
c) Eucalipto, insecto, vertebrado y matemático. 54. La contrapuerta total de la contraria de la
d) Eucalipto y filósofo. subalternante de la subcontraria de “Algunos
e) Matemático. futbolistas son bohemios”, es:
a) Todos los no bohemios son futbolistas.
51. La contrapuerta total de la contraria de la b) Algunos futbolistas son bohemios.
subalternante de la subcontraria de “Algunos c) Algunos futbolistas no son bohemios.
futbolistas son bohemios”, es: d) Todos los futbolistas no son bohemios.
a) Todos los no bohemios son futbolistas. e) Pocos no bohemios son no futbolistas
b) Algunos futbolistas son bohemios.
c) Algunos futbolistas no son bohemios. 55. Indicar la alternativa, que no es equivalente a las
d) Todos los futbolistas no son bohemios. demás:
e) Pocos no bohemios son no futbolistas. a) Algún P es S.
b) Algún S no es no P.
52. Formalizar Si Lope de Vega o Tirso de Molina c) Es falso que ningún P es S.
representan el siglo de oro de la literatura española, d) Algún P no es no S.
entonces Bécquer es el más grande representante del e) Es imposible que, todo S es P.
romanticismo español.
Siendo: a = Lope de Vega, b = Tirso de Molina 56. Negar la siguiente proposición:
c = Bécquer, S = Siglo de oro de la literatura española ( x ) , ( y ) /  p ( x ) → ( q ( y ) → r ( x ) )
y R = Más grande representante del romanticismo
español. Si el conjunto de referencia es los reales ( )
a) ( Sb  Sa ) → Rc
a) ( x ) / ( y ) , p ( x )  ( q ( y )  r ( x ) )
b) (Sa  Sb ) → Rc
c) (Sa  Sb ) → Rc b) ( x ) / ( y ) ,  p ( x )  (q ( y )  r ( x ) ) 

d) ( Sa  Sb ) → Rc c) ( x ) / ( y ) , p ( x )  ( q ( y )  r ( x ) ) 
e) (Sb  Sa )  Rc
d) ( x ) / ( y ) , p ( x )  ( q ( y )  r ( x ) ) 
53. En las siguientes proposiciones: e) ( x ) / ( y ) , p ( x )  ( q ( y )  r ( x ) ) 
• Todos los eucaliptos son árboles.
• Ningún insecto es vertebrado.
• Algunos filósofos son matemáticos.

Sec21-5 RL 10
Exitu´s

6 RAZ. LÓGICO – 5º SECUNDARIA II TRIMESTRE - 2021

También podría gustarte