aaaa
A) Proposición Recíproca:
La proposición Recíproca que corresponde a la
condicional: 𝒑 → 𝒒 es 𝒒 → 𝒑
EQUIVALENCIAS LÓGICAS B) Proposición Inversa o Contraria:
Dos esquemas proposicionales A y B, se dice que son La proposición inversa que corresponde a la
equivalentes cuando unidas por el bicondicional "↔" el condicional:
resultado es una Tautología, es decir, que A y B tiene los 𝒑 → 𝒒 es ∼ 𝒑 →∼ 𝒒
mismos valores de verdad en su operador principal. C) Proposición Contrarecíproca:
PRINCIPIOS EQUIVALENTES O EQUIVALENCIAS NOTABLES La proposición contrarecíproca que corresponde
01. LA DOBLE NEGACIÓN (DN): a la condicional:
𝒑 → 𝒒 es ∼ 𝒒 → ∼ 𝒑
08. LA DISTRIBUCIÓN:
02. LA LEY D’MORGAN:
03. LA CONMUTACIÓN:
Este material está elaborado exclusivamente por Docentes del CEPUNS
09. LA DEFINICIÓN DEL BICONDICIONAL:
04. LA CONTRAPOSICIÓN (CP):
10. LA DEFINICIÓN DEL DISYUNTOR EXCLUYENTE:
05. LA ASOCIACIÓN 11. LEY DE IDEMPOTENCIA:
12. LEY DE COMPLEMENTO:
06. LA ABSORCIÓN
13. IDENTIDADES:
14. LEY DE EXPANSIÓN:
07. LA DEFINICIÓN DE CONDICIONAL
1
CENTRO PREUNIVERSITARIO DE LA UNS - CEPUNS
A) 1,2 y 3 B) 2,3 y 4 C) 2,4 y 5
D) 3,4 y 5 E)2 y 5
04 Son esquemas equivalentes:
01 La proposición: “El lenguaje lógico formal es
convencional no obstante es artificial”. Equivale por
definición de D. Morgan a:
1) Es falso que, el lenguaje lógico formal ni es
convencional a menos que no sea artificial.
2) No es lícito que decir que el lenguaje lógico formal ni Son ciertas:
es convencional ni es artificial. A) 1,3 y 5 B) 1,2 y 3 C) 2, 4 y 5
3) Es objetable que, el lenguaje lógico formal no es D) 3, 4 y 5 E) 2 y 4
convencional salvo que no es artificial. 05 La fórmula molecular:
4) El lenguaje lógico formal es convencional es
incompatible con que sea artificial. Equivale:
5) En forma alguna se da que el lenguaje lógico formal
no es convencional salvo que incluso no es artificial.
Son ciertas: Son ciertas:
A) 1,2 y 3 B) 2,3 y 4 C) 1,4 y 5 A) 1, 2 y 3 B) 2 y 4 C) 1,3 y 5
D) 1,3 y 5 E) 4 y 5 D) 4 y 5 E) 1 y 5
02 La proposición: “Es falso que los radiotelescopios 06 La proposición: “El hipotiroidismo e hipertiroidismo
tienen forma de parábola”. Es lo mismo decir que: son enfermedades y bien o también el hipertiroidismo
1) Los radiotelescopios nunca tienen forma de no es una enfermedad”.
parábola. Equivale a:
2) Es inobjetable que los radiotelescopios no tienen 1) El hipotiroidismo es una enfermedad ya bien el
forma de parábola. hipertiroidismo no lo es.
Este material está elaborado exclusivamente por Docentes del CEPUNS
3) En modo alguno se da que tienen forma de parábola 2) El hipertiroidismo no es una enfermedad a menos
los radiotelescopios. que el hipotiroidismo tampoco lo es.
4) En absoluto se da que los radiotelescopios no tienen 3) Es mentira que, el hipotiroidismo no es una
forma de parábola. enfermedad así como el hipertiroidismo si lo es.
5) Es insatisfacible que los radiotelescopios jamás 4) El hipotiroidismo e hipertiroidismo no son
tienen forma de parábola. enfermedades o incluso el hipotiroidismo si lo es.
Son ciertas: 5) El hipotiroidismo salvo que el hipertiroidismo no son
A) 1,2 y 3 B) 2,3 y 5 C) 2,4 y 5 enfermedades.
D) 3,4 y 5 E) Solo 4 y 5 Son ciertas:
03 La proposición: “Si Leibniz estudio la silogística A) 1,2 y 5 B) 2,3 y 4 C) 3,4 y 5
aristotélica, en consecuencia es el fundador de la lógica D) 1,3 y 4 E) 1 y 5
matemática”. 07 La proposición: “O bien I. Asimov fue escritor o bien
Es lo mismo decir que: abogado”.
1) Leibniz no estudio la silogística aristotélica así como No equivale a:
no es el fundador de la lógica matemática. 1) I. Asimov no fue escritor ni abogado, salvo que fue
2) Leibniz no estudio la silogística aristotélica salvo que abogado como escritor.
es totalmente cierto que es el fundador de la lógica 2) I. Asimov no fue escritor a menos que tampoco
matemática. abogado, no obstante fue escritor ya que no fue
3) Es falso que, Leibniz estudio la silogística aristotélica abogado.
así mismo no es el fundador de la lógica matemática. 3) I. Asimov fue abogado ya bien solo fue escritor.
4) Leibniz estudio la silogística aristotélica es 4) I. Asimov fue escritor solamente y en único caso que
incompatible con que no es el fundador de la lógica no fue abogado.
matemática. 5) I. Asimov fue abogado en el caso y solo en el caso de
5) Leibniz no estudio la silogística aristotélica. que fue escritor.
SON CIERTAS: Son innegablemente inciertas:
2
CENTRO PREUNIVERSITARIO DE LA UNS - CEPUNS
A) 1 y 5 B) 1,2 y 3 C) 2,3 y 4 D) La conjetura de Hodge no se basa en números
D) 1 y 4 E) 3,4 y 5 complejos así como no tiene solución; siempre y
08 Si definimos: cuando se basa en los numeros complejos.
E) La conjetura de Hodge no tiene solución y se basa en
la geometría analítica, a no ser que no tiene solución
El esquema: , equivale a:
empero se basa en los números complejos.
13 El siguiente esquema molecular:
No equivale a:
09 Se define el operador lógico % como:
Son ciertas:
Entonces la fórmula: ; es A) 1 y 5 B) 2 y 5 C) 4 y 5
equivalente a: D) 2,3 y 4 E) 2 y 5
14 El mínimo equivalente de:
10 La proposición: “No solo Java es un lenguaje de
programación sino también es compatible con Android,
a menos que Java no es compatible con Android de la Son ciertas:
misma forma Java es un lenguaje de programación”. A) 4 y 5 B) 1 y 3 C) 2 y 3
1) Java es una Lenguaje de programación. D) 1, 4 y 5 E) 3, 4 y 5
2) Es mentira que Java es compatible con Android. 15 Al simplificar el siguiente esquema:
3) Java es compatible con Android.
4) En absoluto se da que Java no es un lenguaje de Su negación equivale a:
Este material está elaborado exclusivamente por Docentes del CEPUNS
programación.
5) Java y Android son lenguajes de programación. Son ciertas:
Son ciertas: A) 1,2 y 4 B) 1 y 4 C) 2, 3 y 5
A) 1 y 2 B) 2 y 3 C) 1 y 4 D) 2 y 4 E) 1,3 y 5
D) 3,4 y 5 E) 2,4 y 5 16 La proposición: “Una máquina es un conjunto de
11 La proposición: “10, 12 y 15 son números primos entre elementos móviles y fijos de manera integrada cuyo
sí, salvo que no son primos entre sí”. Constituye: funcionamiento permite transformar energía o realizar
1) Una ley de contraposición. un trabajo con un fin determinado”
2) Una ley de complemento. 3) Una ley de exportación. Se representa en circuito lógico a conmutadores:
4) Una tautología. 5) Una Ley de identidad.
Son ciertas:
A) 1 y 2 B) 2 y 4 C) 3,4 y 5
D) 4 y 5 E) 2 y 5
12 La proposición: “La conjetura de Hodge no tiene 17 La proposición:
solución, sin embargo se basa en la geometría analítica “Los mecanismos son elementos de una máquina
o incluso en los números complejos”. destinados a transmitir y/o transformar las fuerzas y
Equivale a: movimientos desde un elemento motriz a otro receptor
A) La conjetura de Hodge no tiene solución tal como se para realizar trabajo.
basa en la geometría analítica, salvo que ni tiene Se representa en circuito a conmutadores:
solución ni se basan en números complejos.
B) La conjetura de Hodge tiene solución siempre y
cuando se basa en números complejos.
C) La conjetura de Hodge se basa en números complejos
así como tiene solución.
18 El circuito lógico:
3
CENTRO PREUNIVERSITARIO DE LA UNS - CEPUNS
movimiento del objeto en dos dimensiones sea
parabólico ya que describe como gráfica una parábola”.
Equivale a:
Logra encender el foco cuando:
1) p=0, q=0 y r=1 2) p=0, q=1 y r=0
3) p=0, q=0 y r=0 4) p=0, q=1 y r=1
5) p=1, q=0 y r=1
No son ciertas:
A) Solo 1 y 3 B) Solo 1, 2 y 4 C) Solo 1, 3 y 5
D) Solo 2 y 4 E) Todas
19 De los siguientes circuitos a conmutadores:
23 El circuito a conmutadores:
No simulan un sistema en cortocircuito o un esquema Tiene un costo de S/. 1300.00; si a la simplificación se le
contradictorio: adiciona su complemento, entonces el ahorro es:
A) Solo I B) Solo II y III A) S/. 0.00 B) S/. 100.00 C) S/. 500.00
C) Solo I y II D) Solo II E) Todas D) S/. 800.00 E) S/. 1100.00
20 De los siguientes circuitos lógicos: 24 El circuito:
Este material está elaborado exclusivamente por Docentes del CEPUNS
Corresponde a una aplicación de la ley de equivalencia:
A) Expansión B) Absorción
C) Asociación
D) Distribución E) Exportación
Nunca dejarán de encender ciertos focos amarillos del
25 El circuito:
sistema de alumbrado:
A) Solo I B) Solo II C) Solo III
D) Solo I y III E) Todas
21 El circuito a conmutadores:
Equivale a:
Tiene un costo de S/. 700.00, si a la simplificación se le
adiciona una variable proposicional diferente, entonces
el ahorro es: 26 Al reducir, equivalentemente, el circuito:
A) S/. 100.00 B) S/. 200.00 C) S/. 300.00
D) S/. 400.00 E) S/. 500.00
22 La proposición: “El movimiento parabólico es un
ejemplo de un movimiento realizado por un objeto en
dos dimensiones o sobre un plano. Puede considerarse
como la combinación de un movimiento horizontal
uniforme y un movimiento vertical. Salvo que el Se tiene:
A) B B) A C) C
4
CENTRO PREUNIVERSITARIO DE LA UNS - CEPUNS
D) 0 E) 1 31 De las premisas:
27 Para el circuito: P1: Es mentira que, el yaravirus no tenga origen
amebiano salvo que tenga el 90% de su genética
conocida; es necesario para que, dicho virus haya sido
descubierto en Brasil.
P2: El yaravirus en absoluto no fue descubierto en
Brasil.
Se infiere que el yaravirus:
Si cada compuerta tiene un costo de $50, el ahorro 1) No solo tiene origen amebiano sino que tiene el 90%
logrado con su mínimo equivalente, es: de su genética desconocida.
A) $50 B) $300 C) $350 2) Tiene origen amebiano, a pesar que, tiene el 90% de
D) $200 E) $400 su genética conocida.
28 Para el circuito: 3) Tiene origen amebiano, siempre y cuando, tenga el
90% de su genética desconocida.
4) Es suficiente que tenga origen amebiano para que
tengo el 90% de su genética conocida.
5) Tiene origen amebiano salvo que tenga el 90% de su
genética conocida.
Si cada compuerta tiene un costo de $50, el ahorro No son ciertas:
logrado con su mínimo equivalente, es: A) Solo 1 y 3 B) Solo 2 y 4
A) $400 B) $450 C) $300 C) Solo 1, 3 y 5 D) Solo 2, 4 y 5 E) Todas
D) $250 E) $200 32 Si el razonamiento:
29 El circuito:
Este material está elaborado exclusivamente por Docentes del CEPUNS
Es válido, entonces la premisa faltante P2, es:
33 De las premisas:
Al simplificarlo, equivale a la negación de:
Son ciertas: Se concluye en:
A) 1 y 3 B) 1 y 5 C) 2 y 4
D) 3 y 4 E) 4 y 5
30 De las premisas:
P1: Los ordenadores cuánticos usan los bits a menos Son ciertas:
que únicamente los q–bits. A) 1, 2 y 5 B) 1, 3 y 5 C) 1, 4 y 5
P2: Es totalmente obvio que los ordenadores cuánticos D) 2, 3 y 5 E) 2, 4 y 5
en modo alguno usan los bits. 34 De las premisas formales:
Se infiere que los ordenadores cuánticos:
1) No dejan de usar los q–bits.
2) Ciertamente, en absoluto usan los q–bits.
3) Jamás ocurre que se objete que usan los q–bits.
4) Es totalmente certero y veraz que usan los q–bits. Se concluye en:
5) En forma alguna no dejan de usar los q–bits. Son
ciertas:
Son ciertas:
A) 1, 2 y 4 B) 2, 3 y 5 C) 1, 3 y 4
A) solo 1 y 2 B) 1,2 y 3 C) 1,3 y 4
D) 1, 3 y 5 E) 2, 4 y 5
5
CENTRO PREUNIVERSITARIO DE LA UNS - CEPUNS
D) 2,4 y 5 E) 3,4 y 5
35 De las premisas formales:
Son inciertas:
A) 1, 2 y 3 B) 1, 3 y 4 C) 1, 2 y 5
D) 1, 2, 3 y 4 E) Todas
41 De las siguientes premisas formales:
Se concluye en:
Son ciertas:
A) 2 y 3 B) 1, 2 y 3 C) 1, 2 y 4 La conclusión es:
D) 1, 4 y 5 E) 3, 4 y 5
36 De las premisas:
42 De las siguientes premisas formales:
Se concluye en: Concluimos que:
37 De las premisas Son ciertas:
A) Solo 2 B) Solo 3 C) 1 y 2
D) 3 y 4 E) 1, 2 y 5
Este material está elaborado exclusivamente por Docentes del CEPUNS
43 De las siguientes premisas:
Se concluye:
A) E B) F C) E Se infiere:
D) F E) B
38 De las premisas
44 De las siguientes premisas formales:
Se concluye:
Se concluye:
Son ciertas:
39 De las premisas:
A) 1, 2 y 4 B) 1, 2 y 5 C) 1, 2, 3 y 4
D) 1, 4 y 5 E) Todas
45 Del conjunto de premisas:
Se concluye:
Se concluye:
40 De las premisas:
Se concluye en:
