UNIVERSIDAD DEL MAGDALENA

DEPARTAMENTO DE ESTUDIOS GENERALES E IDIOMAS

COMPETENCIAS LOGICO MATEMÁTICAS
GUIA DE APRENDIZAJE No.1

“Decir de lo que es que no es, o de lo que no es que es, es falso, mientras que decir de
lo que es que es, o de lo que no es que no es, es verdadero."
Aristóteles, Metafísica.

Unidad 1: CALCULO PROPOSICIONAL

INTRODUCCIÓN A LA LÓGICA MATEMÁTICA

El estudio de la lógica se remonta al siglo IV a.C., cuando Aristóteles la puso a

la cabeza de su sistema filosófico como materia indispensable para cualquier
otra ciencia. Aristóteles fue el primero que sistematizó la lógica que utilizamos
en nuestra vida diaria, por eso se le considera el padre de la lógica.

La lógica Aristotélica permaneció inalterada hasta el siglo XVI al igual que el

resto de su doctrina. A partir de aquí su física fue sustituida por la nueva física
de Galileo y Newton, mientras la lógica prácticamente fue ignorada, sin jugar
un papel relevante en el desarrollo de la ciencia. Leibniz le dio cierto impulso al
pretender construir un modelo objetivo para el razonamiento humano para
reducir todos los errores de razonamientos a pequeños errores de cálculo, algo
hasta ahora imposible de conseguir.

A partir del siglo XIX, George Boole(1815-1864) la relacionó más con la

matemática y aunque sus trabajos no fueron relevantes en ese momento,
posteriormente estos adquirieron una importancia que quizás ni el mismo
Boole tenia en mente. Hoy las computadoras modernas son el fruto de sus
trabajos con el aporte de la lógica formal.

Uno de los propósitos de la lógica matemática es servir de fundamento al

razonamiento matemático, evitando ambigüedades y contradicciones mediante
la determinación absolutamente precisa y rigurosa de lo que es un
razonamiento matemático válido.

RAZONAMIENTO LÓGICO

El razonamiento lógico es el proceso de pensamiento que conduce a que

actuemos conforme a lo que consideramos correcto. Las ideas que
simbolizamos, que provienen de hacer corresponder nuestras operaciones
mentales con el universo, pueden ser inferidas naturalmente, deducidas por
axiomas, demostradas por el uso de postulados, convenidas empíricamente,
por intuición o, simplemente, admitidas como ciertas por la vida cotidiana.
Lenguaje y contexto

El contexto es el dominio de las estructuras, los modelos del mundo, las

interpretaciones, la semántica, el significado, los contenidos, los hechos, los
datos, la validez y la verdad de nuestras afirmaciones. El contexto es el
universo del discurso.

El lenguaje es el dominio de los símbolos, el alfabeto, la sintaxis, las

conexiones formales, los enunciados, las proposiciones, las fórmulas, el
sistema, la argumentación como forma del razonamiento, la inferencia, las
deducciones y la prueba de los teoremas.

La lógica matemática nos ejercita teóricamente en razonar, separando y

uniendo el lenguaje del contexto; o mejor, en formular las verdades del
contexto desde el lenguaje, en interpretar el lenguaje en su contexto y
construir modelos con los que exhibimos ejemplos del mundo.

Definiciones Básicas

En el cálculo proposicional es tradicional el uso de letras denominadas

‘símbolos atómicos’ que se mezclan con conectores o conectivos lógicos para
generar fórmulas.
El cálculo proposicional, del cual se ocupa la lógica matemática, tiene como
concepto fundamental la proposición, que es aquel enunciado del que puede
decirse que es verdadero o falso en un determinado contexto.

A los “símbolos atómicos” se les conoce como proposiciones simples, que

denotaremos p,q,r,s,…

Ejemplo 1:
1. p: 2 es par
2. q: El acero es un metal
3. r: 4+2=8
4. s: Colombia es un país asiático
5. a: El perro es mamífero

La proposición “2 es par” es verdadera(V), mientras la proposición “4+2=8” es

falsa(F). La verdad o falsedad de dicha proposición se le llama su valor de
verdad

No son consideradas proposiciones, aquellos enunciados exclamativos,

interrogativos, dubitativos, desiderativos entre otros.

Así por ejemplo, el enunciado ¡Auxilio! a pesar de tener sentido y entenderse

como un llamado de ayuda, no es posible decir si es falso o verdadero. De
igual forma la expresión ¿Qué hora es? tampoco tendría sentido decir si es
verdadera o falsa.
CONECTIVOS LÓGICOS

Los conectivos o conectores lógicos son partículas que permiten enlazar

proposiciones simples para formar nuevas proposiciones (Bien formadas)
llamadas “Moleculares” o compuestas.

Los conectivos lógicos son:

 La negación, representada por el símbolo ~ que se lee “No”
 La conjunción, representada por el símbolo ˄ que se lee “y”
 La disyunción, representada por el símbolo ˅ que se lee “o”
 La condicional, representada por el símbolo → que se lee “ Si,
entonces”
 La bicondicional, representada por el símbolo ↔ que se lee “Si, y
solamente si” o simplemente “Si, y sólo si”

PROPOSICIONES COMPUESTAS

Negación

Si p es una proposición simple, de ésta se puede formar otra proposición, que

se le llama Negación de p, escribiendo: «Es falso que» antes de p, ó, cuando
es posible, se inserta en p la palabra «No».

Simbólicamente denotaremos a la negación por ~p, aunque existen varias

maneras de hacerlo, algunos autores usan las notaciones para la negación de
una proposición p como: ¬p ,-p , etc...., nosotros utilizaremos la notación ~p.

Tabla de verdad de la negación

p
V F
F V

Ejemplo 1:

P: todos los estudiantes son gordos

~p: No todos los estudiantes son gordos

q: El hombre es un animal mamífero

~q: Es falso que el hombre sea un animal mamífero

También se utilizan en el lenguaje corriente para formar negaciones (sobre

todo cuando se niega las proposiciones simples) las expresiones: no es
verdad que”, No es cierto que; y en algunos casos se hace anteponiéndoles
“No” al verbo principal de la oración.
Conjunción

Cuando dos proposiciones simples se combinan mediante la partícula « y » , la

proposición compuesta resultante se le llama conjunción . De esta manera, se
tiene que la nueva proposición p ^ q se llama conjunción de « p y q ».

Ejemplo 2:
p: Bolívar era venezolano
q: Nariño era colombiano
p ˄ q: Bolívar era venezolano y Nariño era colombiano

En el lenguaje corriente se utiliza, a veces, para formar conjunciones, las

partículas “pero”, “sin embrago”, “sino” y “e”, cuando la palabra siguiente
empieza por i.

P: La matemática es difícil
q: La matemática es necesaria
p ˄ q: La matemática es difícil, pero necesaria

r: El ejercicio es agotador
s: el ejercicio es importante para la salud
r ˄ s: El ejercicio es agotador e importante para la salud

Tabla de la verdad
p q p q
V V V
V F F
F V F
F F F

Disyunción Inclusiva

Cuando dos proposiciones simples se combinan mediante la partícula « o » , la

proposición compuesta resultante se le llama disyunción . De esta manera, se
tiene que la nueva proposición p ˅ q se llama disyunción de « p o q ».

Ejemplo 3:

P: Colombia es un país
q: Santa Marta es la capital de Colombia
Entonces:
p v q: Colombia es un país o santa marta es la capital de Colombia

r: (5)(7) = 35
s: (5)(7) = 20
Entonces:
r v q: (5) (7) = 35 ó (5) (7)=20
t: El sol es un planeta
s: El sol es una estrella
Entonces: t v s: El sol es un planeta o es una estrella

a: Platón escribió “ los diálogos”

b: Aristóteles escribió “ los diálogos”

Entonces: a v b: Platón o Aristóteles escribió “los diálogos”

Tabla de verdad
p q pVq
V V V
V F V
F V V
F F F

Disyunción exclusiva

Es otro caso de disyunción que se denota V y su valor de verdad es

verdadero únicamente cuando solo una de las dos proposiciones es verdadera,
es decir, excluye el hecho de que sea verdadera cuando ambas son
verdaderas, como ocurre en la disyunción inclusiva.

La formula p V q se lee “O p o q”

Ejemplo 4:

p: Bin laden está vivo

q: Bin laden está muerto

p V q : O Bin Laden está vivo o está muerto

Se observa que si Bin Laden está vivo excluye el hecho de que esté muerto y
viceversa. En este caso las dos proposiciones no pueden ser ni ambas
verdaderas ni ambas falsas.
Tabla de verdad
p q pVq
V V F
V F V
F V V
F F F
Condicional

En matemáticas se suele utilizar muy frecuentemente la proposición

«Si p, entonces q». Tales proposiciones se llaman condicionales y se le denota
por: p → q
A la proposición p se le llama antecedente y a q el consecuente.

Ejemplo 5:

p: Llueve
q: Hace frío
p→q: Si llueve, entonces hace calor

El condicional p → q también se puede expresar de las siguientes maneras:

 q, si p
 q, siempre que p
 p solamente si q
 p es suficiente para q
 q es necesario para p

La condicional: p→q: si el sol es una estrella, entonces la tierra es un planeta

Puede expresarse de las siguientes maneras:
 p→q: El sol es una estrella, solamente si la tierra es un planeta
 p→q: Que el sol sea una estrella, es condición suficiente para que la
tierra sea un planeta
 p→q: La tierra es un planeta, si el sol es una estrella
 p→q: Que la tierra sea un planeta es condición necesaria para que el sol
sea una estrella
 p→q: La tierra es un planeta, siempre que el sol sea una estrella

En muchas ocasiones se reemplaza la palabra entonces por una coma (,); pero
nunca debe omitirse la partícula “si”, porque esta es la que caracteriza a la
condicional.

Tabla de verdad
p q P →q
V V V
V F F
F V V
F F V
CONTRARIA, RECÍPROCA Y CONTRARRECÍPROCA DE UNA
CONDICIONAL
Dada la condicional p → q, entonces se denominan.
Contraria: ~p→~q
Reciproca: q→ p
Contrarrecíproca: ~q→~p

Ejemplo 6:

p →q: si son las seis, entonces el sol se está ocultando

 La contraria es: ~p→~q : si no son las seis entonces el sol no se está
ocultando
 La Recíproca: q→p: si el sol se está ocultando entonces son las seis.
 La Contrarrecíproca: ~q→~p: Si el sol no se está ocultando, entonces no
son las seis

Bicondicional

Otro tipo de proposición que se presenta con frecuencia es de la forma «p si, y

solamente si, q» que se suele abreviar «p si, y sólo si q». Intuitivamente esta
proposición parece ser la combinación de p → q y q → p.

A este conectivo lógico especial se le llama Bicondicional y se denota por el

símbolo ↔
Ejemplos 7:

P: Nueva York tiene la misma hora de Bogotá

q: Nueva york se encuentra en el mismo huso horario que Bogotá

p↔q: Nueva York tiene la misma hora que Bogotá si, y solamente si, se
encuentra en el mismo huso horario que Bogotá

En el lenguaje corriente también forma el Bicondicional con las expresiones

“siempre y cuando “o “es equivalente a”; y “Y si no, no”

P: El agua hierve a cien grados centígrados

q: las condiciones son normales

p↔q: el agua hierve a cien grados centígrados siempre y cuando, las

condiciones sean normales
Tabla de verdad
a: La presión atmosférica está baja p q p↔ 𝑞
b: Lloverá V V V
a↔b: Si la presión atmosférica está baja lloverá. Y si no, no V F F
F V F
F F V
ACTIVIDADES

1. A la derecha de cada enunciado indique si se trata de una

proposición simple; o, si se trata de una proposición compuesta,
identifique de que tipo es.
a. El homicidio es la primera causa de mortalidad en Colombia
b. Las mujeres embarazadas suelen sufrir de mareos y vómitos
c. Desempleo o inflación es el resultado de los gastos desenfrenados del
gobierno
d. La posibilidad de viajar a otros planetas no está lejos
e. El número 2 es primo, y par
f. Los delincuentes reincidirán en el delito, si las penas son leves
g. De noche todos los gatos son pardos.
2. Elabora la contraria, reciproca y Contrarrecíproca de las
condicionales siguientes
a. Si Juan tiene fiebre, entonces está enfermo
b. Si el agua es potable, entonces se puede tomar
c. Si el rio se desborda, se inundarán los cultivos
3. Simbolice cada una de las siguientes proposiciones compuestas.
a. Juan ama a María y María ama a todo el mundo
b. No es verdad que el sol gira alrededor de la tierra
c. Si el agua es clara, entonces se puede ver el fondo del estanque
d. Hace calor si y solo si la temperatura supera los treinta grados
centígrados
e. Si hay más mujeres que hombre, entonces muchos hombres tendrán
varias mujeres, o muchas mujeres se quedaran solteras.
f. No es cierto que: si Rosa escribe el periódico, entonces le publicaran
la carta
g. Si Juan rinde testimonio y dice la verdad, entonces será sentenciado
a dos o a cuatro años
4. Con base en las Tablas de Verdad, y la realidad, determine el
valor de verdad de cada una de las siguientes proposiciones
compuestas
a. Santa Marta es la capital del Magdalena y Santa Fe de Bogotá la de
Colombia
b. Las ballenas son mamíferos si, y solamente si, los tiburones también
lo son.
c. No todos los metales son sólidos a la temperatura ambiente
d. Las selvas tropicales son húmedas, pero los desiertos arenosos son
más húmedos
e. Si en la costa caen nevadas, entonces Colombia es el país más
pacífico del mundo
f. Si la vaca y el caballo son animales cuadrúpedos, el hombres
también los es
5. A la derecha de cada enunciado indique de qué tipo de
proposición se trata
a. Vc) ____________________________________
b. {[ ] ⌈ ↔ ⌉} _____________________
c. ↔ _______________________________
6. Coloque adecuadamente signos de agrupación de manera que los
enunciados adopten el tipo de proposición que se indica a
continuación de cada uno de ellos
a. aVb↔ Bicondicional
b. condicional
c. disyunción
d. ↔ negación
7. Elabore dos interpretaciones oracionales idiomáticas a cada uno
de los enunciados dados
a. p V
b.
c.
8. Determina el valor de verdad de las siguientes proposiciones si
p: V , q: F, r: V
a. q)
b.
c. ↔
d. ( )
e. [ ]
f. [ ↔ ]