GUIA

 1  .    lógica  Matemática.              

LOGICA  MATEMÁTICA  
 

RESEÑA HISTÓRICA:

En la historia de la lógica pueden distinguirse dos grandes períodos. El primero

abarca desde la sistematización de le dio Aristóteles en el siglo IV a.c. en su libro
Organón, en el que expresó las tres leyes básicas del pensamiento: El principio de
identidad (p↔p), el de no contradicción (~(p˄~p)) y el de tercero excluido (p˅~p).
Este período, que termina a mediados del siglo XIX, es llamado el de la lógica
clásica, tradicional o Aristotélica.
El segundo período, que empieza aproximadamente en 1850, y llega hasta
nuestros días, se denomina el de la lógica simbólica, matemática o moderna.
Entre los precursores se pueden citar a George Boole (1815-1864) y August De
Morgan (1806-1871). Posteriormente los trabajos de Gottlieb Frege (1848-1925) y
de Guisepe Peano (1858-1932) sentaron las bases de la lógica moderna. Los
aportes de éstos y otros lógicos fueron sistematizados y desarrollados en la obra
Principia Mathemática por Bertrand Russell (1872-1970) y Alfred North Whitehead
(1861-1947). Luego con los resultados de Kurt Godel (1906-1978), en 1930 y 1931
se abre el camino de una nueva racionalidad científica que apenas estamos
comenzando a comprender.
LÓGICA:
Definición: Es la ciencia de las formas del pensamiento (conceptos, juicios y
raciocinios), de su estructura y de las leyes del conocimiento inferido, las cuales
permiten obtener conclusiones a partir de proposiciones admitidas como
verdaderas, llamadas premisas.
Generalmente se define la lógica como la ciencia que estudia el razonamiento, en
el sentido de poder determinar si un argumento es válido o inválido. Entendiendo
por argumento un conjunto de enunciados en el cual uno de ellos, llamado
conclusión, se afirma con base en los otros, llamados premisas.

ING.  KAROL  JOSE  QUINTERO    

GUIA  1  .    lógica  Matemática.              

Un argumento puede ser valorado desde al menos tres puntºos de vistas

diferentes:
1. Valoración lógica, tiene que ver con la conexión que hay entre las premisas y la
conclusión.
2. Valoración epistemológica o material, tiene que ver con la veracidad de las
premisas y de la conclusión.
3. Valoración retórica, tiene que ver con que el argumento sea persuasivo,
atractivo e interesante.
Aclaremos los puntos de vista con un ejemplo:
Argumento No 1
1. Dios existe
2. Si Dios existe entonces el hombre fue creado por Dios
3. Si el hombre fue creado por Dios entonces es mortal

Conclusión: El hombre es mortal

Argumento No 2

1. Dios no existe
2. Si Dios no existe entonces no hay vida eterna
3. Si no hay vida eterna entonces el alma es mortal

Conclusión: El alma es mortal

Los dos argumentos son lógicamente válidos porque siguen las reglas de nuestro
sistema lógico; pero sólo uno de ellos es materialmente válido ya que las
proposiciones 1 de ambos, no pueden ser simultáneamente verdaderas.
La valoración retórica resulta ser muy subjetiva, en el sentido lo que para alguien
es bello o interesante, no lo es tanto, para otro.

ING.  KAROL  JOSE  QUINTERO    

GUIA  1  .    lógica  Matemática.              

 
 
 
PROPOSICIÓN:

Definición: Es todo enunciado declarativo afirmativo al que se le puede asignar

uno de dos valores, verdadero o falso. Generalmente se simbolizan con letras
cursivas minúsculas.
Existen dos clases:
Proposición simple o atómica y proposición compuesta o molecular.

Proposición Simple: Es la representación lógica de cualquier enunciado

declarativo afirmativo que puede ser verdadero o falso.
Ejemplos:
El computador es una herramienta tecnológica
7 + 5 = 14
Aristóteles es uno de los padres de la lógica
La luna gira alrededor de la tierra
Santa Marta es la capital del Atlántico

No son proposiciones los enunciados interrogativos ni los enunciados imperativos

(expresan orden o mandato), y en general todo enunciado del que no pueda
decirse que sea verdadero o falso.

Proposición Compuesta: Es todo enunciado formado por dos o más proposiciones

simples adecuadamente enlazadas, o por una sola proposición simple, negada.

Ejemplos:
La tierra es un planeta y el sol es una estrella
Si el computador no funciona, o está dañado o está desconfigurado.
Estoy programando y bajando un archivo de internet
3 es par ó 4 es primo si y solo si 7 es primo y 6 es par
Si Medellín es la capital de Antioquia entonces Bucaramanga es la capital de
Santander o de la Guajira

No son proposiciones los enunciados interrogativos ni los enunciados imperativos

(expresan orden o mandato), y en general todo enunciado del que no pueda
decirse que sea verdadero o falso.

Existen seis tipos fundamentales de conectivos lógicos: Negación, disyunción,

disyunción exclusiva, conjunción, condicional o implicación y bicondicional.

ING.  KAROL  JOSE  QUINTERO    

 GUIA  1  .    lógica  Matemática.              

• Negación:
(~) (¬)
Ejemplo:
p≡ La luna gira alrededor de la tierra (V)
~p≡ La luna no gira alrededor de la tierra (F)

• Bicondicionalidad.
En matemáticas y lógica, si y sólo si es la implicación doble, la condición necesaria
y suficiente.
Si tenemos la proposición «p si y sólo si q» queremos decir que p y q son
lógicamente equivalentes. Si p entonces q y si q entonces p. Normalmente se usa
el símbolo ↔ para denotar esta complicación, quedando así: p ↔ q.
En español se abrevia sii. Así, la proposición anterior queda «p sii q». Un
equivalente lógico de la bicondicionalidad es (p→q) ∧ (q→p). El valor de verdad de
una bicondicional es verdadero cuando ambas proposiciones (p y q) tienen el
mismo valor de verdad, de lo contrario es falsa.

• Conjunción:
La unión de dos proposiciones con la palabra «y», se denomina
conjunción de las dos proposiciones. Un ejemplo de una conjunción es esta
proposición:

“Sus ojos son azules y los ojos de su hermano también son azules”.

Sea P la proposición atómica «Sus ojos son azules» y sea Q la proposición

atómica «Los ojos de su hermano también son azules». Entonces se puede
simbolizar la proposición molecular, que es una conjunción, por

(P) y (Q)

Una conjunción es un tipo de proposición molecular. La proposición molecular lar es

la conjunción de la proposición atómica P y la proposición atómica Q. es también
útil introducir un símbolo para «y». Nosotros usaremos el símbolo que se
encuentra en la mayoría de las máquinas de escribir:

^
Utilizando este símbolo, se puede escribir la conjunción de dos proposiciones P y Q
de la forma:
(P)^(Q)

Recuérdese que el símbolo & sustituye al término de enlace completo tanto si se

refiere a «y» como si es «a la vez... y...» en lengua castellana.

ING.  KAROL  JOSE  QUINTERO    

 GUIA  1  .    lógica  Matemática.              

• Disyunción :
La unión de dos proposiciones por medio de la palabra «o» se denomina
disyunción de las dos proposiciones. Por ejemplo:

Ésta es el aula cuatro o es una aula de Física,

Es la disyunción de dos proposiciones. Una disyunción es una proposición

molecular formada por el término de enlace «o». La proposición antes escrita

puede parecer un poco rara. Probablemente esto es debido a que en el lenguaje corriente
se incluye la palabra «o» inicial junto con la palabra «o» central. Por ejemplo, se podría leer
la proposición molecular considerada en la forma:

O ésta es el aula cuatro o es una aula de Física.

En ambos casos, las dos proposiciones atómicas son las mismas; primero, la proposición
«Ésta es el aula cuatro», y segundo «Ésta es una aula de Física». Es decir, no debe
incurrirse en el error de incluir la «o» inicial como parte de la primera proposición. Se trata
de una parte del término de enlace.

El símbolo que utilizaremos para la disyunción es: V

En el ejemplo precedente, si F es la proposición «Ésta es el aula cuatro» y R es la

proposición «Ésta es una aula de Física», entonces la disyunción queda
completamente simbolizada por:

(F) V (R).

Leeremos esta proposición diciendo (F) o (R), y algunas veces también o (F) o (R).
Recuérdese que el símbolo V representa el término de enlace completo, tanto si en
la lectura o escritura de la proposición se emplea sólo «o» o bien «o..., o...».

• Condicional.
Cuando se unen dos proposiciones mediante las palabras «si..., entonces...», la
proposición molecular resultante se denomina una proposición condicional. Ya se
dijo que la manera de escribir el término de enlace «si..., entonces...» da idea de la
forma de la proposición condicional.
En vez de los puntos se puede poner cualquier proposición. La palabra «si»
precede a la primera proposición y la palabra «entonces» precede a la segunda
proposición.
Un ejemplo de una proposición condicional es:
Si llueve hoy, entonces se suspende el picnic.

ING.  KAROL  JOSE  QUINTERO    

 GUIA  1  .    lógica  Matemática.              

La primera proposición atómica es «Llueve hoy» y la segunda proposición

atómica es «Se suspende el picnic». Para poder simbolizar completamente

esta proposición condicional emplearemos el símbolo siguiente para el término de

enlace.

Ahora ya podemos simbolizar la proposición considerada de la manera siguiente

Primero se escogen letras mayúsculas para las proposiciones atómicas: Sea

P=«Hoy llueve»
Q =«S e suspende el picnic»,

y entonces se sustituye el término de enlace por el símbolo:

(P) (Q).

Hay algunas denominaciones que se introducen en Lógica para las partes de una
proposición condicional. La proposición situada entre la palabra «si» y la palabra
«entonces» es el antecedente. La proposición que sigue a la palabra «entonces»
es el consecuente. Estos términos se utilizarán con frecuencia cuando se trabaje
con proposiciones condicionales.

Ejercicios:

• Simbolizar las proposiciones siguientes, completamente, utilizando el

símbolo lógico correspondiente para los términos de enlace. Indicar la
propósitos atómica que corresponde a cada letra.

1.Juan vive en nuestra calle y Pedro en la manzana contigua.

2.Los discos antiguos de José son buenos pero los modernos son todavía mejores.
3. Metió la nariz y ya sacó tajada.
4. El sol desaparece detrás de las nubes y en seguida empieza a refrescar.
5. El reactor se elevaba a nuestra vista y dejaba tras sí una fina estela blanca.
6. Juana tiene trece años y Rosa quince.
7. Jorge es alto y Andy es bajo
8. La estrella de mar es un equinodermo y los erizos de mar son también
equinodermos.
9. Hoy es día treinta y mañana será primero.
10. El juego ha empezado y llegaremos tarde.

ING.  KAROL  JOSE  QUINTERO    

 GUIA  1  .    lógica  Matemática.              

• Terminar la simbolización de las proposiciones que siguen

sustituyendo el término de enlace por el correspondiente símbolo
lógico.
1.(P) y (Q) 4.A la vez (T) y (G)
2.A la vez (A) y (B) 5.(S) y (Q)
3- (H) y (K)

• Simbolizar completamente las proposiciones siguientes, utilizando el símbolo

que corresponde a cada término de enlace. Indicar la proposición atómica
sustituida por cada letra.

1. El área del triángulo ABC es igual al área del triángulo DEF, o el

área del triángulo ABC es menor que el área del triángulo DEF.
2. Tomará parte en el salto de altura o correrá media milla.
3. O tomará parte en la representación o ayudará en el vestuario.
4. O el bote cruzó la barra o se lo tragaron las olas.
5. Hemos de llegar allí antes, u otro recibirá el empleo.
6. O la aguja está gastada o la grabación es mala.
7. O Juan será reelegido o destinado para un puesto nuevo.
8. Se puede dar el vector por medio de dos componentes, o estamos en tres
dimensiones.
9. Peces CQII pulmones pueden tomar el oxígeno del aire o pueden
tomar el oxígeno del agua.
10. O una anémona es un animal o es una planta.

• Acabar de simbolizar las proposiciones siguientes sustituyendo el término de

enlace por su signo correspondiente.

1. (P) o (Q) 4. (T) o (E)

2. O (P) o (Q) O (P) o (N) 5.  O (P) o (N)

3. O (R) o (S)

• Simbolizar las proposiciones siguientes, utilizando los símbolos

correspondientes para los términos de enlace. Señalar la proposición
atómica representada presentada por cada letra mayúscula.

1. Si hace suficiente frío, entonces el lago se helará.

2. Si las luces están encendidas, entonces la familia Álvarez está en casa.
3. Si dos pulsaciones se atraviesan, continúan conservando la forma original.

ING.  KAROL  JOSE  QUINTERO    

 GUIA  1  .    lógica  Matemática.              

4. Si pierde usted el autobús, entonces tendrá que andar.

5. Si usted se dirige hacia el norte, entonces llegará a Canadá mañana.
6. Si es un ácido, entonces contiene el elemento hidrógeno.
7. Si dos y tres son cinco, entonces tres y dos son cinco.
8. Si x es igual a dos, entonces x más uno es igual a tres.
9. Si hoy es siete, entonces el viernes es nueve.
10. Si su producción crece, entonces Juan podrá estabilizar el precio.

• Examinar las proposiciones condicionales siguientes y señalar en cada una

el antecedente.
1. Si Juana es más joven entonces Antonia es más vieja.
2. Si Antonia es más vieja entonces Luisa es más joven.
3. Si Juana es más joven entonces Rosa es más vieja.
4. Si Rosa es más vieja entonces tiene sesenta años.
5. Si Rosa tiene sesenta años entonces Luisa tiene sesenta años.

FORMALIZACIÓN DE PROPOSICIONES.

Formalizar una proposición significa abstraer su forma lógica, es decir, revelar su

estructura sintáctica a través del lenguaje formalizado de la lógica. En términos más
sencillos, formalizar una proposición equivale a representarla simbólicamente. Toda
proposición tiene su forma lógica y su fórmula: La forma lógica de una proposición
es otra proposición equivalente a la primera con la diferencia de que en la que toda
su estructura sintáctica está completamente explicitada. A partir de aquí, su fórmula
no es otra cosa que la que resulta de sustituir a toda proposición atómica distinta
por una variable proposicional. Ejemplo:

No iremos al cine a menos que venga Raúl

Forma logica: Formula:
Si Raul viene, entonces iremos al cine. P: Raúl viene.
Q: iremos al cine.
p q

Técnica de Formalización:

La técnica de formalización de proposiciones comprende los siguientes pasos:

a) Se explicita su forma lógica empleando las conjunciones ‘y’, ‘o’, ‘si., entonces’, ‘si
y sólo si’ y el adverbio ‘no’ en sustitución de sus expresiones equivalentes.

ING.  KAROL  JOSE  QUINTERO    

 GUIA  1  .    lógica  Matemática.              

b) Se hala su fórmula remplazando cada proposición atómica por una

variable proposicional, las conjunciones gramaticales por sus operadores
lógicos correspondientes y el adverbio ‘no’ por el operador negativo.

c) Los signos de agrupación se usan para establecer la jerarquía entre los

operadores de una fórmula lógica, pero sólo cuando su omisión la hace ambigua

Formalizar las siguientes expresiones

a) Kant es filósofo, pero Frege es lógico
b) Einstein no es filósofo, sino físico.
c) Euclides no es médico ni físico.
d) Ni Vilma, ni Silvia, ni Angélica ingresaron a la universidad.
e) Sin carbono, oxígeno, nitrógeno e hidrógeno, no hay vida.
f) Tanto Juan Manuel Vargas como “La foquita” Farfán son atletas porque son
futbolistas.
g) César es profesor o es alumno, pero no puede ser ambas cosas
h) Las Fuerzas Armadas y las Fuerzas Policiales participan en el desarolo
económico y social del país, pero no son deliberantes.

Ni Vilma, ni Silvia, ni Angélica ingresaron a la universidad.

Forma lógica: Fórmula:
Vilma no ingresó a la universidad y Silvia p: Vilma ingresó a la universidad.
no ingresó a la universidad y Angélica no q: Silvia ingresó a la universidad.
ingresó a la universidad. r: Angélica ingresó a la universidad.
~pÙ~qÙ~r

Ejercicios:
Kant es filosofo, pero Frege es lógico
Forma lógica: Fórmula:
Kant es filosofo y Frege es lógico. P: Kant es filosofo.
Q: Frege es lógico.
p^q

No iremos al teatro a menos que venga Raúl.

Forma lógica: Fórmula:
Si Raúl viene , entonces iremos al teatro. P: Raúl viene.
iremos al teatro .
p q

Einstein no es filosofo , sino físico.

Forma lógica: Fórmula:

ING.  KAROL  JOSE  QUINTERO    

GUIA  1  .    lógica  Matemática.              

Tanto Juan Manuel Vargas como “La foquita” Farfán son atletas porque son futbolistas.
Forma lógica: Fórmula:

TABLA DE VERDAD

Tabla de verdad
p ~p
V F
F V

Disyunción: (v), que se lee o. Es F cuando las dos proposiciones son F

Ejemplo:

p≡ España es un país europeo, y

q≡ Barcelona es la capital de España. Entonces:
p v q≡ España es un país europeo o Barcelona es la capital de España.
Tabla de verdad
p q pvq
V V V
V F V
F V V
F F F

Disyunción Exclusiva: (w). Es F cuando las proposiciones tienen el mismo valor de

verdad.
Ejemplo:
p≡ Shakespeare escribió “El Quijote”, y
q≡ Cervantes escribió “El Quijote”. Entonces:
p w q≡ O Shakespeare o Cervantes escribió “El Quijote”

Ejemplo:
p≡ Cuatro es un número par, y
q≡ Cuatro es un número impar. Entonces:
p w q≡ O cuatro es un número par o impar

ING.  KAROL  JOSE  QUINTERO    

GUIA  1  .    lógica  Matemática.              

Tabla de verdad
p q pwq
V V F
V F V
F V V
F F F

Conjunción: (˄), que se lee “y”. Es V cuando ambas proposiciones son

verdaderas.
Ejemplo:
p≡ Bolívar era venezolano, y
q≡ Nariño era colombiano. Entonces:
p ˄ q≡ Bolívar era venezolano y Nariño era colombiano.

Ejemplo:
p≡ Sandra es hermana de Juan, y
q≡ Claudia es hermana de Juan. Entonces:
p ˄ q≡ Sandra y Claudia son hermanas de Juan

Tabla de verdad
p q p˄q
V V V
V F F
F V F
F F F

Condicional: (→), que se lee “entonces”. Es F cuando el antecedente es V y el

consecuente es F.

Ejemplo:
p≡ El sol sale todos los días, y
q≡ La luna sale todas las noches. Entonces:
p → q≡ Si el sol sale todos los días entonces la luna sale todas las noches

Ejemplo:
p≡ los peces viven en el agua, y
q≡ Los canarios viven en el agua. Entonces:
p → q≡ Si los peces viven en el agua, los canarios también

ING.  KAROL  JOSE  QUINTERO    

GUIA  1  .    lógica  Matemática.              

Tabla de verdad
p q p→q
V V V
V F F
F V V
F F V

Bicondicional: (↔), que se lee “si y solo si”. Es V cuando las proposiciones tienen
el mismo valor de verdad.

Ejemplo:
p≡ James Rodríguez es un futbolista, y
q≡ Manuel Patarroyo es un científico. Entonces:
p ↔ q≡ James Rodríguez es un futbolista si y solo si Manuel Patarroyo es un
científico.

Ejemplo:
p≡ Nueva York tiene la misma hora que Bogotá, y
q≡ Nueva York se encuentra en el mismo huso horario que Bogotá. Entonces:
p ↔ q≡ Nueva York tiene la misma hora que Bogotá si y solamente si se
encuentra en el mismo huso horario que Bogotá.
Tabla de verdad
p q p↔q
V V V
V F F
F V F
F F V

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

ING.  KAROL  JOSE  QUINTERO    

GUIA  1  .    lógica  Matemática.              

 
EJERCICIOS  :  
 
Escribe  las  conectivas  y  símbolos  de  la  lógica  proposicional  en  las  
siguientes  proposiciones  y  realice  la  tabla  de  verdad.  
 
 
• A  pesar  de  que  el  coche  no  acelero,  hubo  un  accidente    
• Tiene  coche  y  ,  sin  embargo,  no  sabe  conducir    
• Si  no  vienes  ya,  nos  vamos  a  desayunar  
• Si  no  vienes,  jugaremos  al  baloncesto,  solo  si  viene  jose  y  arbitro  se  
presenta  o  manda  un  sustituto.    
• Los  portátiles  son  delicados  pero  si  los  tratas  bien  duran  largo  
tiempo    
• Si  no  sale  el  avión  entonces  perderemos  las  conferencias  y  no  
encontraremos  a  Martín.  
• Alimentándonos  bien,  seremos  fuertes  y  sanos    
• Ahorrando  luz  y  agua  contribuimos  al  medio  ambiente    
• El  numero  dos  es  primo,  es  par  y  es  divisor  de  4  
• No  iremos  al  partido  amemos  que  salga  el  sol    
• Ana  es  profesora  o  es  estudiante,  pero  no  puede  ser  ambas  cosas  a  
la  vez  
• Sin  carbono,  oxigeno,  nitrógeno  e  hidrogeno,  no  hay  vida      
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

ING.  KAROL  JOSE  QUINTERO