PROGRAMA PREUNIVERSITARIO “VESALIUS “ Av. España 2335 telef.

244843

RAZONAMIENTO LÓGICO

FORMALIZACIÓN DE PROPOSICIONES LÓGICAS

El análisis del pensamiento formuladas en Letras mayúsculas que son usadas en la

castellano o en cualquier otra lengua natural representación de fórmulas u operaciones
son difíciles de evaluar, debido a la lógicas (A, B, C,...)
ambigüedad que a veces sufre nuestro
lenguaje. El pensamiento es imperceptible por Ejemplo:
nuestros sentidos, de allí la dificultad de -(A v B)  – A  -B
estudiarlos; para ello es necesario crear un (A v A)  A
Lenguaje Simbólico Artificial
(formalización) el mismo que represente 3. Constantes u Operadores Lógicos
perfectamente el enunciado en cuestión Símbolos que representan y detallan la
(traducción). relación que hay entre las proposiciones,
Es Aristóteles quien por primera vez hace uso regulan la construcción de una fórmula
de ciertas abreviaturas para facilitar su labor al lógica, por ejemplo: “si llueve entonces nos
proponer la Teoría del Silogismo, desarrollando mojamos”.
la lógica formal; hecho que permitió se le
considerara como "El Padre de la Lógica Formal Su estructura lógica es:
Antigua”. si ............ entonces ..........
La formalización consiste en representar
simbólicamente la relación que existe entre las El operador lógico es: (→)
diferentes formas del pensamiento mediante el
uso de variables y constantes; las mismas que Las proposiciones son:
fueron descubiertas más adelante por Gotlob p = llueve.
Frege. q = nos mojamos

I. Símbolos usados en la formalización La relación entre las proposiciones:

causa – efecto.
1. Variables proposicionales
Letras minúsculas que representan a una Su formalización correcta: p → q.
proposición simple (p, q, r,...).
Nota:
Ejemplo: Cabe aclarar que cada parte de la lógica
“La era del hielo 3” es una película: p formal trabaja con sus propios operadores
Los colores del arco iris son 7: q lógicos; así por ejemplo, la Lógica
Proposicional emplea los “Conectores
2. Variables Metalingüísticas Lógicos”.

1_______________________________________________________
PROGRAMA PREUNIVERSITARIO “VESALIUS “
4. Jerarquía de los conectores lógicos
Una fórmula proposicional adopta el nombre
del conector de mayor jerarquía.
Ejemplo:
- p  q → - r: Fórmula…………..
- p → q  r  -s : Fórmula………….
Nota: La jerarquía de conectores pierden
fuerza cuando aparecen los signos auxiliares de
agrupación: ( ), [ ], { }.
LOS CONECTORES LOGICOS
I. El Negador
1. Símbolos: - A, A, A, A
2. Se lee: “no”
3. Tipos de Negadores:
A) Negador Interno: “No, nunca, jamás” se
le caracteriza fundamentalmente por su
carácter débil, sólo afecta a la proposición
simple más cercana.
B) Negador Externo: “No es cierto que, es
mentira que, es objetable que, es falso
que, no acontece que, no acaece que”. Son
de carácter más fuerte que los negadores
internos; generalmente se encuentran
adelante de la oración, es por ello que su
representación queda indicada
explícitamente fuera de un paréntesis.
Nota:
- Si un término es antecedido por un prefijo
de sentido negativo; generalmente éste se
le considera como un negador interno.
Ejemplo:
- Jano es un individuo desleal: - p
2_______________________________________________________
Av. España 2335 telef.244843
- Carlos Manrique es un empresario
inmoral: -q
- Las expresiones lingüísticas de doble
negación (inobjetable, innegable, es
inconcebible) se formalizan como tal.
Ejemplo:
- Lucha inobjetablemente es abogada:
 p
- No es mentira que Nerón quemase
Roma:  q.
II. El Conjuntor
A) Símbolos: A  B, A  B, A x B, A.B, AB
B) Se lee: “................. y ..................”
C) Forma de Identificarlo: Al conjuntor
también se le llama “Compatibilizador”
porque une a las proposiciones en un
mismo contexto; es decir ambas
proposiciones se cumplen
simultáneamente.
Ejemplo:
- El páncreas tal como el bazo son
órganos intraperitoneales: p  q
- Los poderes del estado son el
ejecutivo, legislativo también el
judicial: p  q  r
- El hígado realiza la glocogenólisis al
mismo tiempo que la
gluconeogénesis: p  q
Nota:
Existen algunos términos de conjunción
que merecen una mención particular:
- No sólo estudiamos lógica para
ingresar sino también RM: p  q
- El ser padre es compatible con el ser
tío: p  q
- Los libros de la biblioteca son viejos no
obstante proporcionan información de
calidad: p  q
PROGRAMA PREUNIVERSITARIO “VESALIUS “ Av. España 2335 telef.244843

III. El Disyuntor Débil (Incluyente)

Nota: Algunos disyuntores incluyentes
A) Símbolos: A v B, A + B pueden venir acompañados de las
palabras: sólo, únicamente, solamente.
B) Se lee: “....... o ...... “ (en sentido Dando mayor fuerza al inclusor
incluyente). transformándola en exclusor.

C) Forma de Identificarlo: Al inclusor se le Ejemplo.

reconoce porque el término nos sugiere - Este año viajaré a Huancavelica salvo
aceptar una de las dos proposiciones. Sin que sólo viaje a Pataz: p v q
embargo la posibilidad que una - A menos que solamente seas
compatibilidad queda aceptada o admitida. profesional, serás reconocido: p v q

Ejemplo: V. El Condicional
- Perú y China se pondrán de acuerdo
salvo que intervenga EE.UU.: p v q A) Símbolos: A → B , A  B
- La próxima semana compro una silla o
sino una mesa de noche: p v q B) Se lee: “ Si .............. entonces
.............”
Nota: Cuando aparece una disyunción al lado
de un conjuntor o viceversa, la fórmula C) Forma de Identificarlo: Una
lógica será un Disyuntor débil. proposición condicional se caracteriza
porque presenta una causa y un efecto;
Ejemplo: las mismas que pueden estar en
cualquier orden: La causa puede ir
Raz. Lógico es una asignatura excepto primero (Implicador) o tal vez puede ir en
que también una diversión: p v q segunda instancia (replicador).
Las bacterias son gram positivas y/o gram
negativas: p v q. Si hay inversión interna entonces mejorará nuestra economía .
 
causa efecto
IV. El Disyuntor Fuerte (Excluyente)  
antecedente consecuente
A) Símbolos: A V B, A  B, A  B, A 
 B,  
condición
A  B suficiente
condición
necesaria

B) Se lee: “ ....... o ....... “ (en sentido Nota:

excluyente) El sentido del operador lógico es de causa a
“O............ o ............” efecto.

C) Forma de Identificarlo: Al exclusor o Ejemplo:

bidisyuntor se le identifica por que acepta
una y solo una de las dos proposiciones, Siempre que llueva entonces mejorarán
nunca ambas a la vez; es decir la →
compatibilidad queda excluida o las cosechas: p → q (implicador).
descartada.
Mejorarán las cosechas siempre que llueva:
Ejemplo: 
p  q (replicador).
- Mañana es jueves o viernes: pvq
- O ganas o pierdes: pvq VI. El Bicondicional

3_______________________________________________________
PROGRAMA PREUNIVERSITARIO “VESALIUS “ Av. España 2335 telef.244843

Es falaz que A
A) Símbolos: A  B , A  B , A  B.
Es refutable que A
(*) Negador interno.
B) Se lee: “ .............. si y sólo si .............”
El Conjuntor: A  B
C) Forma de Identificarlo: Este término de
enlace no solo señala una consecuencia en A yB
doble sentido; sino también informa una A aunque B
equivalencia existente entre las dos A pero B
proposiciones.
A sin embargo B
Ejemplo: A incluso B
-Estudiamos todos los dias porque y solo A es compatible con B
porque ingresaremos en setiembre: A así como B
p  q.
A del mismo modo B
-Aprenderemos si y solo si prestamos A aún cuando B
atención: p  q A también B
A de la misma forma que B
EXPLICITACIONES VERBALES DE LOS A al igual que B
CONECTORES LÓGICOS Tanto A como B
Siempre ambos A con B
El Negador : - A A no obstante B
No A, nunca A, jamás (A) (*) No sólo A sino también B
Es Incompatible que A A así mismo B
Es inconcebible que A A al igual que B
No ocurre que A A a pesar de B
No es verdad que A A a la vez B
No es el caso que A A más B
No acaece que A A con B los dos a la vez.
Es mentira que A
Es inadmisible que A El Disyuntor Incluyente: A v B
De ninguna forma se da A A o B (sentido incluyente)
En forma alguna A A a menos que B
Carece de todo sentido A Amenos que A, B
De ningún modo A A salvo que B
En modo alguno A A excepto que B
Es incorrecto que A A o también B
Es incierto que A A o bien B
Nadie que sea A A a no ser que B
Es objetable que A A o incluso B
Es absurdo que A A y bien o también B
Es falso que A Al menos uno de los dos A ó B
Es refutable que A

4_______________________________________________________
PROGRAMA PREUNIVERSITARIO “VESALIUS “ Av. España 2335 telef.244843

A o sino B De A inferimos, deducimos, coligamos B

A alternativamente B Para A es condición necesaria B
A y/o B A sólo cuando B
Es suficiente A y B necesario
El Disyuntor excluyente: A v B En el caso que A en tal sentido B

A o B (sentido excluyente) El Replicador : A  B

O bien A o bien B
Sólo si A, B
A a menos que solamente B
Solo cuando A, B
A salvo que únicamente B
Solamente porque A, B
A excepto que sólo B
A si B
Amenos que sólo A, B
A porque B
A o bien necesariamente B
A dado que B
A o exclusivamente B
A ya que B
A no es equivalente a B
A siempre que B
A no es idéntico a B
A puesto que B
A no es lo mismo que B
A es condición necesaria para B
A es insuficiente para B
El Implicador : A → B
Es necesario A para B
Si A entonces B Es insuficiente A para B
Siempre que A por consiguiente B A cada vez que B
Ya que A bien se ve que B A está implicado por B
Dado que A por eso B A con la condición de que B
En cuanto A por tanto B Si solamente A cada vez que B
Porque A por eso B A debido a que B
Como A es evidente B A depende de B
Con tal que A es obvio que B A sigue de B
Toda vez que A en consecuencia B Unicamente si A, B
A consiguientemente B
Dado que A por lo cual B El Biimplicador: A  B
En la medida que A de allí B
A si y sólo si B
En virtud de que A entonces B
A por lo cual y según lo cual B
A implica a B
A cuando y sólo cuando B
A es innecesario para B
A cada vez que y sólo si B
A es condición suficiente para B
Si y sólo si A, B
A sólo si B
Porque y solamente por que A, B
A luego B
Es suficiente A para que suficientemente B
A trae como consecuencia a B
Es necesario A para que necesariamente B
De A deviene B
A es condición suficiente y necesaria para B
Partiendo de A llegamos a B
A siempre que y sólo cuando B

5_______________________________________________________
PROGRAMA PREUNIVERSITARIO “VESALIUS “ Av. España 2335 telef.244843

Siempre que A y siempre que B que afecte al corazón del mismo modo a
los pulmones”. Se formaliza :
A es equivalente a B
A es lo mismo que B a) ( A  B )  - ( B  A )
A es idéntico a B b) ( A  B )  ( A  B )
A implica y está implicado por B c) ( A  B )  ( A  - B )
d) ( B  A )  ( A  - B )
e) ( A  b )  ( A  B )
El Inalternador: A  B

Ni A ni B 05. Si la verruga apareció en el último siglo,

su descubridor ni fue Alcides Carrión ni
No A y no B Luna Pizarro”.

El Incompatibilizador: A/B a) A → ( B  C ) b) A  ( B  C )
c) A → ( B  C ) d) A  ( B → C )
No A o no B e) A  B  C

PROBLEMAS PROPUESTOS 06. La proposición: “Que no haya ingresado

a la UNT es consecuencia de que me
01. La proposición: “La uva, ciruela, limón no haya enamorado”, se formaliza:
es cierto que sean frutas carnosas”, se
simboliza: a) (p  q) b) p → q c) p → q
d) p → q e) p  q
A) – (p  q  r) B) (p  q  - r)
C) (- p  - q  - r) D) [(- p  - q) v – r]
E) N.A. 07. La proposición: “Es falso que no es
insuficiente A para que en todo caso se
02. La proposición: “Los fólderes, lapiceros y/o de B”, se formaliza:
estantes son innegablemente objetos”, se
formaliza: a) (p  q) b) p → q c) (p → q)
d) (p → q) e) p  q
A) (- p  - q  - r) B) (p v q v r)
C) (- p v – q v – r) D) [(p  q) v – r] 08. La proposición: “Suponiendo que
E) N.A. mecánica, metalúrgica, industrial
inclusive también química son carreras de
03. La proposición: “No es inobjetable que, ni ingeniería, seguramente no tienen el
haya políticos honrados ni tampoco mismo director de escuela”
patriotas políticos”, se simboliza:
a) (p  q  r  s)  t
1) - - (- p  - 2) –(- p  - q) b) (p  q  r  s)  t
3) –(- p  q) 4) –(p  q) c) (p  q  r  s)  (pqrs)
5) –(p  q) d) (p  q  r  s) → t
Son no innegablemente absurdas: e) (p  q  r  s) → (pqrs)

A) 2 y 5 B) 4 y 2 C) 3 y 4 09. La proposición: “Es insostenible que no

D) Sólo 3 E) N.A sea mentira que los estudios de aptitud
académica no incrementan la capacidad
04. “O bien el asma afecta a los pulmones o de los estudiantes”, se formaliza:
bien afecta al corazón; pero no es el caso

6_______________________________________________________
PROGRAMA PREUNIVERSITARIO “VESALIUS “
a) p b) p c) p
d) p e) p
10. La proposición: “Es falso que, Carolina no
sepa tocar el piano y que además no
componga melodía; puesto que es
egresada del Instituto Nacional de Cultura”,
se formaliza:
a) (p  q)  r b) (p  q) → r
c) (p  q)  q d) (p  q)  q
e) (p  q)  p
11. La formalización correcta de: “No es el
caso que, ya que Milagros no estudiaba
abogacía no habría podido contraer
matrimonio; dado que Milagros no ha
podido contraer matrimonio porque preside
la administración de una empresa” es:
a) (p → q)  (q  r)
b) (p  q) → (p  q)
c) (p  q)  (q → r)
d) (p → q)  (p  q)
e) (p  q)  (q  q)
12. La proposición lógica: “Existe movimiento
material cada vez que y sólo cuando existe
movimiento energético; pero si no existe
movimiento material, existe el energético,
asimismo, si existe movimiento material, no
hay el energético”. Se formaliza:
a) ( A  B )  ( A → B )  C
b) ( A  B )  ( -A → B )  ( A → -B )
c) ( A  B )  ( -A → -B )  ( -A → B )
d) ( A → B )  ( -A  B )  ( A → - B )
e) N.A.
13. La formalización de: “Si trae la caja blanca,
traes la negra. Pero si traes la azul, traes la
negra. Empero es no cierto que las tres
juntas. Por lo tanto, traerás sólo una de las
tres” es :
a) ( p → q )  (r → p) → - (p  q  r) → (p
 q r )
b)  (p →q)  ( r → q)   - (p  q r ) →
(p  qr)
7_______________________________________________________
Av. España 2335 telef.244843
c) (p → q)  (r → q)  -(p q r)
→(p q r)
d) ( p → q → r )  ( p  q r ) → ( p 
qr)
e) Ninguna es la formalización correcta
14. La proposición lógica: “La célula es objeto
de estudio de la Biología excepto que
necesariamente de las Ciencias
Naturales”. No obstante la Biología
estudia a los seres vivos”. Se formaliza :
a) ( A  B )  C b) ( A  B )  -C
c) ( A  B ) → - C d) ( A  B )  C
e) N.A.
15. La proposición : “El que la velocidad sea
igual al espacio sobre el tiempo, es
condición suficiente para que la velocidad
ni está relacionada con la gravedad, ni
con la aceleración”. Se formaliza :
a) (A  B)  (C  D )
b) A  (-B  -C )
c) (A  B) → (-C / D )
d) A → (B  C )
e) (A  B) → (C  D )
16. “O bien Andrómeda es una constelación o
bien es una galaxia y está cerca de la
tierra; aunque es absurdo pensar que
Andrómeda sea una constelación. En
consecuencia Andrómeda es una galaxia
así como está cerca de la tierra”. Su
formalización correcta es :
a) A  B  ( C  -A ) → B  C
b)   A  ( B  C )   - ( A )  → ( B 
C)
c)  A  ( B  C )   - A → B  C
d) A  B  C  -A → B  C
e) N.A.
17. La siguiente proposición: “México con
Marruecos son países americano y
africano respectivamente. México no es
país monárquico ya bien que Marruecos
sea un país constitucional”, se formaliza
como:
PROGRAMA PREUNIVERSITARIO “VESALIUS “ Av. España 2335 telef.244843

a) (p  q)  (q  p) b) (pq)  (p  q) 04. “Es indubitable que, nunca haya crimen
c) (p  q)  (r  s) d) (pq)  (rs) perfecto de igual modo tampoco haya
e) (p  q)  (r  r)  (tu) ladrón perfecto. Más, sólo hay crímenes
planificados o tan sólo ladrones sagaces”,
18. La siguiente fórmula proposicional: se formaliza:
(p  q) → p
A) (p  q)  (r  – s)
a) Si no compro un carro pero si una casa; B) –(- p  - q)  (r  s)
definitivamente compro un carro C) - - (- p  - q)  (r  s)
b) Los tigres no son carnívoros aunque si son D) (p  q)  (r  s)
felinos; si son carnívoros E) N.A.
c) Los leones no son carnívoros pero son
felinos; aunque son carnívoros 05. “En modo alguno sucede que, no haya
d) Es una condición suficiente que no vaya a aumentado la producción farmacológica
la playa pero no me bañe; para que vaya a excepto que también sea absurdo que los
la playa países latinos sean mayormente
e) Ninguna consumidores de fármacos”, se formaliza:

TAREA DOMICIALIARIA A) (- p v – q) B) – (- p v – q)
C) –(p v – q) D) –(- p v q) E) N.A.
01. La proposición: “Que los partidos políticos
sean democráticos es una condición
suficiente y necesaria para que no exista
corrupción”, se formaliza:

a) p  q b) p  q c) p  q
d) p → q e) p  q

02. “O bien inexiste equitatividad económica a

no ser que únicamente haya globalización,
virtualización tanto como mecanización del
proceso productivo”, se formaliza:

A) [-p v (q  r  s)]
B) [- p v (q  r  s)]
C) [p v (q  r  s)]
D) p v (q  r  s)
E) N.A.

03. “Jamás en invierno hace calor, aún cuando

en verano llueve al igual que hay eclipse
asimismo hay evaporación de agua tal
como no hay granizo”, se simboliza:

A) (- p  - q  - r  - s  - t)
B) (- p  q  r  - s  - t)
C) (- p  q  r  - s)
D) (- p  q  r  s  - t)
E) N.A.

8_______________________________________________________