0% encontró este documento útil (0 votos)
128 vistas6 páginas

ADICIONAL

El documento presenta 10 preguntas sobre la formalización y equivalencias lógicas de diversas proposiciones. La primera pregunta formaliza la proposición "Es falso que no Solo Leibniz y Newton hayan sido los iniciadores del cálculo sino que ninguno fue precursor de la lógica difusa" como -[(p∧q)∧-(r∧s)]. La última pregunta analiza el circuito lógico formado por las variables A, B y C y sus negaciones y establece que al simplificarlo equivale al circuito donde A implica B, B
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 DOC, PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
128 vistas6 páginas

ADICIONAL

El documento presenta 10 preguntas sobre la formalización y equivalencias lógicas de diversas proposiciones. La primera pregunta formaliza la proposición "Es falso que no Solo Leibniz y Newton hayan sido los iniciadores del cálculo sino que ninguno fue precursor de la lógica difusa" como -[(p∧q)∧-(r∧s)]. La última pregunta analiza el circuito lógico formado por las variables A, B y C y sus negaciones y establece que al simplificarlo equivale al circuito donde A implica B, B
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 DOC, PDF, TXT o lee en línea desde Scribd

SEMINARIO-I- RAZ. LÓGICO- 28 AGOSTO- 2022 PROF- DR.

ELVIS DAGA

FORMALIZACIÓN

1. La proposición: “Es falso que no Solo Leibniz y A) p  q  r B) (p  q)  (r  s)


Newton hayan sido los iniciadores del cálculo sino C) p  q D) p  q
que ninguno fue precursor de la lógica difusa”. Se E) p  (q  r)
formaliza:
A) – (p  q)  (–r  –s) 7. La proposición: “Dado que G. Boole es el inventor
B) – (p  q)  –(r  s) del álgebra de Boole, base de la aritmética
C) – [(p  q)  (–r  –s)] computacional, obviamente que en su obra ‘Una
D) – [(p  q)  –(r  s)] investigación de las leyes del pensamiento’
E) – [(p  q)  – (–r  –s)] propone reglas para la conjunción, disyunción –
incluyente y excluyente, implicación al igual que
2. La proposición: “Wittgenstein escribió ‘El para la biimplicación“. Se formaliza:
Tractatus’ al igual que ‘Investigaciones filosóficas’ A) (pq)  (rstuv)
por lo que Frege escribió ‘Conceptografía’ o B) (pq)  (rstuv)
también ‘Investigaciones lógicas’, escrita poco C) p  (qrstu)
antes de su muerte“. Se formaliza: D) p  (qrstu)
A) (p  q)  (r  s) B) (p  q)  (r  s) E) p  (qrst)
C) (p  q)  (r  s) D) (p  q)  (r  s)
E) (p  q)  (r  s) 8. La proposición: “B. Russell fue un filósofo,
historiador y matemático inglés; en consecuencia,
3. La proposición: “Que Tarski haya hecho aportes en enfocó su trabajo en la filosofía analítica como en
lógica polivalente, metalenguaje y en conceptos la teoría del conocimiento y en el atomismo
semánticos, es incompatible con que Aristóteles, lógico“. Se formaliza:
Gottlob Frege, Tarski y Kurt Gödel sean A) (pqr)  (st)
considerados los más grandes lógicos de la B) (pqr)  (stu)
historia“. Se formaliza: C) (pqr)  [s  (tu)]
A) (pqr) / (stuw) B) (pqr) / s D) (pqr)  (stu)
C) p / q D) (pqr)  (stuw) E) (pqr)  [(st)  u]
E) (pqr)  s
9. La proposición: “Porque es imposible que J.
4. La proposición: “A menos que sea imposible que Lukasiewicz haya centrado su trabajo en la lógica
el conjuntor pueda representarse por ‘ ’, ‘&’, y matemática salvo que también en la lógica
por ‘’; el inalternador puede ser representado por polivalente, propuso la lógica trivalente e intento
‘/’, ‘’ o ‘’, Solo uno de ellos “. Se formaliza: innovar el principio del tercero excluso“. Se
A) –(pqr)  (s  t  u) formaliza:
B) –(pqr)  (–s  –t  –u) A) –(pq)  (r–s) B) –(pq)  (r–s)
C) –(pqr)  (s  t  u) C) –(pq)  (rs)
D) –(pqr)  (–s  –t  –u) D) –(pq)  [r  (s  t)] E) –(pq)  (rs)
E) –(pqr)  (s  t  u)
[Link] proposición: “O los megáricos y los estoicos
son continuadores de Aristóteles porque se basaron
5. La proposición: “C. Peirce enfocó su trabajo en la
en los trabajos de éste, o, los estoicos hicieron
ciencia, la verdad y el conocimiento, cuando y
aportes en lógica proposicional“. Se formaliza:
Solo cuando, haya propuesto la abducción como
complemento entre la deducción e inducción“. Se A) [(pq)  r]  s
formaliza: B) [(pq)  (rs)]  t
A) (pqr)  (st) B) (pqr)  s C) (pq)  (r  s)
C) (pqr)  (st) D) (pqr)  s D) [(pq)  [(rs)  t]
E) (pqr)  s E) [(pq)  (rs)]  (tu)

6. La proposición: “La obra principal de Augustus De


Morgan es ´La lógica formal o el cálculo de
inferencias necesarias y probables ´, allí expone su
idea de aplicar métodos matemáticos en la lógica,
así como los primeros resultados de tal aplicación
“. Se formaliza:
FACE: ELVIS DAGA WHATSAPP: 949561313
SEMINARIO-I- RAZ. LÓGICO- 28 AGOSTO- 2022 PROF- DR. ELVIS DAGA

EQUIVALENCIAS LÓGICAS

1 .La proposición: “Es inobjetable que, haya quechuas


en Perú al igual que existan aymaras”, no equivale 7. De las formulas:
a: 1) A  (A+B+C+D+E+F+G)
1) En el Perú es falso que haya quechua y/o es 2) (A  A)  (A  A)
falso que haya aymaras. 3) A ∆ A
2) Es absurdo que, si no hay quechuas; hay 4) A  (C  B  A)
aymaras en Perú. 5) [(A  B)  A)]
3) En Perú o bien hay quechuas o bien hay Se producen equivalencias entre:
aymaras. A) 1 y 2 B) 2 y 3 C) 3 y 4
4) Si no hay aymaras por ello es obvio que hay D) 4 y 5 E) 1 y 5
quechuas en Perú.
5) Es rebatible que, puesto que hay aymaras en 8. El esquema formal:
tal sentido jamás hay quechuas en Perú. A A  (C B)
Son correctas: Es equivalente a:
A) 1,2,3 B) 2,3,4 C) Sólo 1 1) A  A 2) A  A 3) (A  A)
D) Todas – 5 E) Todas
4) A  A 5) (A  A)
Son ciertas:
2. La fórmula:
A) 1, 2 y 3 B) 2, 4 y 5 C) 2, 3 y 5
(A / B)  (B / A) D) Ninguna E) 2, 3, 4 y 5
Equivale a:
1) (B / A)  (A / B) 2) (B  B) / (A  B) 9. El esquema Lógico:
3) (B / A)  (B / A) 4) (B  B) / A (A  B) + 1
5) (A / B)  (A / B) Equivale a:
Son falsas, excepto: 1)  (A  B)  1 2) (A  B) + (A
A) 1, 2 y 5 B) 2 y 4 C) Solo 3 y 5  B)
D) 1, 3 y 5 E) 1, 3 y 4
3) (A  B)  0 4) (A v B) 
3. La fórmula:
(A  B)
[(A  B) v (B/A)]  [(B v C v D)  (C / B)]
5) (A  B)  (B  A)
Equivale a
Son inciertas, excepto:
A) B B) B v C C) B v C
A) 1, 2 y 4 B) 3, 4 y 5 C) 2 y 5
D) C E) C D) Todas E) Ninguna
4. La fórmula: [Link] fórmula:
[A  (A  B)] {[(A B)(B + A)][A + (B  A)]}
Es equivale a: Equivale a:
A) A  B B) B  A C) A A) A  B B) A + A C) (A  B)
D) A + B E) A D) (A + B) E) A  B
5. La fórmula lógica:
(p  q)  (q  p)  (r  s) CIRCUITOS A CONMUTADORES
Equivale a:
A) p B) p  q C) p 1. El circuito adjunto:
D) p  q E) q A B C
A B C
6. El esquema lógico: A
(A  B)  1 B
Es equivalente a: Al simplificarlo, equivale al circuito:
1) (A  B) 2) A  B A) A B) A C) A
3) (A  B)  0 4) (AB)(AB) B B B
5) (AB) (BA) C C C
Son ciertas: D) A E) A
A) Solo 1, 2 y 4 B) 3, 4 y 5 C) Solo 2 y 3 B B
D) Todas E) Solo 1, 3 y 5 C C

FACE: ELVIS DAGA WHATSAPP: 949561313


SEMINARIO-I- RAZ. LÓGICO- 28 AGOSTO- 2022 PROF- DR. ELVIS DAGA
–p –p q
C) q D)
2. En el circuito: A B p
A p
A B B E) p –q –p
Si cada conmutador cuesta $15. ¿Cuánto se
ahorrará al simplificarlo?
A) $90 B) $75 C) $60 8. El circuito lógico equivalente, a conmutadores,
D) $45 E) $30 para:
{[(p  q)  p]  q}  p
3. En el circuito: Es:
A B A) q B) p
A B –p
B p p
A B B –p
A B q

Si cada conmutador cuesta $15. ¿Cuánto se C) q –p D) –p –p


q
ahorrará al simplificarlo?
A) $150 B) $120 C) $90 –p p
–p
D) $135 E) $105 E) q –p
q
4. En el circuito:
A B C
B D 9. El enunciado: “Casi todo enunciado tiene múltiple
A B
función en el lenguaje por ello cada enunciado se
B C
transmitió con una determinada emotividad dentro
Si cada conmutador cuesta $15. ¿Cuánto se de un contexto y no aisladamente”
ahorrará al simplificarlo? Se diseña en circuito clásico como:
A) $150 B) $120 C) $90 A) –p B) q r –s
D) $135 E) $105
q –r –p
5. Del circuito adjunto:
–p –p
p r C) D) r
q q
q –r
p q –p
E) r –s
q r q
Afirmamos:
1) Tiene 3 conmutadores
2) Tiene 7 conmutadores [Link] circuito adjunto: A
3) Permite encender un foco al primer intento A
B
4) Permite encender un foco al segundo intento
5) Su función principal no es un paralelo A
A
Son correctas: Se formaliza: B
A) 1, 3 y 4 B) 1, 3 y 5 C) 2, 3 y 4 A) [A  (A  B)]  [(A  B)  A]
D) 2, 3 y 5 E) Solo 2 y 4 B) [A  (A  B)]  [(A  B)  A]
C) [A  (A  B)]  [(A  B)  A]
6. De la fórmula lógica: –(–p / q); su circuito lógico D) [A  (A  B)]  [(A  B)  A]
es: –p
E) [A  (A  B)]  [(A  B)  A]
p –q
A) –q B)

D) –q p
p
CIRCUITOS A COMPUERTAS
C) –q E) –p q
1. El enunciado: “Un
problema Físico es producir una temperatura de
7. El circuito clásico para la fórmula: unos 20 millones de grados, puesto que solo a esas
–p  (–q / –p) temperaturas se produce una reacción de fusión en
Es: cadena”.
A) q B) q En circuito lógico se diseña como:
–p –p
–p p A) p B) p
p q q

FACE: ELVIS DAGA WHATSAPP: 949561313


SEMINARIO-I- RAZ. LÓGICO- 28 AGOSTO- 2022 PROF- DR. ELVIS DAGA

C) p D) p
q q 6. El circuito adjunto:
E) p
A 1
q = &

=1 1
2. La proposición: “Si la B
constitución no respeta la democracia Se formaliza:
evidentemente es ilegítima “En circuito lógico se A) (A  B)  (A  B)
diseña como: B) (A  B)  (A  B)
A) p 1 B) p 1 C) (A  B)  (A  B)
q q
D) (A  B)  (A  B)
p p E) (A  B)  (A  B)
C) 1 D) q 1
q
7. El circuito adjunto:
E) p 1 A =1
>1
=
B
3. La proposición: “Al ocurrir Equivale a:
que EEUU. sea el mayor productor de zapatillas, es A) A  B B) A / B C) A  B
el mayor productor de gases tóxicos no obstante es
D) A  B E) A  B
el mayor culpable de la destrucción de la capa de
ozono de la Tierra”
8. El
A siguiente
& circuito:
En circuito lógico se diseña como: &
A) p B) p  1
q  1 q
r r Se reduce a:
A) 1 B) 0 C) A
B) p D) p
q   q   D) A E) A  A
r r

E) pq 9. El
A siguiente circuito:
1 &
 B
r
1 &

4. El circuito adjunto: Es equivalente a:


A A) A B) A C) A & B
B
D) A v B E) B
C
Se formaliza: 10. El siguiente circuito:
A) [(A  B)  A]  (B  A) p & 1 =1
B) [(A  B)  A]  (B  C)
Es equivalente a:
C) [(A  B)  A]  (B  C)
A) p  p B) p  p C) p  p
D) [(A  B)  A]  (B  C)
D) p  p E) p  p
E) [(A  B)  A]  (B  C)

5. El circuito adjunto:
A IMPLICACIONES LÓGICA
& =1
B >1
1. De las premisas: “Los homópteros presentan el
1 cefalotórax y el abdomen fusionados, o únicamente
Se formaliza:
los ácaros lo presentan. Los ácaros presentan
A) [(A  B)  A]  B
efectivamente el cefalotórax y el abdomen
B) [(A  B)  A]  B fusionados”. Se concluye en:
C) (A  B)  (A  B) A) Los homópteros presentan el cefalotórax y el
D) (A  B)  (A  B) abdomen fusionados.
E) [(A  B)  A]  B B) Es incierto que los homópteros no presenten
el cefalotórax y el abdomen fusionados.

FACE: ELVIS DAGA WHATSAPP: 949561313


SEMINARIO-I- RAZ. LÓGICO- 28 AGOSTO- 2022 PROF- DR. ELVIS DAGA
C) En absoluto los homópteros no presentan el
cefalotórax y el abdomen fusionados.
D) Es inobjetable que los homópteros presentan 7. Si se sabe que:
el cefalotórax y el abdomen fusionados. - SiA ocurre, B no ocurre
E) Nunca los homópteros presentan el - B ocurre si C ocurre
cefalotórax y el abdomen fusionados. - Si C no ocurre, D ocurre
Se concluye o deduce que:
2. De: “El agua produce energía aun cuando es A) A ocurre
escasa en algunos países”, inferimos: B) B y D ocurren
1) El agua es escasa en algunos países C) Si A ocurre, D jamás ocurre
2) El agua es escasa en algunos países a pesar D) Siempre que D no ocurra, tampoco ocurre A
que produce energía E) Ni A ni B ocurren
3) Falso es que el agua no produzca energía
4) Es mentira que, el agua produce energía Solo 8. Si: A = p  –q B = p  –q
si no es escasa en algunos países Luego, se puede afirmar:
5) El agua produce energía salvo que esté I) De A se infiere B
debidamente tratada II) A equivale a B
Son correctas: III) De B se infiere A
A) Solo 1 y 3 B) Solo 3, 4 y 5 Son ciertas:
C) Solo 1 y 2 D) Solo 1, 3 y 5 E) Todas A) Solo I B) Solo II C) Solo III
D) I y II E) I y III
3. De las premisas formales:
P1: –p  q 9. De las premisas:
P2: r  p P1: A  B
P3: q  t P2: (A  C)  (D  B)
P4: . –t P3: (A  B)  C
Se concluye: P4: D
1) r 2) –r 3) –(– r) Se infiere:
4) –t → –r 5) –r v t A) B B) D C) A  B
Son ciertas: D) A  B E) D  B
A) 2, 4 y 5 B) Solo 1 y 3 C) Solo 4 y 5
D) 1, 2 y 3 E) Solo 2 y 4 [Link] las premisas:
P1 C  D
4. De la premisa “A es X si y Solo si sea Y”, se P2 C
infiere: P3 D  B
A) A es X e Y B) A Solo es X
P4 B  P
C) A no es X ni Y D) A es X si es Y
Se infiere:
E) A únicamente es Y
A) A B) C C) P
5. Si: “Fredy es aficionado a la música Solo si acude D) P E) B
al teatro todos los viernes. Si Fredy es aficionado a
la música es obvio que, si acude al teatro todos los
viernes entonces también debe ser pianista”.
Luego:
A) Fredy acude al teatro todos los viernes
B) Nunca ocurre que Fredy sea aficionado a la
música
C) Solo si Fredy es pianista, es aficionado a la
música
D) Fredy es aficionado a la música pues acude al
teatro
E) No se puede inferir

6. Si: “La disyunción entre no A y B implica a no X.


Pero tenemos la afirmación de X”. Por tanto:
A) –X B) A  B C) A D) B E) –B  –A

FACE: ELVIS DAGA WHATSAPP: 949561313


SEMINARIO-I- RAZ. LÓGICO- 28 AGOSTO- 2022 PROF- DR. ELVIS DAGA

FACE: ELVIS DAGA WHATSAPP: 949561313

También podría gustarte