Algunas traducciones verbales de los conectivos:

1. El conjuntor

, g,
Smbolos:

&, KPQ

Traduccin verbal se lee:

PyQ
P incluso Q
P pero Q
P aunque Q
P al igual que Q
P tal como Q
P tanto que Q
P tambin Q
P as como Q
P vemos que tambin Q
P al mismo tiempo que Q
P sin embargo Q
P es compatible con Q
P an cuando Q
P al mismo modo Q
P de la misma manera Q
P no obstante Q
P sino Q
No slo P sino tambin Q
P asimismo Q
P a pesar de que Q
P a la vez que Q
P igualmente Q
P de la misma manera Q
Sin que P tampoco Q
Cierto que P lo mismo que Q
Simultneamente P con Q
P ms an Q
P adems Q
P a la par que Q
P an cuando Q
P igualmente Q, etc.
2. El disyuntor incluyente
Smbolos:

, APQ

Traduccin verbal se lee:

PoQ
P a menos que Q
A menos que P, Q
P salvo que Q
P y bien, o tambin Q
P excepto que Q
P o incluso Q
P o a la vez Q
P ya bien Q
P y/o Q
P a no ser Q, etc.

3. El disyuntor excluyente

Smbolos: , ,
, ,
Traduccin verbal se lee:
oPoQ
o bien P o bien Q
P o Q (en sentidos excluyentes)
P o solamente Q
P o unicamente Q
P o slo Q
P no es equivalente a Q
No es equivalente P con Q
P no biimplica a Q, etc.
4. El implicador

, ,
Smbolos:
CPQ
Traduccin verbal se lee:
Si P entonces Q
Siempre que P por consiguiente Q
Ya que P bien se ve que Q
Con tal P es obvio que Q
Cuando P as pues Q
Toda vez que P es consecuente Q
Dado P por eso Q
En cuanto P por tanto Q
Cada vez que P consiguientemente Q
Ya que P es evidente Q
De P derivamos Q
P implica Q
Si P, Q
Cuando P, Q
Como P, Q
De P, Q
Suponiendo que P, Q
P slo si Q
Slo P si Q
P es condicin suficiente de Q
Una condicin necesaria para P es Q
Como quiera que P por lo cual Q, etc.
5. El replicador

,
Smbolos:
Traduccin verbal se lee:
Slo si P, Q
P si Q
P porque Q
P siempre que Q
Es condicin necesaria P para Q
P para Q
Para P es suficiente Q
P puesto que Q
P dado que Q
P supone que Q
P pues Q
P en vista de Q
P como Q
P por cuanto Q
P debido a que Q
P cada vez que Q
P en razn de Q

P en tanto Q
Para P es suficiente Q, etc.
6. El biimplicador

, ,
Smbolos:
EPQ
Traduccin verbal se lee:
P si y slo si Q
P siempre y cuando Q
P se define lgicamente como Q
P es equivalente a Q
P es igual que Q
P es idntica a Q
P es condicin necesaria y suficiente
para Q
P siempre que y slo cuando Q
P porque y slo porque Q
P entonces y slo entonces Q
7. El negador
__

Smbolos: ~, , , NP
Traduccin verbal se lee:
a) Negadores internos:
No P
Nunca P
Jams 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.

: q q p

e)
5.
1.

Formalizar la siguiente expresin:Si Andrs

trabaja y Carlos estudia, triunfarn
q r p
a)
b)
c)
d)

p q r

a)

p q r s

b)

p q r

p q

c)

d)

pq
6.

p q r

p q

La proposicin: Habr progreso en el Per

si el estado genera empresa, puesto que
las empresas crean puestos de trabajo. Se
formaliza:
p q r

a)

a)

c)
d)

: p q r s

: pq

c)

: p q r

d)

b)
c)
d)

a)

p: q

b)

: p q

: p q

La proposicin: Ya que es suficiente que

exista pobreza en el Per para que no
exista dominacin imperialista, existe la
dominacin imperialista excepto que
nicamente exista pobreza en el Per. Se
formaliza:
p : q q p

b)
c)

p q r
p q r

p q

7. La formalizacin correcta de: Siempre que

y slo cuando exista amor es obvio que habr
ternura, cario tanto como alegra
p q r s

pq

e)

a)

p q

e)

Formalizar la siguiente proposicin: Es

absurdo que yo te sonri sea lo mismo decir
que yo te enamoro
pq

a)

b)

: p q r s

e)

4.

p q r

Formalizar: No es cierto que si es invierno,

hace fro. Es verdad que si llueve, es cierto
que es verano
: p q r s

b)

3.

p q r

e)

e)
2.

Formalizar: Es invierno porque hace fro

aunque sale la luna

p q q p

p q q p
p q q p

c)
d)

p q

r s

p q r

p q r s
p q r s

e)
8. Formalizar:
Tendremos
plantas
ornamentales en el
jardn, si el abono es
vegetal y las semillas son selectas
p q r
a)
b)
c)
d)

d)
e)

p q

: r

p q r
p q r

p q r

 p q

9. Formalizar: O Javier juega voley y tenis o

viaja a Lima y busca empleo.
p q r s
a)
b)
c)
d)

c)
d)

p q : r s

p q : r s

p q r s
d)

p q r s

p q : r s
e)

p q r s
p q r s

10. Formalizar: Es imposible que si estoy

ansioso, entonces fumo.
: pq

b)

b)
c)

e)

a)

14. Dada la proposicin: Si traes la caja

blanca, no traers la negra. Pero, si traes la
azul, traers la negra. Empero es imposible
traer las tres juntas. Por tanto, traers slo
una de las tres. Su formalizacin es:
a)

p : q r q

: p q

: pq

p : q r q

: p: q

c)

p : q r

: : p q

b)
c)
d)
e)

p q r q

q : p q r p q r

p : q r

p : q r

: p q r

p :

a)
b)
c)
d)

a)

c)

p q r s
d)

s p q r
e)
13. Formalizar: O es peruano o brasilero, pero
no es espaol; porque naci en Amrica.
p q : r s t

p q

p q r

p q r
p q

e)

s p q r

p q r s

q r p : p q r p q r

15. Formalizar: Es necesario pagar $100 y

ensear el carn para ingresar a dar el
examen en Idepunp.
p q r

cyd

b)

: p q r p q r

e)

12. Formalizar: Newton fue fsico no obstante

fue filsofo,
esto implica que le interesaba
conocer la realidad;
pues tena una actitud
investigadora.
p q r s

a)

: p q r p qr

d)

Formalizar la siguiente proposicin: Sin

lluvia ni tormenta, podemos emprender el
viaje a altamar.
: p : q r
a)

p q r p q r

b)

e)
11.

: r : s

16.

85
52
Formalizar: De que
y
se
82
58
deduce que
, aunque ni
ni
25
58 25
, en consecuencia
,
y
28
.
a)

p q r

: : p : : q

p q r
b)

p q p q r

q r

 p q r

b)

c)
d)

p q r

: : p : : q

p q r

p q r
: : p : : q

p q r

17. La proposicin: Es condicin suficiente

para que tenga tica profesional el que una
persona sea profesional
pq
a)
b)
c)
d)

c)
d)

e)

p q r s

: p q p q r

p q

e)
21. Formalizar
la
siguiente
proposicin:
Rolando postul a la UNI al mismo tiempo
que Mara postul a San Marcos, luego
ingresaron a la universidad. Rolando
estudi ingeniera civil y Mara medicina.
p q r s t

b)

p q r t u

pq
c)

pq

p q r t u
d)

a)

p q r s t u
e)
22. Formalizar: El que la SUNAT sea un
organismo nacional es incompatible con
que fiscalice a las entidades estatales
p
a)

p q p q

p q p q

b)

b)
c)

c)

p q p q r

d)

p q p

e)

d)

q
r

e)
19. Formalizar: Es mentira que el que tenga
fro no es incompatible con que este bien
abrigado.
: p: q

c)
d)

: : p : q

a)

: p: q
c)
pq
: p q

20. La proposicin: Es compatible que los

mamferos y los cetceos son vertebrados y
acuticos respectivamente. Se formaliza
como:
pq

: p: q
pq
: p: q
p: q

23. La siguiente proposicin: Si no es mentira

que sea falso que Inglaterra en forma
alguna es un pas aislado, implica que sea
la primera potencia econmica de Europa.
Se formaliza:
: : : : p : q

b)

e)

a)

p q

p q r s t u

pq

18. Dada la proposicin: El que sea profesor

de lgica es necesario para que sea
coordinador del curso, aunque es suficiente
que sea profesor y coordinador para
pertenecer
a
la
universidad.
Su
formalizacin es:
p q p q r

b)

p q r s

a)

e)

a)

pq

d)

: : : pq
pq
: : : : p q
: : : : p q

e)
24. Formalizar: Es absurdo que, ni Lus es
doctor ni Pedro es economista; a no ser
que, Lus es soltero y/o Pedro es casado.
: p : q r s
a)

 p q r s
b)
c)
d)

correspondientes y las longitudes de sus

lados correspondientes son proporcionales
: p q r
s t u

: : p : q r s

a)

: : p : q r s

b)
: p q r s

c)

e)
25. Dado el siguiente argumento. Es
inconcebible que sea corrupto y ocioso,
dado que estudio derecho; sin embargo soy
corrupto, Por tanto no ser un profesional
competente. Su formalizacin es:

: p q r p

a)
b)
c)
d)

: p q r

p : s

: p q r p

: s

: p : q r p
: p q r p

: s

: s

e)
26. Formalizar: Las islas Galpagos alberga
casi 4000 especies de insectos en sus
zonas tropicales, aunque Malasia es el
hogar de 1000 especies de mariposas. Se
formaliza
pq
a)
b)
c)
d)

p q r
pq

p q r
p q r

27. La proposicin: Las comisiones especiales

del Congreso del Per se forman bajo un fin
especfico y con un tiempo limitado. Estas
pueden ser comisin de presupuesto, de
deporte o de economa
p q r s t

b)
c)
d)

: p q r
s t u
: p q r
s t u
: p q r s t u

e)
29. Formalizar: No es objetable que, si los
galenos utilizan las unidades de ictus si y
slo si que disminuyen complicaciones
cerebrales empero mejoran la calidad de
vida de los supervivientes; dado que la
ciencia neurolgica permite enfrentarse a
los problemas con mucho xito
: : p q r s
a)
b)
c)
d)

: p q r s
: : p q r s
: : p q r s
: : p q r s

e)

e)

a)

d)

: p q r
s t u

p q r s t

p q r s t
p q r s t
p q r s

30. La proposicin: El canal de Panam une

los ocanos Atlntico y Pacifico, tiene 82
Km. De longitud y 14 m. de profundidad; es
condicin necesaria para que sea un paso
estratgico
clave
del
comercio
internacional
p q r s
a)
b)
c)
d)

p q r s

p q r s
p q r

e)
31. Formalizar: La sangre est compuesta por
tres componentes principales: plasma,
glbulos blancos y glbulos rojos.
p
a)
b)

e)
28. Formalizar: Ya que, dos rectas no se
interceptan
y
son
coplanares
por
consiguiente son paralelas. Dos polgonos
son semejantes porque sus ngulos

p q r

c)
d)

p q r

p q r
p q r s

p q r

p q r s

e)

a)
b)

32. Relacionar:
I. Dos segmentos son congruentes ya
que tienen la misma longitud.
II. Un tringulo no puede tener ms de un
ngulo
recto ni ms de un ngulo
obtuso.
III. Toda vez que aumenta el dlar
entonces se producir un alza de precios.
IV. Te renovarn el contrato si y slo si
rebajas tu sueldo en un 10%.
Con:
: p: q
A.
B.
C.

c)
d)

pq

1.

pq
p q
a)
I D, II C, III B, IV A
I D, II B, III A, IV C
I A, II D, III C, IV B
I D, II A, III B, IV C
I B, II A, III C, IV D

b)
c)
d)

b)
c)
d)

p q r s

p q r s

2.

p q r s

p q r s

La proposicin: Que la poltica sea

social es una condicin suficiente y
necesaria para que la poltica no sea
econmica, se formaliza como:
pq
: pq
: pq

p : q
: p q

La proposicin: El lenguaje tiene

significacin o slo tenga sentido, se
formaliza como:
: pq
a)
b)
c)
d)

pq
pq
: p : q
pq

e)
3.

En Un juicio apodctico es analtico

cada vez y slo cuando usen lenguajes
formalizados, se formaliza:
pq

f)

pq
g)

p q r

e)

34. La expresin: Slo si el aprendizaje no

poda escapar del mbito de la
comunicacin, ste es un proceso en el
cual adquieren importancia fundamental las
relaciones interpersonales. No slo importa
cunto sabe aquel que nos ensea, sino
tambin cmo ensea. Se formaliza:
p : q r s

p q r s

Taller de Ejercicios

33. Al formalizar: Si Mara obtiene buenas

notas en Idepunp, entonces no es cierto
que alcanza una vacante o se cambia a otra
academia. Si y slo si Mara ingresar a la
universidad. Se obtiene una proposicin
molecular del tipo:
a) Bicondicional.
b) Disyuntiva incluyente.
c) Negativa.
d) Replicativa.
e) Implicativa.

a)

pq

e)

D.
a)
b)
c)
d)
e)

p q r

h)
i)

e)

pq
: pq
: pq

j)
35. Formalizar: Deduccin es una forma de
razonamiento donde se infiere una
conclusin a partir de una o nicamente de
varias premisas. En la argumentacin
deductiva vlida la conclusin debe ser
verdadera si todas las premisas son
asimismo verdaderas.

4.

La proposicin:Porque la luz tiene

naturaleza dual, se trasmite en el vaco. Sin
embargo, el sonido no se trasmite en el
vaco porque tiene naturaleza ondulatoria,
se formaliza como:

 p q :
f)
g)
h)
i)

q r

e)

p q :

r s

Formalizar:
Juan, Pedro, Javier y Mario estudian en la
UNP. Sin
embargo Maria estudia separada de
Carlos.

r s

p q r s

j)
5.

De la proposicin:Ni ganars la rifa ni

ganars el bingo; pero, en definitiva
participars de la maratn ya que estas
muy entusiasmado, podemos afirmar que:

p : q r s

f)

es
formalizacin

g)
h)
i)
j)
6.

su

Su conectivo dominante es
Posee
slo
tres
proposicionales
ayb
cyd

variables

Formalizar.La composicin qumica del

agua es dos tomos gramos del Hidrgeno
y uno de oxgeno, pero Javier no sabe
escribir la frmula de una molcula de
agua:
pq
pq
pq : r
a)
p: q

b)

c)

d)

p: q
e)
7.

Simbolizar:Si yo trabajo, gano dinero; y si

no trabajo entonces me divierto. Por lo tanto
si no gano dinero, me divierto.

p q : p

r : q r

f)

p q : p r : q r
g)

p q q : r q : r
h)
i)

p q

p q

f)

(p

g)
h)

p
p

i)

j)

La formalizacin de la proposicin: Maria

es doctora o nicamente Mara es
dibujante, es:

a)

b)

c)

d)

s)

a)

(p

b)

(p

c)
d)

p
p

e)

q)

q)

r
r

:
q

11. Dado el siguiente razonamiento:

Si la economa peruana es prspera
porque hay
estabilidad laboral, ms an al haber
estabilidad
laboral no es equivalente a que exista
menor
pobreza. Su frmula lgica es:

a)

(p

b)

(p

c)

(p

d)
e)

(p
q)
byc

q)
q)
q)

(q

(q

(q

r)
r)
r)

12. Dado el siguiente esquema:

Pedro, Lus, Mario y Andrs estudian en la
UNP Entonces triunfarn
Cul es el conectivo dominante?

b)
c)
d)
No tiene conectivo predominante.

13. Dada la siguiente oracin:

Alcanzars la cima si logras cruzar el ro;
pero como
no logrars cruzarlo entonces no
alcanzars la cima.
Su formalizacin es:
p q : q : p
f)

q
q

10. Simbolizar: Ambos, el cerebro y la mdula

espinal, se comunican por una abertura
situada en la base del crneo y ambos no
estn en contacto con las dems zonas del
organismo a travs de los nervios.

a)
e)

j)

8.

9.

p q : q r
p q :

g)

p q q

: p

 p q r

p q p q
h)
i)

p q :

q : p

p q :

q : p

a)

p q

pq

b)

: p q

c)
d)

(p q)(r s)

a)

: pq

b)

e)
c)

a)
p
b)
pq
c)
pqr
d)
p q
e)
16. Dada la proposicin:
El esqueleto de las aves es muy ligero, ya
que sus huesos son huecos y pesan poco.
Se formaliza:

p q r

d)

b)

(p q)(r s)

( p q r) ( s t )
( p q r) ( s t )

19. Formalizar las indicaciones que le hace un

mdico a su paciente:
Si para la cesrea te administraran
anestesia general, tu cuerpo tardar 6
horas en asimilarla. Y, con anestesia
peridural entonces el cuerpo tarda un poco
ms, aunque hayas estado despierta
durante la operacin. No realices fuerza
abdominal hasta que la herida no haya
sanado.

p q r s t

p q r s t

: u : v

a)
b)

p q r s t

c)

p (q r)

c)

p (q r )

e)

a)
p (q r)

p (q r)

e)

18. Formalizar:
El parto puede verse asistido con
medicamentos como oxitcicos, ciertos
anestsicos o una posible episiotoma;
mientras que si el embarazo es de alto
riesgo, por lo general termina con una
operacin cesrea.

p q

15. Formalizar: El cuerpo de las abejas est

dividido en tres segmentos: cabeza, trax y
abdomen.
pqr

c)

d)

a)

b)

p q r

j)
14. El que Martn tenga estudios de maestra
en Gestin empresarial implica que sea
economista de profesin. Se formaliza:
: p q

pq r

d)

q r p

p q r s t

p q r s t

: u : v
u

e)

d)
p (q r)

e)
17. La formalizacin: Fue a finales del siglo
XIX cuando se origin la circuncisin
neonatal en Inglaterra como medida
preventiva contra la masturbacin, e incluso
para la prevencin de sfilis; por lo que sta
prctica se extendi a casi todos los pases
angloparlantes.
Ser:

20. Formalizar: Para que un nio muestre

agresividad con sus compaeros y rebelda
con sus profesores, es condicin necesaria
que sta conducta requiera de un
tratamiento especial.

p q r

a)
b)
c)

p (q r)

p (q r)

 q r p

c)

: p q r q

d)
p (q r)

e)

d)

: p q r q

21. La formalizacin de:El avin despegar a

las 9 a.m. a menos que este lloviendo, es:
pq
pq
pq
pq
a)

b)

pq

c)

d)

e)
22. Siempre que y slo cuando existan lluvias
es obvio que habr creciente de ros,
enfermedades as como hambre, su
formalizacin es:
p q r s
a)
b)
c)
d)

p q r s
q r s

c)
d)

: p q r q

a)

p q r s

d)

pq

e)

pq

a)
b)
c)

p q r s

d)

p q r s

e)

p q r

24. Formalizar:Si el pncreas no segregase la

suficiente insulina, apareceran sntomas de
diabetes. Y si la glndula suprarrenal
produjese adrenalina en exceso, sucedera
lo mismo. En este caso no aparecen
sntomas de diabetes. De ah que pncreas
segrega la suficiente insulina y que la
glndula
suprarrenal
no
produjese
adrenalina en exceso:
a)

: p

p : q r

: q p : r

q r q : q p : r

s t

p q r

p: q

26. Formalizar:El opuesto de un nmero

positivo a es -a y el nmero opuesto de
un nmero negativo -a es el nmero a
: pq

: p q r q

: q p : r

25. Un conjunto est determinado por

extensin cuando se nombran todos sus
elementos, y est determinado por
compresin cuando se ha dado la
caracterstica o propiedad comn a todos
los elementos, su formalizacin es:
p : q r

c)

e)

b)

e)

p q

23. Si la atmsfera de Venus no es ms densa

que la de la Tierra pero la de Marte si lo es,
las condiciones de vida en la Tierra y Marte
son nulas, su formalizacin es:
: p q r s

b)

: q p : r

b)

e)

a)

: q p : r

pq
p q
p: q
pq

27. El valor absoluto de un nmero entero es

el mismo nmero si es positivo o cero; y es
el opuesto del nmero si es negativo, su
formalizacin es:
p q r s t
a)
b)
c)
d)

p q r s t
p q r s t
p q r s t
p q r s t

e)
28. Formalizar: Iremos a nadar a menos que el
cielo no este despejado, ya que no hemos
trado
carpa.
Halle
la
expresin
equivalente:

 p : q
a)
b)
c)
d)

p r q

p qr

p r q
p q r

e)

b)
c)
d)

p q r s : t
p q r s : t

c)
d)

p q : r s
p q : r s
p q : r s
p q : r s

e)
31. Formalizar: Cuando aumenta la capa de
hielo en invierno y en verano disminuye, los
osos polares van hacia los tmpanos
p q r
a)
b)

p q r

p q r

p q r : p

e)
32. De computacin o matemticas, Martn
domina slo un curso, formalizar:
p
pq

b)
pq
c)
d)

: p
: p: q

e)
33. Si el motor funciona entonces, la pista est
mojada slo si Marcos volar el aeroplano,
su formalizacin:
p q r

a)

p q r s : t

30. Platn fue griego o slo fue romano, pero

no fue egipcio; porque naci en Europa, su
formalizacin:
p q : r s

b)

d)

p q r s : t

e)

a)

c)

a)

29. Formalizar: Ya que ingeniera electrnica

es una carrera universitaria, tanto como
contabilidad o administracin; por ello es
educacin superior y no es carrera tcnica:
p q r s : t
a)

p q r

: r

b)
c)
d)

p q r
p q r

p q r

pq

e)
34. Formalizar: La lgica es una ciencia formal
si su objeto de estudio es ideal. La lgica no
es una ciencia formal. Por lo tanto su objeto
de estudio no es ideal,
p q : r
a)

p q :

b)

p q : p : q
c)

p q : p : q
d)

e)

p q : p : q