Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
LÓGICA PROPOSICIONAL
PROPOSICIONES LÓGICAS
Semana 2
Prof. Consuelo Jara
…o…
𝒑 𝒒 𝒑∨𝒒
V V V
V F V
F V V
F F F
𝒑 𝒒 𝒑△𝒒
V V F
V F V
F V V
F F F
𝒑 𝒒 𝒑→𝒒
V V V
V F F
F V V
F F V
𝑝→𝑞
𝑝: 𝐴𝑛𝑡𝑒𝑐𝑒𝑑𝑒𝑛𝑡𝑒 𝑞: 𝐶𝑜𝑛𝑠𝑒𝑐𝑢𝑒𝑛𝑡𝑒
𝑜 ℎ𝑖𝑝ó𝑡𝑒𝑠𝑖𝑠 o tesis
Textualmente puede presentarse de otras formas:
• 𝑞 𝑦𝑎 𝑞𝑢𝑒 𝑝
• 𝑞 𝑝𝑢𝑒𝑠𝑡𝑜 𝑞𝑢𝑒 𝑝
• 𝑞 𝑐𝑢𝑎𝑛𝑑𝑜 𝑝
• p luego q
• P de modo q
• P por lo tanto q 6
TABLAS DE VERDAD
BICONDICIONAL
…SI Y SOLO SI ...
𝒑 𝒒 𝒑↔𝒒
V V V
V F F
F V F
F F V
7
TABLAS DE VERDAD
NEGACIÓN
8
Ejemplos
12
LÓGICA
ELABORACIÓN DE TABLAS DE
VERDAD PARA ESQUEMAS
MOLECULARES
ELABORACIÓN DE TABLAS DE VERDAD
Las tablas de verdad tienen una estructura convencional
Si la expresión a 𝒑 𝒒
evaluar tiene n
V V
proposiciones, el
número de filas es V F
de 2𝑛 F V
F F
14
ELABORACIÓN DE TABLAS DE VERDAD
Con dos proposiciones simples Con tres proposiciones simples
𝟐𝟐 = 𝟒 𝒇𝒊𝒍𝒂𝒔 𝟐𝟑 = 𝟖 𝒇𝒊𝒍𝒂𝒔
𝒑 𝒒 𝒑 𝒒 r
V V V V V
V F V V F
F V V F V
F F V F F
F V V
F V F
F F V
F F F
15
EVALUACIÓN DE ESQUEMAS
MOLECULARES
Debemos de considerar la jerarquía de los signos de agrupación,
contar las proposiciones involucradas y construir la tabla
Ejemplo:
Para la expresión molecular 𝑝 ∧ (𝑝 → 𝑞) → 𝑝
2 proposiciones, 𝟐𝟐 = 𝟒 𝒇𝒊𝒍𝒂𝒔
𝒑 𝒒 𝑝→𝑞 𝑝 ∧ (𝑝 → 𝑞) 𝑝 ∧ (𝑝 → 𝑞) → 𝑝
V V
V F
F V
F F
16
TAUTOLOGÍA
Cuando todos los valores de su operador principal son VERDADEROS
CONTRADICCIÓN
Cuando todos los valores de su operador principal son FASOS
CONSISTENTE O CONTINGENTE
Por lo menos un valor verdadero y un valor falso
17
LÓGICA
LEYES DE LÓGICA
PROPOSICIONAL
SIMPLIFICACIÓN DE PROPOSICIONES
COMPUESTAS
Algunas proposiciones lógicas o esquemas moleculares
pueden simplificarse o reducirse a esquemas mas simples,
para esto se usan leyes lógicas
19
Involutiva ~(~𝑝) ≡ 𝑝
Idempotencia 𝑝∧𝑝≡𝑝
𝑝∨𝑝≡𝑝
Conmutativa
𝑝∨𝑞 ≡𝑞∨𝑝 𝑝∧𝑞 ≡𝑞∧𝑝 𝑝↔𝑞≡𝑞↔𝑝
Asociativa
𝑝 ∨ 𝑞 ∨ 𝑟 ≡ 𝑝 ∨ (𝑞 ∨ 𝑟) Reducir:
𝑝 ∧ 𝑞 ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟) ~(~𝑝) ∧ (𝑝 ∧ 𝑞)
20
Distributiva
𝑝 ∨ 𝑞 ∧ 𝑟 ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)
𝑝 ∧ 𝑞 ∨ 𝑟 ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
Leyes de Morgan
∼ 𝑝 ∨ 𝑞 ≡∼ 𝑝 ∧∼ 𝑞 ∼ 𝑝 ∧ 𝑞 ≡∼ 𝑝 ∨∼ 𝑞
Identidad y complemento
𝑝∧𝑉 ≡𝑝 𝑝∧𝐹 ≡𝐹
𝑝∨𝑉 ≡𝑝 𝑝∨𝐹 ≡𝑝
𝑝 ∧∼ 𝑝 ≡F 𝑝∆𝑉 ≡ ~𝑝 21
𝑝 ∨∼ 𝑝 ≡V 𝑝∆𝐹 ≡ 𝑝
Ejemplo
Reducir: ∼ 𝑝 ∧ (∼ 𝑝 ∨ 𝑞) ∨ 𝑞
Distributiva (𝑝 ∧∼ 𝑝) ∨ (𝑝 ∧ 𝑞)
Complemento 𝐹 ∨ (𝑝 ∧ 𝑞)
Identidad (𝑝 ∧ 𝑞)
Absorción ∼ (𝑝 ∧ 𝑞) ∨ 𝑞
Morgan ∼ 𝑝 ∨∼ 𝑞 ∨ 𝑞
Complemento 𝑉
El proceso de reducción es mucho mas corto
24
Utilizando leyes lógicas, determine el valor de verdad de
las siguientes proposiciones:
p (p ∨ q)
(p ∧ q) [ p △ ( t t ) ]
[ (q → p ) ∧ ( p ∨q ) ] ∧ ( p △ q )
[ p ⟷ ( q ∧ ~ q ) ] ~ p
( q p ) [~ p △ ( t t ) ]
~ (r ~ r) (p t)
Dada las siguientes proposiciones
- [p ( p ~ r)] ~ q
- p [ ~q ~ ( q r)]
- ( p ~ q ) [ ( p ~ r ) ~ q]