RAZONAMIENTO MATEMÁTICO

Argentina 281 – Urb. Recreo - Telf. 692434

RAZONAMIENTO LÓGICO

FORMALIZACIÓN
FORMALIZACIÓN

I. DEFINICIÓN DE FORMALIZACIÓN
Es el procedimiento mediante el cual se identifican proposiciones simples y estructuras
lógicas, asignándoles a las proposiciones simples, variables lógicas y a las estructuras
lógicas, conectores lógicos.

II. PROCEDIMIENTO PARA FORMALIZAR

1. EL NEGADOR (Inversor o Dualizador formal): Este conector realiza la

operación lógica de la Negación. Es un conector unario, monádico o
uniproposicional.

Traducción: Es falso que....

 Símbolos : p, p, p
 Ejemplo:

 Es falso que Lima no es capital de Colombia.

p

Formalización: ………………..

2. EL CONJUNTOR (Juntor, Compatibilizador): Este conector realiza la

operación lógica de la conjunción, es decir es un conector diádico o
biproposicional.
 Traducción: ..... y ......
 Símbolos : pq, p&q, pq, pxq, pq
 Ejemplos:
 Mariátegui fue político, escritor y poeta.
Formalización: …………………………..

 Los gatos y los perros son vertebrados y carnívoros.

1 Prof. Miguel
Valverde Morales
 RAZONAMIENTO LÓGICO
Formalización: …………………………..
3. EL DISYUNTOR INCLUYENTE O DÉBIL (Alternador)
Este conector realiza la operación lógica de la Disyunción, es decir es un conector
binario, diádico o biproposicional.
 Traducción: ..... o ......
 Símbolos : pq, pq, p+q
 Ejemplos:

 Manuel es ingeniero o doctor.

Formalización: …………………………..

 Es falso que la matemática es una ciencia formal a menos que sea fáctica.

Formalización: …………………………..

4. EL DISYUNTOR EXCLUYENTE O FUERTE (Bidisyuntor, contravalorador)

 Traducción: o..... o......
 Símbolos : pq, p−q, pq, pq, pq, p q
 Ejemplos:
Se distinguen tres casos:
a) Por su forma: o ..... o .....

 O Manuel es ingeniero o doctor.

Formalización: …………………………..

b) Términos modificadores
Al combinar la “o” con los términos modificadores: sólo, solamente,
únicamente, exclusivamente, prioritariamente; se obtiene una “o” excluyente.

 Manuel es ingeniero o sólo doctor.

Formalización: …………………………..

c) Por su contenido
Cuando las proposiciones no pueden ser verdaderas a la vez.
Ej.
 El Perú se ubica en América o Europa.

Formalización: …………………………..

5. EL IMPLICADOR (Condicionador Directo, Hipotetizador)

 Traducción: Si...., entonces.....
 Símbolos : p  q, p  q
 Ejemplos:
Se distinguen tres casos:

a) Por su forma : Si .... entonces .....

2 Prof. Miguel
Valverde Morales
 RAZONAMIENTO LÓGICO
 Si estudias, entonces ingresarás a la Universidad.

Formalización: …………………………..
b) Por términos modificadores

Al combinar la palabra “si” con los términos modificadores: sólo, solamente,

únicamente, exclusivamente; se obtiene una estructura implicativa.

 La demanda aumenta solamente si los precios bajan.

p entonces q

Formalización: …………………………..
c) Uso de condición suficiente y necesaria

S i h a y in fla c ió n , e n to n c e s s u b e n lo s p r e c io s .

A n te c e d e n te C o n s e c u e n te

C o n d ic ió n C o n d ic ió n
s u f ic ie n t e n e c e s a r ia

En el ejemplo anterior:
 Condición suficiente: Hay inflación
 Condición necesaria: Suben los precios
Luego:
Hay inflación  suben los precios.
p q

6. EL REPLICADOR (, )

 Traducción: ....si.....
 Símbolos : pq, pq
 Ejemplos:

 El oro es un metal si el plomo lo es.

p q
Formalización: …………………………..

 Es absurdo que suben los precios porque hay bienestar social.

p q

Formalización: …………………………..

 Sólo si la demanda aumenta, los precios bajan.

Entonces

3 Prof. Miguel
Valverde Morales
 RAZONAMIENTO LÓGICO

Formalización: …………………………..

7. EL BIIMPLICADOR (Bicondicionador, coimplicador o Equivalorador)

 Traducción: ....si y solo si....

 Símbolos : p  q, p  q, p  q, p  q, p  q
 Ejemplos:

 Un número es divisible por dos si y sólo si es un número par.

Formalización: …………………………..

 Es suficiente que la lámpara esté encendida para que suficientemente

haya fluido eléctrico.
Formalización: …………………………..

 Sólo si Chimbote está al sur de Trujillo, entonces Trujillo está al sur de

Pacasmayo.
Formalización: …………………………..

8. EL INALTERNADOR (Negador conjunto, Daga de Sheffer, Nand)

 Traducción: ni....ni....
 Símbolos: pq
 Ejemplos:

 Ni llueve ni nieva.

Formalización: …………………………..

9. EL INCOMPATIBILIZADOR (Negador disyunto, barra de Nicod, Nor)

 Traducción: no....o no....

 Símbolos: p/q
 Ejemplos:

 El conocimiento no es objetivo o no es subjetivo.

Formalización: …………………………..

 El que estudie robótica es incompatible con estudie derecho.

Formalización: …………………………..

4 Prof. Miguel
Valverde Morales
 RAZONAMIENTO LÓGICO

EXPLICITACIONES VERBALES DE LOS CONECTORES LÓGICOS

1. EL NEGADOR: A  A así mismo B

 No A, Nunca A, Jamás (A) (*)
 Es incompatible que A
 Es inconcebible que A
 No ocurre que A
 No es verdad que A
 No es el caso que A
 No acaece que A
 Es mentira que A
 Es inadmisible que A
 De ninguna forma se da que A
 En forma alguna A
 Es incorrecto que A
 Es incierto que A
 Nadie que sea A
 Es objetable que A
 Es absurdo que A
 Es falso que A
 Es refutable que A
 Es falaz que A
 Es rebatible que A
 Es dual formal de A
 Es inconsistente que A
 En modo alguno se da A
 En absoluto se da A
 Es insatisfacible que A
 Es insostenible que A
 Es inaudito que A
 No, no es cierto que A
2. EL CONJUNTOR: A  B
 AyB
 A sino B
 Aún cuando A, B
 A aunque B
 A pero B
 A sin embargo B
 A incluso B
 A es compatible con B
 A del mismo modo B
 A aún cuando B
 A también B
 A de la misma forma que B
 A al igual que B
 Tanto A como B
 A simultáneamente B
 A no es incompatible B
 El que A no excluye que B
 A empero B
 Sin que A tampoco B
 Siempre ambos A con B
 A no obstante B
 No sólo A sino también B
 A al igual que B
 A a pesar que B
 A a la vez B
 A más B
3. EL DISYUNTOR INCLUYENTE: A  B
 A o B (sentido incluyente)
 A a menos que B
 a menos que A, B
 A salvo que B
 A excepto que B
 A o también B
 A o bien B
 A a no ser que B
 A o incluso B
 A y bien o también B
 Al menos uno de los dos A ó B
 A o sino B
 A alternativamente B
 A y/o B
4. EL DISYUNTOR EXCLUYENTE: A  B
 A o B (sentido excluyente)
 O bien A o bien B

5 Prof. Miguel
Valverde Morales

 A a menos que solamente B
 A salvo que únicamente B
 A excepto que sólo B
 a menos que sólo A, B
 A o bien necesariamente B
 A o exclusivamente B
 A no es equivalente a B
 A no es idéntico a B
 A no es lo mismo que B
 Ya bien A ya bien B
 Sólo A o sólo B
5. EL IMPLICADOR: A  B
 Si A entonces B
 Siempre que A por consiguiente B
 Ya que A bien se ve que B
 Dado A por eso B
 En cuanto A por tanto B
 Porque A por eso B
 Como A es evidente B
 Con tal que A es obvio que B
 Toda vez que A en consecuencia B
 A consiguientemente B
 Dado que A por lo cual B
 En la medida que A de allí B
 En virtud de que A entonces B
 A implica B
 A es innecesario para B
 A es condición suficiente para B
 A sólo si B
 A luego B
 A trae como consecuencia a B
 De A deviene B
 Partiendo de A llegamos a B
 De A inferimos, deducimos,
coligamos B
 Para A es condición necesaria B
 A sólo cuando B
 Es suficiente A y B necesario
 En el caso que A en tal sentido B
6. EL REPLICADOR: A  B
 Sólo si A, B
6 Prof. Miguel
Valverde Morales
RAZONAMIENTO LÓGICO
 Solamente porque A, B
 A si B
 A porque B
 A dado que B
 A ya que B
 A siempre que B
 A puesto que B
 A es condición necesaria para B
 A es insuficiente para B
 Es necesario A para B
 Es insuficiente A para B
 A cada vez que B
 A está implicado por B
 A con la condición de que B
 Si solamente A cada vez que B
 A debido a que B
 A depende de B
 A sigue de B
 Únicamente si A, B
7. EL BIIMPLICADOR: A  B
 A si y sólo si B
 A por lo cual y según lo cual B
 A cuando y sólo cuando B
 A cada vez que y sólo si B
 Si y sólo si A, B
 Porque y solamente por que A, B
 Es suficiente A para que
suficientemente B
 Es necesario A para que
necesariamente B
 A es condición suficiente y
necesaria para B
 A siempre que y sólo cuando B
 Siempre que A y siempre que B
 A es equivalente a B
 A es lo mismo que B
 A es idéntico a B
 A implica y está implicado por B
 A se definen lógicamente como B
8. EL INALTERNADOR: A  B
 Ni A ni B
9. EL INCOMPATIBILIZADOR: A / B
 No A o no B

PRÁCTICA
1. Dada la siguiente proposición
compuesta: “El sillón de mismo
modo como el sofá son muebles, no
obstante no se consideran como
artefactos”
¿Por cuántas proposiciones atómicas
está conformada?
…………………………………………………..
2. La proposición: “Si el niño, el
adolescente y el anciano son
abandonados, por supuesto serán
protegidos por el estado”, se
formaliza:
…………………………………………………..
3. La proposición: “Sin mandato
judicial ni autorización de la persona
que lo habita, no se puede ingresar
en el domicilio, tampoco efectuar
investigación ”, se formaliza:
…………………………………………………..
4. La proposición: “Suponiendo que el
ómnibus sale hoy para Ayacucho, es
obvio que no cayó un huayco o
tampoco hubo un terremoto”, se
formaliza:
…………………………………………………..
5. La proposición: “Para que Javier
obtenga un puesto en la Orquesta
Sinfónica, es necesario que sea
músico al igual que compositor”, se
formaliza:
7 Prof. Miguel
Valverde Morales
RAZONAMIENTO LÓGICO
…………………………………………………..
6. La proposición: “Es incompatible
que, las peleas callejeras se
producen por pandilleros salvo que
se produzcan por gente de mal
vivir”, se formaliza:
…………………………………………………..
7. La proposición: “Raúl viajará a
Londres, puesto que obtuvo la beca
y habla correctamente el inglés”, se
formaliza:
…………………………………………………..
8. La proposición: “Si el embajador ha
viajado, ha debido ir o a Buenos
Aires o a Brasilia. Debo concluir que
ha ido a Brasilia, pues ha viajado y
no ha ido a Buenos Aires”, se
formaliza:
………………………………………………….
9. La proposición: “Es falso que
vendes tu casa al igual que tu auto.
Sin embrago no vendes tu casa ni tu
auto siempre y cuando vendas tu
empresa”, se formaliza:
………………………………………………….
10. La fórmula: q  p, se lee:
1) Traspiro si hago deporte
2) Tengo vacaciones en el caso que
salga invicto
3) Llego tarde porque hubo
movilidad
 RAZONAMIENTO LÓGICO
4) Si salgo de casa luego me voy de E) 3 y 5
paseo
5) Cuando llego al colegio entro a 16.“Las pruebas excepto que los
clase exámenes demuestran el avance de
Son ciertas: los estudiantes. Así es que siempre
…………………………………………………. vendré a dar todos los exámenes
porque sino no tendré el mismo nivel
11. Es incorrecto que 1 y 3 son pares. de los demás”, se formaliza como:
Sin embrago 7 y 11 son primos, se (p  q)  (r  s)
formaliza: (p  q)  (r  s)
…………………………………………………. (p  q)  (r  s)
(p  q)  (r  s)
12. La proposición: “Es mentira que (p  q)  (r  s)
Raúl postulará a medicina pero
también es mentira que Rita 17.“Suponiendo las hojas de mi árbol se
postulará a derecho y a ingeniería”, caen, estamos en otoño. Las hojas
se formaliza: de mi árbol no se caen. Por lo tanto
…………………………………………………. no estamos en otoño”
13.La proposición: “Siempre que es falso ………………………………………………….
que la malaria y el cólera son 18. La proposición: “Es incorrectamente
enfermedades endémicas falso suponer que, si 2 es un
producidas por bacterias; por ello número par entonces su opuesto es
son curables pues existen un entero. Sin embargo si es un
medicamentos de mucha eficacia” entero el opuesto de 2, luego es un
número negativo”, se formaliza:
………………………………………………….
A) (p  q)  (r  s)
14.La proposición: “Si es falso que la B) (p  q)  (r  s)
lógica y la matemática sean ciencias C) (p  q)  (q  r)
formales, ni la lógica ni la D) (p  q)  (q  r)
matemática utilizan la inducción E) [(p  q)  (q  r)]
para demostrar sus principios” Se
formaliza: 19.El enunciado: “Si el órgano del olfato
A) (p  q)  (r  s) es la nariz obviamente la nariz no
B) [(p  q)  (r  s)] sirve para percibir sabores, pero los
C) [(p  q)  (r / s)] sabores son percibidos por el órgano
D) (p  q)  (r / s) del gusto. Consecuentemente, el
E) (p  q)  (r  s) órgano del olfato es la nariz o el
órgano del gusto es la lengua”. Se
15.De las proposiciones: formaliza:
1) Dado que A luego B
2) A dado que B A) [ (p   q)  r]  (p  r)
3) Para A es necesario B B) [ (p   q)  r]  (p  r)
4) Es necesario para B, A C) [ (p   q)  r]  (p  s)
5) No es necesario B para A D) [ (p   q)  r]  (p  s)
E) [ (p   q)  r]  (p  s)
Tienen a “A” como consecuente:
20.Si la expresión: “Puesto que hay
A) 1 y 3 B) 1, 2 y 5
globalización, consecuentemente hay
C) 2, 4 y 5 D) 3, 4 y 5
países con tecnología avanzada al

8 Prof. Miguel
Valverde Morales
 RAZONAMIENTO LÓGICO
igual que países atrasados”. Se
formaliza:
A) p  (q  r)
B) p  (q  r)
C) p  (q  r)
D) p  (q  r)
E) p  (q  r)

21.La proposición: “Esteban, no solo

negoció con su casa, sino que
además con su auto. Necesitaba
dinero dado que tenía una deuda que
pagar”, se formaliza:

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)

9 Prof. Miguel
Valverde Morales