Matemáticas Discretas

TC1003

Lógica Proposicional:
Proposiciones, Conectivos, Tablas de Verdad y Equivalencias
Departamento de Matemáticas

ITESM

Lógica Proposicional: Matemáticas Discretas - p. 1/43

 Introducción

En esta lectura veremos los elementos básicos de Introducción

Sentencia
lo que se llama Lógica Proposicional o Cálculo Declarativa
Proposición
Proposicional. Iniciaremos con lo que entendemos Variable
Proposicional
por proposición y conectivo lógico. A partir de eso Primitiva
veremos lo que se conoce como tabla de verdad. Valor de Verdad
Operadores
Con eso se verá lo que se entiende como Jerarquı́a de
Operadores
equivalencia lógica que es base para reducción de Uso de Operadores
circuitos lógicos y que es usado para entender los FBF
Tabla de Verdad
casos de los ifs en los programas de computadora. Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 2/43

 Sentencia Declarativa

Una sentencia declarativa es una oración que Introducción

Sentencia
afirma algo. Declarativa
Proposición
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 3/43

 Sentencia Declarativa

Una sentencia declarativa es una oración que Introducción

Sentencia
afirma algo. Declarativa
Proposición
Ejemplos Variable
Proposicional
Son sentencias declarativas: Primitiva
■ El curso de Matemáticas Discretas está fácil. Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 3/43

 Sentencia Declarativa

Una sentencia declarativa es una oración que Introducción

Sentencia
afirma algo. Declarativa
Proposición
Ejemplos Variable
Proposicional
Son sentencias declarativas: Primitiva
■ El curso de Matemáticas Discretas está fácil. Valor de Verdad
Operadores
■ El caballo blanco es verde. Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 3/43

 Sentencia Declarativa

Una sentencia declarativa es una oración que Introducción

Sentencia
afirma algo. Declarativa
Proposición
Ejemplos Variable
Proposicional
Son sentencias declarativas: Primitiva
■ El curso de Matemáticas Discretas está fácil. Valor de Verdad
Operadores
■ El caballo blanco es verde. Jerarquı́a de
Operadores
■ Si la luna está llena y no llueve, entonces saldré Uso de Operadores
FBF
a caminar. Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 3/43

 Sentencia Declarativa

Una sentencia declarativa es una oración que Introducción

Sentencia
afirma algo. Declarativa
Proposición
Ejemplos Variable
Proposicional
Son sentencias declarativas: Primitiva
■ El curso de Matemáticas Discretas está fácil. Valor de Verdad
Operadores
■ El caballo blanco es verde. Jerarquı́a de
Operadores
■ Si la luna está llena y no llueve, entonces saldré Uso de Operadores
FBF
a caminar. Tabla de Verdad
Tabla Negación
■ El Último Teorema de Fermat es cierto. Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 3/43

 Sentencia Declarativa

Una sentencia declarativa es una oración que Introducción

Sentencia
afirma algo. Declarativa
Proposición
Ejemplos Variable
Proposicional
Son sentencias declarativas: Primitiva
■ El curso de Matemáticas Discretas está fácil. Valor de Verdad
Operadores
■ El caballo blanco es verde. Jerarquı́a de
Operadores
■ Si la luna está llena y no llueve, entonces saldré Uso de Operadores
FBF
a caminar. Tabla de Verdad
Tabla Negación
■ El Último Teorema de Fermat es cierto. Tabla Disjunción
Tabla Conjunción
■ Esta frase es falsa. Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 3/43

 Sentencia Declarativa

Una sentencia declarativa es una oración que Introducción

Sentencia
afirma algo. Declarativa
Proposición
Ejemplos Variable
Proposicional
Son sentencias declarativas: Primitiva
■ El curso de Matemáticas Discretas está fácil. Valor de Verdad
Operadores
■ El caballo blanco es verde. Jerarquı́a de
Operadores
■ Si la luna está llena y no llueve, entonces saldré Uso de Operadores
FBF
a caminar. Tabla de Verdad
Tabla Negación
■ El Último Teorema de Fermat es cierto. Tabla Disjunción
Tabla Conjunción
■ Esta frase es falsa. Ejemplo Tabla
Equivalencia
■ x + 3 es impar. Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 3/43

 Ejemplos Introducción
Sentencia
No son sentencias declarativas: Declarativa
Proposición
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 4/43

 Ejemplos Introducción
Sentencia
No son sentencias declarativas: Declarativa
Proposición
■ ¿Está lloviendo?
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 4/43

 Ejemplos Introducción
Sentencia
No son sentencias declarativas: Declarativa
Proposición
■ ¿Está lloviendo?
Variable
Proposicional
■ ¡Hola!, ¿cómo estás? Primitiva
Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 4/43

 Ejemplos Introducción
Sentencia
No son sentencias declarativas: Declarativa
Proposición
■ ¿Está lloviendo?
Variable
Proposicional
■ ¡Hola!, ¿cómo estás? Primitiva
Valor de Verdad
■ Tierno sáuz, casi ámbar, casi luz. . . Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 4/43

 Ejemplos Introducción
Sentencia
No son sentencias declarativas: Declarativa
Proposición
■ ¿Está lloviendo?
Variable
Proposicional
■ ¡Hola!, ¿cómo estás? Primitiva
Valor de Verdad
■ Tierno sáuz, casi ámbar, casi luz. . . Operadores
Jerarquı́a de
■ ¿Qué es en el fondo actuar, sino mentir? ¿Y qué Operadores
es actuar bien, sino mentir convenciendo? Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 4/43

 Proposición

Una proposición es una sentencia declarativa que Introducción

Sentencia
debe ser verdadera o falsa pero no ambas. Declarativa
Proposición
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 5/43

 Proposición

Una proposición es una sentencia declarativa que Introducción

Sentencia
debe ser verdadera o falsa pero no ambas. Declarativa
Proposición
Ejemplos Variable
Proposicional
Son proposiciones: Primitiva
■ El curso de Matemáticas Discretas está fácil. Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 5/43

 Proposición

Una proposición es una sentencia declarativa que Introducción

Sentencia
debe ser verdadera o falsa pero no ambas. Declarativa
Proposición
Ejemplos Variable
Proposicional
Son proposiciones: Primitiva
■ El curso de Matemáticas Discretas está fácil. Valor de Verdad
Operadores
■ Si la luna está llena y no llueve, entonces saldré Jerarquı́a de
Operadores
a caminar. Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 5/43

 Proposición

Una proposición es una sentencia declarativa que Introducción

Sentencia
debe ser verdadera o falsa pero no ambas. Declarativa
Proposición
Ejemplos Variable
Proposicional
Son proposiciones: Primitiva
■ El curso de Matemáticas Discretas está fácil. Valor de Verdad
Operadores
■ Si la luna está llena y no llueve, entonces saldré Jerarquı́a de
Operadores
a caminar. Uso de Operadores
FBF
■ El Último Teorema de Fermat es cierto. Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 5/43

 Ejemplos Introducción
Sentencia
No son proposiciones: Declarativa
Proposición
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 6/43

 Ejemplos Introducción
Sentencia
No son proposiciones: Declarativa
Proposición
■ Esta frase es falsa
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 6/43

 Ejemplos Introducción
Sentencia
No son proposiciones: Declarativa
Proposición
■ Esta frase es falsa
Variable
◆ Si la frase es cierta, lo que en ella se dice Proposicional
Primitiva
debe ser cierto, así debe ser falsa. Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 6/43

 Ejemplos Introducción
Sentencia
No son proposiciones: Declarativa
Proposición
■ Esta frase es falsa
Variable
◆ Si la frase es cierta, lo que en ella se dice Proposicional
Primitiva
debe ser cierto, así debe ser falsa. Valor de Verdad
Operadores
◆ Si la frase es falsa, lo contrario a lo que en ella
Jerarquı́a de
se afirma es cierto, por consiguiente es cierta. Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 6/43

 Ejemplos Introducción
Sentencia
No son proposiciones: Declarativa
Proposición
■ Esta frase es falsa
Variable
◆ Si la frase es cierta, lo que en ella se dice Proposicional
Primitiva
debe ser cierto, así debe ser falsa. Valor de Verdad
Operadores
◆ Si la frase es falsa, lo contrario a lo que en ella
Jerarquı́a de
se afirma es cierto, por consiguiente es cierta. Operadores
Uso de Operadores
■ x + 3 es un número impar FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 6/43

 Ejemplos Introducción
Sentencia
No son proposiciones: Declarativa
Proposición
■ Esta frase es falsa
Variable
◆ Si la frase es cierta, lo que en ella se dice Proposicional
Primitiva
debe ser cierto, así debe ser falsa. Valor de Verdad
Operadores
◆ Si la frase es falsa, lo contrario a lo que en ella
Jerarquı́a de
se afirma es cierto, por consiguiente es cierta. Operadores
Uso de Operadores
■ x + 3 es un número impar FBF
Tabla de Verdad
◆ Si x = 2 la afirmación es cierta. Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 6/43

 Ejemplos Introducción
Sentencia
No son proposiciones: Declarativa
Proposición
■ Esta frase es falsa
Variable
◆ Si la frase es cierta, lo que en ella se dice Proposicional
Primitiva
debe ser cierto, así debe ser falsa. Valor de Verdad
Operadores
◆ Si la frase es falsa, lo contrario a lo que en ella
Jerarquı́a de
se afirma es cierto, por consiguiente es cierta. Operadores
Uso de Operadores
■ x + 3 es un número impar FBF
Tabla de Verdad
◆ Si x = 2 la afirmación es cierta. Tabla Negación
Tabla Disjunción
◆ Si x = 3 la afirmación es falsa.
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 6/43

 Variable Proposicional

En nuestro manejo de proposiciones utilizaremos Introducción

Sentencia
símbolos para representarlas. Estos símbolos se Declarativa
Proposición
llamarán variables proposicionales. Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 7/43

 Variable Proposicional

En nuestro manejo de proposiciones utilizaremos Introducción

Sentencia
símbolos para representarlas. Estos símbolos se Declarativa
Proposición
llamarán variables proposicionales. Así Variable
Proposicional
pondremos Primitiva
Valor de Verdad
p : El curso de Matemáticas Discretas está Operadores
fácil. Jerarquı́a de
Operadores
Uso de Operadores
Indicará que la variable proposicional p representa FBF
la proposición “El curso de Matemáticas Discretas Tabla de Verdad
Tabla Negación
está fácil.” Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 7/43

 Proposiciones Primitiva y Compuestas

Una proposición primitiva es una proposición que Introducción

Sentencia
no se puede descomponer en hechos más Declarativa
Proposición
simples. Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 8/43

 Proposiciones Primitiva y Compuestas

Una proposición primitiva es una proposición que Introducción

Sentencia
no se puede descomponer en hechos más Declarativa
Proposición
simples. Variable
Proposicional
Ejemplos Primitiva
■ El curso de matemáticas discretas está fácil. Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 8/43

 Proposiciones Primitiva y Compuestas

Una proposición primitiva es una proposición que Introducción

Sentencia
no se puede descomponer en hechos más Declarativa
Proposición
simples. Variable
Proposicional
Ejemplos Primitiva
■ El curso de matemáticas discretas está fácil. Valor de Verdad
Operadores
■ El caballo blanco es verde. Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 8/43

 Proposiciones Primitiva y Compuestas

Una proposición primitiva es una proposición que Introducción

Sentencia
no se puede descomponer en hechos más Declarativa
Proposición
simples. Variable
Proposicional
Ejemplos Primitiva
■ El curso de matemáticas discretas está fácil. Valor de Verdad
Operadores
■ El caballo blanco es verde. Jerarquı́a de
Operadores
Uso de Operadores
FBF
Una proposición compuesta es una proposición Tabla de Verdad
Tabla Negación
que no es primitiva. Tabla Disjunción
Tabla Conjunción
Ejemplos Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 8/43

 Proposiciones Primitiva y Compuestas

Una proposición primitiva es una proposición que Introducción

Sentencia
no se puede descomponer en hechos más Declarativa
Proposición
simples. Variable
Proposicional
Ejemplos Primitiva
■ El curso de matemáticas discretas está fácil. Valor de Verdad
Operadores
■ El caballo blanco es verde. Jerarquı́a de
Operadores
Uso de Operadores
FBF
Una proposición compuesta es una proposición Tabla de Verdad
Tabla Negación
que no es primitiva. Tabla Disjunción
Tabla Conjunción
Ejemplos Ejemplo Tabla
■ Si la luna está llena y no llueve, salgo a caminar. Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 8/43

 Proposiciones Primitiva y Compuestas

Una proposición primitiva es una proposición que Introducción

Sentencia
no se puede descomponer en hechos más Declarativa
Proposición
simples. Variable
Proposicional
Ejemplos Primitiva
■ El curso de matemáticas discretas está fácil. Valor de Verdad
Operadores
■ El caballo blanco es verde. Jerarquı́a de
Operadores
Uso de Operadores
FBF
Una proposición compuesta es una proposición Tabla de Verdad
Tabla Negación
que no es primitiva. Tabla Disjunción
Tabla Conjunción
Ejemplos Ejemplo Tabla
■ Si la luna está llena y no llueve, salgo a caminar. Equivalencia
Equivalencias
■ Yo contraté el cable básico, como tú. Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 8/43

 Valor de Verdad

El valor de verdad de una proposición es una Introducción

Sentencia
asignación a uno de los dos posibles valores Declarativa
Proposición
verdadero o falso. Esta asignación dependerá de Variable
Proposicional
lo que en la misma proposición se afirme: si es Primitiva
cierto diremos que tiene valor de verdad verdadero Valor de Verdad
Operadores
y si es falso diremos que tiene valor de verdad Jerarquı́a de
Operadores
falso. Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 9/43

 Operadores Lógicos

Los operadores lógicos sirven para construir Introducción

Sentencia
proposiciones complejas. Declarativa
Proposición
■ Negación: ¬p (Léase “no p”) Variable
Proposicional
■ Disjunción: p ∨ q (Léase “p o q”) Primitiva
Valor de Verdad
■ Conjunción: p ∧ q (Léase “p y q”) Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 10/43

 Operadores Lógicos

Los operadores lógicos sirven para construir Introducción

Sentencia
proposiciones complejas. Declarativa
Proposición
■ Negación: ¬p (Léase “no p”) Variable
Proposicional
■ Disjunción: p ∨ q (Léase “p o q”) Primitiva
Valor de Verdad
■ Conjunción: p ∧ q (Léase “p y q”) Operadores
Jerarquı́a de
Operadores
Estos operadores pueden usarse una o varias Uso de Operadores
FBF
veces en forma combinada o no para construir Tabla de Verdad
Tabla Negación
proposiciones más complejas, por ejemplo Tabla Disjunción
Tabla Conjunción
p ∨ (q ∧ (r ∨ (¬p))) Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 10/43

 Jerarquía de Operadores

Para reducir el número de paréntesis se conviene Introducción

Sentencia
en una jerarquía de operadores para indicar el Declarativa
Proposición
orden de precedencia de uno sobre otro. Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 11/43

 Jerarquía de Operadores

Para reducir el número de paréntesis se conviene Introducción

Sentencia
en una jerarquía de operadores para indicar el Declarativa
Proposición
orden de precedencia de uno sobre otro. Variable
Proposicional
Primitiva
Mayor Jeraquía ¬ ∧ ∨ Menor Jerarquía Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Ante una disputa de operandos gana el que tiene Uso de Operadores
FBF
una mayor jerarquía. Así Tabla de Verdad
Tabla Negación
Tabla Disjunción
La expresión Se interpreta como Tabla Conjunción
Ejemplo Tabla
p∨q∧r p ∨ (q ∧ r) Equivalencia
Equivalencias
¬p ∧ q (¬p) ∧ q Suposiciones
Ejemplos
p ∧ ¬s ∨ ¬q ∧ r (p ∧ (¬s)) ∨ ((¬q) ∧ r) Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 11/43

 Jerarquía de Operadores

Para reducir el número de paréntesis se conviene Introducción

Sentencia
en una jerarquía de operadores para indicar el Declarativa
Proposición
orden de precedencia de uno sobre otro. Variable
Proposicional
Primitiva
Mayor Jeraquía ¬ ∧ ∨ Menor Jerarquía Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Ante una disputa de operandos gana el que tiene Uso de Operadores
FBF
una mayor jerarquía. Así Tabla de Verdad
Tabla Negación
Tabla Disjunción
La expresión Se interpreta como Tabla Conjunción
Ejemplo Tabla
p∨q∧r p ∨ (q ∧ r) Equivalencia
Equivalencias
¬p ∧ q (¬p) ∧ q Suposiciones
Ejemplos
p ∧ ¬s ∨ ¬q ∧ r (p ∧ (¬s)) ∨ ((¬q) ∧ r) Simplificación
Sumario
Los paréntesis deben ser utilizados para forzar el
orden de las operaciones.
Lógica Proposicional: Matemáticas Discretas - p. 11/43
 Uso de operadores

Supongamos que Introducción

Sentencia
p: Está caluroso Declarativa
Proposición
q: Está soleado Variable
Proposicional
r: Está lluvioso Primitiva
Valor de Verdad
s: Está húmedo Operadores
Jerarquı́a de
Entonces la representación de las siguientes Operadores
Uso de Operadores
afirmaciones queda: FBF
■ Está lluvioso y soleado Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 12/43

 Uso de operadores

Supongamos que Introducción

Sentencia
p: Está caluroso Declarativa
Proposición
q: Está soleado Variable
Proposicional
r: Está lluvioso Primitiva
Valor de Verdad
s: Está húmedo Operadores
Jerarquı́a de
Entonces la representación de las siguientes Operadores
Uso de Operadores
afirmaciones queda: FBF
■ Está lluvioso y soleado : r ∧ q Tabla de Verdad
Tabla Negación
■ Está soleado o está lluvioso Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 12/43

 Uso de operadores

Supongamos que Introducción

Sentencia
p: Está caluroso Declarativa
Proposición
q: Está soleado Variable
Proposicional
r: Está lluvioso Primitiva
Valor de Verdad
s: Está húmedo Operadores
Jerarquı́a de
Entonces la representación de las siguientes Operadores
Uso de Operadores
afirmaciones queda: FBF
■ Está lluvioso y soleado : r ∧ q Tabla de Verdad
Tabla Negación
■ Está soleado o está lluvioso : q ∨ r Tabla Disjunción
Tabla Conjunción
■ Está soleado y no está caluroso Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 12/43

 Uso de operadores

Supongamos que Introducción

Sentencia
p: Está caluroso Declarativa
Proposición
q: Está soleado Variable
Proposicional
r: Está lluvioso Primitiva
Valor de Verdad
s: Está húmedo Operadores
Jerarquı́a de
Entonces la representación de las siguientes Operadores
Uso de Operadores
afirmaciones queda: FBF
■ Está lluvioso y soleado : r ∧ q Tabla de Verdad
Tabla Negación
■ Está soleado o está lluvioso : q ∨ r Tabla Disjunción
Tabla Conjunción
■ Está soleado y no está caluroso : q ∧ ¬p Ejemplo Tabla
Equivalencia
■ Ni está soleado ni está caluroso Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 12/43

 Uso de operadores

Supongamos que Introducción

Sentencia
p: Está caluroso Declarativa
Proposición
q: Está soleado Variable
Proposicional
r: Está lluvioso Primitiva
Valor de Verdad
s: Está húmedo Operadores
Jerarquı́a de
Entonces la representación de las siguientes Operadores
Uso de Operadores
afirmaciones queda: FBF
■ Está lluvioso y soleado : r ∧ q Tabla de Verdad
Tabla Negación
■ Está soleado o está lluvioso : q ∨ r Tabla Disjunción
Tabla Conjunción
■ Está soleado y no está caluroso : q ∧ ¬p Ejemplo Tabla
Equivalencia
■ Ni está soleado ni está caluroso : ¬q ∧ ¬p Equivalencias
Suposiciones
■ Está soleado pero está lluvioso Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 12/43

 Uso de operadores

Supongamos que Introducción

Sentencia
p: Está caluroso Declarativa
Proposición
q: Está soleado Variable
Proposicional
r: Está lluvioso Primitiva
Valor de Verdad
s: Está húmedo Operadores
Jerarquı́a de
Entonces la representación de las siguientes Operadores
Uso de Operadores
afirmaciones queda: FBF
■ Está lluvioso y soleado : r ∧ q Tabla de Verdad
Tabla Negación
■ Está soleado o está lluvioso : q ∨ r Tabla Disjunción
Tabla Conjunción
■ Está soleado y no está caluroso : q ∧ ¬p Ejemplo Tabla
Equivalencia
■ Ni está soleado ni está caluroso : ¬q ∧ ¬p Equivalencias
Suposiciones
■ Está soleado pero está lluvioso : q ∧ r Ejemplos
Simplificación
■ Está lluvioso pero no está caluroso Sumario

Lógica Proposicional: Matemáticas Discretas - p. 12/43

 Uso de operadores

Supongamos que Introducción

Sentencia
p: Está caluroso Declarativa
Proposición
q: Está soleado Variable
Proposicional
r: Está lluvioso Primitiva
Valor de Verdad
s: Está húmedo Operadores
Jerarquı́a de
Entonces la representación de las siguientes Operadores
Uso de Operadores
afirmaciones queda: FBF
■ Está lluvioso y soleado : r ∧ q Tabla de Verdad
Tabla Negación
■ Está soleado o está lluvioso : q ∨ r Tabla Disjunción
Tabla Conjunción
■ Está soleado y no está caluroso : q ∧ ¬p Ejemplo Tabla
Equivalencia
■ Ni está soleado ni está caluroso : ¬q ∧ ¬p Equivalencias
Suposiciones
■ Está soleado pero está lluvioso : q ∧ r Ejemplos
Simplificación
■ Está lluvioso pero no está caluroso : r ∧ ¬p Sumario

Lógica Proposicional: Matemáticas Discretas - p. 12/43

 Fórmula Bien Formada

Una fórmula bien formada (FBF ó por sus síglas Introducción

Sentencia
en íngles WFF) o también llamada forma Declarativa
Proposición
proposicional es una expresión donde aparecen Variable
Proposicional
variables proposicionales, las constantes Primitiva
T(verdadero) o F (falso), operadores lógicos y Valor de Verdad
Operadores
paréntesis: bien balancedos los paréntesis, los Jerarquı́a de
Operadores
operadores lógicos indicados y con el número de Uso de Operadores
argumentos correctos. FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 13/43

 Fórmula Bien Formada

Una fórmula bien formada (FBF ó por sus síglas Introducción

Sentencia
en íngles WFF) o también llamada forma Declarativa
Proposición
proposicional es una expresión donde aparecen Variable
Proposicional
variables proposicionales, las constantes Primitiva
T(verdadero) o F (falso), operadores lógicos y Valor de Verdad
Operadores
paréntesis: bien balancedos los paréntesis, los Jerarquı́a de
Operadores
operadores lógicos indicados y con el número de Uso de Operadores
argumentos correctos. FBF
Tabla de Verdad
Son FBFs: Tabla Negación
Tabla Disjunción
p , p ∨ q , p ∨ (q ∧ ((¬r) ∧ s)) Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 13/43

 Fórmula Bien Formada

Una fórmula bien formada (FBF ó por sus síglas Introducción

Sentencia
en íngles WFF) o también llamada forma Declarativa
Proposición
proposicional es una expresión donde aparecen Variable
Proposicional
variables proposicionales, las constantes Primitiva
T(verdadero) o F (falso), operadores lógicos y Valor de Verdad
Operadores
paréntesis: bien balancedos los paréntesis, los Jerarquı́a de
Operadores
operadores lógicos indicados y con el número de Uso de Operadores
argumentos correctos. FBF
Tabla de Verdad
Son FBFs: Tabla Negación
Tabla Disjunción
p , p ∨ q , p ∨ (q ∧ ((¬r) ∧ s)) Tabla Conjunción
Ejemplo Tabla
Equivalencia
No FBSs: Equivalencias
Suposiciones
p q , r ∨ (q ∧ ¬) , (s ∧ r) ∨ (q¬p) Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 13/43

 Tabla de Verdad

Una tabla de verdad de una proposición es una Introducción

Sentencia
descripción organizada de los valores de verdad Declarativa
Proposición
de la proposición para todos los valores posibles Variable
Proposicional
de la variables proposicionales que aparecen en Primitiva
ella. Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 14/43

 Tabla de Verdad de la Negación

Introducción
Sentencia
Declarativa
Proposición
p ¬p Variable
Proposicional
F T Primitiva
Valor de Verdad
T F Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 15/43

 Tabla de Verdad de la Disjunción

Introducción
Sentencia
Declarativa
Proposición
p q p∨q Variable
Proposicional
F F F Primitiva
Valor de Verdad
F T T Operadores
Jerarquı́a de
T F T Operadores
Uso de Operadores
T T T FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 16/43

 Tabla de Verdad de la Disjunción

Introducción
Sentencia
Declarativa
Proposición
p q p∨q Variable
Proposicional
F F F Primitiva
Valor de Verdad
F T T Operadores
Jerarquı́a de
T F T Operadores
Uso de Operadores
T T T FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Sólo es F cuando sus argumentos son ambos Ejemplo Tabla
Equivalencia
falsos. Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 16/43

 Tabla de Verdad de la Conjunción

Introducción
Sentencia
Declarativa
Proposición
p q p∧q Variable
Proposicional
F F F Primitiva
Valor de Verdad
F T F Operadores
Jerarquı́a de
T F F Operadores
Uso de Operadores
T T T FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 17/43

 Tabla de Verdad de la Conjunción

Introducción
Sentencia
Declarativa
Proposición
p q p∧q Variable
Proposicional
F F F Primitiva
Valor de Verdad
F T F Operadores
Jerarquı́a de
T F F Operadores
Uso de Operadores
T T T FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Sólo es T cuando sus argumentos son ambos Ejemplo Tabla
Equivalencia
verdaderos. Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 17/43

 Ejemplo de Tabla de Verdad

Calcule la tabla de verdad de (p ∨ q) ∧ (p ∨ ¬q): Introducción

Sentencia
Declarativa
Proposición
p q p∨q ¬q p ∨ ¬q (p ∨ q) ∧ (p ∨ ¬q) Variable
Proposicional
Primitiva
F F Valor de Verdad
Operadores
F T Jerarquı́a de
Operadores
T F Uso de Operadores
FBF
T T Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 18/43

 Ejemplo de Tabla de Verdad

Calcule la tabla de verdad de (p ∨ q) ∧ (p ∨ ¬q): Introducción

Sentencia
Declarativa
Proposición
p q p∨q ¬q p ∨ ¬q (p ∨ q) ∧ (p ∨ ¬q) Variable
Proposicional
Primitiva
F F F Valor de Verdad
Operadores
F T T Jerarquı́a de
Operadores
T F T Uso de Operadores
FBF
T T T Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 18/43

 Ejemplo de Tabla de Verdad

Calcule la tabla de verdad de (p ∨ q) ∧ (p ∨ ¬q): Introducción

Sentencia
Declarativa
Proposición
p q p∨q ¬q p ∨ ¬q (p ∨ q) ∧ (p ∨ ¬q) Variable
Proposicional
Primitiva
F T Valor de Verdad
Operadores
T F Jerarquı́a de
Operadores
F T Uso de Operadores
FBF
T F Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 18/43

 Ejemplo de Tabla de Verdad

Calcule la tabla de verdad de (p ∨ q) ∧ (p ∨ ¬q): Introducción

Sentencia
Declarativa
Proposición
p q p∨q ¬q p ∨ ¬q (p ∨ q) ∧ (p ∨ ¬q) Variable
Proposicional
Primitiva
F T T Valor de Verdad
Operadores
F F F Jerarquı́a de
Operadores
T T T Uso de Operadores
FBF
T F T Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 18/43

 Ejemplo de Tabla de Verdad

Calcule la tabla de verdad de (p ∨ q) ∧ (p ∨ ¬q): Introducción

Sentencia
Declarativa
Proposición
p q p∨q ¬q p ∨ ¬q (p ∨ q) ∧ (p ∨ ¬q) Variable
Proposicional
Primitiva
F T F Valor de Verdad
Operadores
T F F Jerarquı́a de
Operadores
T T T Uso de Operadores
FBF
T T T Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 18/43

 Ejemplo de Tabla de Verdad

Calcule la tabla de verdad de (p ∨ q) ∧ (p ∨ ¬q): Introducción

Sentencia
Declarativa
Proposición
p q p∨q ¬q p ∨ ¬q (p ∨ q) ∧ (p ∨ ¬q) Variable
Proposicional
Primitiva
F F F Valor de Verdad
Operadores
F T F Jerarquı́a de
Operadores
T F T Uso de Operadores
FBF
T T T Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 18/43

 Equivalencia Lógica

Dos formas proposicionales α y β se dicen Introducción

Sentencia
lógicamente equivalentes si y sólo si tienen Declarativa
Proposición
valores de verdad idénticos para cualquier Variable
Proposicional
sustitución de valores de verdad de sus variables Primitiva
proposicionales. Esto se simbolizará Valor de Verdad
Operadores
Jerarquı́a de
α≡β Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 19/43

 De la misma definición de equivalencia entre FBFs Introducción
Sentencia
se deduce el procedimiento de verificación: Declarativa
Proposición
■ Construir las tablas de verdad de ambas Variable
Proposicional
expresiones: como dos columnas en una misma Primitiva
tabla. Valor de Verdad
Operadores
■ Comparar las tablas renglón por renglón. Jerarquı́a de
Operadores
■ Si renglón a reglón tienen el mismo valor de Uso de Operadores
FBF
verdad, son equivalentes. Tabla de Verdad
Tabla Negación
■ Si hay al menos un renglón donde difieran, no Tabla Disjunción
Tabla Conjunción
son equivalentes. Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 20/43

 Equivalencia Utilizadas

Comprueba la validez de la ley conmutativa: Introducción

Sentencia
Declarativa
p∧q ≡q∧p Proposición
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 21/43

 Equivalencia Utilizadas

Comprueba la validez de la ley conmutativa: Introducción

Sentencia
Declarativa
p∧q ≡q∧p Proposición
Variable
Proposicional
Primitiva
p q p∧q q∧p Valor de Verdad
Operadores
F F F F Jerarquı́a de
Operadores
F T F F Uso de Operadores
FBF
T F F F Tabla de Verdad
Tabla Negación
T T T T Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 21/43

 Equivalencia Utilizadas

Comprueba la validez de la ley conmutativa: Introducción

Sentencia
Declarativa
p∧q ≡q∧p Proposición
Variable
Proposicional
Primitiva
p q p∧q q∧p Valor de Verdad
Operadores
F F F F Jerarquı́a de
Operadores
F T F F Uso de Operadores
FBF
T F F F Tabla de Verdad
Tabla Negación
T T T T Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 21/43

 Equivalencia Utilizadas

Comprueba la validez de la ley conmutativa: Introducción

Sentencia
Declarativa
p∧q ≡q∧p Proposición
Variable
Proposicional
Primitiva
p q p∧q q∧p Valor de Verdad
Operadores
F F F F Jerarquı́a de
Operadores
F T F F Uso de Operadores
FBF
T F F F Tabla de Verdad
Tabla Negación
T T T T Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 21/43

 Equivalencia Utilizadas

Comprueba la validez de la ley conmutativa: Introducción

Sentencia
Declarativa
p∧q ≡q∧p Proposición
Variable
Proposicional
Primitiva
p q p∧q q∧p Valor de Verdad
Operadores
F F F F Jerarquı́a de
Operadores
F T F F Uso de Operadores
FBF
T F F F Tabla de Verdad
Tabla Negación
T T T T Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 21/43

 Comprueba la validez de la ley conmutativa:
p∨q ≡q∨p

Lógica Proposicional: Matemáticas Discretas - p. 22/43

 Comprueba la validez de la ley conmutativa:
p∨q ≡q∨p

p q p∨q q∨p
F F F F
F T T T
T F T T
T T T T

Lógica Proposicional: Matemáticas Discretas - p. 22/43

 Comprueba la validez de la ley conmutativa:
p∨q ≡q∨p

p q p∨q q∨p
F F F F
F T T T
T F T T
T T T T

Lógica Proposicional: Matemáticas Discretas - p. 22/43

 Comprueba la validez de la ley conmutativa:
p∨q ≡q∨p

p q p∨q q∨p
F F F F
F T T T
T F T T
T T T T

Lógica Proposicional: Matemáticas Discretas - p. 22/43

 Comprueba la validez de la ley conmutativa:
p∨q ≡q∨p

p q p∨q q∨p
F F F F
F T T T
T F T T
T T T T

Lógica Proposicional: Matemáticas Discretas - p. 22/43

 Comprueba la validez de la ley asociativa:

(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)

Lógica Proposicional: Matemáticas Discretas - p. 23/43

 Comprueba la validez de la ley asociativa:

(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)

p q r p∧q (p ∧ q) ∧ r q∧r p ∧ (q ∧ r)

F F F F F F F
F F T F F F F
F T F F F F F
F T T F F T F
T F F F F F F
T F T F F F F
T T F T F F F
T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 23/43

 Comprueba la validez de la ley asociativa:

(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)

p q r p∧q (p ∧ q) ∧ r q∧r p ∧ (q ∧ r)

F F F F F F F
F F T F F F F
F T F F F F F
F T T F F T F
T F F F F F F
T F T F F F F
T T F T F F F
T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 23/43

 Comprueba la validez de la ley asociativa:

(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)

p q r p∧q (p ∧ q) ∧ r q∧r p ∧ (q ∧ r)

F F F F F F F
F F T F F F F
F T F F F F F
F T T F F T F
T F F F F F F
T F T F F F F
T T F T F F F
T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 23/43

 Comprueba la validez de la ley asociativa:

(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)

p q r p∧q (p ∧ q) ∧ r q∧r p ∧ (q ∧ r)

F F F F F F F
F F T F F F F
F T F F F F F
F T T F F T F
T F F F F F F
T F T F F F F
T T F T F F F
T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 23/43

 Comprueba la validez de la ley asociativa:

(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)

p q r p∧q (p ∧ q) ∧ r q∧r p ∧ (q ∧ r)

F F F F F F F
F F T F F F F
F T F F F F F
F T T F F T F
T F F F F F F
T F T F F F F
T T F T F F F
T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 23/43

 Comprueba la validez de la ley asociativa:

(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)

p q r p∧q (p ∧ q) ∧ r q∧r p ∧ (q ∧ r)

F F F F F F F
F F T F F F F
F T F F F F F
F T T F F T F
T F F F F F F
T F T F F F F
T T F T F F F
T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 23/43

 Comprueba la validez de la ley asociativa:

(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)

Lógica Proposicional: Matemáticas Discretas - p. 24/43

 Comprueba la validez de la ley asociativa:

(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)

p q r p∨q (p ∨ q) ∨ r q∨r p ∨ (q ∨ r)

F F F F F F F
F F T F T T T
F T F T T T T
F T T T T T T
T F F T T F T
T F T T T T T
T T F T T T T
T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 24/43

 Comprueba la validez de la ley asociativa:

(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)

p q r p∨q (p ∨ q) ∨ r q∨r p ∨ (q ∨ r)

F F F F F F F
F F T F T T T
F T F T T T T
F T T T T T T
T F F T T F T
T F T T T T T
T T F T T T T
T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 24/43

 Comprueba la validez de la ley asociativa:

(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)

p q r p∨q (p ∨ q) ∨ r q∨r p ∨ (q ∨ r)

F F F F F F F
F F T F T T T
F T F T T T T
F T T T T T T
T F F T T F T
T F T T T T T
T T F T T T T
T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 24/43

 Comprueba la validez de la ley asociativa:

(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)

p q r p∨q (p ∨ q) ∨ r q∨r p ∨ (q ∨ r)

F F F F F F F
F F T F T T T
F T F T T T T
F T T T T T T
T F F T T F T
T F T T T T T
T T F T T T T
T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 24/43

 Comprueba la validez de la ley asociativa:

(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)

p q r p∨q (p ∨ q) ∨ r q∨r p ∨ (q ∨ r)

F F F F F F F
F F T F T T T
F T F T T T T
F T T T T T T
T F F T T F T
T F T T T T T
T T F T T T T
T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 24/43

 Comprueba la validez de la ley asociativa:

(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)

p q r p∨q (p ∨ q) ∨ r q∨r p ∨ (q ∨ r)

F F F F F F F
F F T F T T T
F T F T T T T
F T T T T T T
T F F T T F T
T F T T T T T
T T F T T T T
T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 24/43

 Comprueba la validez de la ley distributiva:

α =p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)= β

Lógica Proposicional: Matemáticas Discretas - p. 25/43

 Comprueba la validez de la ley distributiva:

α =p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)= β

p q r q∨r α p∧q p∧r β

F F F F F F F F
F F T T F F F F
F T F T F F F F
F T T T F F F F
T F F F F F F F
T F T T T F T T
T T F T T T F T
T T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 25/43

 Comprueba la validez de la ley distributiva:

α =p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)= β

p q r q∨r α p∧q p∧r β

F F F F F F F F
F F T T F F F F
F T F T F F F F
F T T T F F F F
T F F F F F F F
T F T T T F T T
T T F T T T F T
T T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 25/43

 Comprueba la validez de la ley distributiva:

α =p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)= β

p q r q∨r α p∧q p∧r β

F F F F F F F F
F F T T F F F F
F T F T F F F F
F T T T F F F F
T F F F F F F F
T F T T T F T T
T T F T T T F T
T T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 25/43

 Comprueba la validez de la ley distributiva:

α =p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)= β

p q r q∨r α p∧q p∧r β

F F F F F F F F
F F T T F F F F
F T F T F F F F
F T T T F F F F
T F F F F F F F
T F T T T F T T
T T F T T T F T
T T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 25/43

 Comprueba la validez de la ley distributiva:

α =p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)= β

p q r q∨r α p∧q p∧r β

F F F F F F F F
F F T T F F F F
F T F T F F F F
F T T T F F F F
T F F F F F F F
T F T T T F T T
T T F T T T F T
T T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 25/43

 Comprueba la validez de la ley distributiva:

α =p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)= β

p q r q∨r α p∧q p∧r β

F F F F F F F F
F F T T F F F F
F T F T F F F F
F T T T F F F F
T F F F F F F F
T F T T T F T T
T T F T T T F T
T T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 25/43

 Comprueba la validez de la ley distributiva:

α =p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)= β

p q r q∨r α p∧q p∧r β

F F F F F F F F
F F T T F F F F
F T F T F F F F
F T T T F F F F
T F F F F F F F
T F T T T F T T
T T F T T T F T
T T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 25/43

 Comprueba la validez de la ley distributiva:

α =p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)= β

Lógica Proposicional: Matemáticas Discretas - p. 26/43

 Comprueba la validez de la ley distributiva:

α =p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)= β

p q r q∧r α p∨q p∨r β

F F F F F F F F
F F T F F F T F
F T F F F T F F
F T T T T T T T
T F F F T T T T
T F T F T T T T
T T F F T T T T
T T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 26/43

 Comprueba la validez de la ley distributiva:

α =p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)= β

p q r q∧r α p∨q p∨r β

F F F F F F F F
F F T F F F T F
F T F F F T F F
F T T T T T T T
T F F F T T T T
T F T F T T T T
T T F F T T T T
T T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 26/43

 Comprueba la validez de la ley distributiva:

α =p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)= β

p q r q∧r α p∨q p∨r β

F F F F F F F F
F F T F F F T F
F T F F F T F F
F T T T T T T T
T F F F T T T T
T F T F T T T T
T T F F T T T T
T T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 26/43

 Comprueba la validez de la ley distributiva:

α =p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)= β

p q r q∧r α p∨q p∨r β

F F F F F F F F
F F T F F F T F
F T F F F T F F
F T T T T T T T
T F F F T T T T
T F T F T T T T
T T F F T T T T
T T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 26/43

 Comprueba la validez de la ley distributiva:

α =p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)= β

p q r q∧r α p∨q p∨r β

F F F F F F F F
F F T F F F T F
F T F F F T F F
F T T T T T T T
T F F F T T T T
T F T F T T T T
T T F F T T T T
T T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 26/43

 Comprueba la validez de la ley distributiva:

α =p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)= β

p q r q∧r α p∨q p∨r β

F F F F F F F F
F F T F F F T F
F T F F F T F F
F T T T T T T T
T F F F T T T T
T F T F T T T T
T T F F T T T T
T T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 26/43

 Comprueba la validez de la ley distributiva:

α =p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)= β

p q r q∧r α p∨q p∨r β

F F F F F F F F
F F T F F F T F
F T F F F T F F
F T T T T T T T
T F F F T T T T
T F T F T T T T
T T F F T T T T
T T T T T T T T

Lógica Proposicional: Matemáticas Discretas - p. 26/43

 Comprueba la validez de la ley de De Morgan:

¬(p ∧ q) ≡ ¬p ∨ ¬q

Lógica Proposicional: Matemáticas Discretas - p. 27/43

 Comprueba la validez de la ley de De Morgan:

¬(p ∧ q) ≡ ¬p ∨ ¬q

p q p∧q ¬ (p ∧ q) ¬p ¬q ¬p ∨ ¬q

F F F T T T T
F T F T T F T
T F F T F T T
T T T F F F F

Lógica Proposicional: Matemáticas Discretas - p. 27/43

 Comprueba la validez de la ley de De Morgan:

¬(p ∧ q) ≡ ¬p ∨ ¬q

p q p∧q ¬ (p ∧ q) ¬p ¬q ¬p ∨ ¬q

F F F T T T T
F T F T T F T
T F F T F T T
T T T F F F F

Lógica Proposicional: Matemáticas Discretas - p. 27/43

 Comprueba la validez de la ley de De Morgan:

¬(p ∧ q) ≡ ¬p ∨ ¬q

p q p∧q ¬ (p ∧ q) ¬p ¬q ¬p ∨ ¬q

F F F T T T T
F T F T T F T
T F F T F T T
T T T F F F F

Lógica Proposicional: Matemáticas Discretas - p. 27/43

 Comprueba la validez de la ley de De Morgan:

¬(p ∧ q) ≡ ¬p ∨ ¬q

p q p∧q ¬ (p ∧ q) ¬p ¬q ¬p ∨ ¬q

F F F T T T T
F T F T T F T
T F F T F T T
T T T F F F F

Lógica Proposicional: Matemáticas Discretas - p. 27/43

 Comprueba la validez de la ley de De Morgan:

¬(p ∧ q) ≡ ¬p ∨ ¬q

p q p∧q ¬ (p ∧ q) ¬p ¬q ¬p ∨ ¬q

F F F T T T T
F T F T T F T
T F F T F T T
T T T F F F F

Lógica Proposicional: Matemáticas Discretas - p. 27/43

 Comprueba la validez de la ley de De Morgan:

¬(p ∧ q) ≡ ¬p ∨ ¬q

p q p∧q ¬ (p ∧ q) ¬p ¬q ¬p ∨ ¬q

F F F T T T T
F T F T T F T
T F F T F T T
T T T F F F F

Lógica Proposicional: Matemáticas Discretas - p. 27/43

 Comprueba la validez de la ley de De Morgan:

¬(p ∧ q) ≡ ¬p ∨ ¬q

p q p∧q ¬ (p ∧ q) ¬p ¬q ¬p ∨ ¬q

F F F T T T T
F T F T T F T
T F F T F T T
T T T F F F F

Lógica Proposicional: Matemáticas Discretas - p. 27/43

 Comprueba la validez de la ley de De Morgan:

¬(p ∨ q) ≡ ¬p ∧ ¬q

Lógica Proposicional: Matemáticas Discretas - p. 28/43

 Comprueba la validez de la ley de De Morgan:

¬(p ∨ q) ≡ ¬p ∧ ¬q

p q p∨q ¬ (p ∨ q) ¬p ¬q ¬p ∧ ¬q

F F F T T T T
F T T F T F F
T F T F F T F
T T T F F F F

Lógica Proposicional: Matemáticas Discretas - p. 28/43

 Comprueba la validez de la ley de De Morgan:

¬(p ∨ q) ≡ ¬p ∧ ¬q

p q p∨q ¬ (p ∨ q) ¬p ¬q ¬p ∧ ¬q

F F F T T T T
F T T F T F F
T F T F F T F
T T T F F F F

Lógica Proposicional: Matemáticas Discretas - p. 28/43

 Comprueba la validez de la ley de De Morgan:

¬(p ∨ q) ≡ ¬p ∧ ¬q

p q p∨q ¬ (p ∨ q) ¬p ¬q ¬p ∧ ¬q

F F F T T T T
F T T F T F F
T F T F F T F
T T T F F F F

Lógica Proposicional: Matemáticas Discretas - p. 28/43

 Comprueba la validez de la ley de De Morgan:

¬(p ∨ q) ≡ ¬p ∧ ¬q

p q p∨q ¬ (p ∨ q) ¬p ¬q ¬p ∧ ¬q

F F F T T T T
F T T F T F F
T F T F F T F
T T T F F F F

Lógica Proposicional: Matemáticas Discretas - p. 28/43

 Comprueba la validez de la ley de De Morgan:

¬(p ∨ q) ≡ ¬p ∧ ¬q

p q p∨q ¬ (p ∨ q) ¬p ¬q ¬p ∧ ¬q

F F F T T T T
F T T F T F F
T F T F F T F
T T T F F F F

Lógica Proposicional: Matemáticas Discretas - p. 28/43

 Comprueba la validez de la ley de De Morgan:

¬(p ∨ q) ≡ ¬p ∧ ¬q

p q p∨q ¬ (p ∨ q) ¬p ¬q ¬p ∧ ¬q

F F F T T T T
F T T F T F F
T F T F F T F
T T T F F F F

Lógica Proposicional: Matemáticas Discretas - p. 28/43

 Comprueba la validez de la ley de De Morgan:

¬(p ∨ q) ≡ ¬p ∧ ¬q

p q p∨q ¬ (p ∨ q) ¬p ¬q ¬p ∧ ¬q

F F F T T T T
F T T F T F F
T F T F F T F
T T T F F F F

Lógica Proposicional: Matemáticas Discretas - p. 28/43

 Comprueba la validez de la ley de Absorción:

p ∧ (p ∨ q) ≡ p

Lógica Proposicional: Matemáticas Discretas - p. 29/43

 Comprueba la validez de la ley de Absorción:

p ∧ (p ∨ q) ≡ p

p q p∧q p ∨ (p ∧ q)
F F F F
F T F F
T F F T
T T T T

Lógica Proposicional: Matemáticas Discretas - p. 29/43

 Comprueba la validez de la ley de Absorción:

p ∧ (p ∨ q) ≡ p

p q p∧q p ∨ (p ∧ q)
F F F F
F T F F
T F F T
T T T T

Lógica Proposicional: Matemáticas Discretas - p. 29/43

 Comprueba la validez de la ley de Absorción:

p ∧ (p ∨ q) ≡ p

p q p∧q p ∨ (p ∧ q)
F F F F
F T F F
T F F T
T T T T

Lógica Proposicional: Matemáticas Discretas - p. 29/43

 Comprueba la validez de la ley de Absorción:

p ∧ (p ∨ q) ≡ p

p q p∧q p ∨ (p ∧ q)
F F F F
F T F F
T F F T
T T T T

Lógica Proposicional: Matemáticas Discretas - p. 29/43

 Comprueba la validez de la ley de Absorción:

p ∨ (p ∧ q) ≡ p

Lógica Proposicional: Matemáticas Discretas - p. 30/43

 Comprueba la validez de la ley de Absorción:

p ∨ (p ∧ q) ≡ p

p q p∨q p ∧ (p ∨ q)
F F F F
F T T F
T F T T
T T T T

Lógica Proposicional: Matemáticas Discretas - p. 30/43

 Comprueba la validez de la ley de Absorción:

p ∨ (p ∧ q) ≡ p

p q p∨q p ∧ (p ∨ q)
F F F F
F T T F
T F T T
T T T T

Lógica Proposicional: Matemáticas Discretas - p. 30/43

 Comprueba la validez de la ley de Absorción:

p ∨ (p ∧ q) ≡ p

p q p∨q p ∧ (p ∨ q)
F F F F
F T T F
T F T T
T T T T

Lógica Proposicional: Matemáticas Discretas - p. 30/43

 Comprueba la validez de la ley de Absorción:

p ∨ (p ∧ q) ≡ p

p q p∨q p ∧ (p ∨ q)
F F F F
F T T F
T F T T
T T T T

Lógica Proposicional: Matemáticas Discretas - p. 30/43

 Comprueba la validez de la ley de la doble negación:

¬(¬p) ≡ p

Lógica Proposicional: Matemáticas Discretas - p. 31/43

 Comprueba la validez de la ley de la doble negación:

¬(¬p) ≡ p

p ¬p ¬ (¬p)
F T F
T F T

Lógica Proposicional: Matemáticas Discretas - p. 31/43

 Comprueba la validez de la ley de la doble negación:

¬(¬p) ≡ p

p ¬p ¬ (¬p)
F T F
T F T

Lógica Proposicional: Matemáticas Discretas - p. 31/43

 Comprueba la validez de la ley de la doble negación:

¬(¬p) ≡ p

p ¬p ¬ (¬p)
F T F
T F T

Lógica Proposicional: Matemáticas Discretas - p. 31/43

 Comprueba la validez de la ley de la doble negación:

¬(¬p) ≡ p

p ¬p ¬ (¬p)
F T F
T F T

Lógica Proposicional: Matemáticas Discretas - p. 31/43

 Comprueba la validez de la ley de la negación o ley de inversa:

p ∧ ¬p ≡ F

Lógica Proposicional: Matemáticas Discretas - p. 32/43

 Comprueba la validez de la ley de la negación o ley de inversa:

p ∧ ¬p ≡ F

p ¬p p ∧ ¬p
F T F
T F F

Lógica Proposicional: Matemáticas Discretas - p. 32/43

 Comprueba la validez de la ley de la negación o ley de inversa:

p ∧ ¬p ≡ F

p ¬p p ∧ ¬p
F T F
T F F

Lógica Proposicional: Matemáticas Discretas - p. 32/43

 Comprueba la validez de la ley de la negación o ley de inversa:

p ∧ ¬p ≡ F

p ¬p p ∧ ¬p
F T F
T F F

Lógica Proposicional: Matemáticas Discretas - p. 32/43

 Comprueba la validez de la ley de la negación o ley de inversa:

p ∧ ¬p ≡ F

p ¬p p ∧ ¬p
F T F
T F F

Lógica Proposicional: Matemáticas Discretas - p. 32/43

 Comprueba la validez de la ley de la negación o ley de inversa:

p ∨ ¬p ≡ T

Lógica Proposicional: Matemáticas Discretas - p. 33/43

 Comprueba la validez de la ley de la negación o ley de inversa:

p ∨ ¬p ≡ T

p ¬p p ∨ ¬p
F T T
T F T

Lógica Proposicional: Matemáticas Discretas - p. 33/43

 Comprueba la validez de la ley de la negación o ley de inversa:

p ∨ ¬p ≡ T

p ¬p p ∨ ¬p
F T T
T F T

Lógica Proposicional: Matemáticas Discretas - p. 33/43

 Comprueba la validez de la ley de la negación o ley de inversa:

p ∨ ¬p ≡ T

p ¬p p ∨ ¬p
F T T
T F T

Lógica Proposicional: Matemáticas Discretas - p. 33/43

 Comprueba la validez de la ley de la negación o ley de inversa:

p ∨ ¬p ≡ T

p ¬p p ∨ ¬p
F T T
T F T

Lógica Proposicional: Matemáticas Discretas - p. 33/43

 Comprueba la validez de la ley de idempotencia:
p∧p≡p

Lógica Proposicional: Matemáticas Discretas - p. 34/43

 Comprueba la validez de la ley de idempotencia:
p∧p≡p

p p∧p
F F
T T

Lógica Proposicional: Matemáticas Discretas - p. 34/43

 Comprueba la validez de la ley de idempotencia:
p∧p≡p

p p∧p
F F
T T

Lógica Proposicional: Matemáticas Discretas - p. 34/43

 Comprueba la validez de la ley de idempotencia:
p∧p≡p

p p∧p
F F
T T

Lógica Proposicional: Matemáticas Discretas - p. 34/43

 Comprueba la validez de la ley de idempotencia:
p∨p≡p

Lógica Proposicional: Matemáticas Discretas - p. 35/43

 Comprueba la validez de la ley de idempotencia:
p∨p≡p

p p∨p
F F
T T

Lógica Proposicional: Matemáticas Discretas - p. 35/43

 Comprueba la validez de la ley de idempotencia:
p∨p≡p

p p∨p
F F
T T

Lógica Proposicional: Matemáticas Discretas - p. 35/43

 Comprueba la validez de la ley de idempotencia:
p∨p≡p

p p∨p
F F
T T

Lógica Proposicional: Matemáticas Discretas - p. 35/43

 Comprueba la validez de la ley de identidad:

p∧T≡p

Lógica Proposicional: Matemáticas Discretas - p. 36/43

 Comprueba la validez de la ley de identidad:

p∧T≡p

p T p∧T
F T F
T T T

Lógica Proposicional: Matemáticas Discretas - p. 36/43

 Comprueba la validez de la ley de identidad:

p∧T≡p

p T p∧T
F T F
T T T

Lógica Proposicional: Matemáticas Discretas - p. 36/43

 Comprueba la validez de la ley de identidad:

p∧T≡p

p T p∧T
F T F
T T T

Lógica Proposicional: Matemáticas Discretas - p. 36/43

 Comprueba la validez de la ley de identidad:

p∨F≡p

Lógica Proposicional: Matemáticas Discretas - p. 37/43

 Comprueba la validez de la ley de identidad:

p∨F≡p

p F p∨F
F F F
T F T

Lógica Proposicional: Matemáticas Discretas - p. 37/43

 Comprueba la validez de la ley de identidad:

p∨F≡p

p F p∨F
F F F
T F T

Lógica Proposicional: Matemáticas Discretas - p. 37/43

 Comprueba la validez de la ley de identidad:

p∨F≡p

p F p∨F
F F F
T F T

Lógica Proposicional: Matemáticas Discretas - p. 37/43

 Suposiciones

Tomaremos como válidas dos reglas importantes Introducción

Sentencia
que cumple la equivalencia de expresiones Declarativa
Proposición
lógicas: Variable
Proposicional
Primitiva
Propiedad transitiva de la equivalencia Valor de Verdad
Operadores
Si α ≡ β y β ≡ γ, entonces α ≡ γ. Jerarquı́a de
Operadores
Uso de Operadores
Propiedad de sustitución FBF
Tabla de Verdad
Si α ≡ β y F (α) es una expresión lógica Tabla Negación
Tabla Disjunción
donde aparece α, entonces F (α) ≡ F (β). Tabla Conjunción
Aquí F (β) es la expresión que se obtuvo de Ejemplo Tabla
Equivalencia
sustuituir β donde aparecía α en F (α). Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 38/43

 Ejemplos de Simplificación

Veamos ahora algunos ejemplos de simplicación Introducción

Sentencia
cuya justificación se basa en las leyes lógicas Declarativa
Proposición
recien vistas. Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negación
Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 39/43

 En el siguiente argumento se simplifica una FBF. Indique en
orden las leyes que justifican cada paso.
1) Ley de identidad 2) Ley de De Morgan
3) Ley de la doble negación 4) Ley distributiva
5) Ley asociativa 6) Ley de dominación
7) Ley conmutativa 8) Ley de inversas
9) Ley de idempotencia 10) Ley de absorción

(r ∧ ¬p) ∨ (r ∧ p) ≡ r ∧ (¬p ∨ p) por

Lógica Proposicional: Matemáticas Discretas - p. 40/43

 En el siguiente argumento se simplifica una FBF. Indique en
orden las leyes que justifican cada paso.
1) Ley de identidad 2) Ley de De Morgan
3) Ley de la doble negación 4) Ley distributiva
5) Ley asociativa 6) Ley de dominación
7) Ley conmutativa 8) Ley de inversas
9) Ley de idempotencia 10) Ley de absorción

(r ∧ ¬p) ∨ (r ∧ p) ≡ r ∧ (¬p ∨ p) por 10

≡ r ∧ (p ∨ ¬p) por

Lógica Proposicional: Matemáticas Discretas - p. 40/43

 En el siguiente argumento se simplifica una FBF. Indique en
orden las leyes que justifican cada paso.
1) Ley de identidad 2) Ley de De Morgan
3) Ley de la doble negación 4) Ley distributiva
5) Ley asociativa 6) Ley de dominación
7) Ley conmutativa 8) Ley de inversas
9) Ley de idempotencia 10) Ley de absorción

(r ∧ ¬p) ∨ (r ∧ p) ≡ r ∧ (¬p ∨ p) por 10

≡ r ∧ (p ∨ ¬p) por 7)
≡ r∧T por

Lógica Proposicional: Matemáticas Discretas - p. 40/43

 En el siguiente argumento se simplifica una FBF. Indique en
orden las leyes que justifican cada paso.
1) Ley de identidad 2) Ley de De Morgan
3) Ley de la doble negación 4) Ley distributiva
5) Ley asociativa 6) Ley de dominación
7) Ley conmutativa 8) Ley de inversas
9) Ley de idempotencia 10) Ley de absorción

(r ∧ ¬p) ∨ (r ∧ p) ≡ r ∧ (¬p ∨ p) por 10

≡ r ∧ (p ∨ ¬p) por 7)
≡ r∧T por 8
≡ r por

Lógica Proposicional: Matemáticas Discretas - p. 40/43

 En el siguiente argumento se simplifica una FBF. Indique en
orden las leyes que justifican cada paso.
1) Ley de identidad 2) Ley de De Morgan
3) Ley de la doble negación 4) Ley distributiva
5) Ley asociativa 6) Ley de dominación
7) Ley conmutativa 8) Ley de inversas
9) Ley de idempotencia 10) Ley de absorción

(r ∧ ¬p) ∨ (r ∧ p) ≡ r ∧ (¬p ∨ p) por 10

≡ r ∧ (p ∨ ¬p) por 7)
≡ r∧T por 8
≡ r por 1

Lógica Proposicional: Matemáticas Discretas - p. 40/43

 En el siguiente argumento se simplifica una FBF. Indique en
orden las leyes que justifican cada paso.
1) Ley de identidad 2) Ley de De Morgan
3) Ley de la doble negación 4) Ley distributiva
5) Ley asociativa 6) Ley de dominación
7) Ley conmutativa 8) Ley de inversas
9) Ley de idempotencia 10) Ley de absorción

(t ∧ (¬ (¬t ∨ q))) ∨ (t ∧ q) ≡ (t ∧ (¬(¬t) ∧ ¬q)) ∨ (t ∧ q) por

Lógica Proposicional: Matemáticas Discretas - p. 41/43

 En el siguiente argumento se simplifica una FBF. Indique en
orden las leyes que justifican cada paso.
1) Ley de identidad 2) Ley de De Morgan
3) Ley de la doble negación 4) Ley distributiva
5) Ley asociativa 6) Ley de dominación
7) Ley conmutativa 8) Ley de inversas
9) Ley de idempotencia 10) Ley de absorción

(t ∧ (¬ (¬t ∨ q))) ∨ (t ∧ q) ≡ (t ∧ (¬(¬t) ∧ ¬q)) ∨ (t ∧ q) por 2

≡ (t ∧ (t ∧ ¬q)) ∨ (t ∧ q) por

Lógica Proposicional: Matemáticas Discretas - p. 41/43

 En el siguiente argumento se simplifica una FBF. Indique en
orden las leyes que justifican cada paso.
1) Ley de identidad 2) Ley de De Morgan
3) Ley de la doble negación 4) Ley distributiva
5) Ley asociativa 6) Ley de dominación
7) Ley conmutativa 8) Ley de inversas
9) Ley de idempotencia 10) Ley de absorción

(t ∧ (¬ (¬t ∨ q))) ∨ (t ∧ q) ≡ (t ∧ (¬(¬t) ∧ ¬q)) ∨ (t ∧ q) por 2

≡ (t ∧ (t ∧ ¬q)) ∨ (t ∧ q) por 3
≡ ((t ∧ t) ∧ ¬q) ∨ (t ∧ q) por

Lógica Proposicional: Matemáticas Discretas - p. 41/43

 En el siguiente argumento se simplifica una FBF. Indique en
orden las leyes que justifican cada paso.
1) Ley de identidad 2) Ley de De Morgan
3) Ley de la doble negación 4) Ley distributiva
5) Ley asociativa 6) Ley de dominación
7) Ley conmutativa 8) Ley de inversas
9) Ley de idempotencia 10) Ley de absorción

(t ∧ (¬ (¬t ∨ q))) ∨ (t ∧ q) ≡ (t ∧ (¬(¬t) ∧ ¬q)) ∨ (t ∧ q) por 2

≡ (t ∧ (t ∧ ¬q)) ∨ (t ∧ q) por 3
≡ ((t ∧ t) ∧ ¬q) ∨ (t ∧ q) por 5
≡ (t ∧ ¬q) ∨ (t ∧ q) por

Lógica Proposicional: Matemáticas Discretas - p. 41/43

 En el siguiente argumento se simplifica una FBF. Indique en
orden las leyes que justifican cada paso.
1) Ley de identidad 2) Ley de De Morgan
3) Ley de la doble negación 4) Ley distributiva
5) Ley asociativa 6) Ley de dominación
7) Ley conmutativa 8) Ley de inversas
9) Ley de idempotencia 10) Ley de absorción

(t ∧ (¬ (¬t ∨ q))) ∨ (t ∧ q) ≡ (t ∧ (¬(¬t) ∧ ¬q)) ∨ (t ∧ q) por 2

≡ (t ∧ (t ∧ ¬q)) ∨ (t ∧ q) por 3
≡ ((t ∧ t) ∧ ¬q) ∨ (t ∧ q) por 5
≡ (t ∧ ¬q) ∨ (t ∧ q) por 9
≡ t ∧ (¬q ∨ q) por

Lógica Proposicional: Matemáticas Discretas - p. 41/43

 En el siguiente argumento se simplifica una FBF. Indique en
orden las leyes que justifican cada paso.
1) Ley de identidad 2) Ley de De Morgan
3) Ley de la doble negación 4) Ley distributiva
5) Ley asociativa 6) Ley de dominación
7) Ley conmutativa 8) Ley de inversas
9) Ley de idempotencia 10) Ley de absorción

(t ∧ (¬ (¬t ∨ q))) ∨ (t ∧ q) ≡ (t ∧ (¬(¬t) ∧ ¬q)) ∨ (t ∧ q) por 2

≡ (t ∧ (t ∧ ¬q)) ∨ (t ∧ q) por 3
≡ ((t ∧ t) ∧ ¬q) ∨ (t ∧ q) por 5
≡ (t ∧ ¬q) ∨ (t ∧ q) por 9
≡ t ∧ (¬q ∨ q) por 4
≡ t∧T por

Lógica Proposicional: Matemáticas Discretas - p. 41/43

 En el siguiente argumento se simplifica una FBF. Indique en
orden las leyes que justifican cada paso.
1) Ley de identidad 2) Ley de De Morgan
3) Ley de la doble negación 4) Ley distributiva
5) Ley asociativa 6) Ley de dominación
7) Ley conmutativa 8) Ley de inversas
9) Ley de idempotencia 10) Ley de absorción

(t ∧ (¬ (¬t ∨ q))) ∨ (t ∧ q) ≡ (t ∧ (¬(¬t) ∧ ¬q)) ∨ (t ∧ q) por 2

≡ (t ∧ (t ∧ ¬q)) ∨ (t ∧ q) por 3
≡ ((t ∧ t) ∧ ¬q) ∨ (t ∧ q) por 5
≡ (t ∧ ¬q) ∨ (t ∧ q) por 9
≡ t ∧ (¬q ∨ q) por 4
≡ t∧T por 8
≡ t por

Lógica Proposicional: Matemáticas Discretas - p. 41/43

 En el siguiente argumento se simplifica una FBF. Indique en
orden las leyes que justifican cada paso.
1) Ley de identidad 2) Ley de De Morgan
3) Ley de la doble negación 4) Ley distributiva
5) Ley asociativa 6) Ley de dominación
7) Ley conmutativa 8) Ley de inversas
9) Ley de idempotencia 10) Ley de absorción

(t ∧ (¬ (¬t ∨ q))) ∨ (t ∧ q) ≡ (t ∧ (¬(¬t) ∧ ¬q)) ∨ (t ∧ q) por 2

≡ (t ∧ (t ∧ ¬q)) ∨ (t ∧ q) por 3
≡ ((t ∧ t) ∧ ¬q) ∨ (t ∧ q) por 5
≡ (t ∧ ¬q) ∨ (t ∧ q) por 9
≡ t ∧ (¬q ∨ q) por 4
≡ t∧T por 8
≡ t por 1

Lógica Proposicional: Matemáticas Discretas - p. 41/43

 Una FBF se dice ser una tautología si se evalua en Introducción
Sentencia
verdadero para todos los valores de verdad Declarativa
Proposición
posibles para sus variables proposicionales; por Variable
Proposicional
otro lado se llama contradicción si es falsa Primitiva
siempre, y se llama contingencia cuando su tabla Valor de Verdad
Operadores
de verdad tiene tanto verdaderos como falsos. En Jerarquı́a de
Operadores
términos de equivalencias: α es una tautología si y Uso de Operadores
sólo si α ≡ T; α es una contradicción si y sólo si FBF
Tabla de Verdad
α ≡ F; y α es una contingencia si y sólo si α no es Tabla Negación
equivalente ni a T ni a F. Tabla Disjunción
Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 42/43

 Temas Vistos

■ Concepto de proposición Introducción

Sentencia
Declarativa
■ Variable Proposicional y Fórmulas Bien Proposición
Formadas Variable
Proposicional
■ Conectivos Lógicos: Disjunción, Conjunción y Primitiva
Valor de Verdad
Negación) Operadores
Jerarquı́a de
■ Tabla de Verdad Operadores
Uso de Operadores
■ Equivalencia Lógica FBF
Tabla de Verdad
■ Simplificación argumentada de una FBF Tabla Negación
Tabla Disjunción
■ Tautología, Contradicción, y Contingencia Tabla Conjunción
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificación
Sumario

Lógica Proposicional: Matemáticas Discretas - p. 43/43