Matemáticas Discretas

TC1003

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

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
por proposición y conectivo lógico. A partir de eso Proposicional
Primitiva
veremos lo que se conoce como tabla de verdad. Valor de Verdad
Con eso se verá lo que se entiende como Operadores
Jerarquı́a de
equivalencia lógica que es base para reducción de Operadores
circuitos lógicos y que es usado para entender los Uso de
Operadores
casos de los ifs en los programas de computadora. 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. 2/43
 Sentencia Declarativa

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

Sentencia
afirma algo. Declarativa
Proposición
Ejemplos Variable
Son sentencias declarativas: Proposicional
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
a caminar. Operadores
FBF
■ El Último Teorema de Fermat es cierto. Tabla de Verdad
Tabla Negación
■ Esta frase es falsa. Tabla Disjunción
Tabla Conjunción
■ x + 3 es impar. Ejemplo Tabla
Equivalencia
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
■ ¿Está lloviendo?
Variable
Proposicional
■ ¡Hola!, ¿cómo estás?
Primitiva
■ Tierno sáuz, casi ámbar, casi luz. . .
Valor de Verdad
Operadores
■ ¿Qué es en el fondo actuar, sino mentir? ¿Y qué Jerarquı́a de
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
Ejemplos Variable
Son proposiciones: Proposicional
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
a caminar. Operadores
Uso de
■ El Último Teorema de Fermat es cierto. 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
 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
◆ Si la frase es falsa, lo contrario a lo que en ella Operadores
Jerarquı́a de
se afirma es cierto, por consiguiente es cierta. Operadores
Uso de
■ x + 3 es un número impar Operadores
◆ Si x = 2 la afirmación es cierta. FBF
Tabla de Verdad
◆ Si x = 3 la afirmación es falsa. 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
 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
pondremos Proposicional
Primitiva
p : El curso de Matemáticas Discretas está Valor de Verdad
Operadores
fácil. Jerarquı́a de
Operadores
Indicará que la variable proposicional p representa Uso de
Operadores
la proposición “El curso de Matemáticas Discretas FBF
está fácil.” 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
 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
Ejemplos Proposicional
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
Una proposición compuesta es una proposición FBF
que no es primitiva. Tabla de Verdad
Tabla Negación
Ejemplos Tabla Disjunción
Tabla Conjunción
■ Si la luna está llena y no llueve, salgo a caminar.
Ejemplo Tabla
■ Yo contraté el cable básico, como tú. Equivalencia
Equivalencias
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
lo que en la misma proposición se afirme: si es Proposicional
Primitiva
cierto diremos que tiene valor de verdad verdadero Valor de Verdad
y si es falso diremos que tiene valor de verdad Operadores
Jerarquı́a de
falso. 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. 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
■ Disjunción: p ∨ q (Léase “p o q”)
Proposicional
Primitiva
■ Conjunción: p ∧ q (Léase “p y q”) Valor de Verdad
Operadores
Jerarquı́a de
Operadores
Estos operadores pueden usarse una o varias Uso de
veces en forma combinada o no para construir Operadores
FBF
proposiciones más complejas, por ejemplo Tabla de Verdad
Tabla Negación
p ∨ (q ∧ (r ∨ (¬p))) Tabla Disjunción
Tabla Conjunción
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
Mayor Jeraquía ¬ ∧ ∨ Menor Jerarquía Primitiva
Valor de Verdad
Operadores
Jerarquı́a de
Ante una disputa de operandos gana el que tiene Operadores
Uso de
una mayor jerarquía. Así Operadores
FBF
Tabla de Verdad
La expresión Se interpreta como Tabla Negación
Tabla Disjunción
p∨q∧r p ∨ (q ∧ r) Tabla Conjunción
Ejemplo Tabla
¬p ∧ q (¬p) ∧ q Equivalencia
p ∧ ¬s ∨ ¬q ∧ r (p ∧ (¬s)) ∨ ((¬q) ∧ r) Equivalencias
Suposiciones
Los paréntesis deben ser utilizados para forzar el Ejemplos
Simplificación
orden de las operaciones. Sumario
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
Entonces la representación de las siguientes Jerarquı́a de
Operadores
afirmaciones queda: Uso de
■ Está lluvioso y soleado : r ∧ q Operadores
FBF
■ Está soleado o está lluvioso : q ∨ r Tabla de Verdad
Tabla Negación
■ Está soleado y no está caluroso : q ∧ ¬p Tabla Disjunción
Tabla Conjunción
■ Ni está soleado ni está caluroso : ¬q ∧ ¬p Ejemplo Tabla
Equivalencia
■ Está soleado pero está lluvioso : q ∧ r Equivalencias
Suposiciones
■ Está lluvioso pero no está caluroso : r ∧ ¬p
Ejemplos
Simplificación
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
variables proposicionales, las constantes Proposicional
Primitiva
T(verdadero) o F (falso), operadores lógicos y Valor de Verdad
paréntesis: bien balancedos los paréntesis, los Operadores
Jerarquı́a de
operadores lógicos indicados y con el número de Operadores
argumentos correctos. Uso de
Operadores
Son FBFs: FBF
Tabla de Verdad
p , p ∨ q , p ∨ (q ∧ ((¬r) ∧ s)) Tabla Negación
Tabla Disjunción
Tabla Conjunción
No FBSs: Ejemplo Tabla
Equivalencia
p q , r ∨ (q ∧ ¬) , (s ∧ r) ∨ (q¬p) Equivalencias
Suposiciones
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
de la variables proposicionales que aparecen en Proposicional
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
p ¬p Proposición
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
p q p∨q Proposición
Variable
Proposicional
F F F Primitiva
Valor de Verdad
F T T Operadores
T F T Jerarquı́a de
Operadores
T T T Uso de
Operadores
FBF
Tabla de Verdad
Tabla Negación
Sólo es F cuando sus argumentos son ambos Tabla Disjunción
Tabla Conjunción
falsos. Ejemplo Tabla
Equivalencia
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
p q p∧q Proposición
Variable
Proposicional
F F F Primitiva
Valor de Verdad
F T F Operadores
T F F Jerarquı́a de
Operadores
T T T Uso de
Operadores
FBF
Tabla de Verdad
Tabla Negación
Sólo es T cuando sus argumentos son ambos Tabla Disjunción
Tabla Conjunción
verdaderos. Ejemplo Tabla
Equivalencia
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
F F F Primitiva
Valor de Verdad
F T F Operadores
Jerarquı́a de
T F T Operadores
Uso de
T T T 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. 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
sustitución de valores de verdad de sus variables Proposicional
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
expresiones: como dos columnas en una misma Proposicional
Primitiva
tabla. Valor de Verdad
Operadores
■ Comparar las tablas renglón por renglón.
Jerarquı́a de
■ Si renglón a reglón tienen el mismo valor de
Operadores
Uso de
verdad, son equivalentes. Operadores
FBF
■ Si hay al menos un renglón donde difieran, no Tabla de Verdad
Tabla Negación
son equivalentes. Tabla Disjunción
Tabla Conjunción
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
p q p∧q q∧ p Primitiva
Valor de Verdad
F F F F Operadores
Jerarquı́a de
F T F F Operadores
Uso de
T F F F Operadores
FBF
T 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. 21/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)

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 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)= β

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 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

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 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

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 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

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

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

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

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. 35/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

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
Propiedad de sustitución Uso de
Operadores
Si α ≡ β y F(α) es una expresión lógica FBF
Tabla de Verdad
donde aparece α, entonces F(α) ≡ F(β). Tabla Negación
Aquí F(β) es la expresión que se obtuvo de Tabla Disjunción
Tabla Conjunción
sustuituir β donde aparecía α en F(α). Ejemplo Tabla
Equivalencia
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 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 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
otro lado se llama contradicción si es falsa Proposicional
Primitiva
siempre, y se llama contingencia cuando su tabla Valor de Verdad
de verdad tiene tanto verdaderos como falsos. En Operadores
Jerarquı́a de
términos de equivalencias: α es una tautología si y Operadores
sólo si α ≡ T; α es una contradicción si y sólo si Uso de
Operadores
α ≡ F; y α es una contingencia si y sólo si α no es FBF
Tabla de Verdad
equivalente ni a T ni a F. 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. 42/43
 Temas Vistos

■ Concepto de proposición Introducción

Sentencia
■ Variable Proposicional y Fórmulas Bien Declarativa
Proposición
Formadas Variable
Proposicional
■ Conectivos Lógicos: Disjunción, Conjunción y Primitiva
Negación) Valor de Verdad
Operadores
■ Tabla de Verdad Jerarquı́a de
Operadores
■ Equivalencia Lógica Uso de
Operadores
■ Simplificación argumentada de una FBF FBF
Tabla de Verdad
■ Tautología, Contradicción, y Contingencia 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. 43/43