0% encontró este documento útil (0 votos)
569 vistas3 páginas

Formalización Lógica por Richard Herrera

Este documento presenta 13 proposiciones que deben ser formalizadas lógicamente. Cada proposición se presenta en lenguaje natural y luego se ofrece 5 opciones de su formalización lógica. El documento analiza diferentes temas como la política, la economía, la ciencia y la lógica formal.

Cargado por

REINITA HERMOSA
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
569 vistas3 páginas

Formalización Lógica por Richard Herrera

Este documento presenta 13 proposiciones que deben ser formalizadas lógicamente. Cada proposición se presenta en lenguaje natural y luego se ofrece 5 opciones de su formalización lógica. El documento analiza diferentes temas como la política, la economía, la ciencia y la lógica formal.

Cargado por

REINITA HERMOSA
Derechos de autor
© All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

RAZ. LÓGICO varón excepto que el estradiol por la mujer”.

Se
DOCENTE: Dr. Richard Herrera A.
4. La proposición: “La abundancia isotópica formaliza como:
FORMALIZACIÓN LÓGICA indica el porcentaje de cada isótopo en una A) [(p ∧ q) → r] → (s ← t)
mezcla de varios de éstos en un mismo B) − (p ∧ q) → [r ∧ (s → t)]
1. La proposición: "El que Ollanta Humala sea elemento; así mismo, en el mismo momento el C) [− (p ∨ q) → r] ∧ (s ← t)
presidente del Perú está condicionado por el ácido es una entidad molecular, la reducción es D) [(p ∧ q) → r] → [s ← (t ∨ u)]
que Alan García también lo haya sido. De esto la ganancia de electrones, el anión es una
se infiere que Ollanta Humala es nacionalista, E) [− (p ∧ q) → r] → [s ← (t ∧ u)]
partícula atómica lo mismo que el catión”.
representante de la izquierda peruana y militar Se formaliza como:
en retiro, simultáneamente". 9. La proposición: “Si la fototerapia es un
A) [(p ∧ q) ∧ r] ∧ (s ∧ t) tratamiento a través de luz, permite la cura de
Se formaliza: B) p ← (q ∧ r ∧ s ∧ t) la ictericia. Empero, el galvanismo no es la
A) (p ↔ q) → (r ∧ s ∧ t) C) p ∧ (q ∧ r ∧ s ∧ t) acción eléctrica sobre un ser vivo ya que un ser
B) (p ← q) → (r ∧ s ∧ t) D) p → (q ∧ r ∧ s ∧ t) vivo puede producir electricidad en su cerebro”
C) (p → q) → (r ∧ s ∧ t) E) [(p ∧ q) ∧ (r ∧ s)] → t Se formaliza:
D) (p → q) ∧ (r → s → t) A) (p ← q) ∧ (¬q ← r)
E) (p ← q) ∧ (r → s → t) 5. La proposición: “Dado que la inflación al igual B) (p → q) ∧ ¬(q ← r)
que la crisis económica, ambas no son señales C) (p → q) ∧ (¬r ← s)
2. La proposición: “Dado que es absurdo que de desarrollo social ni señales de crecimiento D) (p ← q) ∧ (¬r ← s)
sea condición necesaria que escribo poemas tecnológico, consecuentemente son
para ser literato, en consecuencia, es condición E) (p → q) ∧ (¬q ← r)
indicadores de recesión”.
suficiente que en modo alguno escribo novelas Se formaliza como:
para que sea certero que soy escritor”. 10. La proposición: “Puesto que el Concilio
A) [(–p ∧ –q) ∧ (–r ∧ –s)] → (t ∧ u) Vaticano II no fue convocado por el Papa Juan
Se formaliza: B) [– (p ∧ q) ∧ –(r ∧ q)] → (t ∧ u) Pablo II por ello es criticado por los
A) ¬(p ← q) → (¬r → s) C) [– (p ∧ q) ∧ – (r ∧ s)] → t racionalistas, aunque el Concilio Vaticano II no
B) ¬[(p ← q) → (¬r → s)] D) (–p ∧ –q) → r es criticado por los racionalistas. Es obvio que,
C) ¬(p ← q) → (¬q → r) E) [(–p ∧ –q) ∧ (–r ∧ –s)] → t el Concilio Vaticano II fue convocado por Juan
D) ¬(p ← q) → ¬(r → s) Pablo II”.
E) ¬(p → q) → (¬r ← s) 6. La proposición: “Sólo si la alevosía es la Se formaliza:
cautela con la que un delincuente asegura la A) [(∼ p → q) ∧ ∼ q] → p
3. La forma lógica: ¬p ∆ (q ≡ r) Se puede leer comisión de un delito, evita el riesgo procedente B) [(∼ p ∧ q) → ∼ q] → p
como: de la defensa del ofendido; no obstante, causa C) [(∼ p → ∼ q) ∧ ∼ q] → p
1) Los quark no son fermiones, salvo que es que la cautela sea preventiva de que la D) [(∼ p → q) ∧ q] → p
determinantemente, los quark se parezcan a los coacción sea igual a la fuerza”. Tiene como E) [(p → q) ∧ q] → ∼ p
gluones siempre y sólo cuando los quark sean fórmula:
de espín 1/2. A) (p → q) ∧ (r → s) 11. El enunciado: “Porque es absurdo que tanto
2) Estudiar psicología es lo mismo que estudiar B) (p → q) ∧ (p → r) el estudio de la estructura interna como el
el conductismo a no ser que sólo sean C) (p → q) ∧ ¬(p → s) estudio de la estructura externa de los seres
disciplinas cuasi experimentales.
D) (p ← q) ∧ ¬(r → s) vivos es la función de la anatomía, ni la citología
3) La economía no utiliza lenguaje
E) (p ← q) ∧ (r → s) ni la ecología son sus ramas”. Tiene como
terminológico, ya bien prioritariamente, la
fórmula bien formada:
economía es una ciencia fáctica es igual a que
es una ciencia de la administración de recursos.
7. La proposición: “En modo alguno el A) –(p ∧ q) → –(r ↓ s)
4) la mecánica cuántica es la base del
coeficiente de Gini es un número entre 0 y 1 B) –(p ∧ q) → (r ↓ s)
obviamente es certero que el 0 corresponde a C) –[(p ∧ q) → –(r / s)]
desarrollo de los transistores, salvo que, la
la perfecta igualdad; por consiguiente no sólo el D) –[(p ∧ q) → (r ↓ s)]
mecánica cuántica sea una rama de la física lo
coeficiente de Gini sino también el de Atkinson E) –(p ∧ q) → (r / s)
que es equipolente a que la teoría cuántica de
sirven para medir la distribución de la renta”.
los campos no sea una rama de la mecánica
Se formaliza: 12. La proposición: “Puesto que Inmanuel Kant
cuántica.
A) –(p → q) → (r → s) es el autor de la ‘Crítica de la razón pura’,
5) La televisión digital se representa por
B) (–p → q) → (–r → s) fundamento del racionalismo, de esto se
números implica y está implicado con que esta
C) –(p → q) → (–r → s) deduce que en ‘Crítica de la razón práctica’
televisión es la más moderna, y de la forma
como esta televisión se presenta ante la D) –(p → q) → (r ∧ s) coloca las bases del empirismo
sociedad. Ya bien no es una televisión que E) (–p → q) → (r ∧ s) contemporáneo, positivismo y neopositivimo,
soluciona el problema del ahorro de energía. pragmatismo así como del método científico, a
Son ciertas: 8. La proposición: “El andrógeno es la vez”.
A) 1, 2 y 3 masculinizante no obstante el estradiol es Se formaliza:
B) 3, 4 y 5 feminizante, es antecedente de que juntos A) (p∧q) ← (r∧s∧t∧u∧v)
C) Sólo 3 y 5 permitan el equilibrio corporal. Luego, las B) p → (q∧r∧s∧t∧u)
D) Sólo 1 y 3 hormonas son básicas en la sexualidad C) p ← (q∧r∧s∧t∧u)
E) Sólo 4 y 5 humana es consecuente de que el andrógeno
D) p → (q∧r∧s∧t)
sea producido en grandes cantidades por el
Pág. 1
E) (p∧q) → (r∧s∧t∧u∧v) para que la democracia social sea verificable es así mismo del huayno alegre, dado que no
necesario colocar reglas claras de juego político posee antecedentes culturales; empero posee
13. La proposición: “El análisis numérico si la democracia social fuera verificable”. antecedentes culturales puesto que es una
investiga los métodos para realizar cálculos en Se formaliza como: ciudad histórica. Consecuentemente es capital
computadores sin embargo se encarga de A) (p ← q) ∧ {q → [(r ∧ s) ∧ (t ↓ u)]} → [q de carnaval y del huayno alegre
diseñar algoritmos. El análisis numérico → (v ← q)] análogamente”. Se formaliza como:
permite, además de simular procesos B) {(p ← q) ∧ [q → (r ∧ s)] ∧ (t ↓ u)} → [q A) – –[(p ∧ q) ← –r] ∧ (r ← s)} → t
matemáticos complejos o la utilización de la → (v ∨ q)] B) [– – (p ∧ q) ← –r] ∧ (r ← s)} → (t ∧ u)
representación de conceptos matemáticos C) {(p ← q) ∧ [q → (r ∧ s)] ∧ (t ↓ u)} → [q C) [– – (p ∧ q) ← – r] ∧ (r ← s)} ← t
como los vectores, la operacionalización → (u ∨ q)] D) – – [(p ∧ q) ← –r] ∧ (r ← s)} ← t
computacional con números binarios“. D) {(p ← q) ∧ [(q → r) ∧ s] ∧ (t ↓ u)} → [(q E) [– – (p ∧ q) ← –r] ∧ (r ← s)} → t
Se formaliza:
→ v) ← q)]
A) (p ∧ q) ∧ [(r ∨ s) ∧ t] 21. El enunciado: "Dado que triángulo =
E) {[(p ← q) ← (r ∧ s)] ∧ (t ↓ u)} → (v ∨ q)
B) ( p ∧ –q) ∧ [(r ∨ s) ∧ t] polígono por consiguiente polígono = cuadrado;
C) (p ∧ q) ∧ [(r ∧ s) ∨ t] 18. La proposición: “Ya bien el desarrollo lo mismo que polígono = rectángulo,
D) (p ∧ –q) ∧ [(r ∧ s) ∨ t] sostenible es sinónimo de perdurable ya bien paralelogramo excepto cubo”.
E) (p ∧ q) ∨ [(r ∧ s) ∧ t] no considera el desarrollo ecológico aunque Se formaliza:
tampoco el desarrollo social; suponiendo que el A) (p → q) ∧ ( r ∧ s ∧ –t)
14. La proposición: “El dominio, la simetría, los desarrollo sostenible no considera el desarrollo B) (p → q) ∧ ( r ∧ t ∧ –s)
puntos de corte, alguno es fórmula de cálculo. ecológico, sus acciones son inmorales; sin C) (p → q) ∨ ( s ∧ r ∨ t)
Así mismo las fórmulas de cálculo son de índole embargo el desarrollo sostenible no es D) (p ← q) ∧ [r ∧ (s ∨ t)]
abstracto”. Se formaliza: sinónimo de perdurable pero considera el E) (q → p) ∧ ( r ∧ s ∧ –t)
A) (p ∆ q ∆ r) ∧ s desarrollo ecológico. En consecuencia, o el
B) [(p ∆ q ∆ r) → s] ↔ (s ← t) desarrollo sostenible no considera el desarrollo 22. La proposición: “Hegel o ‘El más alto
C) (p ∨ q ∨ r) ∧ s ecológico o considera el desarrollo social, idealista de la filosofía moderna’, fue autor de la
D) [(p ∨ q ∨ r) → s] ∧ (s ← t) puesto que no es el caso que considere el triada dialéctica cuando Marx aún no formulaba
E) [(p ∆ q ∆ r) → s] ∧ (s ← t) desarrollo ecológico y el desarrollo social”. su método denominado ‘materialismo histórico
Se formaliza como: y dialéctico’; o bien, Marx o ‘El pensador del
15. La proposición: “No sólo es falso que ni la A) {[p ∆ (q ∧ –r) ∧ (q → –s) ∧ (–p ∧ q)} → [(– milenio pasado’, fue un filósofo riguroso tal
hidrología ni la limnología son q ⊕ r) ← –t] como lo fue Hegel”.
especializaciones de la geografía física sino B) {[p∆(–q∧ –r)] ∧ (–q→s) ∧ (–p∧q)} → [(– Se formaliza:
que la geografía física es más amplia que las q⊕r) ← –(q ∧ r)] A) (p ← –q) ∨ (r ∧ s)
anteriores”. Tiene como fórmula bien formada: C) [p ∆ (q ∧ –r) ∧ (q → –s) ∧ {(–p ∧ q)} → [(– B) (p → q) ∧ (r ∧ s)
A) –(–p ∧ –q) ∧ (r ∧ s) q ⊕ r) → –t] C) [(p ∨ q) → r] ∨ [r ∨ (s ∨ t)]
B) –(–p) ∧ (q ∧ r) D) [p∆(q∧ –r) ∧ (q→ –s) ∧ {(–p∧q)} → [(–q D) (p ← q) ∨ (r ↔ s)
C) –(–p ∧ –q) ∧ r ⊕ r) ← –(t ∧ u)]} E) [(p ∨ q) ← r] ∨ [r ∨ (s ∨ t)]
D) –(–p) ∧ q E) {[p∆(q∧ –r)] ∧ (q→ –s) ∧ (–p∧q)} → [(–q
E) – –(–p ∧ –q) ∧ (r ∧ s) ⊕ r) ∨ –(t ∧ u)]} 23. La proposición: “El TLC con [Link]. hoy
beneficia al Perú sólo si El TLC con [Link]. es
16. La proposición: “Es innegable que la 19. La proposición: “Es dudoso que la favorable al desarrollo social; en la actualidad el
historiografía no es el registro de datos ni el nanotecnología no esté dedicada al control y TLC con [Link]. está beneficiando al Perú
archivo de hechos, sólo si es la redacción de manipulación de la materia a escala tanto como a países latinos liberales.
acontecimientos trascendentes del pasado; no micrométrica porque el control y la Consecuentemente, sus beneficios en la
obstante hay registro escrito y memoria fijada manipulación conjunta de la materia se produce economía son relativos aunque generan
en costumbres de la historia cuando la en un rango de uno y cien nanómetros; en opiniones desfavorables”.
historiografía es igual a epistemología de la consecuencia la nanotecnología está dedicada Se formaliza:
ciencia histórica”. al control de la materia a escala micrométrica a A) [(p ← q) & (p & s)] → (t & u)
Se formaliza como: no ser que el control y la manipulación conjunta B) [(p → q) & (–r & s)] → (t & –u)
A) [(p ∧ q) → r] ∧ [(s ∧ t) → r] de la materia no se produzca en un rango de C) [(p ← q) & (p & s)] → (t ∨ –u)
B) [(–p ∧ ¬q) → r] ∧ [(s ∧ t) → r] uno y cien nanómetros”. D) [(p ← q) & (r & s)] → (t ∨ –u)
C) – –[(–p ∧ –q) ← r] ∧ [(s ∧ t) ← r] Se formaliza como: E) [(q ← p) & (p & s)] → (t & –u)
D) [(p ↓ q) → r] ∧ [(p ∧ q) ← r] A) [–(–p ∧ –q) ← r] → {p ∨ [r ∧ (–p ∧ –q)]}
E) – –[(–p ∧ –q) → r] ∧ [(s ∧ t) ← r] B) [(p ∧ –q) ← r] → [p ∧ –r ∧ (–p ∧ –q)] 24. La proposición: “Un juicio aseverativo es
C) [–(p ∧ q) ← r] → [p ∧ –r ∧ –(p ∧ q)] veritativo no obstante posee sentido, ya que no
17. El enunciado: “La política seria sería la base D) [–(–p ∧ –q) ← r] → (p ∨ –r ) sólo está determinado por su relación de
de la democracia si la democracia social es E) [–(p ∧ –q) ← r] → {p ∨ [r ∧ (–p ∧ –q)]} existencia con la realidad sino también por el
verificable. Suponiendo que ella es verificable, significado en su entendimiento”
es sólo ideológica y eufemística, ni es 20. La proposición: “Es indudable que Se formaliza:
representativa ni emana del pueblo. Por lo que, Cajamarca sea la capital del carnaval peruano A) (p ∨ q) → (r & s)

Pág. 2
B) (p & q) ← (-r & s) D) (p → q) ← (r → s)
C) (p & q) → (r & s) E) (p ← q) → (r ← s)
D) (p & q) ← (-r & -s)
E) (p & q) ← (r & s) 29. La proposición: “La Psicología ni es una
ciencia natural ni es una ciencia social, sino es
25. La proposición: “Dado que la física es el una ciencia sui géneris; por lo cual y según lo
estudio del espacio natural, no lo es de la vida cual dicha ciencia utiliza un conjunto de
orgánica; no obstante lo es de la energía. Por métodos válidos sólo para sí a no ser que pueda
ello, es crucial que la física sea una ciencia ser considerada una ciencia cuasi
experimental”. experimental”. Se formaliza:
Se formaliza: A) [(p ↓ q) ∧ r] = (s ⊕ t)
A) [(p → -q) & r] → s B) [(p / q) ∧ –r] = (s ∨ t)
B) [(p → -q) & -r] → s C) [(p ↓ q) ∧ r] = (s ∧ t)
C) [(p → -q) & r] → -s D) [(p ↓ q) ∧ r] = (s = t)
D) [(p & -q) & r] → s E) [(p ↓ q) ∧ r] = (s ∨ t)
E) [(p & -q) & r] → -s
30. La proposición: “Abulia es igual a
26. La proposición: “Toda vez que la conjunción indiferencia; además, alucinación es igual a
tal como la disyunción son conectores lógicos falsa percepción lo que depende de que la
obviamente que el primero representa la idea ilusión es igual a la combinación de la falsa
de unión de dos proposiciones mientras que el percepción con la percepción extrasensorial”.
segundo representa la idea de alternancia de Se formaliza:
dos proposiciones. Debido a que configuran A) p ∧ (q → r)
parte de la lógica proposicional”. B) p ∧ (q ← r)
Se formaliza:
C) (p ∧ q) ∧ (p ← r)
A) [(p & q) → (r & s)] ← t
D) (p ∧ q) → (r ← s)
B) [(p & q) ← (r & s)] ← t
E) (p ∧ q) ∧ (p ∧ r)
C) [(p & q) → (r & s)] ← (t & u)
D) [(p & q) ← (r & s)] → (t & u)
E) [(p & q) ← (r & s)]

27. La proposición: “Si el implicador, el


bicondicional, y el incompatibilizador, es incierto
que todos ellos son operadores binarios,
consiguientemente, ninguno es operador
unario”.
Se formaliza:
A) –[(p ∧ q ∧ r) → (–s ∧ –t ∧ –u)]
B) –p → –q
C) –(p ∧ q ∧ r) → (–s ∧ –t ∧ –u)
D) –(p → –q)
E) –(p ∧ q ∧ r) → –s

28. La proposición: “Dado que las compuertas,


llamadas puertas lógicas, son dispositivos
informáticos de procesamiento de información
por ende son la representación de lo más
avanzado de la tecnología informática;
consecuentemente los circuitos a
conmutadores en serie, uno de los tipos
conmutadores, representan la distribución
eléctrica cuyos interruptores están en una
relación de conjunción por lo tanto son distintos
a los circuitos a conmutadores en paralelo que
están representados por una disyunción
inclusiva”.
Se formaliza:
A) [(p ∧ q) → r] → (s → t)
B) (p → q) → (r → s)
C) (p ← q) → (r → s)
Pág. 3

Pág. 1 
 
 
 
u0001 RAZ. LÓGICO 
DOCENTE: Dr. Richard Herrera A. 
 
FORMALIZACIÓN LÓGICA 
 
1. La proposición: "El que Ol
Pág. 2 
 
 
 
E) (p∧q) → (r∧s∧t∧u∧v)  
 
13. La proposición: “El análisis numérico 
investiga los métodos para realiz
Pág. 3 
 
 
 
B) (p & q) ← (-r & s)  
C) (p & q) → (r & s)  
D) (p & q) ← (-r & -s)  
E) (p & q) ← (r & s)  
 
25. La

También podría gustarte