FECHA: 2020 - I

UNIVERSIDAD COOPERATIVA DE COLOMBIA CURSO: LÓGICA

MATEMÁTICA
FACULTAD DE INGENIERIA SECCIONAL BOGOTA VERSION:
AREA:CIENCIAS BASICAS
GUIA TEMATICA No. 1 Página 1 de 1

AREA DE CIENCIAS BASICAS

LÓGICA MATEMÁTICA

AUTOR: DONALDO ELÍAS SALAS SIADO

INGENIERO MECÁNICO,
Mgs. INGENIERÍA

TEMA: Lógica Proposicional

COMPETENCIAS:

1. Describir las teorías básicas de la lógica PROPOSICIONAL.

TIEMPO: 6 Horas

CONDUCTA DE ENTRADA:

DESARROLLO DE LA TEMATICA

CONCEPTUALIZACION

La lógica ofrece métodos que enseñan cómo elaborar proposiciones, evaluar su valor de verdad
y determinar si las conclusiones se han deducido correctamente a partir de proposiciones
supuestas, llamadas premisas además, la lógica es una ciencia que se interesa por las relaciones
existentes entre las proposiciones con el fin de proporcionar tres características del razonamiento
lógico: conciso, preciso y claro.

La claridad y concisión, los estudiantes la consigue en la medida que familiariza con los
elementos básicos de un argumento lógico, tanto en su representación lógica como en su
significado, lo que permite la simplificación de argumentos lógicos complicados, de esta manera
los símbolos permite la concentración en lo esencial de un contexto.

LÓGICA DE PROPOSICIONES

Una universidad, todo un país

La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas
determina si un argumento es válido. La lógica es ampliamente aplicada en la ingeniería,
computación, filosofía, matemáticas, física. En las matemáticas para demostrar teoremas e inferir
resultados matemáticas que puedan ser aplicados en investigaciones. En la computación para
revisar programas. En la filosofía para determinar si un razonamiento es válido o no, ya que una
frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber el significado
correcto.

La proposición lógica constituye el elemento fundamental de la lógica. Una proposición lógica es

un enunciado lingüístico que debe cumplir con la condición de ser susceptible de poder ser
verdadero o falso.

Ejemplo:

“La temperatura ambiente es mayor de 20 grados” es un enunciado que puede ser Verdadero o
Falso. La proposición puede ser verdadera o falsa en un momento dado, decimos entonces que,
el valor de verdad de una proposición lógica es, por definición, verdadero o falso, y es
representado por las letras V o F.

Formalmente una proposición lógica, se define como un enunciado declarativo que puede ser
verdadero o falso, pero no ambos a la vez.

Es importante tener en cuenta que las proposiciones son oraciones declarativas y tienen una
estructura definida por un sujeto bien definido, un predicado y una conjugación de un verbo. El
simple sustantivo o sujeto no configura una proposición.

Ejemplos:

Hoy es sábado
Soy estudiante de ingeniería
Bogotá es llamada la Atenas Suramericana.

Las proposiciones se representan simbólicamente mediante el uso de letras minúsculas del

alfabeto tales como p, q, r, s, ..., x, y, z, las cuales reciben el nombre de letras o variables
proposicionales; de esta forma, el lenguaje proposicional se hace más simple y exacto que el
lenguaje natural. Así, también se logra simplificar la escritura de argumentos lógicos
Una universidad, todo un país
complicados, creando un lenguaje simbólico artificial, en donde se establece un conjunto de
reglas claras, bien definidas y que no presentan las ambigüedades ni vaguedades del lenguaje
corriente o natural:

Los ejemplos siguientes ilustran cómo se pueden simbolizar las proposiciones:

p: Hoy es sábado
q: Estudio filosofía
r: Colombia es el país con el mayor número de especies de aves del mundo
s: La luna es un satélite natural de la tierra.
t. El dos es un número primo.
v: 32 + 42 = 52
u: New York es llamada la capital del mundo

x: 4+3 = 7

Igualmente Existen enunciados que no son proposiciones, porque no es posible establecer su

valor de verdad por ejemplo:
p: ¿Qué hora es?
q: ¡Millonarios será el próximo campeón!
r: Mañana lloverá
t : ojalá que pase el examen de matemáticas

CLASES DE PROPOSICIONES

Las proposiciones se pueden clasificar en proposiciones simples y compuestas.

Proposiciones simples

Son aquellas oraciones que carecen de conectivos lógicos. Ejemplos:

P: La lluvia es un fenómeno natural
q: 5 es el inverso aditivo de -5
r : Bolivia no tiene costas marítimas

Una universidad, todo un país

Proposiciones compuestas

Son aquellas proposiciones se forman al combinar proposiciones simples con los conectivos
lógicos o términos de enlaces.

Ejemplos
Ejemplo a.- p: Estudio
q: Apruebo el semestre
p  q: si estudio entonces apruebo el semestre

Ejemplo b.- s: un triángulo es equilátero

t : un triángulo que tiene los tres lados iguales.
S t : un triángulo es equilátero si y solo si tiene sus tres lados iguales

Ejemplo c.- p: Gloria canta

q: Luisa es estudiante.

p  q: Gloria canta y Luisa es estudiante.

En el lenguaje cotidiano se encuentran expresiones como las siguientes:

Las rosas son rojas y tienen espinas.

¿La selección Colombia ganó o perdió?
En Colombia no hay violencia.
Si estudio lógica matemática entonces podré determinar la validez de un razonamiento lógico.
4 es un número par si y sólo si se puede dividir por 2.

Para la formación de las oraciones del ejemplo anterior se utilizaron las expresiones especiales:
y, o, no, si … entonces, sí y sólo si, que sirvieron para unir o enlazar los enunciados;
denominamos a éstas partículas o términos de enlace "nexos o conectivas", que establecen
relaciones sintácticas como función de coordinación y subordinación determinadas entre las
proposiciones que la integran; tal ocurre en la función de las conjunciones en las oraciones
compuestas de la lengua.

Al igual que a las proposiciones, también les asignamos un lenguaje simbólico así:

Una universidad, todo un país

Lenguaje natural Conector lógico – Simbología

y ∧
o ∨
no ¬
Si ……. entonces →
Si y sólo si ↔

Las proposiciones se representan mediante variables proposicionales simbolizadas mediante

letras. Con la combinación de variables proposicionales y conjunciones se obtienen fórmulas
senténciales o sentencias. Estas pueden ser:

 Tautología: es la sentencia que es verdadera.

 Contradicción: es la sentencia que es falsa.
 Indeterminación: es la sentencia que ni es verdadera ni falsa.

LENGUAJE PROPOSICIONAL

Sintaxis

El primer paso en el estudio de un lenguaje es definir los símbolos básicos que lo constituyen
(alfabeto) y cómo se combinan para formar sentencias. Está constituido por:

Símbolos de veracidad: V para verdadero y F para falso.

Símbolos de variables: p, q, r, s, ...
Símbolos de conectivas:
 NO Negación
 Y Conjunción
 O Disyunción inclusiva
 O..O Disyunción exclusiva
 SI..entonces Condicional
 SI Y SOLO SI Bicondicional

Símbolos de puntuación: El paréntesis ( , ), es usado para identificar proposiciones compuestas

y evitar ambigüedades.

Una universidad, todo un país

Reglas de formación

Las clases de sentencias bien formadas se definen por reglas puramente sintácticas, llamadas
reglas de formación, y que son:

Una variable proposicional es una sentencia bien formada.

Una sentencia bien formada precedida de la negación es una sentencia bien formada.
Dos sentencias bien formadas unidas por una de las partículas conectivas binarias constituyen
una sentencia bien formada.
Se pueden omitir los paréntesis que encierran una sentencia completa.
El estilo tipográfico de los paréntesis se puede variar para hacerlos más evidentes usando corchetes y
llaves.
A las conjunciones y disyunciones se les puede permitir tener más de dos argumentos.

Conectivas

Las conectivas se dividen por su aplicación en:

Singulares: se aplican a una única sentencia.

Binarias: se aplican a dos sentencias.

Por su definición, también se pueden dividir en:

Primitivas: las variables proposicionales, los paréntesis y las conectivas NO y O.

Definidas: las conectivas Y, SI ... ENTONCES, ... SI Y SOLO SI ... y O ... O.

Tablas de verdad de los conectores lógicos.

La tabla de verdad de una sentencia es una tabla en la que se presentan todas las posibles
interpretaciones de las variables proposicionales que constituyen la sentencia y el valor de
verdad de la sentencia para cada interpretación.

SEMANTICA

Una universidad, todo un país

Negación ( NO,  )

Consiste en cambiar el valor de verdad de una variable proposicional.

p p

========

V F

F V

Una proposición simple, se puede negar de varias maneras.

Ejemplos
Negar las siguientes proposiciones:

1. Sea p: el 7 es un número primo

Solución
~ p: no es cierto que el 7 sea un número primo
~ p: el 7 es un número compuesto

2. Sea q: 72 = 49

Solución
~ q: No es cierto que 72 = 49

~ q: 72 ≠ 49

3. Sea r: todos los peces viven bajo el agua

Solución
~ r: algunos peces no viven bajo el agua

4. Sea s: Algunas plantas son medicinales

Una universidad, todo un país

 Solución
~ s: ninguna planta es medicinal

USO INADECUADO DE LA DOBLE NEGACION

Es frecuente en la vida diaria utilizar la negación dos o más veces, hecho que genera, en
algunos casos confusiones.
En efecto, se presentan ambigüedades, cuando se pronuncian frases como estas:
 Nunca digas un nunca
 Yo no miento nunca
 No estoy dentro

Así por ejemplo, en la frase yo no miento nunca, se está utilizando dos veces la negación: cuando
se dice no y cuando se dice un nunca. En matemáticas, cuando se usa dos veces la negación,
estas funcionan como los signos negativos, es decir, se eliminan mutuamente. En la frase “no es
cierto que no fui al cine”, lo que está diciendo es que si fui al cine.
Cabe advertir, que se debe tener mucho cuidado cuando se utilizan expresiones como doble
negación.

Ejercicios ilustrativos.

Negar las siguientes proposiciones.

1. Diana es modista
2. 12 es un número par
3. estas dos rectas son paralelas
4. todos los hombres son mortales
5. algunos deportistas son ciclistas
6. ningún loro vive en el polo norte

Una universidad, todo un país

 Solución

1. Diana no es modista
2. No es cierto que 12 sea un número par… 12 es un número impar
3. Estas rectas no son paralelas; estas rectas son concurrentes.
4. Algunos hombres son inmortales
5. Ningún deportista es ciclista
6. algunos loros no viven en el polo norte

Disyunción inclusiva (O, )

La sentencia será verdadera cuando una o ambas variables proposicionales sean verdaderas.

p q pq
=============
V V V
V F V
F V V
F F F

Disyunción exclusiva O ()

Es una conectiva definida por:

p  q ( p q )

La sentencia será verdadera sólo cuando una de las dos variables proposicionales sea
verdadera.

p q pq
=============
V V F
V F V
F V V

F F F
Una universidad, todo un país
Conjunción ( Y , )
Es una conectiva definida por:  = Conjunción
Sean p y q dos proposiciones simples. La proposición compuesta p  q se denomina
conjunción.

La sentencia será verdadera sólo cuando ambas variables proposicionales sean verdaderas.

p q pq
=============
V V V
V F F
F V F
F F F
Ejemplo:

La proposición compuesta: 5 es un número impar y es un entero positivo

Está formada por:
p: 5 es un número impar
q: entero positivo
Para determinar la tabla de verdad, para la conjunción. Analizaremos la siguiente proposición.
p: 8 es un número par (v)
q: 5 es un número primo (v)
p  q: verdadero

p: 8 no es un número par (f)

q: 5 es un número primo (v)
p  q: falso

p: 8 es un número par (v)

Una universidad, todo un país

q: 5 no es un número primo (f)
p  q: falso

p: 8 no es un número par (f)

q: 5 no es un número primo (f)
p  q: falso

Condicional (SI ... ENTONCES, )

Se dice que una proposición compuesta por el condicional, si está formada por dos
proposiciones simples entrelazadas por la expresión: si…., entonces,…

La mayoría de las proposiciones matemáticas o teoremas tienen esta estructura

P q

 
Antecedente Consecuente
 
Hipótesis Conclusión

Se puede de enunciar de varias formas

 p entonces q
 p solo si q
 que si p
 p es suficiente para q
 q es necesaria para p

Analicemos el valor de verdad para el condicional

1. Sean p y q verdaderas
p  q Es verdadera

Una universidad, todo un país

 Si se parte de una hipótesis falsa y nuestro razonamiento ha sido correcto nos conduce a
una conclusión verdadera, por lo tanto, la implicación es verdadera.

2. Si p es verdadera y que es falsa:

p  q es falsa

Si la hipótesis es verdadera, nos conduce a una conclusión falsa, es porque hemos

cometido un error en el razonamiento y finalmente el condicional es falso.

3. Si p es falsa y que es verdadera

Si se parte de una hipótesis falsa y razonando correctamente, podemos llegar a una

conclusión verdadera. En caso, el condicional es verdadero.

4. si p y q son falsas

p  q es verdadero

Si partimos de una hipótesis falsa y razonando correctamente podemos llegar a una

conclusión falsa. Por tanto, el condicional es verdadero.

En conclusión la sentencia será verdadera cuando se cumpla si es válido p entonces lo es q.

p q pq
=============
V V V
V F F
F V V
F F V

Una universidad, todo un país

CONDICION NECESARIAS O SUFICIENTES
Analice las siguientes implicaciones:

1. P: Manuel Elkin Patarroyo es tolimense

q: Manuel Elkin Patarroyo es colombiano

𝑝 → 𝑞: Manuel Elkin Patarroyo es tolimense entonces es colombiano.

En este caso, basta que Manuel Elkin Patarroyo sea tolimense para ser colombiano.
Es decir P es una condición suficiente para q. En cambio. Es necesario que Manuel Elkin sea
colombiano para ser tolimense; es decir, q es una condición necesaria para p.

2. p: Existe fuego
q: Hay presencia de oxigeno

𝑝 → 𝑞 : Si existe fuego entonces hay presencia de oxígeno.

En este caso, es suficiente que haya fuego para comprobar la presencia de oxigeno: P es
suficiente para q. En cambio, es necesario que exista la presencia de oxígeno para que se
produzca el fuego: q es necesaria para p.

3. p: El papa sale del cuerpo cardenalicio

q: El cardenal Castrillón puede ser papa

𝑝 → 𝑞: Si el papa sale del cuerpo cardenalicio entonces el cardenal Castrillón puede ser papa.

Es decir, que es suficiente ser cardenal para ser papa: p es suficiente para q.
En cambio, es necesario ser cardenal para ser papa: q es necesario para p.

LA RECÍPROCA Y LA CONTRARRECÍPROCA

A partir de la implicación o condicional 𝑝 → 𝑞 se puede obtener otros dos condicionales

fundamentales cuando se trabaja los teoremas. Estas dos condicionales son:

1. La reciproca de p  q es q P

2. La contrarrecíproca de p  q es q  p
Una universidad, todo un país
 Ejemplo:

Si 3 es un número impar entonces (3)2 es impar

Hallar la recíproca y su valor de verdad

Reciproca: si (3)2 es impar, entonces 3 es impar.

El valor verdadero de éste condicional q es verdadero y p es verdadero, en el condicional
es verdadero.

Contra recíproca: si (3)2 no es impar, entonces 3 no es impar.

El valor de verdad de este condicional es q es falso y p es falso y el condicional es
verdadero.

Bicondicional (... SI Y SOLO SI ., ..)

Esta proposición está formada por las implicaciones 𝑝 → 𝑞 𝑦 𝑞 → 𝑝, las cuales deben tener el mismo
valor de verdad, para formar la equivalencia entre p y q; en consecuencia se dice que p es equivalente

a q y se acostumbra a escribir 𝑝 ↔ 𝑞.

Una universidad, todo un país

Esta equivalencia entre p y q, tiene más de una traducción que significan lo mismo:
p si y solo q si p entonces q recíprocamente
q si y solo p si q entonces p recíprocamente

La sentencia será verdadera cuando ambas variables proposicionales sean iguales.

p q p q
==================
V V V
V F F
F V F
F F V

Axiomas y reglas

Los axiomas para el cálculo proposicional son:

( p p )  p
q  ( p q )
(pq)(qp)
(pq)[(rp)(rq)]

A partir de estos axiomas y aplicando las dos reglas de transformación siguientes se puede
demostrar cualquier teorema:

Regla de sustitución: el resultado de reemplazar cualquier variable en un teorema por una

sentencia bien formada es un teorema.
Regla de separación: si S y ( S  R ) son teoremas, entonces R es un teorema.
Relativo a un criterio de validación, un sistema axiomático debe cumplir las siguientes
propiedades:
Debe ser lógico o razonable: en el sentido de que todo teorema es una tautología.
Completo: toda sentencia bien formada v lida es un teorema y se debe poder demostrar a partir
de los axiomas.
Consistente: no se pueden demostrar como teoremas, sentencias bien formadas que no sean
tautologías.
Deben ser independientes: ningún axioma debe ser derivable a partir de los otros.

Una universidad, todo un país

EJERCICIOS DE APLICACIÓN

De DISYUNCIÓN

Ejemplo:

Tiro las cosas viejas o que no me sirven

El sentido de la disyunción compuesta por p y q (p: tiro las cosas viejas, q: tiro las cosas que no
me sirven) es incluyente, pues si tiro algo viejo, y que además no me sirve, la disyunción es V.
La disyunción o es utilizada en sentido excluyente, ya que la verdad de la disyunción se da en
el caso de que al menos una de las proposiciones sea verdadera

Tabla de verdad

p q pq

V V V
V F V
F V V
F F F

Ejemplo:

Si p : Hace frio en Invierno , y

q : Napoleón invadió Lima

p  q: Hace frio en invierno o Napoleón invadió Lima

Por ser al menos una de las proposiciones verdadera la conjunción es verdadera

De IMPLICACIÓN O CONDICIONAL

Supongamos la implicación

i) Si apruebo, ENTONCES te presto el libro

p  q

La implicación está compuesta de las proposiciones

p: apruebo
q: te presto el libro

Nos interesa conocer la verdad o falsedad de la implicación i), en relación a la verdad o falsedad
de las proposiciones p y q. El enunciado puede pensarse como un compromiso, condicionado
Una universidad, todo un país
por p, y podemos asociar su verdad al cumplimiento del compromiso. Es evidente que si p es F,
es decir si no apruebo el examen, quedo liberado del compromiso y preste o no el apunte la
implicación es verdadera.

Si p es verdadera, es decir si apruebo el examen, y no presto el libro, el compromiso no se cumple

y la proposición i) es falsa. Si p y q son verdaderas, entonces la proposición i) es verdadera pues
el compromiso se cumple.

Tabla de verdad
p q pq

V V V
V F F
F V V
F F V

La tabla nos muestra que la implicación sólo es falsa si el antecedente es verdadero y el

consecuente es falso.

De DOBLE IMPLICACIÓN O BICONDICIONAL

Ejemplo:

p : Karina ingresa a la universidad

q : Karina estudia mucho

Entonces:

p  q: Karina ingresa a la universidad si y sólo si estudia mucho.

Ejemplo:

Sea i) a = b si y sólo si a² = b²

El enunciado está compuesto por las proposiciones:

p: a = b
q: a² = b²

Una universidad, todo un país

 Esta doble implicación es falsa si p es F y q es V. En los demás casos es V.

Tabla de verdad

p q 𝑝↔𝑞

V V V
V F F
F V F
F F V

La doble implicación o bicondicional sólo es verdadera si ambas proposiciones tienen el mismo

valor de verdad.

CONSTRUCCION DE TABLAS DE VERDAD

En la construcción de tablas de verdad debemos tener los siguientes hechos:

 Determinar el número posibles de combinaciones. Para “n” proposiciones simples, el número de

combinaciones será 2𝑛

 Si hay tres proposiciones simples, el número de combinaciones será de 23 = 8


 Si la última casilla o columna son todas verdaderas, se dice que la
proposición es una tautología.

Una universidad, todo un país

 Ejemplos:

1. Construir la tabla de verdad para:

p  q   q   p


p q  p  q p  q  p   q p  q   p   q
V V F F V V V

V F F V F F V

F V V F V V V

F F V V V V V

V V F F V V V

V F F V F F V

F V V F V V V

F F V V V V V



2. Construir la tabla de verdad

r  s  q  s   q   r

q r
q r s r  s r  s   q s   q s   q  r AB

V V V F F V V F V V

V V F F F F V F V V

V F V F V F V F V V

V F F F V F V F V V

F V V V F V F V F V

Una universidad, todo un país

F V F V F F V F V V

F F V V V F V V V V

F F F V V F V F V V

3. CONSTRUIR LA TABLA DE VERDAD APROPIADA PARA DEMOSTRAR O REFUTAR

 q  r q  r p  q  r  p   r p   r  q
P q r AB
V V V F F V V F V V

V V F F V F F V F V

V F V V F V V F V V

V F V V F V V F V V

V F F V V V V V V V

F V V F F V V F V V

F V F F V F V F V V

F F V V F V V F V V

F F F V V V V F V V

OBSERVACIONES:

En la última columna de una tabla de verdad pueden suceder 3 casos:

1. Si todos los valores son VERDADEROS, se dice que la proposición es TAUTOLOGÍA.

2. Si todos los valores son FALSOS, se dice que la proposición es una CONTRADICCION.

3. Si aparecen valores de verdaderos y falsos, se dice que la proposición es una

CONTINGENCIA O INDETERMINACION.

Una universidad, todo un país

BIBLIOGRAFÍA

RALPH, GRIMALDI Matemáticas discreta y combinatoria: 1998 3era.Ed.

DI PRISCO C. Introducción a la lógica matemática. Amalca Amazonia. 2009.
PALAU, G. Lógicas condicionales y razonamiento de sentido común. Barcelona:
Editorial Gedisa, 2004, 1ra Edición. 190 p.

WEBGRAFIA

http://www.uv.es/~ivorra/Libros/Logica.pdf
http://www.ia.uned.es/asignaturas/logica4/libro-logica-07.pdf

Una universidad, todo un país