1. Fundamentos Informáticos
Lógica Proposicional:
Tablas de verdad

2. Elaboración de una tabla de verdad
• En caso de tener proposiciones, primeramente
debemos simbolizar.
• Conocer las tablas de verdad para conjunción,
disyunción, condicional, bicondicional
• Conocer el orden de prioridad de los operadores
y de los símbolos de agrupación.
• Resolver la tabla, esto se puede hacer de 2
maneras, según lo que se explicará a
continuación:

3. Lógica proposicional
• Tablas de verdad:
– Negación
– Conjunción
– Disyunción
– Condicional
– Bicondicional
• Ejercicios …

4. Tablas de verdad
• Resolver la tabla de verdad:
((~P)⇒Q) ⇔ (P v Q)
--
( ~ P > Q ) <--> ( P v Q )
F V V V V V V V
F V V F V V V F
V F V V V F V V
V F F F V F F F

5. GRACIAS