“UNIVERSIDAD NACIONAL “JORGE BASADRE GROHMANN” LÓGICA

CENTRO PREUNIVERSITARIO
FORMALIZACIÓN
CEPU CICLO I-2022

Es el proceso mediante el cual llevamos una proposición En general los conectores se clasifican en 2 grupos:
verbal hacia una proposición formal utilizando para ello un
lenguaje simbólico. a) Conectores monarios (Monádicos): son aquellos
que se enlazan sólo a una proposición simple.
La formalización es el proceso que nos facilita la aplicación Ejemplo:
de leyes y reglas y por ende el RAZONAR HUMANO. “”
F
O b) Conectores Binarios (Diádicos): Son aquellos que
R Si Larissa es estudiosa entonces será enlazan a 2 proposiciones simples:
M una mujer de éxito. Ejemplo:
A
L “−”, “”, “”, “”, “.”, “x”, “&”, “”, “”, “+”, “”,
I “⊻”, “”, “”, “>--<”, “<-->”, “→”, “”, “”, “”,
Z
A “”, “”, “”, “”, “=”, “”, “”, “”, “”, “”,
C p→q “”
I
O
N Nota: En general los conectores lógicos pueden ser
también sinónimos de las formas básicas del lenguaje
Para esta operación debemos asignar variables y común ya estudiado.
conectores a la proposición a formalizar, organizándolos
con signos de agrupación. Ejemplo: Para el conjuntor:
- Camila estudia Medicina y Larissa estudia
Pasos para formalizar: Derecho.
1. Explicitar o mostrar la forma lógica de las - Camila estudia Medicina pero Larissa estudia
proposiciones. Derecho.
2. Reemplazar cada proposición y cada nexo gramatical - Camila estudia Medicina sin embargo Larissa
(y adverbio de nagación) por sus respectivos símbolos. estudia Derecho.
3. Jerarquizar los operadores lógicos en función de la - Camila estudia Medicina no obstante Larissa
intensidad de pausa de los signos de puntuación y el estudia Derecho.
sentido de la proposición.
De aquí vemos que y, pero, sin embargo, no obstante,
1) Variables proposicionales: son sinónimos para el conjuntor.
Son letras minúsculas tomadas de la 2da. mitad del
alfabeto, es decir, desde “p” hasta “z”, que sirven para Luego, un ejemplo de formalización sería:
representar a las proposiciones atómicas.
p, q, r, s, t, … etc. Proposición Verbal:
Se asignan en forma correlativa alfabética. “Manuel es ingeniero civil o ingeniero mecánico, sin
embargo, Martín es abogado.”
Ejemplo:
Formalizar: “Camila es deportista, cantante o actriz” Fórmula Proposicional (Formalización):
(p  q)  r
p  q  r ………. CORRECTO
r  p  q ………. INCORRECTO Dentro de los términos del lenguaje natural que designan
operadores proposicionales tenemos:
2) Conectores Lógicos:
Son signos artificiales que representan a los
conectivos que enlazan a las proposiciones simples.

Simbología Nombre Lenguaje Común

− Negador “No”
.x& Conjuntor “y”
+ Disyuntor incluyente o “y/o”
débil
⊻   >--< <--> Disyuntor excluye o fuerte “o … o …”
→ Implicador “Si … entonces …”
 Replicador “… porque …”
= Biimplicador o “… si y solo si…”
Bicondicionador
 Inalterador “ni … y ni …”
 Incompatibilizador “no … o no …”
1
 LÓGICA Práctica 06

Términos del Lenguaje Natural que Designan Operadores REPLICADOR: A  B; A  B; B → A (Implicador inverso)
Proposicionales:
A, si B A debido a que B
NEGADOR: A, A, - A A porque B A, si B
Este conectivo nos invierte el sentido de la clasificación A siempre que B A pues B
que utilizamos. A cada vez que B A dado que B
Es decir, la negación de una proposición es falsa y la A ya que B A puesto que B
negación de una proposición falsa es verdadera. A supone que B A en vista que B
A deviene de B A en razón de B
No A, nunca A, jamás A Es falso que A Para A es suficiente B
No acaece que A Es mentira que A Es condición necesaria A para B
Es negable que A Es inconcebible que A A se concluye (deduce, infiere) de B
No ocurre que A Es inadmisible que A
Es refutable A Es innegable que no A BIIMPLICADOR: A ↔ B
Es contradictorio que A Es imposible que A
No acontece que A A si y solo si B A siempre y cuando B
A es igual que B A es equivalente a B
CONJUNTOR: A  B; A . B; A  B; A x B A es idéntico que B A es lo mismo que B
A porque y solamente B
AyB A aunque B A se define lógicamente como B
A con B A sin embargo B A es condición suficiente y necesaria para B
A incluso B A tanto como B A es suficiente y B también
A así mismo B A también B A implica y está implicado por B
A al igual que B No solo A también B Solo si A entonces B
A no obstante B A Además B
A a la par que B A tal como B Ejemplos:
A sino B A es compatible con B Juan nació en Tacna o Piura, se formaliza: “p  q”
Simultáneamente A con B A aun cuando B Camila estudia medicina o solamente derecho: “p  q”
A vemos que también B Tanto A como cuanto B
El que A no excluye que B A pero B EJERCICIOS RESUELTOS:

DISYUNTOR INCLUYENTE: A v B; A + B 1. Si la proposición: “No es cierto que estudiemos y no

aprobemos”, es verdadera, entonces podemos
AoB A o incluso B afirmar:
A a no ser B A a no ser que B
A y/o B A o en todo caso B A) Aprobamos y no estudiamos.
A y bien o también B A excepto que B B) Estudiamos y aprobamos.
A a menos B A salvo que B C) Estudiamos o no aprobamos.
A alternativamente B A o bien B D) Aprobamos o no estudiamos.
A o sino B A o también B E) Estudiamos y aprobamos.

DISYUNTOR EXCLUYENTE: A  B; A  B; A  B; A >-< B; Resolución:

OAoB A o sólo B Formalizamos el enunciado:

A o solamente B A o tan solo B No es cierto que estudiemos y no aprobemos.
O bien A o bien B A no biimplica a B
A no es equivalente a B A o únicamente B No es cierto que : (
A a menos que solamente B A o necesariamente B estudiamos : p
A salvo que únicamente B A siempre y solamente B y : 
No es equivalente A con B no : 
aprobamos : q
IMPLICADOR: A → B; A  B; A  B
 (p  q) = p v q = V
Si A entonces B Como A, B
A implica a B A por lo tanto B p : no estudiamos
A consecuentemente B A luego B v : o
Ya que A entonces B A solo cuando B q : aprobamos
Siempre que A entonces B De A deviene B
Dado que A entonces B A solo si B Respuesta: D)
Puesto que A entonces B A condiciona a B
Ya que A bien se ve que B En cuanto A por tanto B 2. La proposición: “Viajas a Piura a menos que no vaya a
Como quiera que A por lo cual B Cuando A así pues B Cusco”, es falsa si:
A es condición suficiente para B
A) No viajas a Piura ni a Cusco.
2
 LÓGICA Práctica 06

B) Viajas a Piura y al Cusco. Simbolizar:

C) Viajas a Piura y no al Cusco. “Si Camila va a la fiesta entonces no estudiará para su
D) No viajas a Piura y si al Cusco. examen, pero no es el caso que vaya a la fiesta y
E) No se puede determinar. aprueba sus cursos. De ahí que Camila estudia para
su examen.”
Resolución:
A) [(q → r)   (q  p)] → r
Formalizamos el enunciado: B) [(q → r)   (q  p)] → r
Viajas a Piura a menos que no vaya a Cusco. C) [(q → r)   (q  p)] →  r
D) [(q → r)   (q  p)] →  r
Viajas a Piura : p E) [(q → r)   (q  p)] → r
a menos que : 
no :  Resolución:
Viajas a Cusco : q
Formalizamos el enunciado:
 p v q = F, entonces: (p v q) = p  q Si Camila va a la fiesta entonces no estudiará para su
examen, pero no es el caso que vaya a la fiesta y
p : No viajas a Piura aprueba sus cursos. De ahí que Camila estudia para
 : y su examen.
q : Viajas a Cusco
Si … entonces … : →
Respuesta: D) Camila va a la fiesta : q
no : 
3. La proposición: “Si no tomas en serio las cosas Camila estudiará para su examen : r
tendrás problemas para ingresar o no serás , : )
profesional”, es falsa. ¿Qué valor de verdad asume la pero : 
proposición: “No tienes problemas para ingresar”? no es el caso que : (
Camila va a la fiesta : q
A) Verdadero y : 
B) Falso Camila aprueba sus cursos : p
C) Contradictorio . : ]
D) Indeterminado
De ahí que : →
E) Faltan datos
Camila estudia para su examen : r
Resolución:
Construimos el esquema:
Formalizamos el enunciado:  [(q → r)  (q  p)] → r
Si no tomas en serio las cosas tendrás problemas para
ingresar o no serás profesional. Respuesta: B)

5. Formalizar: “Si luchas por triunfar, entonces

Si … …. : →
triunfarás, sin embargo, no luchas por triunfar”.
no : 
Tomas en serio las cosas : p
A) p → (q  r) B) (p → q)  r C) (p → q)  p
Tendrás problemas para ingresar : q
D) p → (q  r) E) (p → q)  (p  q)
o : 
no :  Resolución:
Serás profesional : r
Formalizamos el enunciado:
 p → (q  r) = F, entonces: Si luchas por triunfar, entonces triunfarás, sin
embargo, no luchas por triunfar.
[p → (q  r)] = (p  q  r) = p  q  r = V
Si …, entonces … : →
p = V estudias por triunfar : p
q = No tienes problemas para ingresar = V triunfarás : q
r = V , : )
sin embargo, : 
Respuesta: A) no : 
luchas por triunfar : p
4. Dadas las proposiciones:
p: Camila aprueba sus cursos. Construimos el esquema:
q: Camila va a la fiesta.  (p → q)  p
r: Camila estudia para su examen.
Respuesta: C)
3
 LÓGICA Práctica 06

EJERCICIOS PROPUESTOS 8. La proposición: “Te vas o únicamente me voy yo, sin

embargo, jamás te fuiste en consecuencia me voy yo”.
1. Formalizar: “Cristina y Yerson cuentan con las dos Se formaliza como:
dosis de vacunación contra el Covid-19”.
A) (A  B)  (A → B) B) (A  B)  (A → B)
A) p  q B) p C) (A  B)  (A → B) D) (A  B)  (A → B)
C) p  q  r D) p → q E) (A  B)  (A → B)
E) p  q
9. La proposición: “El magistrado no es justo ni
2. Simbolizar la siguiente proposición: “Camila y Gabriela competente, en vista que es falaz que haya
son amigas desde muy pequeñas”. consultado con los peritos”.
Se formaliza como:
A) p → q B) p  q
C) p D) p  q A) (p  q)  r B) (p  q) → r
E) p  q C) (p  q)  r D) (p  q)  r
E) (p  q)  r
3. La proposición: “Es inexacto que, José no sepa tocar
la batería y que además no componga melodías; 10. Victoria al igual que Eduardo trabajan en el Área de
debido a que es egresado de la Escuela Superior de Ingeniería, sin embargo, no son ingenieros.
Formación Artística Publica, “Francisco Laso” de Se formaliza:
Tacna”. Se formaliza como:
A) p  q B) p  q
A) (p  q)  r B) (p  q) → r C) (p  q)  (r  s) D) (p  q)  (r  s)
C) (p  q)  r D) (p  q)  r E) (p  q)  (r  s)
E) (p  q) → r
11. “El lenguaje tiene significado salvo que únicamente
4. “Que el argumento sea válido es condición suficiente sea solo una herramienta, no es cierto que, el lenguaje
y necesaria para sea correcto”. Se formaliza como: no sea solo una herramienta salvo que
necesariamente tenga significado”. Se formaliza
A) p  q B) p  q C) p  q como:
D) p  q E) p  q
A) p  q B) (p  q)  (q  p)
5. Formalizar: “Abimael Guzmán fue líder y fundador del C) (p  q)  (q  p) D) (p  q)  (q  p)
partido comunista revolucionario Sendero Luminoso, E) (p  q)  (q  p)
y el guerrillero más sanguinario de los años 80.”
12. “Es absurdo que, haya crimen perfecto al igual que
A) p → (r  s) B) (p  q)  r haya ladrón perfecto. Mas, sólo hay crímenes
C) (p  q)  r D) p → (q  p) planificados o solo ladrones astutos”. Se formaliza:
E) (p  q)  p
A) (p  q)  (r  s) B) (p  q)  (r  s)
6. Formalizar, el texto que Jonatán dijo a David: “Vete en C) (p  q)  (r  s) D) p  (r  q)
paz, porque ambos hemos jurado por el nombre de E) (p  q)  (r  s)
Jehová, diciendo: Jehová esté entre tú y yo, entre tu
descendencia y mi descendencia, para siempre”. 13. La proposición “Sólo si un gas es sometido a altas
temperaturas, genera trabajo mecánico; sin embargo,
A) p  q B) p  q  r es suficiente que algunos fluidos reacciones para que
C) p → (q  r  s) D) (p  q)  r se generen energía”. Tiene como fórmula:
E) p  (q  r)
A) (p  q)  (~r → s)
7. La proposición: “Si Jorge Basadre escribió la obra B) (p  q)  (r  s)
‘Historia de la República del Perú’ al igual que ‘Perú: C) (p → ~q)  (r → s)
problema y posibilidad’; Ricardo Palma escribió
‘Tradiciones peruanas’ o quizás ‘Tradiciones en salsa D) (p  q)  (r  s)
verde’”. Se formaliza: E) (p  q)  (r → s)

A) (p  q) → (r  s)
B) (p  q)  (r  s)
C) (p  q) → (r  s)
D) (p  q)  (r  s)
E) (p  q) → (r  s)

4
 LÓGICA Práctica 06

14. La proposición “Ingresar a la universidad es 19. La proposición: “No es el caso que si la temperatura
insuficiente para ser profesional. Asimismo, ser ambiental baja, hará un día caluroso”, no equivale a:
profesional es condición innecesaria para tener
dinero. De allí que seré comerciante”. Tiene como 1) Es mentira que como el día no es caluroso
fórmula: obviamente la temperatura ambiental sube.
2) La temperatura ambiental baja salvo que el día no
A) [(p  q)  (q → r)]  s sea caluroso.
B) [(p  q)  (q → r)] → s 3) Es inobjetablemente falso que el día es caluroso
a menos que además la temperatura ambiental
C) [(p  q)  (q → r)] → s no baja.
D) [(p  q)  (q  r)] → s 4) Dado que el día es caluroso, la temperatura
E) [(p →q)  (q → r)] → s ambiental sube.
5) No acaece que la temperatura ambiental sube
15. La proposición: “Es falso que, no solo Leibniz y excepto que el día sea caluroso.
Newton hayan sido los iniciadores del cálculo, sino
que ninguno fue precursor de la lógica difusa”. Se Son correctas:
formaliza: A) 1, 4 y 5 B) 1, 2 y 3
C) Solo 4 y 5 D) Todas
A) ~[(p  q)  ~(~r  ~s)] E) 1, 3 y 5
B) ~(p  q)  ~(r  s)
C) ~[(p  q)  (~r  ~s)] 20. La proposición: “Marco compra entradas para el cine
D) ~[(~p  ~q)  ~(r  s)] cuando estrenan una película, no obstante, no
E) ~(p  q)  (~r  ~s) estrenan una película a menos que el cine tenga
fondos, aunque, es mentira que el cine no tenga
16. La proposición: “A menos que sea imposible que el fondos o de lo contrario Marco no compre entradas
conjunto pueda representarse por ‘’, ‘’, y por ‘+’; el para el cine”, equivale a:
incompatibilizador puede ser representado por ‘’ o
‘’, solo uno de ellos”. Se formaliza: 1) Marco compra entradas para el cine.
2) El cine no tiene fondos, pero Marco compra
A) ~(p  q  r)  (r  s) entradas.
B) ~(p  q  r) → (r  s) 3) Es falso que si el cine no tiene fondos, estrenen
una película.
C) ~(p  q  r) → (~r  ~s)
4) Marco compra entradas al igual que el cine tiene
D) ~(p  q  r)  (~s  ~t) fondos.
E) ~(p  q  r)  (s  t) 5) Es inobjetablemente incierto que si Marco compra
entradas, el cine no tenga fondos.
17. La proposición: “Los megáricos y los estoicos son
continuadores de Aristóteles porque se basaron en Son ciertas, salvo:
los trabajos de éste, o solo, los estoicos hicieron
aportes en lógica preposicional”. Se formaliza:
A) 1, 4 y 5 B) 1, 2 y 3
C) Solo 4 y 5 D) Todas
A) [(p  q)  r]  s
B) (p  q)  (r  s) E) 1, 3 y 5
C) [(p  q)  (r  s)]  t
21. Si:
D) (p  q)  [(r  s)  t]
E) [(p  q)  (r  s)]  (t  u) p  q : Los números negativos cuando y solo cuando
son menores que cero.
18. La proposición: “Ya que el plasma es el estado de
Entonces el esquema:
agregación de la materia más abundante en el
universo, el condensado Bose-Einstein es el estado [(p  q) → p] → [q  (p → q)]
de agregación que se encuentra a más baja Equivale a:
temperatura cuando no cumple con el principio de
exclusión en Pauli”. Se formaliza: A) Los números son negativos.
B) Los números son menores que cero.
C) Los números son negativos tal como son menores
A) p → (q → r)
que cero.
B) (p → q)  r
D) Los números son menores que cero a menos que
C) p → (q  r) sean negativos.
D) p → (q  ~r) E) Es mentira que los números sean negativos pero
E) p  (q  r) es cierto que son menores que cero.