MATEMÁTICA DISCRETA

La matemática en general y la matemática discreta en particular tiene un carácter

instrumental. Todas las ciencias usan la matemática como instrumento (para medir,
calcular, estimar, definir...) e incluso como lenguaje de expresión (por ejemplo las
ecuaciones diferenciales para la física). En concreto, la matemática discreta está ligada
profundamente a las Ciencias de la Computación pues los objetos con los que trata un
ordenador son objetos finitos (aunque pueden ser muy grandes) y por el triunfo de la
tecnología digital, que en muchos aspectos es una representación discreta de la realidad.
A los verbos anteriores objeto de la matemática discreta podemos asociar algún concepto
relacionado con la informática: formalizar con lenguajes de programación, procesos finitos
con algoritmos, números enteros con criptografía, contar con estudiar la capacidad de un
ordenador, enumerar con bases de datos, relacionar con redes, representar las relaciones
con planos de redes,...

LOGICA E INFORMATICA

¿Qué relación existe entre la lógica y la informática? Los ordenadores son máquinas
diseñadas para mecanizar trabajos intelectuales, entre otros, los cálculos basados en
operaciones aritméticas o el almacenamiento, clasificación y búsqueda de datos.

Al intentar mecanizar tareas más complejas entramos en el campo de la informática

conocido como inteligencia artificial, en el que se pretende que el ordenador sea capaz de
realizar ese tipo de razonamientos que el hombre efectúa de una manera un tanto informal,
por lo que es necesario definir y analizar con precisión dichos razonamientos. En otras
palabras, se trata de formalizar los razonamientos. Y de esto se ocupa la lógica.

LOGICA PROPOSICIONAL

Al realizar razonamientos empleamos sentencias que están conectadas entre sí por

conectivas lingüísticas. La lógica proposicional se ocupa del estudio de las conectivas
lingüísticas entre proposiciones. Una proposición es una oración que es verdadera o falsa
pero no ambas. Entonces surge la necesidad de establecer la relación entre las conectivas
lingüísticas y sus conectivos lógicos asociados en relación con los conceptos de verdad y
demostración.

Las conectivas lingüísticas permiten construir proposiciones compuestas a partir de otras

más simples. Así, si los símbolos p y q representan proposiciones genéricas, las conectivas
lingüísticas más empleadas son las que aparecen en la siguiente tabla:

SIGNIFICADO CONECTIVO NOMBRE ESCRITURA

y ∧ Conjunción p∧q
o ∨ Disyunción p∨q
no ¬ Negación ¬p
Si …entonces → Implicación o condicional p→q
Si y sólo si ↔ Bicondicional o equivalencia p↔q
TABLAS DE VERDAD
Una tabla de verdad es una tabla que muestra el valor de verdad de una proposición
compuesta, para cada combinación de valores de verdad que se pueda asignar a sus
componentes. Para determinar el número de filas que tendrá la tabla, se aplica la expresión
𝟐𝒏 donde n es el número de proposiciones simples involucradas en el ejercicio.

CONJUNCION DISYUNCION IMPLICACION BICONDICIONAL

NEGACION

TAUTOLOGIAS, FALACIAS Y CONTINGENCIAS

Una tautología es una proposición compuesta que es verdadera para todos los posibles
valores de verdad de las proposiciones componentes, pero si todos los valores son falsos,
se dice que es contradicción o falacia.
Una proposición compuesta cuyos resultados en sus diferentes líneas de la tabla de verdad,
dan como resultado V y F se le llama contingente.
Ejemplo
Realizar la tabla de verdad para (𝑝 → 𝑞) ∨ ¬𝑟

La tabla anterior corresponde a una contingencia.

Ejemplo:

p: Llueve
q: Las brujas no se peinan
r: hace sol

TALLER
ACTIVIDAD 1
Realice la tabla de verdad de las siguientes expresiones y determinar si son tautologías,
falacias o contingencias.

(p ∨ q) → (q ∨ p)

[(p → q) ∧ ¬q] → ¬𝑝

[(p ∨ q) ∨ (¬p ∨ q)] ∧ [(p ∨ ¬q) ∧ (¬p ∨ ¬q)]

[(¬p ∨ q) → 𝑟] ↔ [(p ∧ ¬q) ∨ r]

[(¬𝑝 ∨ q) ∨ (p ∧ q)] → [(¬p ∨ q)) ∨ ¬p]

ACTIVIDAD 2
Formalizar las siguientes expresiones del lenguaje natural a proposiciones.

1. Si Manuel es un televidente extraordinario y un pésimo estudiante, entonces sus

padres no estarán satisfechos y no le dejarán ver tanto la televisión.
2. Sólo si sigue lloviendo, no pasaremos problemas de abastecimiento de agua este
verano, pero sólo si deja de llover, no pasaremos problemas de inundaciones esta
semana.
3. Si Pedro no estuvo aquí, entonces tal vez lo descubrió por otro lado o tal vez si no
lo descubrió fue por pura casualidad.
4. Si no es cierto que las estrellas emiten luz y que los planetas la reflejan, entonces
éstos no giran alrededor de ellas.
5. Si trabajara los fines de semana y durmiera menos entonces no perdería el vuelo.