Algunas traducciones verbales de los conectivos: 

1. El conjuntor  
Símbolos: , , , ,
, g, Traducción verbal se lee:
Símbolos: &, KPQ oPoQ
o bien P o bien Q
Traducción verbal se lee: P o Q (en sentidos excluyentes)
PyQ P o solamente Q
P incluso Q P o unicamente Q
P pero Q P o sólo Q
P aunque Q P no es equivalente a Q
P al igual que Q No es equivalente P con Q
P tal como Q P no biimplica a Q, etc.
P tanto que Q
P también Q 4. El implicador
P así como Q
P vemos que también Q
, ,
P al mismo tiempo que Q Símbolos: CPQ
P sin embargo Q Traducción verbal se lee:
P es compatible con Q Si P entonces Q
P aún cuando Q Siempre que P por consiguiente Q
P al mismo modo Q Ya que P bien se ve que Q
P de la misma manera Q Con tal P es obvio que Q
P no obstante Q Cuando P así pues Q
P sino Q Toda vez que P es consecuente Q
No sólo P sino también Q Dado P por eso Q
P asimismo Q En cuanto P por tanto Q
P a pesar de que Q Cada vez que P consiguientemente Q
P a la vez que Q Ya que P es evidente Q
P igualmente Q De P derivamos Q
P de la misma manera Q P implica Q
Sin que P tampoco Q Si P, Q
Cierto que P lo mismo que Q Cuando P, Q
Simultáneamente P con Q Como P, Q
P más aún Q De P, Q
P además Q Suponiendo que P, Q
P a la par que Q P sólo si Q
P aún cuando Q Sólo P si Q
P igualmente Q, etc. P es condición suficiente de Q
Una condición necesaria para P es Q
2. El disyuntor incluyente Como quiera que P por lo cual Q, etc.

 5. El replicador
Símbolos: , APQ
 ,
Traducción verbal se lee: Símbolos:
PoQ Traducción verbal se lee:
P a menos que Q Sólo si P, Q
A menos que P, Q P si Q
P salvo que Q P porque Q
P y bien, o también Q P siempre que Q
P excepto que Q Es condición necesaria P para Q
P o incluso Q P para Q
P o a la vez Q Para P es suficiente Q
P ya bien Q P puesto que Q
P y/o Q P dado que Q
P a no ser Q, etc. P supone que Q
P pues Q
P en vista de Q
P como Q
3. El disyuntor excluyente P por cuanto Q
P debido a que Q
P cada vez que Q
P en razón de Q
P en tanto Q
Para P es suficiente Q, etc.

6. El biimplicador

, ,
Símbolos: EPQ
Traducción verbal se lee:
P si y sólo si Q
P siempre y cuando Q
P se define lógicamente como Q
P es equivalente a Q
P es igual que Q
P es idéntica a Q
P es condición necesaria y suficiente
para Q
P siempre que y sólo cuando Q
P porque y sólo porque Q
P entonces y sólo entonces Q

7. El negador
__
P
Símbolos: ~, ─ , , NP
Traducción verbal se lee:
a) Negadores internos:
No P
Nunca P
Jamás P
b) Negadores externos:
Es absurdo que P
Es inconcebible que P
Es innegable que no P
No es el caso que P
De ninguna forma se da P
Es incierto que P
No es inobjetable que P
En modo alguno P
Es inadmisible que P
No acaece que P
No acontece que P.
Es sofisma que, etc.
 p  : q    q p 
e)

5. Formalizar: “Es invierno porque hace frío

aunque sale la luna”
1. Formalizar la siguiente expresión:”Si Andrés
trabaja y Carlos estudia, triunfarán” p   q  r
 q  r  p a)
a) p   q r 
 p  q   r  s  b)
b) p   q r 
p   q  r c)
c)  p  q  r
 p  q r
d)
d)  p  q r
pq
e)
e)
6. La proposición: “Habrá progreso en el Perú
2. Formalizar: “No es cierto que si es invierno, si el estado genera empresa, puesto que
hace frío. Es verdad que si llueve, es cierto las empresas crean puestos de trabajo”. Se
que es verano” formaliza:
 : p  q   r  s  p  q  r
a) a)
:  p  q   r  s   p  q  r
b) b)
: pq  p  q  r
c)
c)
:  p  q   r  s 
p   q  r
d)
d)
: p   q  r p q
e) e)

3. Formalizar la siguiente proposición: “Es 7. La formalización correcta de: “Siempre que

absurdo que yo te sonrió sea lo mismo decir y sólo cuando exista amor es obvio que habrá
que yo te enamoro” ternura, cariño tanto como alegría”
pq
p   q r s 
a)
pq a)
b)  p  q   r  s
p: q b)
c)  p  q  r s
:  p  q
c)
d) p   q  r  s
:  p  q
d)
e) p   q  r  s

4. La proposición: “Ya que es suficiente que e)

exista pobreza en el Perú para que no
exista dominación imperialista, existe la 8. Formalizar: “Tendremos plantas
dominación imperialista excepto que ornamentales en el jardín, si el abono es
únicamente exista pobreza en el Perú”. Se vegetal y las semillas son selectas”
formaliza: p   q r 
 p  : q   q  p  a)
a)  p  q  : r
 p  q   q  p  b)
b)  p  q  r
 p  q  q p  c)
c) p   q  r
 p  q   q  p  d)
d) p   q  r
e)
  p  q   : r  : s
9. Formalizar: “O Javier juega voley y tenis o
viaja a Lima y busca empleo”. b)
 p  q  r s    p  q   : r  s
a) c)
 p  q   r  s    p  q  : r  s
b) d)
 p  q   r  s    p  q  : r  s
c) e)
 p  q   r  s 
d)
14. Dada la proposición: “Si traes la caja
 p  q   r  s blanca, no traerás la negra. Pero, si traes la
e) azul, traerás la negra. Empero es imposible
traer las tres juntas. Por tanto, traerás sólo
10. Formalizar: “Es imposible que si estoy una de las tres”. Su formalización es:
ansioso, entonces fumo”. a)
: pq
   p  : q   r  q 
  p  q  r   p  q  r
a)
:  p  q
b)
b)
: pq    p  : q   r  q 
 :  p  q r  p  qr

c)
: p: q c)
d)    p  : q   r  
q  :  p q r    p q r 
:  : p  q
e) d)

11. Formalizar la siguiente proposición: “Sin

   p  q   r  q 
 :  p  q  r   p  q r
lluvia ni tormenta, podemos emprender el
viaje a altamar”. e)
 : p  : q  r p  : 
q    r  p  :  p q r    p q r 
a)
: p  : q  r
15. Formalizar: “Es necesario pagar $100 y
b)
enseñar el carné para ingresar a dar el
: p  : q  r examen en Idepunp”.
c)  p  q  r
:  p  q  r a)
d)  p  q  r
e) cyd b)
p   q  r
12. Formalizar: “Newton fue físico no obstante
fue filósofo, esto implica que le interesaba c)
conocer la realidad; pues tenía una actitud  p  q  r
investigadora”.
d)
  p  q  r  s
p q
a) e)
s    p  q  r
85 52
b)
16. Formalizar: “De que y se
  p  q  r  s
82 58
c) deduce que , aunque ni ni
  p  q  r  s 25 58 25
d) , en consecuencia , y
28
s    p  q  r
”.
e) a)

13. Formalizar: “O es peruano o brasilero, pero    p  q  r  :  : p   :  :  q

   p q r 
no es español; porque nació en América”.
  p  q  : r   s  t     p  q  r 
  p  q   p  q  r 
a) b)
    p  q  r 
 :  p  q   p  q  r   p  q   r  s 
c) b)
pq
d)
c)
   p  q  r  :  : p   :  :  q
   p  q  r  p  q   r  s 
d)
e) p q
   p  q  r 
 :  : p   :  :  q    p  q  r e)

21. Formalizar la siguiente proposición:

17. La proposición: “Es condición suficiente “Rolando postuló a la UNI al mismo tiempo
para que tenga ética profesional el que una que María postuló a San Marcos, luego
persona sea profesional” ingresaron a la universidad. Rolando
pq estudió ingeniería civil y María medicina”.
a)   p  q   r  s   t
p q a)
b)   p  q   r  s    t  u 
pq
c) b)
pq   p  q  r   t  u 
d) c)
pq
  p  q  r   t  u 
e)
d)
18. Dada la proposición: “El que sea profesor   p  q   r  s    t  u 
de lógica es necesario para que sea
coordinador del curso, aunque es suficiente e)
que sea profesor y coordinador para
pertenecer a la universidad”. Su 22. Formalizar: “El que la SUNAT sea un
formalización es: organismo nacional es incompatible con
que fiscalice a las entidades estatales”
 p  q    p  q  r p
a) a)
 p  q   p q  r : p: q

b) b)
pq
 p  q    p q  r
c)
c) : p: q
 p  q    p  q  r d)
p: q
d)
e)
 p  q    p  r
q
e) 23. La siguiente proposición: “Si no es mentira
que sea falso que Inglaterra en forma
19. Formalizar: “Es mentira que el que tenga alguna es un país aislado, implica que sea
frío no es incompatible con que este bien la primera potencia económica de Europa”.
abrigado”. Se formaliza:
: p: q : : :  : p  : q
a) a)
:  : p  : q : : : pq
b) b)
: p: q pq
c) c)
pq : : :  : p  q
d) d)
:  p  q : : :  : p  q
e) e)

20. La proposición: “Es compatible que los 24. Formalizar: “Es absurdo que, ni Luís es
mamíferos y los cetáceos son vertebrados y doctor ni Pedro es economista; a no ser
acuáticos respectivamente”. Se formaliza que, Luís es soltero y/o Pedro es casado”.
como:
pq
 : p  : q   r  s 
a) a)
  p  q   r  s  correspondientes y las longitudes de sus
lados correspondientes son proporcionales”
b)
  : p  q   r 
 s   t  u 
:  : p  : q   r  s 
a)
c)
:  : p  : q   r  s    : p  q   r 
 s   t  u 

d) b)
:  p  q   r  s    : p  q   r 
 s   t  u 
e) c)
 :  p  q   r 
 s   t  u 
25. Dado el siguiente argumento. “Es
inconcebible que sea corrupto y ocioso, d)
dado que estudio derecho; sin embargo soy   : p  q   r  s  t  u 
corrupto, Por tanto no seré un profesional
competente”. Su formalización es: e)

  :  p  q  r  p  s 29. Formalizar: “No es objetable que, si los

a) galenos utilizan las unidades de ictus si y
sólo si que disminuyen complicaciones
  :  p  q  r 
p  : s cerebrales empero mejoran la calidad de
b) vida de los supervivientes; dado que la
ciencia neurológica permite enfrentarse a
  :  p  q  r  p  : s los problemas con mucho éxito”
c) : :  p   q  r   s
   : p  : q  r  p  : s a)
d) :  p   q  r   s
  :  p  q  r  p  : s b)
e) : :  p   q  r   s
26. Formalizar: “Las islas Galápagos alberga c)
casi 4000 especies de insectos en sus
zonas tropicales, aunque Malasia es el : :   p  q  r  s
hogar de 1000 especies de mariposas”. Se d)
formaliza : :  p   q  r   s
pq
a) e)
 p  q  r 30. La proposición: “El canal de Panamá une
b) los océanos Atlántico y Pacifico, tiene 82
pq Km. De longitud y 14 m. de profundidad; es
c) condición necesaria para que sea un paso
 p  q  r estratégico clave del comercio
internacional”
d)  p  q r  s
p   q  r
a)
e)  p  q  r  s
27. La proposición: “Las comisiones especiales b)
del Congreso del Perú se forman bajo un fin  p  q   r  s 
específico y con un tiempo limitado. Estas
c)
pueden ser comisión de presupuesto, de
deporte o de economía”  p  q   r  s 
 p  q   r  s  t  d)
a)  p  q r  s
 p  q   r  s  t  e)
b)
31. Formalizar: “La sangre está compuesta por
 p  q   r  s  t  tres componentes principales: plasma,
c) glóbulos blancos y glóbulos rojos”.
p
 p  q   r  s  t 
a)
d) p  q r
p   q  r  s
b)
e)  p  q  r
28. Formalizar: “Ya que, dos rectas no se c)
interceptan y son coplanares por  p  q   r  s 
consiguiente son paralelas. Dos polígonos d)
son semejantes porque sus ángulos
 p   q  r  p  q   r  s 
e) a)
p   q  r

32. Relacionar: b)
I. Dos segmentos son congruentes ya pq
que tienen la misma longitud. c)
II. Un triángulo no puede tener más de un  p  q   r  s 
ángulo recto ni más de un ángulo
obtuso. d)
III. Toda vez que aumenta el dólar p   q  r
entonces se producirá un alza de precios.
e)
IV. Te renovarán el contrato si y sólo si
rebajas tu sueldo en un 10%.
Con:
: p: q Taller de Ejercicios
A.
pq
1. La proposición: “Que la política sea
B. social es una condición suficiente y
pq necesaria para que la política no sea
C. económica”, se formaliza como:
p q pq
D. a)
: pq
a) I D, II C, III B, IV A b)
b) I D, II B, III A, IV C : pq
c) I A, II D, III C, IV B
d) I D, II A, III B, IV C c)
p : q
e) I B, II A, III C, IV D
d)
33. Al formalizar: “Si María obtiene buenas :  p  q
notas en Idepunp, entonces no es cierto
e)
que alcanza una vacante o se cambia a otra
academia. Si y sólo si María ingresará a la
universidad”. Se obtiene una proposición 2. La proposición: “El lenguaje tiene
molecular del tipo: significación o sólo tenga sentido”, se
a) Bicondicional. formaliza como:
b) Disyuntiva incluyente. : pq
c) Negativa. a)
d) Replicativa. pq
e) Implicativa.
b)
pq
34. La expresión: “Sólo si el aprendizaje no
podía escapar del ámbito de la c)
comunicación, éste es un proceso en el : p : q
cual adquieren importancia fundamental las d)
relaciones interpersonales. No sólo importa pq
cuánto sabe aquel que nos enseña, sino e)
también cómo enseña”. Se formaliza:
 p  : q   r s  3. En “Un juicio apodíctico es analítico
a) cada vez y sólo cuando usen lenguajes
formalizados”, se formaliza:
: p  q   r s  pq
b) f)
: p  q   r s  pq
c) g)
pq
: p  q   r  s 
h)
d) : pq
: p  q   r s  i)
e) : pq
j)
35. Formalizar: “Deducción es una forma de
razonamiento donde se infiere una 4. La proposición:”Porque la luz tiene
conclusión a partir de una o únicamente de naturaleza dual, se trasmite en el vacío. Sin
varias premisas. En la argumentación embargo, el sonido no se trasmite en el
deductiva válida la conclusión debe ser vacío porque tiene naturaleza ondulatoria”,
verdadera si todas las premisas son se formaliza como:
asimismo verdaderas”.
  p  q   : q r  
f) e) p q
 p  q   : r  s
g) 9. Formalizar:
“Juan, Pedro, Javier y Mario estudian en la
 p  q  :  q  r  UNP. Sin
h) embargo Maria estudia separada de
 p  q   : r s  Carlos”.
   
i) f) (p q r s) t
 p  q   r  s  
g) p q
j)
h) p

5. De la proposición:”Ni ganarás la rifa ni
i) p q
ganarás el bingo; pero, en definitiva 
participarás de la maratón ya que estas
j) p q
muy entusiasmado”, podemos afirmar que:
: p  : q   r  s  10. Simbolizar: “Ambos, el cerebro y la médula
f) es su espinal, se comunican por una abertura
formalización situada en la base del cráneo y ambos no
 están en contacto con las demás zonas del
organismo a través de los nervios”.
g) Su conectivo dominante es “ ”
h) Posee sólo tres variables
 
proposicionales a) (p q) r
i) ayb
 
j) cyd b) (p q) r
:
6. Formalizar.”La composición química del c) p q
agua es dos átomos gramos del Hidrógeno d) p
y uno de oxígeno, pero Javier no sabe
 :
escribir la fórmula de una molécula de e) p q
agua”:
pq pq pq : r 11. Dado el siguiente razonamiento:
a) b) c) d) “Si la economía peruana es próspera
p: q porque hay
estabilidad laboral, más aún al haber
p: q estabilidad
laboral no es equivalente a que exista
e) menor
pobreza”. Su fórmula lógica es:
7. Simbolizar:”Si yo trabajo, gano dinero; y si   
no trabajo entonces me divierto. Por lo tanto a) (p q) (q r)
si no gano dinero, me divierto”.   
   p  q  : p 
 r   : q  r b) (p

q)

(q

r)
f) c) (p q) (q r)
  p  q   : p  r    : q  r   
g) d) (p q) q
e) byc
  p  q   q  : r    q  : r 
h) 12. Dado el siguiente esquema:
 p  q r “Pedro, Luís, Mario y Andrés estudian en la
UNP Entonces triunfarán”
i) ¿Cuál es el conectivo dominante?
 p  q  r    
j) a) b) c) d)
e) No tiene conectivo predominante.

13. Dada la siguiente oración:

8. La formalización de la proposición: “Maria “Alcanzarás la cima si logras cruzar el río;
es doctora o únicamente María es pero como
dibujante”, es: no lograrás cruzarlo entonces no
 alcanzarás la cima”.
a) p q Su formalización es:
  p  q   : q : p 
b) p q
 f)
c) p q  p  q   q : p
 g)
d) p q
  p  q  p q  p  q   r 
 pq r 
h) a) b) c)
 p  q  : q : p 
 p  q  r
i)
 p  q   : q : p 
j)
 p  q  r p  (q  r)
d) e)
14. “El que Martín tenga estudios de maestría 18. Formalizar:
en Gestión empresarial implica que sea “El parto puede verse asistido con
economista de profesión”. Se formaliza:
medicamentos como oxitócicos, ciertos
:  p  q
anestésicos o una posible episiotomía;
a) mientras que si el embarazo es de alto
pq
riesgo, por lo general termina con una
b)
operación cesárea”.
:  p  q
(p q)(r  s)
c)
p q a)
d) p  (q  r )
: pq b)
e) (p q)(r  s)
c)
( p  q  r)  ( s  t )
15. Formalizar: “El cuerpo de las abejas está
d)
dividido en tres segmentos: cabeza, tórax y
( p  q  r)  ( s  t )
abdomen.”
pqr e)
a)
19. Formalizar las indicaciones que le hace un
p médico a su paciente:
b) “Si para la cesárea te administraran
pq anestesia general, tu cuerpo tardará 6
c) horas en asimilarla. Y, con anestesia
pqr peridural entonces el cuerpo tarda un poco
d) más, aunque hayas estado despierta
p  q durante la operación. No realices fuerza
e) abdominal hasta que la herida no haya
sanado.”
16. Dada la proposición:
“El esqueleto de las aves es muy ligero, ya  p  q   r   s  t   u
que sus huesos son huecos y pesan poco”. a)
Se formaliza:  p  q    r  s   t   : u  : v
 p  q  r b)
a)
p  (q  r)
  p  q   r   s  t    u

b) c)
p  (q r)  p  q    r  s   t   : u  : v
c) d)
 q  r  p  p  q   r   s  t   u

d) e)
p  (q  r)
20. Formalizar: “Para que un niño muestre
e) agresividad con sus compañeros y rebeldía
con sus profesores, es condición necesaria
17. La formalización: “Fue a finales del siglo
que ésta conducta requiera de un
XIX cuando se originó la circuncisión
tratamiento especial”.
neonatal en Inglaterra como medida
preventiva contra la masturbación, e incluso  p  q  r
para la prevención de sífilis; por lo que ésta a)
práctica se extendió a casi todos los países p  (q  r)
angloparlantes.” b)
Será: p  (q r)
c)
  q  r  p c)
d)    : p  q   r  q 
 : q   p : r 
p  (q  r)
e) d)
   : p  q   r  q 
 : q   p  : r

e)
21. La formalización de:”El avión despegará a
las 9 a.m. a menos que este lloviendo”, es:    : p  q   r  q 
 : q   p  : r
pq pq pq pq
a) b) c) d)
pq 25. “Un conjunto está determinado por
extensión cuando se nombran todos sus
e) elementos, y está determinado por
compresión cuando se ha dado la
22. “Siempre que y sólo cuando existan lluvias característica o propiedad común a todos
es obvio que habrá creciente de ríos, los elementos”, su formalización es:
enfermedades así como hambre”, su
p   : q r
formalización es:
p   q  r  s a)
a)  p  : q  r
 p  q   r  s  b)
b)  p  q   r  s t 
 q  r  s p c)
c) p   q r
p   q  r  s d)
d) p: q
pq e)
e)
26. Formalizar:”El opuesto de un número
positivo “a” es “-a” y el número opuesto de
23. “Si la atmósfera de Venus no es más densa un número negativo “-a” es el número “a” ”
que la de la Tierra pero la de Marte si lo es, : pq
las condiciones de vida en la Tierra y Marte
son nulas”, su formalización es: a)
pq
 : p  q   r  s 
b)
a) p  q
pq
c)
b) p: q
: p  q   r s  d)
c) pq
: p  q   r  s  e)
d)
p   q  r 27. “El valor absoluto de un número entero es
el mismo número si es positivo o cero; y es
e) el opuesto del número si es negativo”, su
formalización es:
24. Formalizar:”Si el páncreas no segregase la
 p   q r    s t 
suficiente insulina, aparecerían síntomas de
diabetes. Y si la glándula suprarrenal a)
produjese adrenalina en exceso, sucedería  p   q r    s t 
lo mismo. En este caso no aparecen
síntomas de diabetes. De ahí que páncreas b)
segrega la suficiente insulina y que la  p   q r    s t 
glándula suprarrenal no produjese
adrenalina en exceso”: c)
a)  p   q r     s t 

   : p  q   r  q 
 : q   p  : r d)
 p   q r    s t 
b) e)
   : p  
q   r  q  : q   p : r 
28. Formalizar: “Iremos a nadar a menos que el
cielo no este despejado, ya que no hemos
traído carpa”. Halle la expresión
equivalente:
  p  : q  : r  p  q  r
a) c)
: p  r  q  p  q  r
b) d)
p qr  p  q   r  : p 
c) e)
 p  r  q
d) 32. “De computación o matemáticas, Martín
domina sólo un curso”, formalizar:
p   q  r p
e) a)
pq
29. Formalizar: “Ya que ingeniería electrónica b)
es una carrera universitaria, tanto como
pq
contabilidad o administración; por ello es
educación superior y no es carrera técnica”: c)
: p
 p   q  r    s : t 
d)
a) : p: q
  p  q  r   s  : t  e)
b)
33. “Si el motor funciona entonces, la pista está
 p   q  r    s  : t  mojada sólo si Marcos volará el aeroplano”,
c) su formalización:
 p   q  r    s  : t  p   q  r
d) a)
  p  q  r   s  : t   p  q  r
e) b)
p   q  r
30. “Platón fue griego o sólo fue romano, pero c)
no fue egipcio; porque nació en Europa”, su p   q  r
formalización:
d)
  p  q  : r  s pq
a) e)
  p  q  : r  s
34. Formalizar: “La lógica es una ciencia formal
b) si su objeto de estudio es ideal. La lógica no
  p  q  : r  s es una ciencia formal. Por lo tanto su objeto
de estudio no es ideal”,
c)
 p  q  : r
  p  q   : r  s
a)
d)
 p  q  : r
  p  q  : r  s
b)
e)
  p  q : p  : q
31. Formalizar: “Cuando aumenta la capa de
hielo en invierno y en verano disminuye, los c)
osos polares van hacia los témpanos”   p  q  : p  : q
 p  q  r
d)
a)
  p  q : p  : q
 p  q  r
b)
e)