Formulario Estructuras Discretas Grupo:02 Hernández Hernández Deissy Jovita

Leyes y propiedades de álgebra de proposiciones Implicaciones tautológicas/MDPP

¬¬𝑃 ⇔ 𝑃 Doble negación Paso Expresión Regla
𝑃∨𝑃 ⇔ 𝑃 Idempotencia 1 𝑃∧𝑄⇒𝑃 Simplificación
𝑃∧𝑃⇔𝑃 2 𝑃∧𝑄⇒𝑄 Simplificación
𝑃∨Q⇔Q∨𝑃 Conmutativa 3 𝑃⇒𝑃∨𝑄 Adición
𝑃∧Q⇔Q∧𝑃 4 𝑄⇒𝑃∨𝑄 Adición
𝑃 ∨ (Q ∨ R) ⇔ (P ∨ Q) ∨ R Asociativa 5 ¬𝑃 ⇒ 𝑃 → Q Adición
𝑃 ∧ (Q ∧ R) ⇔ (P ∧ Q) ∧ R 6 𝑄⇒𝑃→Q Adición
𝑃 ∨ (Q ∧ R) ⇔ (P ∨ Q) ∧ (P ∨ R) Distributiva 7 𝑃, 𝑄 ⇒ 𝑃 ∧ 𝑄 Conjuntividad
𝑃 ∧ (Q ∨ R) ⇔ (P ∧ Q) ∨ (P ∧ R) 8 ¬ (𝑃 → 𝑄) ⇒ 𝑃 Simplificación
𝑃 ∨ ¬𝑃 ⇔ T Complemento 9 ¬ (𝑃 → 𝑄) ⇒ ¬ 𝑄 Simplificación
𝑃 ∧ ¬𝑃 ⇔ F 10 ¬𝑃, 𝑃 ∨ 𝑄 ⇒ 𝑄 ModusTollendo Ponens, MTP,
𝑃∨F⇔𝑃 Identidad Silogismo Disyuntivo
𝑃∧T⇔P 11 𝑃, 𝑃 → 𝑄 ⇒ 𝑄 Modus Ponendo Ponens, MPP,
Modus Ponens, MP
𝑃∨T⇔T Dominancia
12 ¬𝑄, 𝑃 → 𝑄 ⇒ ¬ 𝑃 ModusTollendo Tollens, MTT,
𝑃∧F⇔F
Modus Tollens, MT
¬ (𝑃 ∨ Q) ⇔ ¬P ∧ ¬Q De Morgan 13 𝑃 → 𝑄, 𝑄 → 𝑅 ⇒ 𝑃 → 𝑅 Transitividad de la condicional,
¬ (𝑃 ∧ Q) ⇔ ¬P ∨ ¬Q Silogismo Hipotético
𝑃 ∨ (P ∧ Q) ⇔ 𝑃 Absorción 14 𝑃 ∨ 𝑄, 𝑃 → 𝑅, 𝑄 → 𝑅 ⇒ 𝑅 Dilema
𝑃 ∧ (P ∨ Q) ⇔ 𝑃
Prueba automática de teoremas / Reglas para PAT
𝑃 → Q ⇔ ¬P ∨ Q Condicional – Disyunción
P ⇄ Q ⇔ (P → Q) ∧ (Q → P) Bicondicional – Condicional Reglas del Antecedente
Conjunción P˄Q Negación ¬P Regla ¬⇒ : Si 𝛼, 𝛽 ⇒ 𝑋, 𝛾, entonces 𝛼, ¬𝑋, 𝛽 ⇒ 𝛾
P y Q, P pero Q, P Regla ∧⇒ : Si X, Y, 𝛼, 𝛽 ⇒ 𝛾, entonces 𝛼, 𝑋 ∧ 𝑌, 𝛽 ⇒ 𝛾
aunque Q
P ¬P Regla ∨⇒ : Si X, 𝛼, 𝛽 ⇒ 𝛾 y Y, 𝛼, 𝛽 ⇒ 𝛾 entonces 𝛼, 𝑋 ∨ 𝑌, 𝛽 ⇒ 𝛾
P Q P˄Q
∃𝑥≠→ Regla →⇒ : Si Y, 𝛼, 𝛽 ⇒ 𝛾 y 𝛼, 𝛽 ⇒ 𝑋, 𝛾 entonces 𝛼, 𝑋 → 𝑌, 𝛽 ⇒ 𝛾
V F
V V V ∀𝑥≠˄ Regla ⇄⇒ : Si X, Y, 𝛼, 𝛽 ⇒ 𝛾 y 𝛼, 𝛽 ⇒ 𝑋, 𝑌, 𝛾 entonces 𝛼, 𝑋 ⇄ 𝑌, 𝛽 ⇒ 𝛾
F V
V F F Reglas del Consecuente
F V F PAT Regla ⇒ ¬: Si X, 𝛼 ⇒ 𝛽, 𝛾, entonces 𝛼 ⇒ 𝛽, ¬𝑋, 𝛾
F F F paso Regla Expr. Regla ⇒∧: Si 𝛼 ⇒ 𝑋, 𝛽, 𝛾 y 𝛼 ⇒ 𝑌, 𝛽, 𝛾 entonces 𝛼 ⇒ 𝛽, 𝑋 ∧ 𝑌, 𝛾
Disyunción PVQ 1 ⇒ Regla ⇒∨: Si 𝛼 ⇒ 𝑋, 𝑌, 𝛽, 𝛾, entonces 𝛼 ⇒ 𝛽, 𝑋 ∨ 𝑌, 𝛾
P o Q, P a menos que
Q 1 si 2 ⇒→ Regla ⇒→: Si X, 𝛼 ⇒ 𝑌, 𝛽, 𝛾, entonces 𝛼 ⇒ 𝛽, 𝑋 → 𝑌, 𝛾
P Q PVQ 2 si 3 Regla ⇒⇄: Si X, 𝛼 ⇒ 𝑌, 𝛽, 𝛾 y Y, 𝛼 ⇒ 𝑋, 𝛽, 𝛾 entonces 𝛼 ⇒ 𝛽, 𝑋 ⇄ 𝑌, 𝛾
V V V Reglas específicas para el cálculo de predicados
V F V
MDPP
F V V paso Exp Regla Paso Expresión Regla
F F F 1 P, Hn 1 ¬ (∀𝑥) 𝑃(𝑥) ⇔ (∃𝑥)¬𝑃(𝑥) Negación del cuantificador, NC
Condicional P→Q 2 P, Hn 2 ¬ (∃𝑥) 𝑃(𝑥) ⇔ (∀𝑥)¬𝑃(𝑥) Negación del cuantificador, NC
Si P entonces Q, P
3 T,1,… 3 (∀𝑥) 𝑃(𝑥) ⇒ 𝑃 (𝑦) (𝑦 𝑎𝑟𝑏𝑖𝑡𝑟𝑎𝑟𝑖𝑎) Especificación Universal, EU
sólo si Q, Q si P,
Sólo si Q entonces P 4 (∃𝑥) 𝑃(𝑥) ⇒ 𝑃(𝑎) (𝑎 𝑒𝑠𝑝𝑒𝑐í𝑓𝑖𝑐𝑎) Especificación Existencial, EE
jerarquía ()¬ ∧∨→⇄
P Q P→Q 5 𝑃(𝑥)(𝑥 𝑎𝑟𝑏𝑖𝑡𝑟𝑎𝑟𝑖𝑎) ⇒ (∀𝑥) 𝑃(𝑥 ) Generalización Universal, GU
● Infija: 𝑄 → (𝑃 ∨ 𝑅)
6 𝑃 (𝑎) (𝑎 𝑒𝑠𝑝𝑒𝑐í𝑓𝑖𝑐𝑎) ⇒ (∃𝑥) 𝑃(𝑥 ) Generalización Existencial, GE
V V V ● Prefija: → 𝑄(∨ 𝑃𝑅)
V F F ● Posfija: 𝑄(𝑃𝑅 ∨) →
F V V NOTA: Prefija (Polaca)
F F V Encontrar operador más a la
Bicondicional P⇄ Q derecha. Arriba a abajo
P si y sólo si Q Sufija o Posfija (Polaca
P es necesario y
suficiente para Q
Inversa) Encontrar operador
P Q P⇄Q más a la izquierda. Abajo a
arriba.
V V V
V F F
F V F
F F V