Tablas Verdad y Equivalencia Examen de Lógica

Matemticas Discretas
TC1003
Lgica Proposicional:
Proposiciones, Conectivos, Tablas de Verdad y Equivalencias
Departamento de Matemticas
ITESM
Matemticas Discretas - p. 1/43
Introduccin
En esta lectura veremos los elementos bsicos de
lo que se llama Lgica Proposicional o Clculo
Proposicional. Iniciaremos con lo que entendemos
por proposicin y conectivo lgico. A partir de eso
veremos lo que se conoce como tabla de verdad.
Con eso se ver lo que se entiende como
equivalencia lgica que es base para reduccin de
circuitos lgicos y que es usado para entender los
casos de los ifs en los programas de computadora.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Sentencia Declarativa
Una sentencia declarativa es una oracin que
afirma algo.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
afirma algo.
Ejemplos
Son sentencias declarativas:

El curso de Matemticas Discretas est fcil.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
afirma algo.
Ejemplos

El caballo blanco es verde.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
afirma algo.
Ejemplos

Si la luna est llena y no llueve, entonces saldr
a caminar.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
afirma algo.
Ejemplos

a caminar.
El ltimo Teorema de Fermat es cierto.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
afirma algo.
Ejemplos

a caminar.
Esta frase es falsa.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
afirma algo.
Ejemplos

a caminar.
Esta frase es falsa.
x + 3 es impar.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Ejemplos
No son sentencias declarativas:
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Ejemplos

Est lloviendo?
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Ejemplos

Est lloviendo?
Hola!, cmo ests?
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Ejemplos

Est lloviendo?
Hola!, cmo ests?
Tierno suz, casi mbar, casi luz. . .
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Ejemplos

Est lloviendo?
Hola!, cmo ests?
Tierno suz, casi mbar, casi luz. . .
Qu es en el fondo actuar, sino mentir? Y qu
es actuar bien, sino mentir convenciendo?
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Proposicin
Una proposicin es una sentencia declarativa que
debe ser verdadera o falsa pero no ambas.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Proposicin
Ejemplos
Son proposiciones:
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Proposicin
Ejemplos
Son proposiciones:
a caminar.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Proposicin
Ejemplos
Son proposiciones:
a caminar.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Ejemplos
No son proposiciones:
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Ejemplos
Esta frase es falsa
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Ejemplos
Esta frase es falsa
Si la frase es cierta, lo que en ella se dice
debe ser cierto, as debe ser falsa.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Ejemplos
Esta frase es falsa
Si la frase es falsa, lo contrario a lo que en ella
se afirma es cierto, por consiguiente es cierta.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Ejemplos
Esta frase es falsa
x + 3 es un nmero impar
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Ejemplos
Esta frase es falsa
Si x = 2 la afirmacin es cierta.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Ejemplos
Esta frase es falsa
Si x = 2 la afirmacin es cierta.
Si x = 3 la afirmacin es falsa.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Variable Proposicional
En nuestro manejo de proposiciones utilizaremos
smbolos para representarlas. Estos smbolos se
llamarn variables proposicionales.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Variable Proposicional
En nuestro manejo de proposiciones utilizaremos
smbolos para representarlas. Estos smbolos se
llamarn variables proposicionales. As
pondremos
p : El curso de Matemticas Discretas est
fcil.
Indicar que la variable proposicional p representa
la proposicin El curso de Matemticas Discretas
est fcil.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Proposiciones Primitiva y Compuestas

Una proposicin primitiva es una proposicin que
no se puede descomponer en hechos ms
simples.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario

simples.
Ejemplos
El curso de matemticas discretas est fcil.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario

simples.
Ejemplos

Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario

simples.
Ejemplos

Una proposicin compuesta es una proposicin

que no es primitiva.
Ejemplos
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario

simples.
Ejemplos


Ejemplos
Si la luna est llena y no llueve, salgo a caminar.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario

simples.
Ejemplos


Ejemplos
Si la luna est llena y no llueve, salgo a caminar.

Yo contrat el cable bsico, como t.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Valor de Verdad
El valor de verdad de una proposicin es una
asignacin a uno de los dos posibles valores
verdadero o falso. Esta asignacin depender de
lo que en la misma proposicin se afirme: si es
cierto diremos que tiene valor de verdad verdadero
y si es falso diremos que tiene valor de verdad
falso.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Operadores Lgicos
Los operadores lgicos sirven para construir
proposiciones complejas.
Negacin: p (Lase no p)
Disjuncin: p q (Lase p o q)
Conjuncin: p q (Lase p y q)
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Operadores Lgicos
Los operadores lgicos sirven para construir
proposiciones complejas.
Negacin: p (Lase no p)
Disjuncin: p q (Lase p o q)
Conjuncin: p q (Lase p y q)
Estos operadores pueden usarse una o varias
veces en forma combinada o no para construir
proposiciones ms complejas, por ejemplo
p (q (r (p)))
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Jerarqua de Operadores
Para reducir el nmero de parntesis se conviene
en una jerarqua de operadores para indicar el
orden de precedencia de uno sobre otro.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Mayor Jeraqua Menor Jerarqua
Ante una disputa de operandos gana el que tiene
una mayor jerarqua. As
La expresin
Se interpreta como
pqr
p q
p s q r
p (q r)
(p) q
(p (s)) ((q) r)
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Mayor Jeraqua Menor Jerarqua
Ante una disputa de operandos gana el que tiene
una mayor jerarqua. As
La expresin
Se interpreta como
pqr
p (q r)
p q
(p) q
p s q r (p (s)) ((q) r)
Los parntesis deben ser utilizados para forzar el
orden de las operaciones.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Uso de operadores
Supongamos que
p: Est caluroso
q: Est soleado
r: Est lluvioso
s: Est hmedo
Entonces la representacin de las siguientes
afirmaciones queda:
Est lluvioso y soleado
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Uso de operadores
Supongamos que
p: Est caluroso
q: Est soleado
r: Est lluvioso
s: Est hmedo
afirmaciones queda:
Est lluvioso y soleado : r q
Est soleado o est lluvioso
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Uso de operadores
Supongamos que
p: Est caluroso
q: Est soleado
r: Est lluvioso
s: Est hmedo
afirmaciones queda:
Est soleado o est lluvioso : q r
Est soleado y no est caluroso
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Uso de operadores
Supongamos que
p: Est caluroso
q: Est soleado
r: Est lluvioso
s: Est hmedo
afirmaciones queda:
Est soleado y no est caluroso : q p
Ni est soleado ni est caluroso
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Uso de operadores
Supongamos que
p: Est caluroso
q: Est soleado
r: Est lluvioso
s: Est hmedo
afirmaciones queda:
Ni est soleado ni est caluroso : q p
Est soleado pero est lluvioso
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Uso de operadores
Supongamos que
p: Est caluroso
q: Est soleado
r: Est lluvioso
s: Est hmedo
afirmaciones queda:
Est soleado pero est lluvioso : q r
Est lluvioso pero no est caluroso
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Uso de operadores
Supongamos que
p: Est caluroso
q: Est soleado
r: Est lluvioso
s: Est hmedo
afirmaciones queda:
Est soleado pero est lluvioso : q r
Est lluvioso pero no est caluroso : r p
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Frmula Bien Formada

Una frmula bien formada (FBF por sus sglas
en ngles WFF) o tambin llamada forma
proposicional es una expresin donde aparecen
variables proposicionales, las constantes
T(verdadero) o F (falso), operadores lgicos y
parntesis: bien balancedos los parntesis, los
operadores lgicos indicados y con el nmero de
argumentos correctos.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Frmula Bien Formada

Son FBFs:
p , p q , p (q ((r) s))
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Frmula Bien Formada

Son FBFs:
p , p q , p (q ((r) s))
No FBSs:
p q , r (q ) , (s r) (qp)
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Tabla de Verdad
Una tabla de verdad de una proposicin es una
descripcin organizada de los valores de verdad
de la proposicin para todos los valores posibles
de la variables proposicionales que aparecen en
ella.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Tabla de Verdad de la Negacin
F
T
T
F
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Tabla de Verdad de la Disjuncin
pq
F
F
T
T
F
T
F
T
F
T
T
T
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Tabla de Verdad de la Disjuncin
pq
F
F
T
T
F
T
F
T
F
T
T
T
Slo es F cuando sus argumentos son ambos

falsos.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Tabla de Verdad de la Conjuncin
pq
F
F
T
T
F
T
F
T
F
F
F
T
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Tabla de Verdad de la Conjuncin
pq
F
F
T
T
F
T
F
T
F
F
F
T
Slo es T cuando sus argumentos son ambos

verdaderos.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Ejemplo de Tabla de Verdad

Calcule la tabla de verdad de (p q) (p q):
p
F
F
T
T
F
T
F
T
pq
p q
(p q) (p q)
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario

p
pq
F
F
T
T
F
T
F
T
F
T
T
T
p q
(p q) (p q)
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario

p
pq
F
T
F
T
q
T
F
T
F
p q
(p q) (p q)
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario

p
pq
F
F
T
T
p q
T
F
T
F
T
F
T
T
(p q) (p q)
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario

p
pq
F
T
T
T
p q
(p q) (p q)
T
F
T
T
F
F
T
T
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario

p
F
F
T
T
F
T
F
T
pq
p q
(p q) (p q)
F
F
T
T
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Equivalencia Lgica
Dos formas proposicionales y se dicen
lgicamente equivalentes si y slo si tienen
valores de verdad idnticos para cualquier
sustitucin de valores de verdad de sus variables
proposicionales. Esto se simbolizar
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
De la misma definicin de equivalencia entre FBFs

se deduce el procedimiento de verificacin:
Construir las tablas de verdad de ambas
expresiones: como dos columnas en una misma
tabla.
Comparar las tablas rengln por rengln.
Si rengln a regln tienen el mismo valor de
verdad, son equivalentes.
Si hay al menos un rengln donde difieran, no
son equivalentes.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Equivalencia Utilizadas
Comprueba la validez de la ley conmutativa:
pq qp
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
pq qp
p
pq
qp
F
F
T
T
F
T
F
T
F
F
F
T
F
F
F
T
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
pq qp
pq
qp
F
F
T
T
F
T
F
T
F
F
F
T
F
F
F
T
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
pq qp
pq
qp
F
F
T
T
F
T
F
T
F
F
F
T
F
F
F
T
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
pq qp
pq
qp
F
F
T
T
F
T
F
T
F
F
F
T
F
F
F
T
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario

pq qp

pq qp
pq
qp
F
F
T
T
F
T
F
T
F
T
T
T
F
T
T
T

pq qp
pq
qp
F
F
T
T
F
T
F
T
F
T
T
T
F
T
T
T

pq qp
pq
qp
F
F
T
T
F
T
F
T
F
T
T
T
F
T
T
T

pq qp
pq
qp
F
F
T
T
F
T
F
T
F
T
T
T
F
T
T
T
Comprueba la validez de la ley asociativa:

(p q) r p (q r)

(p q) r p (q r)
p
pq
(p q) r
qr
p (q r)

(p q) r p (q r)
p
pq
(p q) r
qr
p (q r)

(p q) r p (q r)
p
pq
(p q) r
qr
p (q r)

(p q) r p (q r)
p
pq
(p q) r
qr
p (q r)

(p q) r p (q r)
p
pq
(p q) r
qr
p (q r)

(p q) r p (q r)
p
pq
(p q) r
qr
p (q r)

(p q) r p (q r)

(p q) r p (q r)
p
pq
(p q) r
qr
p (q r)

(p q) r p (q r)
p
pq
(p q) r
qr
p (q r)

(p q) r p (q r)
p
pq
(p q) r
qr
p (q r)

(p q) r p (q r)
p
pq
(p q) r
qr
p (q r)

(p q) r p (q r)
p
pq
(p q) r
qr
p (q r)

(p q) r p (q r)
p
pq
(p q) r
qr
p (q r)
Comprueba la validez de la ley distributiva:

=p (q r) (p q) (p r)=

=p (q r) (p q) (p r)=
p
qr
pq
pr

=p (q r) (p q) (p r)=
p
qr
pq
pr

=p (q r) (p q) (p r)=
p
qr
pq
pr

=p (q r) (p q) (p r)=
p
qr
pq
pr

=p (q r) (p q) (p r)=
p
qr
pq
pr

=p (q r) (p q) (p r)=
p
qr
pq
pr

=p (q r) (p q) (p r)=
p
qr
pq
pr

=p (q r) (p q) (p r)=

=p (q r) (p q) (p r)=
p
qr
pq
pr

=p (q r) (p q) (p r)=
p
qr
pq
pr

=p (q r) (p q) (p r)=
p
qr
pq
pr

=p (q r) (p q) (p r)=
p
qr
pq
pr

=p (q r) (p q) (p r)=
p
qr
pq
pr

=p (q r) (p q) (p r)=
p
qr
pq
pr

=p (q r) (p q) (p r)=
p
qr
pq
pr
Comprueba la validez de la ley de De Morgan:

(p q) p q

(p q) p q
p
pq
(p q)
p q

(p q) p q
p
pq
(p q)
p q

(p q) p q
p
pq
(p q)
p q

(p q) p q
p
pq
(p q)
p q

(p q) p q
p
pq
(p q)
p q

(p q) p q
p
pq
(p q)
p q

(p q) p q
p
pq
(p q)
p q

(p q) p q

(p q) p q
p
pq
(p q)
p q

(p q) p q
p
pq
(p q)
p q

(p q) p q
p
pq
(p q)
p q

(p q) p q
p
pq
(p q)
p q

(p q) p q
p
pq
(p q)
p q

(p q) p q
p
pq
(p q)
p q

(p q) p q
p
pq
(p q)
p q
Comprueba la validez de la ley de Absorcin:

p (p q) p

p (p q) p
pq
p (p q)
F
F
T
T
F
T
F
T
F
F
F
T
F
F
T
T

p (p q) p
pq
p (p q)
F
F
T
T
F
T
F
T
F
F
F
T
F
F
T
T

p (p q) p
pq
p (p q)
F
F
T
T
F
T
F
T
F
F
F
T
F
F
T
T

p (p q) p
pq
p (p q)
F
F
T
T
F
T
F
T
F
F
F
T
F
F
T
T

p (p q) p

p (p q) p
pq
p (p q)
F
F
T
T
F
T
F
T
F
T
T
T
F
F
T
T

p (p q) p
pq
p (p q)
F
F
T
T
F
T
F
T
F
T
T
T
F
F
T
T

p (p q) p
pq
p (p q)
F
F
T
T
F
T
F
T
F
T
T
T
F
F
T
T

p (p q) p
pq
p (p q)
F
F
T
T
F
T
F
T
F
T
T
T
F
F
T
T
Comprueba la validez de la ley de la doble negacin:

(p) p

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

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

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

(p) p
(p)
F
T
T
F
F
T
Comprueba la validez de la ley de la negacin o ley de inversa:

p p F

p p F
p p
F
T
T
F
F
F

p p F
p p
F
T
T
F
F
F

p p F
p p
F
T
T
F
F
F

p p F
p p
F
T
T
F
F
F

p p T

p p T
p p
F
T
T
F
T
T

p p T
p p
F
T
T
F
T
T

p p T
p p
F
T
T
F
T
T

p p T
p p
F
T
T
F
T
T
Comprueba la validez de la ley de idempotencia:

ppp

ppp
pp
F
T
F
T

ppp
pp
F
T
F
T

ppp
pp
F
T
F
T

ppp

ppp
pp
F
T
F
T

ppp
pp
F
T
F
T

ppp
pp
F
T
F
T
Comprueba la validez de la ley de identidad:

pTp

pTp
pT
F
T
T
T
F
T

pTp
pT
F
T
T
T
F
T

pTp
pT
F
T
T
T
F
T

pFp

pFp
pF
F
T
F
F
F
T

pFp
pF
F
T
F
F
F
T

pFp
pF
F
T
F
F
F
T
Suposiciones
Tomaremos como vlidas dos reglas importantes
que cumple la equivalencia de expresiones
lgicas:
Propiedad transitiva de la equivalencia
Si y , entonces .
Propiedad de sustitucin
Si y F () es una expresin lgica
donde aparece , entonces F () F ().
Aqu F () es la expresin que se obtuvo de
sustuituir donde apareca en F ().
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Ejemplos de Simplificacin
Veamos ahora algunos ejemplos de simplicacin
cuya justificacin se basa en las leyes lgicas
recien vistas.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
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 negacin
4)
Ley distributiva
5)
Ley asociativa
6)
Ley de dominacin
7)
Ley conmutativa
8)
Ley de inversas
9)
Ley de idempotencia
10)
(r p) (r p)
Ley de absorcin
r (p p)
por

1)
Ley de identidad
2)
Ley de De Morgan
3)
4)
Ley distributiva
5)
Ley asociativa
6)
Ley de dominacin
7)
Ley conmutativa
8)
Ley de inversas
9)
Ley de idempotencia
10)
(r p) (r p)
Ley de absorcin
r (p p)
por 4
r (p p)
por

1)
Ley de identidad
2)
Ley de De Morgan
3)
4)
Ley distributiva
5)
Ley asociativa
6)
Ley de dominacin
7)
Ley conmutativa
8)
Ley de inversas
9)
Ley de idempotencia
10)
(r p) (r p)
Ley de absorcin
r (p p)
por 4
r (p p)
por 7)
rT
por

1)
Ley de identidad
2)
Ley de De Morgan
3)
4)
Ley distributiva
5)
Ley asociativa
6)
Ley de dominacin
7)
Ley conmutativa
8)
Ley de inversas
9)
Ley de idempotencia
10)
(r p) (r p)
Ley de absorcin
r (p p)
por 4
r (p p)
por 7)
rT
por 8
por

1)
Ley de identidad
2)
Ley de De Morgan
3)
4)
Ley distributiva
5)
Ley asociativa
6)
Ley de dominacin
7)
Ley conmutativa
8)
Ley de inversas
9)
Ley de idempotencia
10)
(r p) (r p)
Ley de absorcin
r (p p)
por 4
r (p p)
por 7)
rT
por 8
por 1

1)
Ley de identidad
2)
Ley de De Morgan
3)
4)
Ley distributiva
5)
Ley asociativa
6)
Ley de dominacin
7)
Ley conmutativa
8)
Ley de inversas
9)
Ley de idempotencia
(t ( (t q))) (t q)
10)
Ley de absorcin
(t ((t) q)) (t q)
por

1)
Ley de identidad
2)
Ley de De Morgan
3)
4)
Ley distributiva
5)
Ley asociativa
6)
Ley de dominacin
7)
Ley conmutativa
8)
Ley de inversas
9)
Ley de idempotencia
(t ( (t q))) (t q)
10)
Ley de absorcin
(t ((t) q)) (t q)
(t (t q)) (t q)
por 2
por

1)
Ley de identidad
2)
Ley de De Morgan
3)
4)
Ley distributiva
5)
Ley asociativa
6)
Ley de dominacin
7)
Ley conmutativa
8)
Ley de inversas
9)
Ley de idempotencia
(t ( (t q))) (t q)
10)
Ley de absorcin
(t ((t) q)) (t q)
por 2
(t (t q)) (t q)
por 3
((t t) q) (t q)
por

1)
Ley de identidad
2)
Ley de De Morgan
3)
4)
Ley distributiva
5)
Ley asociativa
6)
Ley de dominacin
7)
Ley conmutativa
8)
Ley de inversas
9)
Ley de idempotencia
(t ( (t q))) (t q)
10)
Ley de absorcin
(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

1)
Ley de identidad
2)
Ley de De Morgan
3)
4)
Ley distributiva
5)
Ley asociativa
6)
Ley de dominacin
7)
Ley conmutativa
8)
Ley de inversas
9)
Ley de idempotencia
(t ( (t q))) (t q)
10)
Ley de absorcin
(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

1)
Ley de identidad
2)
Ley de De Morgan
3)
4)
Ley distributiva
5)
Ley asociativa
6)
Ley de dominacin
7)
Ley conmutativa
8)
Ley de inversas
9)
Ley de idempotencia
(t ( (t q))) (t q)
10)
Ley de absorcin
(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
tT
por

1)
Ley de identidad
2)
Ley de De Morgan
3)
4)
Ley distributiva
5)
Ley asociativa
6)
Ley de dominacin
7)
Ley conmutativa
8)
Ley de inversas
9)
Ley de idempotencia
(t ( (t q))) (t q)
10)
Ley de absorcin
(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
tT
por 8
por

1)
Ley de identidad
2)
Ley de De Morgan
3)
4)
Ley distributiva
5)
Ley asociativa
6)
Ley de dominacin
7)
Ley conmutativa
8)
Ley de inversas
9)
Ley de idempotencia
(t ( (t q))) (t q)
10)
Ley de absorcin
(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
tT
por 8
por 1
Una FBF se dice ser una tautologa si se evalua en

verdadero para todos los valores de verdad
posibles para sus variables proposicionales; por
otro lado se llama contradiccin si es falsa
siempre, y se llama contingencia cuando su tabla
de verdad tiene tanto verdaderos como falsos. En
trminos de equivalencias: es una tautologa si y
slo si T; es una contradiccin si y slo si
F; y es una contingencia si y slo si no es
equivalente ni a T ni a F.
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario
Temas Vistos
Concepto de proposicin
Variable Proposicional y Frmulas Bien
Formadas
Conectivos Lgicos: Disjuncin, Conjuncin y
Negacin)
Tabla de Verdad
Equivalencia Lgica
Simplificacin argumentada de una FBF
Tautologa, Contradiccin, y Contingencia
Introduccion
Sentencia
Declarativa
Proposicion
Variable
Proposicional
Primitiva
Valor de Verdad
Operadores
Jerarqua de
Operadores
Uso de Operadores
FBF
Tabla de Verdad
Tabla Negacion
Tabla Disjuncion
Tabla Conjuncion
Ejemplo Tabla
Equivalencia
Equivalencias
Suposiciones
Ejemplos
Simplificacion
Sumario

Tablas Verdad y Equivalencia Examen de Lógica

Diunggah oleh

Informasi Dokumen

Deskripsi 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

Tablas Verdad y Equivalencia Examen de Lógica

Diunggah oleh

Hak Cipta:

Format Tersedia

Matemticas Discretas

Matemticas Discretas - p. 1/43

Matemticas Discretas - p. 2/43

Matemticas Discretas - p. 3/43

Son sentencias declarativas:

Matemticas Discretas - p. 3/43

Son sentencias declarativas:

Matemticas Discretas - p. 3/43

Son sentencias declarativas:

Matemticas Discretas - p. 3/43

Son sentencias declarativas:

Matemticas Discretas - p. 3/43

Son sentencias declarativas:

Matemticas Discretas - p. 3/43

Son sentencias declarativas:

Matemticas Discretas - p. 3/43

No son sentencias declarativas:

Matemticas Discretas - p. 4/43

No son sentencias declarativas:

Matemticas Discretas - p. 4/43

No son sentencias declarativas:

Matemticas Discretas - p. 4/43

No son sentencias declarativas:

Matemticas Discretas - p. 4/43

No son sentencias declarativas:

Matemticas Discretas - p. 4/43

Matemticas Discretas - p. 5/43

Matemticas Discretas - p. 5/43

Matemticas Discretas - p. 5/43

Matemticas Discretas - p. 5/43

Matemticas Discretas - p. 6/43

Matemticas Discretas - p. 6/43

Matemticas Discretas - p. 6/43

Matemticas Discretas - p. 6/43

Matemticas Discretas - p. 6/43

Matemticas Discretas - p. 6/43

Matemticas Discretas - p. 6/43

Matemticas Discretas - p. 7/43

Matemticas Discretas - p. 7/43

Proposiciones Primitiva y Compuestas

Matemticas Discretas - p. 8/43

Proposiciones Primitiva y Compuestas

El curso de matemticas discretas est fcil.

Matemticas Discretas - p. 8/43

Proposiciones Primitiva y Compuestas

El curso de matemticas discretas est fcil.

Matemticas Discretas - p. 8/43

Proposiciones Primitiva y Compuestas

El curso de matemticas discretas est fcil.

Una proposicin compuesta es una proposicin

Matemticas Discretas - p. 8/43

Proposiciones Primitiva y Compuestas

El curso de matemticas discretas est fcil.

Una proposicin compuesta es una proposicin

Si la luna est llena y no llueve, salgo a caminar.

Matemticas Discretas - p. 8/43

Proposiciones Primitiva y Compuestas

El curso de matemticas discretas est fcil.

Una proposicin compuesta es una proposicin

Si la luna est llena y no llueve, salgo a caminar.

Matemticas Discretas - p. 8/43

Matemticas Discretas - p. 9/43

Matemticas Discretas - p. 10/43