Conferencia1 MDI

Introducción
Introducción a la lógica
Desarrollo
Conclusiones
Conferencia 1: Lógica proposicional
Ing. Maria Esther Orozco Vaillant
Universidad de las Ciencias Informáticas
Facultad Introductoria de Ciencias Informáticas (FICI)
Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Introducción
Desarrollo
Conclusiones
Sumario
Introducción a la Matemática Discreta.
Introducción a la lógica.
Proposiciones y tablas de verdad.
Operadores proposicionales.
Fórmulas proposicionales.
Clasificación de fórmulas.
Recı́proco y contrarrecı́proco.
Implicación y equivalencias lógicas.
Leyes de la lógica proposicional.
Formas normales.
Introducción
Desarrollo
Conclusiones
Objetivo
Identificar los elementos básicos de la lógica proposicional a

partir de la caracterización de su lenguaje, ası́ como de sus
reglas y leyes para la interpretación de fórmulas y la realización
de demostraciones.

Introducción
Desarrollo
Conclusiones
Introducción
¿Qué es la Matemática Discreta?

Las matemáticas discretas son un área de las matemáticas en-
cargadas del estudio de los conjuntos discretos: finitos o infinitos
numerables. Son fundamentales para la computación, porque
sólo son computables las funciones de conjuntos numerables.
¿Cuántos números existen entre el 1 y el 2,

incluyéndolos a ambos?

Introducción
Desarrollo
Conclusiones
Introducción
¿Para qué sirve la Matemática Discreta?
Algunas preguntas que se resuelven haciendo uso de la matemática
discreta:
¿De cuántas formas se puede elegir una contraseña a un equipo

informático?
¿Cuál es el camino más corto entre dos ciudades?
¿Cómo se puede ordenar una lista de enteros de manera cre-

ciente?
¿Cómo puedo diseñar circuitos lógicos?

Introducción
Desarrollo
Conclusiones
Introducción
Temas de la asignatura
1 Lógica proposicional y de predicados (14 h/c)
2 Deducción proposicional y técnicas de demostraciones (18
h/c)
3 Circuitos Lógicos (8 h/c)
4 Máquinas de Turing (10 h/c)
5 Teorı́a de conjuntos y relaciones binarias (14 h/c)

Introducción
Desarrollo
Conclusiones
Introducción

Introducción
Introducción a la lógica El razonamiento humano
Desarrollo Resolución de problemas
Conclusiones
En todo proceso
que involucre
la conciencia y
el razonamiento
humano exis-
te un flujo de
información...

Introducción
Conclusiones
El razonamiento humano

Introducción
Conclusiones
Nivel Sintáctico
(¿Lo entiendo?)
Heute regnet es intensiv

Introducción
Conclusiones
Nivel Sintáctico
(¿Lo entiendo?)
Nivel Semántico
(Ya lo entiendo, pero...¿qué significa?)
Hoy está lloviendo con intensidad

Introducción
Conclusiones
Nivel Sintáctico
(¿Lo entiendo?)
Nivel Semántico
(Ya lo entiendo, pero...¿qué significa?)
Hoy está lloviendo con intensidad
Nivel Pragmático
(¿Cómo se dice? ¿Cuál es la intención?)
¿Hoy está lloviendo con intensidad?
!!!HOY EST Á LLOVIENDO CONMatemática
INTENSIDAAAAAAAD!!!
Discreta I
Introducción
Conclusiones
En la informática
En informática nos preocupamos de problemas asociados

a computadoras, resolvemos problemas aplicando
métodos automáticos o semiautomáticos, posiblemente
asistidos por algún tipo de computadora.

Introducción
Conclusiones
¿Qué usamos para describir problemas?
Lenguaje
Español, inglés, alemán, etc...
Matemática
Lenguajes especializados (medicina, biologı́a, geografı́a,
etc...)

Introducción
Conclusiones
Los lenguajes en la resolución de problemas
Caracterı́sticas de los lenguajes

Tanto la forma de escribirlo (sintaxis) como el significado
(semántica) tienen que estar claramente definidos
Debe permitirnos tres tareas sobre el problema:
Describir el problema sin ambigüedad
Construir la solución adecuada con un trabajo razonable
Verificación de la solución que se construyó

Introducción
Conclusiones

Los lenguajes que vamos a estudiar en esta asignatura constitu-
yen una base común de una gran cantidad de áreas especı́ficas
de las Ciencias Informáticas, entre ellas...

Introducción
Conclusiones
Los primeros lenguajes a estudiar en nuestra asignatura son:

Lógica proposicional (para expresar situaciones simples)
Lógica de predicados (lenguaje más expresivo y utilizado)

Proposiciones y tabla de verdad
Operadores proposicionales
Introducción Lenguaje de la lógica proposicional
Introducción a la lógica Fórmulas proposicionales y su clasificación
Desarrollo Recı́proco y contrarrecı́proco
Conclusiones Implicación y equivalencias lógicas
Leyes de la lógica proposicional
Formas normales
Proposición
Definición 1
Una proposición es una oración enunciativa que es verdade-
ra o falsa, pero no ambas a la vez. Cuando la proposición es
verdadera se denota por 1, y cuando es falsa por 0.

Formas normales
Proposición
Ejemplo 1
Las siguientes oraciones enunciativas son proposiciones:
1 El 25 es divisible por 2
2 José Martı́ es el Héroe Nacional de Cuba
3 1+1=3
4 3 es un número primo, pero 4 no
Las proposiciones 2 y 4 son verdaderas, pero 1 y 3 no.

Formas normales
Proposición
Ejemplo 2
Las siguientes oraciones no son proposiciones:
1 Apriete F5 para actualizar su navegador.
2 ¿Ya terminaste?
3 x +1=3
4 En el planeta Júpiter no hay vida
5 Cinco menos cuatro es pequeño

Formas normales
Proposición simple o compuesta
Definición 2
Una proposición p es una proposición simple si esta no puede
descomponerse en otras proposiciones.
Definición 3
Si la proposición q surge de la negación de una proposición sim-
ple p1 o si las proposiciones simples p1 , p2 , . . . , pn se combinan
para formar la proposición q, diremos que q es una proposición
compuesta.

Formas normales
Ejemplo 3
Las siguientes proposiciones son simples:
1 Java es un lenguaje de programación
2 Nicolás Guillén es el Poeta Nacional de Cuba
3 Bolı́var es el libertador de América
4 La Matemática Discreta es de vital importancia para la
Ingenierı́a en Ciencias Informáticas

Formas normales
Ejemplo 4
Las siguientes proposiciones son compuestas:
1 Nicolás Guillén es el Poeta Nacional de Cuba y Bolı́var es
el libertador de América
2 Si un número es divisible por 2 entonces decimos que es
un número par
3 La función f (x) = x 2 es inyectiva o es sobreyectiva

Formas normales
Variable proposicional
Definición 4
Una variable proposicional es una proposición arbitraria (sim-
ple o compuesta) con un valor de verdad no especificado, es
decir, puede ser verdadera o falsa.

Formas normales
Variable proposicional
Ejemplo 5
A continuación se muestran ejemplos de variables proposiciona-
les p, q, y r :
p: si la computadora enciende entonces comienzo a programar.
q: realizo el algoritmo en clases o voy hacia la biblioteca a
estudiar.
r : Rachel es disciplinada o no entiende al profesor.

Formas normales
Tablas de verdad
Definición 5
La tabla de verdad de una proposición compuesta q enumera
todas las posibles interpretaciones de los valores de verdad para
las proposiciones p1 , p2 , . . . , pn .

Formas normales
Tabla de verdad
Ejemplo 6
Si q es una proposición compuesta por 2 proposiciones simples
(p1 y p2 ), entonces la tabla de verdad de q recoge los siguientes
valores de verdad dentro de sus 4 interpretaciones:
p1 p2
0 0
0 1
1 0
1 1

Formas normales
Tabla de verdad
Ejemplo 7
Si q es una proposición compuesta por 3 proposiciones sim-
ples (p1 , p2 y p3 ), entonces la tabla de verdad de q recoge los
siguientes valores de verdad dentro de sus 8 interpretaciones:
p1 p2 p3
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1
Ing. Maria Esther Orozco Vaillant 1 1
Matemática Discreta I
Formas normales
Tabla de verdad
PROPIEDAD 1
Si q es una proposición compuesta por n proposiciones simples
(n ≥ 1), entonces la tabla de verdad de q tiene un total de 2n
interpretaciones.

Formas normales
Operador: Negación
Definición 6
Sea p una proposición. El enunciado no p es otra proposición,
llamada la negación de p. La negación de p se denota mediante
¬p.
Si p ∼
= 1 entonces ¬p ∼= 0 y si p ∼
= 0 entonces ¬p ∼ = 1.
A continuación se muestran los dos posibles valores de una pro-
posición p y los correspondientes valores de la tabla de verdad
de su negación ¬p:
p ¬p
0 1
1 0
Formas normales
En el lenguaje natural que conocemos, algunas de las frases más

usadas para denotar la negación de cualquier proposición p son:
no p.
es falso que p.
no es cierto que p.
no se cumple que p.

Formas normales
Ejemplo 8
Sean las siguientes proposiciones:
p: la función f (x) = x 2 es inyectiva
¬p: la función f (x) = x 2 no es inyectiva
Conocemos por lo estudiado en enseñanzas precedentes que p
es falsa (0) y que ¬p es verdadera (1).
Otra manera de escribir ¬p es:
no es cierto que la función f (x) = x 2 es inyectiva.
Formas normales
Operador: Conjunción
Definición 7
Sean p y q proposiciones. La proposición p y q, denominada
conjunción de p y q, y denotada como p ∧ q, es la proposi-
ción que es verdadera cuando p y q son verdaderas y falsa en
cualquier otros caso.
A continuación se muestra la tabla de verdad de la proposición
compuesta p ∧ q:
p q p∧q
0 0 0
0 1 0
1 0 0
Formas normales
usadas para denotar la conjunción entre dos proposiciones son:
p y q.
p sin embargo q.
p pero q.
p no obstante q.
p a pesar de q.
p además de q.
p en adición a q.

Formas normales
Ejemplo 9
p: El número 2 es primo.
q: El número 2 es par.
Por tal motivo:
p ∧ q: El número dos es primo y par.
Otra manera de expresarlo es:
p ∧ q: El número 2 es primo a pesar de que es par.
Formas normales
Operador: Disyunción
Definición 8
Sean p y q proposiciones. La proposición p o q, denominada
disyunción de p y q, y denotada como p ∨ q, es la proposición
que es verdadera cuando p o q son verdaderas y únicamente
falsa cuando ambas son falsas.
compuesta p ∧ q:
p q p∨q
0 0 0
0 1 1
1 0 1
Formas normales

usadas para denotar la disyunción entre dos proposiciones son:
p o q.
o p o q o ambas cosas.
p pero q.
al menos p o q.
como mı́nimo p o q.

Formas normales
Ejemplo 10
p: Miguel es un estudiante de la FICI.
q: Miguel no es de primer año.
p ∨ q: Miguel es un estudiante de la FICI o no es de primer año.
p ∨ q: Miguel es un estudiante de la FICI o no es de primer año
o ambas cosas.
Formas normales
Operador: Condicional
Definición 9
Sean p y q proposiciones. La proposición p entonces q, denominada
condicional de p y q, y denotada como p ⇒ q, es la proposición que
es falsa cuando p es verdadera y q es falsa, en todos los demás casos
es verdadera. En esta implicación, p se llama hipótesis (premisa o
condición) y q se llama tesis (o conclusión).
A continuación se muestra la tabla de verdad de la proposición com-

puesta p ⇒ q:
p q p⇒q
0 0 1
0 1 1
Ing. Maria Esther Orozco 1 0
Vaillant 0
Formas normales
ESTUDIO INDEPENDIENTE
Estudie y comprenda cuáles son algunas de las frases más usadas
para denotar el operador condicional entre dos proposiciones.
(Libro: Matemática Discreta para Ingenieros en Ciencias In-
formáticas, página 13)

Formas normales
Ejemplo 11
p: El 100 es divisible por 2.
q: El 100 es par.
Por tal motivo:
p ⇒ q: Si el 100 es divisible por 2 entonces es par.
p ⇒ q: Es necesario que el 100 sea par para que sea divisible por 2.
p ⇒ q: Basta que el 100 sea divisible por 2 para que sea par.
Formas normales
Operador: Bicondicional
Definición 10
Sean p y q proposiciones. La proposición p si y solo si q, denomina-
da bicondicional de p y q y denotada como p ⇔ q, es la proposición
que es verdadera cuando p y q tienen los mismos valores de verdad
y falsa en los demás casos.

puesta p ⇔ q:
p q p⇔q
0 0 1
0 1 0
1 0 0
1 1
Ing. Maria Esther Orozco Vaillant 1
Formas normales

usadas para denotar la bicondicional entre dos proposiciones
son:
p es necesario y suficiente para q.
p si y solo si q.
p es equivalente a decir q.
si p entonces q y viceversa.

Formas normales
Ejemplo 12
p: Programo en el lenguaje JAVA.
q: Mi PC tiene sistema operativo NOVA.
Por tal motivo:
p ⇔ q: Programo en el lenguaje JAVA si y solo si mi PC tiene
sistema operativo NOVA.

Formas normales
Operador: Disyunción exclusiva

Definición 11
Sean p y q proposiciones. La proposición p o q pero no ambas
cosas, llamada disyunción exclusiva de p y q, y denotada como
p ⊗ q, es la proposición que es verdadera cuando p es verdadera o
q es verdadera pero no ambas a la vez.

puesta p ⊗ q:
p q p⊗q
0 0 0
0 1 1
1 0 1
1 1
Ing. Maria Esther Orozco Vaillant 0
Formas normales

usadas para denotar la disyunción exclusiva entre dos proposi-
ciones son:
p o q pero no ambas cosas.
solamente p o solamente q.
como máximo p o como máximo q.

Formas normales

Ejemplo 13
p: Remberto programa en C#.
q: Remberto programa en Java.
Por tal motivo:
p ⊗ q: Remberto programa en C# o programa en Java pero no en
ambas cosas.
p ⊗ q: Remberto programa solamente en C# o solamente en Java.
Formas normales
Operador: NAND(Negación de una conjunción)
Definición 12
Sean p y q proposiciones. La proposición no es cierto que p y q,
denominada operación nand de p y q, y denotada como p ↑ q, es
la proposición que se define de la siguiente manera:
p↑q∼
= ¬[p ∧ q]
p ↑ q es falsa cuando p y q son verdaderas, en cualquier otro caso

es verdadera.

Formas normales

compuesta p ↑ q:
p q p↑q
0 0 1
0 1 1
1 0 1
1 1 0
En el lenguaje natural que conocemos, una frase usada para

denotar la operación nand entre dos proposiciones es:
no es cierto que p y q.
Formas normales

Ejemplo 14
p: Marı́a estudia programación a las 3:00PM de hoy viernes.
q: Marı́a asiste a una actividad cultural a las 3:00PM de hoy
viernes.
Por tal motivo:
p ↑ q: No es cierto que Marı́a estudia programación y asiste a
una actividad cultural a las 3:00PM.
Formas normales
Operador: NOR(Negación de una disyunción)
Definición 13
Sean p y q proposiciones. La proposición no es cierto que p o q,
denominada operación nor de p y q, y denotada como p ↓ q, es la
proposición que se define de la siguiente manera:
p↓q∼
= ¬[p ∨ q]
p ↓ q es verdadera cuando p y q son falsas, en cualquier otro caso

es falsa.

Formas normales

compuesta p ↓ q:
p q p↓q
0 0 1
0 1 0
1 0 0
1 1 0
En el lenguaje natural que conocemos, una frase usada para

denotar la operación nor entre dos proposiciones es:
no es cierto que p o q.
Formas normales

Ejemplo 15
p: Fernando asiste al estadio de beisbol con su novia.
q: Fernando va al cine con su madre.
Por tal motivo:
p ↓ q: No es cierto que Fernando asiste al estadio de beisbol
con su novia o va al cine con su madre.

Formas normales
Lenguaje de la lógica proposicional

Alfabeto de la lógica proposicional
1 Variables: tales como p, q y r que serán usadas para
representar proposiciones simples cualesquiera o su valor de
verdad.
2 Constantes proposicionales: los sı́mbolos 1 y 0.
3 Operadores proposicionales: ¬, ∧, ↑, ∨, ⊗, ↓, ⇒, ⇔.
4 Signos auxiliares de escritura: [ ] para agrupar las operaciones
de manera que quede claro a qué proposiciones se aplica una
operación proposicional evitando ası́ la ambigüedad en la
lectura.
Formas normales
Fórmulas proposicionales
Definición 14
Las siguientes constituyen reglas para la creación de fórmulas en el
lenguaje proposicional:
1 Las variables y las constantes proposicionales son fórmulas.
2 Si A es una fórmula entonces ¬A es una fórmula.
3 Si A y B son fórmulas entonces [A ∧ B], [A ↑ B], [A ∨ B],
[A ⊗ B], [A ↓ B], [A ⇒ B], [A ⇔ B] son fórmulas.
4 No hay fórmulas en el lenguaje proposicional que no sean las
dadas por las reglas anteriores.
Formas normales
Ejemplo 16
Las siguientes expresiones constituyen fórmulas del lenguaje pro-
posicional:
a) [p ⇒ q] ⇔ [q ∧ r ].
b) ¬[¬p ⇒ q] ∧ [q ⊗ r ] ↓ s.

Formas normales
Ejemplo 17
No constituyen fórmulas del lenguaje proposicional:
a) p ⇒↑ q.
b) q ∧ r ¬s.

Formas normales
Ejemplo 18
Convierte la expresión A del lenguaje natural al lenguaje de la lógica
proposicional:
A: Programo en el lenguaje Java y actualizo la base de datos del
sistema si mi PC tiene sistema operativo NOVA.

Formas normales
Para ello extraemos de la expresión las proposiciones simples
que la conforman:
p: programo en el lenguaje JAVA.
q: actualizo la base de datos del sistema.
r: mi PC tiene sistema operativo NOVA.
La expresión en el lenguaje de la lógica proposicional queda
expresada de la siguiente manera:
r ⇒p∧q

Formas normales
Precedencia de los operadores

A la hora de conocer el valor de verdad de cierta fórmula pro-
posicional se hace indispensable conocer el orden de las ope-
raciones, sin importar el orden en que estén expuestas. A este
ordenamiento se le denomina precedencia de los operadores.
La precedencia de los operadores lógicos es la siguiente:
1 Negación de variables o constantes.
2 Fórmulas entre agrupadores.
3 Negación de fórmulas.
4 Conjunción y operador nand.
5 Disyunción y operador nor.
6 Condicional.
7 Bicondicional y disyunción exclusiva.
Formas normales
Ejemplo 19
Construye la tabla de verdad de la fórmula:
A : [p ⇒ q] ∨ ¬q ↑ r ⇔ r ↓ p

Formas normales

Tabla de verdad de la fórmula A
Variables Operaciones auxiliares Final
A B C D
p q r ¬q p ⇒ q ¬q ↑ r r ↓ p A ∨ B D⇔C
0 0 0 1 1 1 1 1 1
0 0 1 1 1 0 0 1 0
0 1 0 0 1 1 1 1 1
0 1 1 0 1 1 0 1 0
1 0 0 1 0 1 0 1 0
1 0 1 1 0 0 0 0 1
1 1 0 0 1 1 0 1 0
1 1 1 0 1 1 0 1 0
La explicación se desarrolla en el ejemplo 1.20 del libro Ma-

temática Discreta para IngenierosMatemática
en Ciencias
Discreta I
Informáticas
Formas normales
Clasificación de fórmulas
Definición 15
Una fórmula A es modelo (verdadera) para una interpretación
si y sólo si A ∼
= 1 para dicha interpretación. De lo contrario, A
es un contramodelo (falsa) para dicha interpretación.

Formas normales
Ejemplo 20
En la tabla de verdad construida en el ejemplo anterior (Ejem-
plo 19) son modelos las interpretaciones 1, 3, 6. Constituyen
contramodelos las interpretaciones 2, 4, 5, 7 y 8.

Formas normales
Definición 16
Una fórmula A es una tautologı́a si y sólo si todas sus inter-
pretaciones son modelos.
Una fórmula A es una contradicción si y sólo si todas sus
interpretaciones son contramodelos.
Una fórmula A es una contingencia si y sólo si posee modelos
y contramodelos.

Formas normales
Recı́proco y contrarrecı́proco
Definición 17
Sean A y B fórmulas proposicionales. El recı́proco de la con-
dicional A ⇒ B es la fórmula B ⇒ A. El contrarrecı́proco de
la condicional A ⇒ B es la fórmula ¬B ⇒ ¬A.

Formas normales
Recı́proco y contrarrecı́proco
Ejemplo 21
Sea la siguiente expresión:
A: Programo en el lenguaje Java y actualizo la base de datos
del sistema si mi PC tiene sistema operativo NOVA.
a) Determine el recı́proco de A.
b) Determine el contrarrecı́proco de A.
Ejemplo 1.19 del libro Matemática Discreta para Ingenieros en

Ciencias Informáticas

Formas normales
Implicación lógica
Definición 18
Dadas dos fórmulas cualesquiera A y B, se dice que A implica
lógicamente a B, lo cual denotaremos como A V B, si y sólo
si A ⇒ B es una tautologı́a.

Formas normales
Ejemplo 22
Determine si [p ⇔ q] V [¬p ∨ q].
A B
p q ¬p p ⇔ q ¬p ∨ q A⇒B
0 0 1 1 1 1
0 1 1 0 1 1
1 0 0 0 0 1
1 1 0 1 1 1
Se tiene que [p ⇔ q] V [¬p ∨ q] puesto que [p ⇔ q] ⇒ [¬p ∨ q] es una

tautologı́a, debido a que todas sus interpretaciones son modelos.

Formas normales
Ejemplo 23
Determine si A implica lógicamente a B, siendo A : [r ⊗ q ↑ r ]
y B : [q ⇒ r ].
A B C
r q q ↑r r ⊗A q ⇒r B⇒C
0 0 1 1 1 1
0 1 1 1 0 0
1 0 1 0 1 1
1 1 0 1 1 1
No se cumple que A implique lógicamente a B, puesto que A ⇒ B no es

una tautologı́a, debido a que no todas sus interpretaciones son modelos;
por ejemplo la segunda interpretación es contramodelo.
Formas normales
Equivalencia lógica
En la matemática tradicionalmente conocida, cuando dos ex-

presiones expresan el mismo resultado decimos que son iguales
(por ejemplo 5 + 1 = 2 + 4). En la lógica no existe la igualdad.
Cuando dos fórmulas tienen el mismo valor de verdad decimos
que son equivalentes.
Definición 19
Dadas dos fórmulas cualesquiera A y B, se dice que A es lógi-
camente equivalente a B, lo cual denotaremos como A ∼ = B,
si y sólo si A ⇔ B es una tautologı́a.

Formas normales
Ejemplo 24
Determine si [p ⇒ q] ∼
= [¬p ∨ q].
A B
p q ¬p p ⇒ q ¬p ∨ q A⇔B
0 0 1 1 1 1
0 1 1 1 1 1
1 0 0 0 0 1
1 1 0 1 1 1
Se tiene que [p ⇒ q] ∼ = [¬p ∨ q] puesto que [p ⇒ q] ⇔ [¬p ∨ q] es una

tautologı́a, debido a que todas sus interpretaciones son modelos.

Formas normales
Ejemplo 25
Determine si A es lógicamente equivalente a B, siendo A : [¬p ↓
q] y B : [q ∧ p].
A B C
p q ¬p ¬p ↓ q q∧p B⇔C
0 0 1 0 0 1
0 1 1 0 0 1
1 0 0 1 0 0
1 1 0 0 1 0
Se tiene que A ∼
6 B puesto que A ⇔ B no es una tautologı́a, debido a que
=
no todas sus interpretaciones son modelos. Nótese como A ⇔ B es una
contingencia.
Formas normales
Teorema 1
Sean A, B y C fórmulas cualesquiera de la lógica. Se cumplen
las siguientes leyes:
1 Ley de idempotencia
a) A ∨ A ∼
=A
b) A ∧ A ∼
=A
2 Ley conmutativa
a) A ∨ B ∼
=B ∨A
b) A ∧ B ∼
=B ∧A

Formas normales
Teorema 1
3 Ley asociativa
a) [A ∨ B] ∨ C ∼
= A ∨ [B ∨ C ]
b) [A ∧ B] ∧ C ∼
= A ∧ [B ∧ C ]
4 Ley de identidad
a) A ∨ 0 ∼
=A
b) A ∧ 1 ∼
=A

Formas normales
Teorema 1
5 Ley de la doble negación: ¬[¬A] ∼
=A
6 Ley distributiva
a) A ∨ [B ∧ C ] ∼
= [A ∨ B] ∧ [A ∨ C ]
b) A ∧ [B ∨ C ] ∼
= [A ∧ B] ∨ [A ∧ C ]
7 Ley del contrarrecı́proco: A ⇒ B ∼
= ¬B ⇒ ¬A
8 Ley del opuesto lógico
a) ¬0 ∼
=1
b) ¬1 ∼
=0

Formas normales
Teorema 1
9 Ley del tercero excluı́do: A ∨ ¬A ∼
=1
10 Ley de la contradicción: A ∧ ¬A ∼
=0
11 Ley de dominación
a) A ∨ 1 ∼
=1
b) A ∧ 0 ∼
=0

Formas normales

Teorema 1
12 Ley de definición de la condicional: A ⇒ B ∼
= ¬A ∨ B
13 Ley de definición de la bicondicional:
A⇔B ∼ = [A ⇒ B] ∧ [B ⇒ A]
14 Ley de absorción
a) A ∨ [A ∧ B] ∼
=A
∼
b) A ∧ [A ∨ B] = A
15 Ley de DeMorgan
a) ¬[A ∨ B] ∼
= ¬A ∧ ¬B
b) ¬[A ∧ B] ∼
= ¬A ∨ ¬B

Formas normales
Ejemplo 26
Demuestre que las proposiciones ¬[p ∨ [¬p ∧ q]] y ¬p ∧ ¬q son
lógicamente equivalente.

Formas normales
Ejemplo 26
Utilizando las leyes
¬[p ∨ [¬p ∧ q]] ∼ = ¬p ∧ [¬[¬p ∧ q]] por Ley de De Morgan
∼
= ¬p ∧ [¬[¬p] ∨ ¬q] por Ley de De Morgan
∼
= ¬p ∧ [p ∨ ¬q] por Ley de la doble negación
∼
= [¬p ∧ p] ∨ [¬p ∧ ¬q] por Ley distributiva
∼
= 0 ∨ [¬p ∧ ¬q] por Ley de contradicción
∼
= ¬p ∧ ¬q por Ley de identidad

Formas normales
Ejemplo 27
Demuestre que [p ∧ q] ⇒ [p ∨ q] es una tautologı́a. Usaremos
equivalencias lógicas para concluir que es lógicamente equiva-
lente a 1.

Formas normales
Ejemplo 27
[p ∧ q] ⇒ [p ∨ q] ∼
= ¬[p ∧ q] ∨ [p ∨ q] por la Ley de definición
de la condicional
∼
= [¬p ∨ ¬q] ∨ [p ∨ q] por Ley de De Morgan
∼
= ¬p ∨ [¬q ∨ p ∨ q]
∼
= ¬p ∨[[¬q ∨q]∨p] por la Ley Asociativa con Ley Conmutativa
∼
= [¬p ∨ p] ∨ [¬q ∨ q]
∼
= 1 ∨ 1 por la Ley de Tercero excluı́do
∼
= 1 por la Ley de idempotencia

Formas normales
Formas normales
Las leyes de equivalencia permiten transformar fórmulas de la

lógica proposicional en otras más simples de evaluar o que estén
escritas en alguna forma que sea útil para su manipulación. En
lógica proposicional existen dos formas para representar fórmu-
las que son importantes, puesto que permiten definir métodos
genéricos de evaluación y análisis; estas formas se conocen co-
mo formas normales, y en particular: forma normal disyuntiva
y forma normal conjuntiva.

Formas normales
Literal
Definición 20
Una fórmula A se denomina un literal, si A es una variable
proposicional o la negación de una variable proposicional.
Ejemplo 28
p, ¬q son literales.
p es un literal positivo y ¬q un literal negativo.

Formas normales
Cláusulas
Definición 21
Una fórmula A se denomina cláusula disyuntiva, si A es una
disyunción de literales.
Definición 22
Una fórmula A se denomina cláusula conjuntiva, si A es una
conjunción de literales.

Formas normales
Cláusulas
Ejemplo 29
[p ∨ q] ∨ [p ∨ ¬q ∨ r ] son cláusulas disyuntivas.
[p ∧ q] y [p ∧ ¬q ∧ r ] son cláusulas conjuntivas.
Las constantes proposicionales (0 y 1) y los literales (p,

¬p, etc.) constituyen por si solos cláusulas disyuntivas y
claúsulas conjuntivas.

Formas normales
Forma Normal Conjuntiva(FNC)
Definición 23
Una fórmula está en su forma normal conjuntiva (FNC), si
es una conjunción de cláusulas disyuntivas, por lo que tiene la
forma:
F1 ∧ F2 ∧ F3 ∧ . . . ∧ Fn
en la cual Fn es una cláusula disyuntiva, es decir: Fn = P1 ∨
P2 ∨ P3 ∨ . . . ∨ Pn en ambos casos se tiene que n y m pueden
ser mayores o iguales que 1.

Formas normales
Forma Normal Conjuntiva (FNC)
Ejemplo 30
La fórmula [p ∨ q ∨ r ] ∧ [¬p ∨ r ] ∧ r está en su forma normal
conjuntiva constituida de tres cláusulas disyuntivas:
F1 = p ∨ q ∨ r , F2 = ¬p ∨ r y F3 = r .
Ejemplo 31
La fórmula [p ∧ q ∨ r ] ∨ [¬p ∨ r ] ∧ r no está en su forma nor-
mal conjuntiva; nótese como no es una conjunción de cláusulas
disyuntivas.

Formas normales
Forma Normal Disyuntiva (FND)
Definición 24
Una fórmula está en su forma normal disyuntiva (FND), si
es una disyunción de cláusulas conjuntivas, por lo que tiene la
forma:
F1 ∨ F2 ∨ F3 ∨ . . . ∨ Fn
en la cual Fn es una cláusula conjuntiva, es decir: Fn = P1 ∧
P2 ∧ P3 ∧ . . . ∧ Pn en ambos casos se tiene que n y m pueden
ser mayores o iguales que 1.

Formas normales
Forma Normal Disyuntiva (FND)
Ejemplo 32
La fórmula [p ∧ q ∧ ¬r ] ∨ [¬p ∨ r ] ∨ ¬r está en su forma normal
disyuntiva constituida de tres cláusulas conjuntivas:
F1 = p ∧ q ∧ ¬r , F2 = ¬p ∨ r y F3 = ¬r .
Ejemplo 33
La fórmula [r ∧ q ∨ ¬p] ∨ [¬p ∨ r ] ∧ r no está en su forma nor-
mal disyuntiva; nótese como no es una disyunción de cláusulas
conjuntivas.

Formas normales
Formas normales
ESTUDIO INDEPENDIENTE
Estudiar los pasos sugeridos para convertir una fórmula a su
FNC y/o a su FND.
(Libro Matemática Discreta para Ingenieros en Ciencias In-
fomáticas, página 25. Ver ejemplos 1.35 y 1.36, página 26)

Formas normales
Formas normales completas
Definición 25
Una fórmula está en su forma normal disyuntiva comple-
ta (FNDC) o en su forma normal conjuntiva completa
(FNCC), si en cada una de sus cláusulas están presentes todos
los literales que forman parte de la fórmula.

Formas normales
Ejemplo 34
La fórmula [p ∨ ¬r ∨ s] ∧ [p ∨ ¬s ∨ r ] ∧ [p ∨ r ∨ s] está en su
forma normal conjuntiva completa (FNCC) constituida por tres
cláusulas disyuntivas, en las cuales están presentes todos los
literales de la formula (p, r , y s).

Formas normales
Ejemplo 35
La fórmula [p ∧ ¬r ∧ s] ∨ [p ∧ ¬s ∧ r ] ∨ [p ∧ r ∧ s] está en su
forma normal disyuntiva completa (FNDC) constituida por tres
cláusulas disyuntivas, en las cuales están presentes todos los
literales de la formula (p, r , y s).

Introducción
Estudio Independiente
Desarrollo
Conclusiones
Escriba las siguientes proposiciones compuestas en el lenguaje
de la lógica. Declare las proposiciones simples convenientemen-
te.
a) Hay sol bueno y mar de espuma y arena fina y Pilar
quiere salir a estrenar su sombrerito de pluma.
b) Apruebo el test solo si canto pero no bailo.
c) Que Marı́a estudie y entienda al profesor es equivalente a
que apruebe o sea feliz o ambas cosas.

Introducción
Desarrollo
Conclusiones
Estudiar por el libro Matemática Discreta para Ingenieros en
Ciencias Infomáticas los pasos sugeridos para transformar una
FND o FNC a su forma completa, tanto por leyes como por
tablas de verdad.
(Libro Matemática Discreta para Ingenieros en Ciencias In-
fomáticas, página 27. Ver ejemplos 1.39, 1.40, 1.41, página 28)
Se presentarán los resultados de este estudio por equipo de tres
a cinco estudiantes en la Clase Práctica 2 de la asignatura. Cada
equipo debe traer sus propios ejemplos.

Introducción
Desarrollo
Conclusiones
Conclusiones
¿Qué aprendimos en la
clase de hoy?

Introducción
Desarrollo
Conclusiones
Bibliografı́a
1 Johnsonbaugh, R., Matemáticas Discretas. Vol. 1.

2 Garcı́a Hernández, A., Matemáticas Discretas para
Ingenieros en Ciencias Informáticas. Capı́tulo 1.

Introducción
Desarrollo
Conclusiones
Conferencia 1: Lógica proposicional
Universidad de las Ciencias Informáticas
Facultad Introductoria de Ciencias Informáticas (FICI)

Conferencia1 MDI

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Conferencia1 MDI

Diunggah oleh

Hak Cipta:

Format Tersedia

Introducción

Conferencia 1: Lógica proposicional

Ing. Maria Esther Orozco Vaillant

Universidad de las Ciencias Informáticas

Facultad Introductoria de Ciencias Informáticas (FICI)

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Identificar los elementos básicos de la lógica proposicional a

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

¿Qué es la Matemática Discreta?

¿Cuántos números existen entre el 1 y el 2,

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

¿De cuántas formas se puede elegir una contraseña a un equipo

¿Cuál es el camino más corto entre dos ciudades?

¿Cómo se puede ordenar una lista de enteros de manera cre-

¿Cómo puedo diseñar circuitos lógicos?

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

En informática nos preocupamos de problemas asociados

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

¿Qué usamos para describir problemas?

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Los lenguajes en la resolución de problemas

Caracterı́sticas de los lenguajes

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Los lenguajes en la resolución de problemas

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Los lenguajes en la resolución de problemas

Los primeros lenguajes a estudiar en nuestra asignatura son:

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Proposición simple o compuesta

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Proposición simple o compuesta

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Proposición simple o compuesta

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

En el lenguaje natural que conocemos, algunas de las frases más

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

En el lenguaje natural que conocemos, algunas de las frases más

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

A continuación se muestra la tabla de verdad de la proposición com-

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

A continuación se muestra la tabla de verdad de la proposición com-

En el lenguaje natural que conocemos, algunas de las frases más

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Ing. Maria Esther Orozco Vaillant Matemática Discreta I

Operador: Disyunción exclusiva

A continuación se muestra la tabla de verdad de la proposición com-

Operador: Disyunción exclusiva

En el lenguaje natural que conocemos, algunas de las frases más

Ing. Maria Esther Orozco Vaillant Matemática Discreta I