F or m a l i z a c ió n

DEFINICIÓN
Es el procedimiento mediante el cual se identifican proposiciones simples y estructuras lógicas
proposicionales (estudiadas en la unidad anterior), asignándoles a cada uno un determinado símbolo del
lenguaje de Lógica Proposicional organizándolos con signos de agrupación.

Instrucción: Lee detenidamente las expresiones más comunes de los conectores lógicos y participa en
el desarrollo de la práctica.

 a. Del lenguaje Objeto {p, q, r, s, t,u, v, w, x, y,z

VARIABLES 
 b. Del Metalenguaje {A, B, C, D, E, F,........ Z
NOTA:
Las variables del Metalenguaje de LP, se utilizan para hacer operaciones y enunciar reglas. No se
utilizan para formalizar.

LAS CONSTANTES
Llamados también operadores proposicionales se les reemplaza por:

OPERADOR
Nº SÍMBOLOS
NOMBRE ESTRUCTURA LÓGICA

1 Negador “no” -  
2 Conjuntor “… y …”  . & 

3 Disyuntor Incluyente “… o …” v + 

v  
4 Disyuntor Excluyente “o … o ….”
>< <-/->

5 Implicador “si … entonces …” →  

6 Replicador “… porque …” ← 
7 Biimplicador “… si y sólo sí…”   
8 Inalternador “ni …. ni ….” ↓
9 Incompatibilizador “no … o no ….” /

PROCEDIMIENTOS DE FORMALIZACIÓN
Ejemplo:

“Es falso que Vallejo fue físico tanto como es mentira que, si Vargas Llosa es gobernante, es demócrata”

https://integral.edu.pe/
Jr. Marcelo Corne 345
Página 1
– Ur b. San Andrés 0107 _PI_RL_ E22
 F or m a l i z a c ió n

PASO 1:
Identificar proposiciones simples y asignarles variables en orden alfabético.

p = “Vallejo fue físico”

q = “Vargas Llosa es gobernante”
r = “Vargas Llosa es demócrata”

NOTA:
No debes olvidar que la proposición es significado. Las proposiciones simples precedentes son
significados de la proposición compuesta propuesta.

PASO 2:
Identificar la forma:
“Es falso que Vallejo fue físico tanto como es mentira que, si Vargas Llosa es gobernante, es democráta”

La forma es:
“Es falso que …………… tanto como es mentira que si ………………, ………………”

PASO 3. Escribir la fórmula lógica.

- p  -(r → r)
p = “Vallejo fue físico”

JERARQUÍA DE LOS CONECTORES

Se usa cuando no hay símbolos auxiliares como los paréntesis, corchetes, llaves, etc.

ORDENANDO DE MAYOR A MENOR JERARQUÍA

Conector      

CONECTORES PROPOSICIONALES

1. NEGADORES LÓGICOS

 A, - A,  A

A continuación, tienes un listado de las explicitaciones verbales del negador, inversor o dualizador
lógico, donde A es el símbolo de cualquier proposición:

1. Es absurdo que A,
2. Es falso que A,
3. es inconcebible que A,
4. no ocurre que A
5. no acaece que A,
6. no se da el caso que A,
7. no es verdad que A,
8. no es cierto que A,
9. es negable que A,
10. es inadmisible que A,
11. es objetable que A
12. carece de todo sentido de que A,

https://integral.edu.pe/
Jr. Marcelo Corne 345
Página 2
– Ur b. San Andrés 0107 _PI_RL_ E22
 F or m a l i z a c ió n

13. de ninguna manera forma, modo, manera de A

14. es refutable que A,
15. A es insostenible
16. no siempre ocurre que A
17. es rebatible A.
18. no es afirmativo que A,
19. es negativo que A,
20. no se consibe que A,
21. no es verdadero que A
22. no se admite que A,
23. no es evidente que A,
24. A es una mentira,
25. carece de sentido que A,
26. es contradictorio que A,
27. en modo alguno se da que A,
28. es incompatible que A.
29. no siempre A
30. no se sabe que A,
31. por lo menos una vez no A,
32. nunca se da que A,
33. no se ve que A,
34. jamás (nunca) A
35. nunca se da que A jamás
36. no, no es cierto que A,
37. es inaudito que A,
38. es incongruente que A,
39. es inconsistente que A
40. es dual formal de A

2. CONJUNTORES LÓGICOS

A  B, A & B, AB, A  B

A continuación, tienes un listado de las explicitaciones verbales del conjuntor lógico, donde A y B
son símbolos de cualquier proposición:

1. A incluso B
2. no solo A también B
3. A del mismo modo (forma, manera) B,
4. A pero, aunque, empero, al igual que B.
5. A incluso, tal como, al igual que B,
6. A también B,
7. sin que A tampoco B,
8. tanto A como (cuanto B)
9. cierto es que A lo mismo que B
10. el que A es compatible con que B,
11. siempre ambos A con B,
12. A pesar de que B,
13. A mas (más aún) B
14. A más aún B
15. Aún cuando A; B

https://integral.edu.pe/
Jr. Marcelo Corne 345
Página 3
– Ur b. San Andrés 0107 _PI_RL_ E22
 F or m a l i z a c ió n

16. A a pesar de que B,

17. Además de A, B
18. A aunque también B,
19. no solamente A sino que además B,
20. A así como (al mismo tiempo, ambos a la vez) B.
21. A de modo semejante B,
22. se concibe que A y al mismo tiempo B,
23. A vemos que también B
24. es cierto que A también es cierto que B
25. cierto que A también es cierto que B
26. A no es incompatible con B (es compatible) que A y B
27. A al propio tiempo B
28. A simultáneamente con B,
29. A conjuntamente con B

3. DISYUNTOR INCLUYENTE O DÉBIL

A v B, A + B, A  B

A continuación, tiene un listado de las explicitaciones verbales del disyuntor lógico, donde A y B
son símbolos de cualquier proposición:
1. A menos que A, B.
2. A a menos que B,
3. A ya bien B
4. A o también B,
5. A salvo que B,
6. A excepto que B,
7. A o incluso B
8. A a no ser que B,
9. salvo que A y B
10. A y bien o también B
11. A y/o B
12. Al menos uno de los dos A ó B
13. A o sino B
14. A o en todo caso B
15. A alternativamente B

4. CONDICIONALES DIRECTOS

A  B, A  B, A  B

A continuación tiene un listado de las explicaciones verbales del condicionador lógico, donde A y
B son símbolos de cualquier proposición.

1. Si A entonces B
2. siempre que A por consiguiente B,
3. con tal que A es obvio que B
4. cuando A así pues B,
5. toda vez que A en consecuencia B,
6. cada vez que A consiguientemente B,
7. en el caso de que A en este caso B,

https://integral.edu.pe/
Jr. Marcelo Corne 345
Página 4
– Ur b. San Andrés 0107 _PI_RL_ E22
 F or m a l i z a c ió n

8. con la condición de que A esto trae consigo B

9. bajo la condición de que A luego se puede decir B,
10. dado que A por eso B,
11. como quiera que A por lo cual B,
12. en la medida que A de allí que B,
13. en cuanto A por tanto B
14. al (de, una vez que) A luego B
15. en el supuesto caso de que A en tal sentido B
16. suponiendo que A con ello B,
17. puesto que A naturalmente B,
18. ya que A es evidente B,
19. desde el momento en que A inmediatamente B
20. en virtud de que A es evidente que B,
21. de A deviene B,
22. de A, derivamos (deducimos concluismo en, llegamos a, inferimos en, imponemos) B,
23. B se concluye (se deduce, se infiere) de A,
24. B es porque A,
25. A implica o impone B,
26. B es implicado por A
27. A sólo si B,
28. B es condición necesaria (única) para A,
29. A da lugar a B,
30. es suficiente A para B
31. es necesario B para A,
32. teniendo en cuenta que A bien se ve que B
33. de ocurrir que A necesariamente ocurre que B
34. A implica a B,
35. A trae como consecuencia B,
36. de A se desprende que B,
37. apenas A inmediatamente B
38. la cuestión es que A de ahí que B,
39. si se presupone que A derivamos B,
40. si sucede que A concluimos en B
41. si tenemos en cuenta que A deducimos B,
42. si con toda certeza A llegamos a B,
43. si es así que A con ello B,
44. si una vez al menos A entonces B,
45. si en cualquier caso A luego B,
46. cada una de las veces que A, es así que B,
47. si cada vez (o toda vez que) A entonces B,
48. A si en el único caso B,
49. ya que todas veces A entonces B,
50. dado siempre A entonces B,
51. es suficiente que A y es necesario que B,

En general, la condición suficiente está en el punto de partida del implicador (antecedente) y la

condición necesaria es el consecuente.

https://integral.edu.pe/
Jr. Marcelo Corne 345
Página 5
– Ur b. San Andrés 0107 _PI_RL_ E22
 F or m a l i z a c ió n

5. CONDICIONALES INDIRECTOS

A  B, B  A, A  B

A continuación, tienes un listado de las explicitaciones verbales del replicador lógico, donde A y B
son símbolos de cualquier proposición:

1. solo si A, B, (la condición necesaria está implicada por que le antecede la explicación verbal:
“solo sí”
2. únicamente si A, B,
3. A por que B,
4. el que A depende de B,
5. A es necesario para B,
6. B es suficiente para A,
7. A es circunstancia única para B,
8. B es condición suficiente (de varias) para A.
9. es necesario A para B,
10. sí solamente A cada vez ue B,
11. A si B
12. solamente (únicamente, necesariamente), si A , B,
13. A si (o todas las explicaciones del implicador) B,
14. A debido a que B
15. A depende de que ocurre B,
16. B implica a A,
17. A está implicado por B,
18. A se sigue de B,

6. BIIMPLICADORES LÓGICOS

A  B, A  B, A sss B, A  B

A continuación, tiene un listado de las explicitaciones verbales del implicador lógico, donde A y B
son símbolos de cualquier proposición:

1. A si y sólo si B,
2. A siempre y cuando B,
3. A se define lógicamente como B,
4. A por lo cual y según lo cual B,
5. A siempre que y sólo cuando B,
6. si y sólo si A, entonces B
7. A implica y está implicado por B,
8. cuando y sólo cuando A luego B
9. siempre que A y siempre que B,
10. si solamente A entonces únicamente B,
11. sólo y solamente siempre que A entonces B,
12. cuando y cada vez que A así se da B,

https://integral.edu.pe/
Jr. Marcelo Corne 345
Página 6
– Ur b. San Andrés 0107 _PI_RL_ E22
 F or m a l i z a c ió n

7. BIDISYUNTORES LÓGICOS

A >--< B, A v B, A  B, A  B, A  B.

A continuación tiene un listado de las explicaciones verbales del bidisyuntor lógico, donde A y B
son los símbolos de cualquier proposición.
1. o bien A o bien B
2. A menos que únicamente B,
3. A o bien necesariamente B,
4. A no equivale a B,
5. no es equivalente A con B,
6. o solamente A o solamente B,
7. a menos que únicamente A ocurre B
8. o bien necesariamente A o bien B,
9. ya bien A ya bien B,
10. o siempre A o siempre B,
11. sólo A o sólo B
12. ocurre A excepto que sea necesario B,
13. el que ocurre A excluye a B,

8. INALTERNADOR: Daga de Sheeffer

AB

1. Ni A ni B
2. No A y no B

9. INCOMPATIBILIZADOR
Barra de Nicod

A/B
No A o no B

https://integral.edu.pe/
Jr. Marcelo Corne 345
Página 7
– Ur b. San Andrés 0107 _PI_RL_ E22
 F or m a l i z a c ió n

NIVEL I: ORDINARIO LETRAS 2008-II

04. La siguiente proposición:
ORDINARIO LETRAS 2007-I
01. Aristóteles y Platón enunciaron, “Ni Perú ni Venezuela ni Nicaragua forman
respectivamente, que “toda proposición es parte del Mercosur. A no ser que tengan
verdadera o falsa” al igual que “es crisis políticas en sus gobiernos”. Se
imposible que una proposición sea formaliza:
verdadera y falsa a la vez”. Se formaliza
como: a)  (p  q  r)  (s  t  u)
b) (p  q  r)  (s  t  u)
a) pq c) (p  q  r)  s
b) (p  p)   (p  p) d) ( p  q  r)  s
c) pq e) ( p   q   r)  s
d) (p  q)   (p  q)
e) pq ORDINARIO LETRAS 2010-I
05. La proposición: "El alemán Hertz con el
1° SUMATIVO CEPUNT 2020-II francés Branly inventaron la Telegrafia sin
02. No solo es falso que, ni G. Frege ni G. Peano hilos; además en 1899 enviaron los
hayan matematizado el cálculo primeros mensajes inalámbricos a través
infinitesimal, sino también, el que Leibniz del Canal de la Mancha. Ocho años más
haya introducido” Mathesis Universalis” es tarde los perfeccionamientos aposados por
incompatible con que “Tractatus” haya sido el inventor italiano Marconi permitieron
escrita por Wittgenstein. iniciar un servicio trasatlántico"
se formaliza como:
Se formaliza:
a)  (p  q)  (r / q) a) [(p  q)  (r  s)]  t
b)  (p  q)  (r / s) b) [(p  q)  r]  s
c)  ( p   q)   (r /s ) c) (p  q)  (r  s)
d)  ( p   q)  (r / s) d) (p  q)  r
e)   (p  q)  (r / s) e) [(p  q)  (r  s)]  (t  u)

ORDINARIO LETRAS 2007-I 06. La proposición: “El aprovechamiento de los

03. No solo el Perú tendrá nuevas elecciones el recursos de la costa, de la sierra o de la
próximo año sino que, es falso que tenga selva da lugar a la economía del Perú; no
una política de inclusión social no obstante obstante, el apoyo a los agricultores por
de estabilidad en los fondos de pensión. Se parte del gobierno es fundamental. O el
formaliza como: aprovechamiento de los recursos de la
costa, de la sierra o solamente de la selva
a) p   (q  r)
da lugar a la economía del Perú”. Se
b) p  ( q  r)
formaliza:
c) (p  q)  r
d) (p  q)  r
e) p  ( q  r)

https://integral.edu.pe/
Jr. Marcelo Corne 345
Página 8
– Ur b. San Andrés 0107 _PI_RL_ E22
 F or m a l i z a c ió n

a) (p  q  r)  [(p  q  r)  s ] 10. La proposición: “Asia, Europa, América,

b) [(p  q  r)  s]  (s t) más Oceanía son Continentes. A menos que
c) [(p  q  r)  s ]  (p  q  r) los pigmeos habitan en el África sin
d) [(p  q  r)  s ]  (p  q  r) embargo estos son continentales”. Se
e) [(p  q  r)  s ]  (p  q  r) formaliza:

07. La proposición: “No sólo es falso que, viajo a) (p  q  r  s)  (t  u)

junto a Carlos y María a Oceanía aunque no b) (p  q  r)
tengo dinero para ir a Madagascar, sino c) (p  q  r  s )  (s  t)
que, es falso que no sólo es falso que viajo d) (p  q  r  s)  (t  u)
solo sino que es veraz que viajé a Oceanía”; e) (p  q  r)  (s  t)
se formaliza:
11. La expresión: “La radiación solar excesiva
a)  (p   q)  ( r   s) puede provocar el eritema salvo que la
b)  [(p  q)   (r  s)] insolación. La insolación puede ser mortal o
c)  [(p   q)   ( r  s)] solo no es una enfermedad endémica. El
tratamiento puede ser con inyección de
d)  (p  q)   (r  s) sueros o únicamente tónicos del corazón”.
e)  (p   q)   ( r  s) Se formaliza:

08. “No sólo no ocurre que no sólo el azufre y a) [(p  q)  (q   r)]  (s  t)

el ástato son sólidos a temperatura b) [(p  q)   r]  (t  s)
ambiente sino también el mercurio es c) [(p  q)  (r   s)]  (t  u)
líquido, sino que además es cierto que el d) [(p  q)  (r   s)]  (t  u)
cloro al igual que el flúor son halógenos no e) [(p  q)  (r  s)]  (t  u)
obstante forman sales con el calcio”. Se
formaliza: 12. La proposición: “Es falso que no solo los
gases al igual que los líquidos no son
a)  {[(p  q)  r]  [(s  t)  (u  v)]} dúctiles ni maleables, sino que también son
b)  [(p  q)  r]  [(s  t)  (u  v)] fluidos”. Se formaliza:
c)  [( p   q)  r]  [(s  t)  (u  v)]
d) [ (p  q)  r]   [(s  t)  (u  v)] a) ( p   q)  r
e) [ (p  q)   r]  [(s  t)  (u  v)] b)  [ (p  q)   (r  s)]  t
c) [ (p  q)   (r  q)]  (t  u)
09. La proposición: “Es falso que, los españoles d)  [( p   q)  ( r   s)]  (t  u)
llegaron al Perú en 1492 a menos que los e) [(p  q)  (r  s)]  (t  u)
españoles no habían llegado a estas tierras;
no obstante los españoles necesitaban 13. La proposición: “No solo los humanos son
conquistar el imperiantes de. O solo les mamíferos sino que también las ballenas, a
resulto necesario motivar a la gente de la no ser que sólo, es falso que las aves son
península a emprender el largo viaje”. Se vertebrados al igual que los peces”. Se
formaliza: formaliza:

a) [ (p  q)  r]  s a) (p  q)  ( r  s)
b)  [(p  q)  r]  s b) (p  q)   (r  s)
c) [ (p  q)  r]  s c) (p  q)   (r  s)
d)  [(p  q)  r]  s d) (p  q)   (r  s)
e) [(p  q)  r]  s e) (p  q)  ( r  s)

https://integral.edu.pe/
Jr. Marcelo Corne 345
Página 9
– Ur b. San Andrés 0107 _PI_RL_ E22
 F or m a l i z a c ió n

NIVEL II: 16. Dada la siguiente expresión: “O el gobierno

toma medidas correctivas y soluciones
14. El enunciado: “Gareca es el entrenador de inmediatas, o la comunidad campesina
la selección peruana porque tiene un buen realizará marchas pacíficas. Sin embargo,
liderazgo así como una buena autoestima. la comunidad campesina no realizara
Podemos seguir apoyando a Ricardo Gareca marchas pacíficas. Por lo que las medidas
siempre que y sólo cuando tengamos correctivas se truncan y las soluciones
espíritu deportista así como amemos a inmediatas se extienden por más tiempo”.
nuestro país, porque no se da el caso que la
selección peruana se encuentra entre las Se formaliza:
primeras a nivel mundial o tenga buenos
jugadores. Por lo tanto, o el Perú incentiva a) {[(p  q)  r]  r}  (s  t)
con eficiencia al deporte peruano o sigue b) {[(p  q)  r]  r}  (s  t)
siendo una nación de menos deportistas”. c) {[(p  q)  r]  r}  (s  t)
d) {[(p  q)  r]  r}  (s  q)
Se formaliza: e) {[(p  q)  r]  r}  (s  q)

a) {[p  (q  r)]  {[s  (t  u)]   (v  17. La proposición: “Ni el grupo Romero ni la

w)}}  (x  y) empresa TRC son empresas benéficas, sin
b) {[p  (q  r)]  {[s  (t  u)]   (v  embargo, son empresas multinacionales. El
w)}}  (x  y) grupo Gloria es una empresa netamente
c) {[p  (q  r)]  {[s  (t  u)]   (v  solida si cumple sus obligaciones con la
w)}}  (x  y) SUNAT; consecuentemente la empresa
d) {[p  (q  r)]  {[s  (t  u)]   (v  Donofrio tiene su mercado regional
w)}}  (x  y) garantizado si realiza un buen marketing”.
e) {[p  (q  r)]  {[s  (t  u)]   (v 
w)}}  (x  y) Se formaliza:

15. “O es absurdo que, el presidente de la a) [(p  q)  (r  s)]  [(t  u)  (v 

república pida apoyo y el gabinete de w)]
ministros anuncie cambios, siempre que los b) [(p  q)  (r  s)]  [(t  u)  (v 
congresistas interpelen al gabinete de w)]
ministros, o según el gabinete de ministros c) [(p / q)  (r  s)]  [(t  u)  (v 
anuncie cambios lógicamente los w)]
congresistas no sancionan al gabinete”. d) [(p  q)  (r  s)]  [(t  u)  (v 
w)]
Se formalizan con: e) [(p  q)  (r  s)]  [(t  u)  (v 
w)]
a) [( p  q)  r]  (r   s)
b) [( p  q)  r]  (r  s) 18. La formalización correcta del argumento:
c) [( p  q)  r]  (q   s) “No solo Vizcarra competirá en el próximo
d) [( p  q)  r]  (r  s) proceso electoral también Keiko Fujimori.
e) [ (p  q)  r]  (q   s) En el caso de que los candidatos no sean
corruptos, así Vizcarra postule en próximo
proceso, el proceso electoral no se llevara
a cabo. Pero, Keiko Fujimori postulará o
únicamente lo harán los corruptos, incluso
los mentirosos. En consecuencia, es
absurdo que los diez partidos políticos
competirán en el próximo proceso
electoral”.

https://integral.edu.pe/
Jr. Marcelo Corne 345
Página 10
– Ur b. San Andrés 0107 _PI_RL_ E22
 F or m a l i z a c ió n

Es: 21. La proposición: " Castilla abolió la

a) {( p   q)  [( r  q)   s]  [(q  r)
 t]}   u
b) {(p   q)  [( r  q)   s]  [(q  r)
 t]}   u
c) {( p   q)  [( r  q)  s]  [(q 
r)  t]}   u
d) {( p   q)  [( r  q)   s]  [(q  r)
 t]}   u
e) {(p   q)  [( r  q)   s]  [(q  r) 
t]}   u
19. El argumento: Es cierto que Leibniz fue
matemático tanto físico. Pero Leonardo Da
Vinci fue artista siempre que y solo cuando
haya sido pintor. Leibniz no fue
matemático salvo que Leonardo Da Vinci
fue artista
esclavitud salvo que N. Piérola duró pocos
años en el poder, a no ser que sólo Leguía
construyó el Hospital del Niño excluye que
Piérola acuñó la libra peruana de oro. De ahí
que, como no solo N.Pierola duró pocos años
en el poder sino que también Castillo abolió
la esclavitud es obvio que sea falso el
hecho de que Odría también acuño la Libra
peruana de oro”
Se formaliza como:
a) [(p  q)  (r  s)] → [(q   p) →  t]
b) [(p  q)  (r  s)] → [(q   s) →  t]
c) [(p  q)  (r  s)] → [(q  s)   t]
d) [(p  q)  (r  s)] → [(q  p) → t]
e) [(p  q)  (r  s)] → [(q  p)  t]

Se formaliza:

a) (p  q)  (r  s)  (p  r)
b) (p  q)  (r ↔ s)  (p  r)
c) (p  q)  (r  s)  (p  r)
d) (p  q)  (r  s)  (p  r)
e) (p  q)  (r ↔ s)  (p  r)

20. Al formalizar:

"No sólo el Perú es un pais que produce

maiz también produce cacao, trigo, quinua
y/o rocoto. Por ello el sector agricola ha
originado un alza del PBI; dado que, si hay
aumënto de las
exportaciones entonces existe mayor
posibilidad de trabajo para los peruanos"

Obtenemos:

a) [p & (q & r & s & t)]  [(u  (v  w)]

b) [p & (q  r  s  t)]  [(u  (v  w)]
c) [p & (q & r & s & t)]  [(u  (v  w)]
d) [p & (q  r  s  t)]  [(u  (v  w)]
e) [p  (q  r  s  t)]  [(u  (v  w)]

https://integral.edu.pe/
Jr. Marcelo Corne 345
Página 11
– Ur b. San Andrés 0107 _PI_RL_ E22
 F or m a l i z a c ió n

https://integral.edu.pe/
Jr. Marcelo Corne 345
Página 12
– Ur b. San Andrés 0107 _PI_RL_ E22