Proposiciones Categoricas Ejercicios
Proposiciones Categoricas Ejercicios
Proposiciones Categoricas Ejercicios
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. AO ; EI ; I E ; OA
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)
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
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
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
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