EQUIVALENCIAS LÓGICAS Estas equivalencias nos indican que si se

Dos esquemas proposicionales A y B, se permutan los componentes de las

dice que son equivalentes cuando conjunciones, disyunciones (incluyentes
unidas por el bicondicional " " el o excluyentes) o de las bicondicionales,
resultado es una Tautología, es decir, su resultado no se altera. Así tenemos:
que A y B tiene los mismos valores de
verdad en su operador principal.
PRINCIPIOS EQUIVALENTES O
EQUIVALENCIAS NOTABLES
04. LA CONTRAPOSICIÓN (CP):
01. LA DOBLE NEGACIÓN (DN):
También llamada Transposición. Son
La doble negación equivale a una
equivalencias en las cuales los términos o
afirmación. El número de negaciones
variables de los esquemas se invierten
que afectan a una fórmula o esquema
cambiando sus negaciones o
puede eliminarse de par en par. Así
afirmaciones por afirmaciones o
tenemos:
negaciones, respectivamente; en el caso
de la bicondicional se llama
transposición simétrica.
02. LA LEY D’MORGAN: Sólo es aplicable con los siguientes
Esta Ley sólo es aplicable a proposiciones conectores
compuestas conjuntivas o disyuntivas
incluyentes.
La negación de la disyunción de dos
variables cualquiera equivale a la 05. LA ASOCIACIÓN
conjunción de dichas variables negadas. Los elementos de igual jerarquía de un
Así también la negación de la esquema conjuntivo, disyuntivo o
conjunción de dos variables equivale a bicondicional; se pueden agrupar
la disyunción de dichas variables indistintamente unos con otros.
negadas. Así tenemos: La aplicación de ésta Equivalencia, lo
único que cambia es la posición de los
signos dé agrupación.
Sólo, es aplicable con los siguientes
03. LA CONMUTACIÓN: conectores: ; ;  ; . Así tenemos:

RAZ. MATEMÁTICO PAG Docente:WILMER BANCES CAMPOS

E
\*
 Centro Preuniversitario “THALES” Urb. Cipreses Mz F Lte 01- Nuevo Chimbote (Plaza Mayor)

06. LA ABSORCIÓN
Consiste en reducir una fórmula lógica
conjuntiva o disyuntiva incluyente
aprovechando que una de sus
componentes forme parte de la otra
componente y que presenta
simultáneamente los conectores: ( ) o
08. LA DEFINICIÓN DE CONDICIONAL
( ). Así tenemos:
Nos permite convertir una fórmula
implicativa directa (implicador) o inversa
Cuando se presenta simultáneamente los (replicador), a una fórmula disyuntiva
conectores: ( ) o ( ) y hay una incluyente.
variable que se repite (simple o La aplicación consiste en Negar el
compuesta), donde una tiene negación Antecedente; cambiar el Implicador por
en un lado y la otra no la tiene. En este el Disyuntor Incluyente; y el
caso, la variable que está fuera queda Consecuente permanece Inalterable.
como está (con o sin negación) junto a Así tenemos:
la(s) variable(s) que no se repite(n)
Queda el conectar que está fuera. Así
A) Proposición Recíproca:
tenemos:
La proposición Recíproca que
corresponde a la condicional:
07. LA DISTRIBUCIÓN: es
Esta ley consiste en distribuir una variable B) Proposición Inversa o Contraria:
(o una fórmula parcial) que esté unida La proposición inversa que
por una conjunción (o disyunción corresponde a la condicional:
incluyente) a un esquema molecular es
disyuntivo incluyente (o conjuntivo), C) Proposición Contrarecíproca:
dependiendo del caso. La proposición contrarecíproca
Es muy similar a la multiplicación de que corresponde a la condicional:
monomios y polinomios en Algebra. La es
operación inversa es muy similar a la 09. LA DEFINICIÓN DEL BICONDICIONAL:
factorización algebraica por el método Son equivalencias entre bicondicional y
del factor común. Así tenemos: esquemas conjuntivos o disyuntivos.

RAZ. MATEMÁTICO -2- Docente: WILMER BANCES CAMPOS

 Centro Preuniversitario “THALES” Urb. Cipreses Mz F Lte 01- Nuevo Chimbote (Plaza Mayor)

El equivalente conjuntivo une esquemas

condicionales con elementos invertidos.
14. LEY DE EXPANSIÓN:
El equivalente disyuntivo une esquemas
Por la expansión se obtienen esquemas
conjuntivos con elementos afirmados
disyuntivos, conjuntivos o
primero y negados después. Así
bicondicionales equivalentes de
tenemos:
variables libres o esquemas
condicionales. Formalmente esta ley se
expresa como:
10. LA DEFINICIÓN DEL DISYUNTOR
EXCLUYENTE:
La disyunción fuerte o exclusiva es
equivalente a una conjunción de una INFERENCIAS LÓGICAS
Es una estructura de proposiciones
disyunción y una conjunción negada. Así donde a partir de una o más
tenemos: proposiciones llamadas Premisas
(Conocimiento Inicial), se obtiene otra
proposición final llamada Conclusión
11. LEY DE IDEMPOTENCIA:
(Conocimiento Inferido), á través de
Por esta ley se reduce variables Leyes o RegIas(Conocimiento
redundantes a una sola. Se aplica a fundamentador o corroborador).
ESQUEMA DE UNA INFERENCIA
esquemas conjuntivos y disyuntivos. Así
Formalmente podemos expresarla de
tenemos: dos formas: Esquema Vertical y Lineal.

ESQUEMA VERTICAL
12. LEY DE COMPLEMENTO: P1
Premisas
P2
Esta Ley es muy similar a la anterior con (Conocimiento inicial)
P3
la diferencia que se aplica a una .
Leyes o Reglas
.
proposición junto a la negación de la (Conocimiento fundamentado)
.
misma, es decir: Pn
Conclusión
C
(Conocimiento Inferido)
ESQUEMA LINEAL
13. IDENTIDADES: ( P1  P2  P3  ...  Pn ) → C
Otra de las leyes con similar aplicación Donde:
que las dos anteriores. La diferencia, en " P1  P2  P3  ...  Pn " : Premisas

este caso, es que una proposición C : Conclusión

El Esquema Vertical es el más
cualquiera (llamémosla “p”) es
recomendable para encontrar
evaluada al lado de una Tautología (1) rápidamente la conclusión.
una Contradicción (0)

RAZ. MATEMÁTICO -3- Docente: WILMER BANCES CAMPOS

 Centro Preuniversitario “THALES” Urb. Cipreses Mz F Lte 01- Nuevo Chimbote (Plaza Mayor)

Nótese que el conectar que une siempre RELACIÓN DE EQUIVALENCIA –

las premisas es el conjuntor () y INFERENCIA
asimismo la línea horizontal es el INFERENCIA
Implicador (→) la que nos induce a
encontrar la conclusión. EQUIVALENCIA

"Una proposición A implica a otra

proposición B", si y solo si unidas por el
condicional, da como resultado una Toda equivalencia es una inferencia.
relación lógicamente verdadera (Matriz INFERENCIAS POR LEYES DE
Principal Tautológica)". Por ejemplo: EQUIVALENCIAS
Las cuales incluyen todas las leyes de
Dadas las propisciones A = p  q equivalencias conocidas.
B=pq P1 : Es falso que sea mentira que la Lógica
estudia la validez de las inferencias.
Para saber si "A implica a B", debemos C: La Lógica estudia la validez de las
proceder relacionando las fórmulas de inferencias.
acuerdo a la siguiente forma INFERENCIAS POR REGLAS
condicional: A → B Son argumentos válidos, tautológicos,
implicaciones notables. Es decir ya no se
Luego, sustituyendo A y B, y aplicando necesita la demostración de su validez. A
las tablas de verdad: continuación estudiaremos las más
(pq)→(pvq) importantes.
Como el resultado es Tautológico o A. INFERENCIAS A PARTIR DE UNA
lógicamente verdadero, entonces "p  PREMISA
q" implica a "p v q". A.1. Simplificación: según esta ley: “De
ANÁLISIS DE VALIDEZ DE INFERENCIAS: una premisa conjuntiva se puede
Para decidir la validez o invalidez de una concluir en cualquiera de sus
inferencia podemos seguir los siguientes miembros.
pasos. Formalmente:
1) Simbolizar las premisas distinguiendo P1 : A  B P1 : A  B
una de otras y después simbolizar la C: A C: B
conclusión.
A.2. Adición: según esta ley “De una
P1; P2 ; P3 ; ...; Pn ; C premisa que puede ser una
2) Unir las premisas y la conclusión de proposición simple, se concluye una
acuerdo al siguiente esquema proposición disyuntiva incluyente, sin
inferencial: alterar la premisa. Es decir una
( P1  P2  P3  ...  Pn ) → C disyunción incluyente está implicada
3) Evaluar la fórmula de la inferencia por por cualquiera de sus miembros”
las tablas verdad. Formalmente:
La inferencia es válida si el resultado es P1 : A
una tautología. (Implicación) C : A Nf
La inferencia es invalida si el resultado es B. INFERENCIAS A PARTIR DE UNA
contingencia o contradicción (No es PREMISA
implicación lógica)

RAZ. MATEMÁTICO -4- Docente: WILMER BANCES CAMPOS

 Centro Preuniversitario “THALES” Urb. Cipreses Mz F Lte 01- Nuevo Chimbote (Plaza Mayor)

B.1. Conjunción (Adjunción): según esta

ley “De un conjunto de premisas se
puede concluir en la conjunción de B.3. Modos indirectos (Inversos)
ellas” Modus Ponendo Tollens (Afirmando –
Formalmente: Niego)
P1 : A Según esta ley: “Si se afirma una de
P2 : B sus proposiciones de una premisa
C : A B disyuntiva excluyente se niega la otra
B.2. Modos Directos: en la conclusión”
Modus Ponendo Ponens (Afirmando Formalmente:
Afirmo – Modus Ponens) P1 : A B P1 : A B
Según esta ley: “Si se afirma el P2 : A P2 : B
antecedente de una premisas C: B C: A
condicional, se concluye en la Modus Tollendo Ponens (Negando
afirmación del consecuente; o si se Afirmo – Silogismo Disyuntivo)
afirma cualquiera de sus Según esta ley: “Si se niega una de
proposiciones de una premisa sus proposiciones de una premisa
biimplicativa, se afirma la otra disyuntiva incluyente o excluyente, se
conclusión” afirma la otra en la conclusión”.
P1 : A → B P1 : A  B P1 : A  B Formalmente:
P2 : A P2 : A P2 : B P1 : A B P1 : A B
C:B C:B C:A P2 : A P2 : B
C: B C: A
P1 : A → B P1 : A B P1 : A B
P2 : B No valido (Falacia) P2 : A P2 : B
C:A C: B C: A
Modus Tollendo Tolles (Negando
Niego – Modus Tolles) B.4. Silogismos
Según esta ley: “Si se niega el Silogismo Hipotético puro: según esta
consecuente de una premisa ley: “La consecuencia de una
condicional, se concluye en la implicación que es causa de otra
negación del antecedente (caso implicación trae como consecuencia
contrario es falacia formal), o si se que la ocurrencia de la causa
niega cualquiera de sus primera genere la consecuencia
proposiciones de una premisa segunda”
biimplicativa, se niega la otra en la Formalmente:
P1 : A → B
conclusión”. P1 : A → B
P2 : B → C P2 : C → A
Formalmente
C: A→C C :C → A
P1 : A → B P1 : A  B P :A B 1
P2 : B P2 : A P2 : B Transitividad simétrica:
C: A C: B C: A Según esta ley “Es la transitividad de
la bicondicional”.
No valido P1 : A  B P1 : A  B
P2 : B  C P2 : C  A
P1 : A → B Falacia (Negación del
C:AC C :C  B
P2 : A antecedente)
PROBLEMAS PROPUESTOS .
C: B
RAZ. MATEMÁTICO -5- Docente: WILMER BANCES CAMPOS
 Centro Preuniversitario “THALES” Urb. Cipreses Mz F Lte 01- Nuevo Chimbote (Plaza Mayor)

01. La proposición: “En modo alguno ocurre Equivale a:

que sea falso que; Luis es alemán a pesar 1) Nunca es falso que Diana o también
que, es deportista a no ser que sea Angélica postulen a medicina
alemán”. Equivale a: 2) Es falaz que Diana y/o Angélica
1) Luis es alemán postulen a medicina
2) Luis no es alemán 3) En absoluto es veraz que, Angélica a
3) Es imposible que Luis no sea alemán menos que Diana postulen a medicina
4) Luis es alemán salvo que, sea 4) Es certero que tanto Angélica como
deportista tanto como alemán Diana no postulen a medicina
5) Luis es deportista a menos que sea 5) Jamás ocurre que Angélica aunque
deportista, excepto que sea alemán Diana postulen a medicina
Son ciertas: Son ciertas:
A) 1, 3 y 4 B) 2, 3 y 5 C) 1, 4 y 5 A) 1, 3 y 4 B) 2, 3 y 5 C) 1,
D) 2, 3 y 4 E) 1, 2 y 5 4y5
02. La proposición: “Trabajo o sólo estudio”. D) 2, 3 y 4 E) 1, 2 y 5
Equivale a: 05. El circuito lógico adjunto:
A
1) No trabajo salvo que sólo no estudie B A A
2) Es imposible que trabaje o no estudie C
A B C
3) Trabajo y estudio, a pesar que no
trabajo y no estudio B B C
4) Que trabaje equivale a que no estudie
C
5) Es falso que no trabaje sea igual a que Equivale a:
no estudie A) C  (A → B) B) C  (B  A) C) (A  C)  B
Son ciertas: D) A  B  C E) (A  B)  C
A) 1, 3 y 4 B) 2, 3 y 5 C) 1, 06. Al aplicar las leyes del Algebra booleana
4y5 al siguiente esquema:
D) 2, 3 y 4 E) 1, 2 y 5 {[(A  B)  C]  (C  D)}  (D  C)
03. La proposición: “Dado que la lejía es una Su equivalente es:
base, es obvio que tanto la lejía como el A) CD B) C  D C) C  D
amoniaco son bases”. Equivale a: D) (C  D) E) C  D
1) En el caso que la lejía sea una base, el 07. Dada la siguiente fórmula:
amoniaco también lo es [(A  B)  (A  B)]  [(A  B) → (A B)]
2) Tanto la lejía como el amoniaco son Su fórmula equivalente es:
bases 1) A  B 2) (A  B) 3) (A  B)
3) Es falso que, la lejía es una base sólo si 4) A → B 5) A  B
el amoniaco no lo es Son ciertas:
4) Es mentira que la lejía sea una base A) 1 y 2 B) 3 y 4 C) 1,
salvo que sea cierto que el amoniaco 3y5
también lo sea D) 2 y 5 E) Sólo 1 y 5
5) Que la lejía sea una base es igual a 08. El esquema formal:
que el amoniaco también {[(p  q)  (r  s)]  [(q  s)  (p 
Son incorrectas: r)]}  q
A) 1, 3 y 4 B) 2, 3 y 5 C) 1, 4 y 5 Al ser simplificado resulta:
D) 2, 3 y 4 E) 1, 2 y 5 A) q B) p C) p
04. La proposición: “Ni Diana ni Angélica D) q E) r
postulan a medicina”. 09. De las premisas formales:

RAZ. MATEMÁTICO -6- Docente: WILMER BANCES CAMPOS

 Centro Preuniversitario “THALES” Urb. Cipreses Mz F Lte 01- Nuevo Chimbote (Plaza Mayor)

P1: –p → q 14. De: “Si Platón fue griego, fue discípulo de

P2: r  p Sócrates, a pesar que, Platón fue
P3: q → t discípulo de Sócrates luego escribió „El
P4: .–t Sofista‟, sin embargo, dado que Platón
Se concluye: fundó „La Academia‟, fue griego”. Se
1) r 2) –r 3) –(– r) concluye:
4) –t →–r 5) –r v t A) Platón fue discípulo de Sócrates
Son ciertas porque fundó “La Academia”
A) 2, 4 y 5 B) Sólo 1 y 3 C) Sólo 4 y 5 B) Si Platón fundó “La Academia” es
D) 1, 2 y 3 E) Sólo 2 y 4 obvio que escribió “El
10. De las premisas: Sofista”
P1 : A  ( A  B ) C) Sólo si Platón fundó “La Academia”,
P2 : B escribió “El Sofista”
Se infiere: D) Sócrates fue maestro de Platón
A  ( A  B ) siempre éste haya
1) A 2) A → A 3)
escrito “El Sofista”
4) A  A 5) A → A E) Platón fundó “La Academia” o
No son ciertas: escribió “El Sofista”
A) 1 y 3 B) 2, 4 y 5 c) 1; 3 y 4 15. De: “Ángel llegó tarde a clase porque se
d) 4 y 5 e) Todas le malogró el automóvil, además, el
11. De: “Cada vez que aumenta la inflación automóvil de Ángel se malogró porque
es obvio que disminuye el empleo, no tenía combustible”. Se concluye:
aunque, es innegable que la inflación no A) Ángel llegó tarde a clase porque su
deja de aumentar”. Se infiere: automóvil tenía combustible
A) Aumenta el empleo B) Ángel no llegó tarde a clase porque su
B) Disminuye el empleo automóvil tenía combustible
C) Aumenta la inflación y el empleo C) Ángel no llegó tarde a clase porque
D) Disminuye la inflación y el empleo su automóvil no tenía combustible
E) No aumenta la inflación D) Ángel llegó tarde a clase o su
12. De: “Siempre que trabaje y estudie, es automóvil no tenía combustible
obvio que progresaré, incluso, es mentira E) Ángel llegó tarde a clase porque su
que no trabaje o no estudie”. Se infiere: automóvil no tenía combustible
A) No progresaré 16. El circuito:
B) Trabajaré y estudiaré, además, p p p q
progresaré
q q p q
C) Obviamente que progresaré
D) Definitivamente no trabajaré p q p q
E) Si no trabajo, es obvio que estudio
13. De: “Me divierto siempre y cuando no Equivale a:
estudie inglés, pero, nunca es mentira A) p → q B) p  q C) p  q
que dejo de estudiar inglés”. Se infiere: D) p  q E) p  q
A) Es obvio que no me divierto 17. En el circuito:
B) Definitivamente me divierto p q p q
C) Me divierto o sólo estudio inglés p q p q
p
D) No me divierto o estudio inglés p q p q
E) Ni me divierto ni estudio inglés p q p q

RAZ. MATEMÁTICO -7- Docente: WILMER BANCES CAMPOS

 Centro Preuniversitario “THALES” Urb. Cipreses Mz F Lte 01- Nuevo Chimbote (Plaza Mayor)

e) N.A.
Si cada conmutador tiene un valor de $10; 21. Simplificar:
cuánto se ahorrará con su máxima A
B 1
simplificación equivalente C
&
&
A) $170 B) $140 C) $160
D) $150 E) $ 130 &
&
18. El circuito lógico equivalente a:
A
B a) b) A
A
1
B B

C c) A d) A
&
B B

a) A b) A e) A
B
B B
22. El circuito lógico equivalente a :
c) B d) A e) B

C C C
&
&
19. El siguiente diseño:
A &

A >1
B
B
a) A b) C

se representa equivalentemente como: c) B d) A

a) A b) A
A
B B e)
B

23. De las premisas formales:

c) A d) B P1: (p  q) → r
B P2: (r  s)
P3: p  (q  t)
e) N.A. La conclusión que se obtiene es:
A) t B) s C) q
20. El circuito lógico equivalente al circuito D) t E) p
adjunto: 24. De las premisas:
A P1: p  q
B P2: s  r
P3: p  r
C
Se infiere:
D
1) s  q 2) s  q 3) s  q
E
4) s → q 5) (s  q)
a) A b) C
Son incorrectas, excepto:
B D
A) 1, 2 y 4 B) 1, 2 y 5 C) 2, 3 y 4
c) B d) D
D) 3, 4 y 5 E) 1, 3 y 5
D E 25. De:

RAZ. MATEMÁTICO -8- Docente: WILMER BANCES CAMPOS

 Centro Preuniversitario “THALES” Urb. Cipreses Mz F Lte 01- Nuevo Chimbote (Plaza Mayor)

P1: Aunque Yugoslavia sea un país 28. Del argumento: “Es suficiente para que
europeo, es tercermundista Irán no produzca armas químicas que esté
sometido a control de la ONU” sin
P2: Es innegable que, Yugoslavia a no ser
embargo “Irán produce armas químicas”
que Canadá no sean países
Se infiere:
tercermundistas
A) Imposible, corresponde a una falacia
Se deduce:
B) Irán no produce armas químicas
A) Canadá no es un país europeo.
C) Irán no está sometido a control de la
B) Yugoslavia no es un país
ONU
tercermundista.
D) Irán está sometido a control de la ONU
C) Canadá no es un país tercermundista.
E) Si Irán no está sometido a control de la
D) Canadá es un país tercermundista.
ONU, Corea del Sur tampoco
E) Yugoslavia no es un país europeo.
29. De las premisas formales:
26. Del siguiente argumento:
P1: ~p → q
“El que haga calor es suficiente para que
P2: r → ~s
los niños no enfermen de los bronquios,
P3: ~q  r
empero los niños enferman de los
Se concluye:
bronquios. Por consiguiente, no hace
1) s → p 2) p  ~s 3) ~p
calor”
s
Se puede afirmar:
4) ~p → ~s 5) p / s
1) No es correcto 2) Tiene un esquema
Son ciertas:
tautológico
A) 2, 4 y 5 B) Sólo 1 y 2 C) 2, 3 y 4
3) Es válido 4) Tiene un esquema
D) 1, 2 y 4 E) 1, 4 y 5
contingente
30. De las premisas formales:
5) Es un argumento mediato
P1: w  q
Son ciertas:
P2: r  t
A) 1, 2 y 5 B) 1, 3 y 4 C) 2, 3 y 5
P3: ~ (p  q)
D) 3, 4 y 5 E) 1, 2 y 4
P4: ~r
27. De: “Cuando un metal se combina con el
Se concluye en:
oxígeno, se oxida; pero cuando un metal
1) w  t 2) ~p  w 3) ~ (w → p)
se oxida, obviamente pierde electrones;
4) w 5) t
aunque si un metal pierde electrones,
Son ciertas:
luego es más electropositivo”
A) Sólo 2, 4 y 5B) Sólo 1, 2 y 3C) Sólo 3, 4 y 5
Se infiere:
D) Sólo 1, 4 y 5 E) Todas
A) Es objetable que, un metal se combina
31. De las premisas:
con el oxígeno aunque es menos
P1: p  (p  q)
electropositivo.
P2: r → q
B) Si un metal no se combina con el
Se infiere:
oxígeno, bien se ve que es más
A) q B) r C) q
electropositivo.
D) r E) p v r
C) Cuando un metal se oxida, implica que
32. "Es inadmisible que ni los perros ni los gafos
gana electrones
sean mamíferos" NO Equivale a:
D) Un metal se combina con el oxígeno a
1) Los perros y los gatos no son mamíferos.
menos que sea menos electropositivo.
2) Los perros y los gatos son mamíferos.
E) Un metal se combina con el oxígeno si
3) O los gatos no son mamíferos o los
de la forma es más electropositivo.
peños tampoco lo son.

RAZ. MATEMÁTICO -9- Docente: WILMER BANCES CAMPOS

 Centro Preuniversitario “THALES” Urb. Cipreses Mz F Lte 01- Nuevo Chimbote (Plaza Mayor)

4) Los perros o los gatos son mamíferos. D) B E) B →A

5) Si los perros no son mamíferos, los gatos 04. Del argumento: “Los halógenos
si lo son. reaccionan con facilidad porque tienen
Son correctas: alta electronegatividad. Aunque los
A) 1,2 y 5 B) 1,2y3 C) Sólo 4 y 5 halógenos tienen alta electronegatividad”
D) 1,4 y 5 E) Sólo 1 inferimos:
33. La proposición: “El patio está desaseado a A) Imposible, es una falacia formal.
menos que también sucio. Por lo tanto, en B) Los halógenos no reaccionan con
vista que está sucio, no está aseado o facilidad.
bien está desaseado”, equivale a: C) Los halógenos reaccionan con
1) Jamás el patio no esta desaseado. facilidad y tienen alta afinidad
2) Es falso que el patio no está sucio pero electrónica.
está aseado. D) Los halógenos reaccionan con
3) El patio está sucio del mismo modo facilidad porque tienen alta afinidad
como desaseado. electrónica.
4) Si el patio está sucio, así pues no está E) Los halógenos no tienen alta
aseado. electronegatividad.
5) Que el patio esté aseado implica que 05. Dado el argumento: “Las pilas secas son
no esté sucio. celdas electroquímicas aunque las celdas
Son ciertas: electroquímicas no son celdas
A) 3 y 5 B) 2 y 4 C) 1 y 4 fotoeléctricas” Podemos inferir:
D) 1 y 3 E) 4 y 5 A) Es mentira que las pilas secas no sean
PROBLEMAS DOMICILIARIOS . celdas electroquímicas.
B) Las pilas secas no son celdas
01. El siguiente esquema molecular: fotoeléctricas.
 ( p  q )  ( pq )   p C) Las celdas electroquímicas son celdas
Equivale a: fotoeléctricas.
D) Las pilas secas no son celdas
1) (
 p   q )  (  p q  p )
electroquímicas
2) ( p  q )  ( p  q )  p E) Las pilas secas son celdas fotoeléctricas.
3) q 4) p 5) ( p  q )  ( p  q )  p 06. De: “El calor equivale al trabajo”; NO es
Son ciertas: posible concluir:
A) 1, 2 y 4 B) 1, 2 y 3 C) 2, 3 y 5 1. El calor no equivale al trabajo.
D) 2, 4 y 5 E) solo 4 2. Es mentira que el calor no equivale al
02. Simplifique el siguiente esquema: trabajo.
( p → q )   ( q  p )  → ( p  q )  p  3. El calor equivale al trabajo o equivale a
A) q → p B) p → q C) p  q la energía.
D) p  q E) p  q 4. Es indudable que el trabajo equivale al
03. Al simplificar la siguiente fórmula calor
proposicional: 5. No ocurre que no sea falso que el calor
(A A A… A) (BBB… equivale al trabajo.
B) Son inciertas:
A) 2,3 y 4 B) 2,3 y 5 C) 1,2 y 4
2n + 4 veces 2n + 3 veces D) 1,4 y 5 E) 1,3 y 5
Se tiene: 07. Del argumento: “Wilmer nació en Lima o
A) A B) B C) B → A en Chimbote; aunque; si tiene 18 años es

RAZ. MATEMÁTICO - 10 Docente: WILMER BANCES CAMPOS

-
 Centro Preuniversitario “THALES”
obvio que postula a la UNS; pero; se sabe
que nació en Chimbote sólo si tiene 18
años; además; si Wilmer postula a la UNS
luego nació en lima.
Se infiera que Wilmer:
a) Tiene 18 años b) Nació en Lima
c) Postula a la UNS d) Nació en
Chimbote
e) No postulo a la UNS
08. De: “Es mentira que, estudio y trabajo en
la UNS, además, “Es falso que, postule a
medicina y a derecho”, incluso, “Que no
postule a medicina es incompatible con
que no trabaje en la UNS”.
Se infiere:
a) A menos que postule a derecho,
estudio.
b) A menos que no postule a derecho,
estudio.
c) No postulo a derecho cuando estudio.
d) Ni estudio ni postulo a derecho.
e) Si estudio, entonces y sólo entonces
postulo a derecho.
09. De: “No ocurre que los países americanos
no sean de origen latino”. Se infiere:
1. Los países americanos son de origen
latino
2. Si los países americanos son plurilingües,
son de origen latino
3. Es mentira que los países latinos no sean
de origen americano
4. Los países americanos son de origen
latino aunque los países americanos son
países tropicales
5. Es cierto que los países americanos son
de origen latino a menos que sólo los
países europeos sean de origen asiático
Son correctas:
A) Sólo 4 y 5 B) Sólo 3,4 y 5C) Sólo 1 y 2
D) Sólo 2 y 3 E) Todas
10. De la proposición: “Ni Carlos ni Juan son
ingenieros agrícolas”; se infiere:
A) Si Juan no es médico, Carlos es
ingeniero agrícola.
B) Si Juan es ingeniero agrónomo, Carlos
es médico.
RAZ. MATEMÁTICO
Urb. Cipreses Mz F Lte 01- Nuevo Chimbote (Plaza Mayor)
C) Carlos es ingeniero agrícola sólo si Juan
es médico.
D) Sólo Juan es ingeniero agrícola, Carlos
es médico.
E) Ni Carlos ni Juan son médicos, pero son
ingenieros agrícolas.
11. Del argumento: “Es suficiente para que
Irán no produzca armas químicas que esté
sometido a control de la ONU” sin
embargo “Irán produce armas químicas”;
se infiere:
A) Imposible, corresponde a una falacia.
B) Irán no produce armas químicas.
C) Irán no está sometido a control de la
ONU.
D) Irán está sometido a control de la ONU.
E) Si Irán no está sometido a control de la
ONU, Corea del Sur tampoco.
12. De: “Ángel llegó tarde a clase porque se
le malogró el automóvil, además, el
automóvil de Ángel se malogró porque no
tenía combustible”. Se concluye:
A) Ángel llegó tarde a clase porque su
automóvil tenía combustible
B) Ángel no llegó tarde a clase porque su
automóvil tenía combustible
C) Ángel no llegó tarde a clase porque su
automóvil no tenía combustible.
D) Ángel llegó tarde a clase o su
automóvil no tenía combustible.
E) Ángel llegó tarde a clase porque su
automóvil no tenía combustible.
13. De: “Iré de vacaciones a Lima o sólo a
Tarapoto, incluso, iré de vacaciones a
Tarapoto o también a Rioja”. Se concluye:
A) Iré de vacaciones a Lima o también a
Rioja.
B) Iré de vacaciones a Rioja salvo que no
vaya a Lima.
C) No iré de vacaciones a Lima ni a
Tarapoto.
D) No iré de vacaciones a Lima o
tampoco a Tarapoto.
E) Iré de vacaciones a Tarapoto aunque
no vaya a Lima.
14. La fórmula proposicional:
- 11 Docente: WILMER BANCES CAMPOS
-
 Centro Preuniversitario “THALES” Urb. Cipreses Mz F Lte 01- Nuevo Chimbote (Plaza Mayor)

d) q e) p  q
[ ( A + B) Δ (B  A ) ]  B
19. La fórmula proposicional:
EQUIVALE A:   ( A  B )  ( A  B )   B
A) B B) B C) B  B Equivale a:
D) A E) A  B a) B b) B c) B  B
15. El esquema Lógico: (A  B) + 1.
c) A e) A  B
Equivale a:
20. Simplifique el siguiente esquema:
1.  (A  B)  1 ( p → q )   ( q  p )  → ( p  q )  p 
2. (A  B) + (A  B)
a) q → p b) p → q c) p  q
3. (A  B)  0
d) p  q e) p  q
4. (A v B)  (A  B)
5. (A → B)  (B  A) 21. La proposición: “Es mentira que, ni la
SON INCIERTAS, EXCEPTO: lógica ni la matemática sean ciencias
A) 1, 2 y 4 B) 3, 4 y 5 C) 2 y 5 formales”. Tiene como esquema
D) Todas E) Ninguna equivalente a:
16. La proposición: “Trujillo y Lima son 1) ( p  q )  p 2) p  q 3) p → q
ciudades peruanas”; NO equivale por la 4) ( q  p ) p 5) ( pq )  p
Ley de Morgan a:
Son ciertas:
1. Es falso que, Trujillo o Lima no sean
a) 2 y 3 b) 1 y 3 c) 2 y 5
ciudades peruanas
d) Ninguno e) 1 y 4
2. Lima es una ciudad peruana aunque, si 22. En el circuito:
Lima es ciudad peruana luego Trujillo p q p q
también lo es p p
3. Es falso que, Trujillo no sea ciudad p q p q
peruana o Lima tampoco lo sea p q p q
4. No sólo Lima es ciudad peruana, Trujillo p q
también lo es
5. Es falso que, ni Trujillo ni Lima son Si cada conmutador tiene un valor de $10;
ciudades peruanas. cuánto se ahorrará con su máxima
SON CIERTAS: simplificación equivalente
A) 1, 3 y 5 B) Sólo 1 y 3 C) 2, 4 y 5
D) 1, 2 y 3 E) Sólo 2 y 4 A) $170 B) $140 C) $160
17. ¿Cuántas de las siguientes proposiciones D) $150 E) $130
son tautologías?
I) ( p  p )  ( q → q )   ( p  q )
II) ( p  q  r )  ( p  q )  ( p → q )
III) ( p → q )  ( q → p )  p  ( p → r )
IV)  p  ( q  r )  →  q  ( q  r ) 

a) 0 b) 1 c) 2
d) 3 e) 4
18. El siguiente esquema:
( p → r ) → p   p → ( p  q ) 

Es equivalente a:
a) p b) pq c) qr

RAZ. MATEMÁTICO - 12 Docente: WILMER BANCES CAMPOS

-