INGENIERÍA DE SOFTWARE

MATEMÁTICAS DISCRETAS Unidad I Lógica de predicados y proposicional

Tema 1.1 Conceptos básicos y lógica proposicional

MATEMÁTICAS DISCRETAS
Surge como una disciplina que unifica diversas áreas tradicionales de las Matemáticas (combinatoria,
probabilidad, geometría de polígonos, aritmética, grafos, …), como consecuencia de su interés en la
informática y las telecomunicaciones: la información se manipula y almacena en los ordenadores en
forma discreta (palabras formadas por ceros y unos), se necesita contar objetos (unidades de
memorias, unidades de tiempo), se precisa estudiar relaciones entre conjuntos finitos (búsquedas de
bases de datos), es necesario analizar procesos que incluyan un número finito de pasos (algoritmos).

Para hacernos una idea algo más clara del contenido de esta disciplina veamos algunas preguntas que
podemos plantearnos en informática y que se pueden responder con métodos de matemática discreta:

¿Hay alguna conexión entre dos ordenadores de una red?

Dada una tecnología de cableado, ¿cuál es el diseño de red más económico para cierta empresa?

¿Cómo puede ordenarse una lista de números enteros (o de tareas de una cadena) en forma creciente?

¿Cuántas palabras clave válidas hay para acceder a un sistema?

¿Cómo se puede codificar de forma adecuada y segura un mensaje?

La matemática discreta proporciona, por otro lado, algunas bases matemáticas para otros aspectos de
la informática: estructuras de datos, algorítmica, bases de datos, teoría de autómatas, sistemas
operativos, investigación operativa,... así como ayuda al desarrollo de ciertas capacidades
fundamentales para un ingeniero: capacidad de formalizar, de razonar rigurosamente, de representar
adecuadamente algunos conceptos...

Las estructuras discretas son las matemáticas de la informática, aunque no las únicas. De hecho, la
matemática discreta, considerada como disciplina independiente, ha nacido hace muy pocos años como
consecuencia de la aparición del computador que, al fin y al cabo, es una máquina finita.

LÓGICA
Es el estudio del razonamiento; se refiere específicamente a si el razonamiento es correcto. La lógica se
centra en la relación entre los enunciados y no en el contenido de una afirmación en particular.
Considera los siguientes argumentos:

Todos los matemáticos usan sandalias

Cualquiera que use sandalias es un algebrista

Por lo tanto, todos los matemáticos son algebristas

En sentido técnico, la lógica no ayuda a determinar si alguna de estas afirmaciones es cierta; sin
embargo, si las primeras dos afirmaciones son ciertas, la lógica asegura que la afirmación

Elaborado por: M.S.I. Blanca Patricia Guerrero Martínez 1

 INGENIERÍA DE SOFTWARE
MATEMÁTICAS DISCRETAS Unidad I Lógica de predicados y proposicional
Tema 1.1 Conceptos básicos y lógica proposicional

todos los matemáticos son algebristas

también es cierta.

Los métodos lógicos se usan en matemáticas para demostrar teoremas y, en las ciencias de la
computación, para probar que los programas hacen lo que deben hacer. Por ejemplo, a un estudiante
se le asigna el desarrollo de un programa para calcular las trayectorias más cortas entre ciudades;
después de escribir el programa, es fácil que el estudiante revise si funciona correctamente con un
número reducido de ciudades, pero ¿cómo puede el estudiante estar seguro de que el programa trabaja
bien para muchos datos? Él tendrá que usar la lógica para argumentar que el programa es correcto.

LÓGICA PROPOSICIONAL
Es una rama de la lógica clásica que estudia las variables proposicionales o sentencias lógicas, sus
posibles implicaciones, evaluaciones de verdad y en algunos casos su nivel absoluto de verdad.
Algunos autores también la identifican con la lógica matemática o la lógica simbolice, ya que utiliza una
serie de símbolos especiales que lo acercan al lenguaje matemático.

En muchos algoritmos y demostraciones se usan expresiones lógicas como:

“SI p ENTONCES” o “SI p1 Y p2 ENTONCES q1 O q2”

Por consiguiente, es necesario conocer los casos en que estas expresiones son VERDADERAS o
FALSAS; es decir, conocer el “valor de verdad” de tales expresiones.

PROPOSICIÓN
Una proposición (o declaración) es una oración declarativa (o aseverativa) que es falsa o verdadera,
pero no ambas; en otras palabras, una oración que es verdadera o falsa, se llama proposición. Toma en
cuenta las siguientes oraciones:

i) El hielo flota en el agua.

ii) China está en Europa.

iii) 2 + 2 = 4

iv) 2 + 2 = 5

v) La Tierra es el único planeta que tiene vida.

vi) Haz tu tarea

La cinco primeras oraciones son proposiciones; las última no. También i) y iii) son verdaderas, pero ii) y
iv) son falsas. La oración v) puede ser verdadera o falsa (pero no ambas), sin embargo, en este
momento se ignora. La oración vi) no es falsa ni verdadera, esta oración es una orden.

Existen dos clases de proposiciones:

Elaborado por: M.S.I. Blanca Patricia Guerrero Martínez 2

 INGENIERÍA DE SOFTWARE
MATEMÁTICAS DISCRETAS Unidad I Lógica de predicados y proposicional
Tema 1.1 Conceptos básicos y lógica proposicional

Tipo de
Concepto Clasificación
proposición
Son las proposiciones que no Ejemplos:
Simple Constan de sujeto
se pueden dividir, carecen de  El número 2 es par
predictiva y predicado
Simples conjunciones gramaticales  El espacio es relativo
(atómicas o típicas o conectivas (“y”, “o”, Ejemplos:
Constan de dos o
elementales) “si…entonces”, “si y sólo si”) Simple  Silvia es hermana de
más sujetos
o del adverbio de negación relacional Angélica
vinculados entre sí
“no”.  8 es mayor que 5
Según el tipo de conjunción que llevan:

Conjuntivas
Son aquellas que están
formadas por dos o más Disyuntivas
proposiciones simples unidas
Compuestas
por los operadores lógicos; Condicionales
(moleculares)
es decir, contienen alguna
conjunción gramatical o el Bicondicionales
adverbio negativo “no”.
Negativas (llevan el adverbio “no”).

Esta clasificación se verá a detalle en el siguiente tema.

Veamos más ejemplos de proposiciones:

a) Dolly fue la primera oveja clonada.

b) El átomo es una molécula.

c) El cuadrilátero es un polígono de cuatro lados.

d) ¿Qué es la lógica?

e) Debemos honrar a nuestros héroes.

f) ¡Por Júpiter! ¡Casi me saco la lotería!

g) Quizá llueva mañana.

h) Valentín es bueno.

Considerando las oraciones anteriores, a) y b) son ejemplos de proposiciones, porque tiene sentido
decir que a) es verdadera y que b) es falsa. En consecuencia, la verdad y la falsedad son sus
propiedades, recuerda, sólo las proposiciones pueden ser verdaderas o falsas. Observa que c) es
proposición porque es una oración aseverativa verdadera; d) no es proposición porque es una oración
interrogativa; e) no es proposición porque es una oración imperativa o exhortativa; f) no es proposición

Elaborado por: M.S.I. Blanca Patricia Guerrero Martínez 3

 INGENIERÍA DE SOFTWARE
MATEMÁTICAS DISCRETAS Unidad I Lógica de predicados y proposicional
Tema 1.1 Conceptos básicos y lógica proposicional

porque es una oración exclamativa; g) no es proposición porque es una oración dubitativa, y finalmente,
h) no es proposición porque constituye un juicio de valor.

Finalmente, toda proposición es una oración aseverativa, pero no toda oración aseverativa es una
proposición. Ejemplos:

i) El triángulo es inteligente.

j) Eduardo es un número racional.

k) x + 3 = 5

l) a es la capital del Perú.

Las oraciones anteriores son ejemplos de oraciones aseverativas, mas no de proposiciones. Explico, i) y
j) son expresiones lingüísticas que tienen apariencia de proposiciones, pero que realmente no lo son
porque no tiene sentido decir de ellas que son verdaderas o falsas. Son pseudoproposiciones, es decir,
falsas proposiciones. De igual forma, k) y l) son también ejemplos de oraciones aseverativas, pero no de
proposiciones; no son verdaderas ni falsas porque en ellas figura una o más letras sin interpretar, son
ejemplos de funciones proposicionales.

Para que una expresión lingüística sea proposición debe cumplir con los siguientes requisitos:

1) Ser oración.

2) Ser oración aseverativa, y

3) Ser o bien verdadera o bien falsa.

Muchas proposiciones son compuestas; por ejemplo, las proposiciones anteriores de i) a v) son
primitivas. Por otra parte, las dos siguientes proposiciones son compuestas:

“Las rosas son rojas y las violetas son azules” y

“Juan es inteligente o estudia cada noche”

Es común que una proposición se exprese como una oración declarativa (indicado en el concepto de
proposición) y no como pregunta, orden, exclamación, etc.. Las proposiciones son los bloques básicos
de construcción de cualquier teoría de lógica.

Generalmente se usan las letras p, q y r como variables para representar las proposiciones.

Elaborado por: M.S.I. Blanca Patricia Guerrero Martínez 4