Escolar Documentos
Profissional Documentos
Cultura Documentos
I∧ E∧ I∨ E∨
Φ (Φ ∨ Ψ)
Ψ (Φ ∧ Ψ) Φ ¬ Φ ou ¬ Ψ
--------------- --------------- --------------- ---------------
(Φ ∧ Ψ) ou (Ψ ∧ Φ) Φ ou Ψ (Φ ∨ Ψ) ou (Ψ ∨ Φ) Ψ ou Φ
I¬ E¬ I→ E→
k1 Φ PA k1 Φ PA
... ¬¬ Φ ... (Φ → Ψ)
kn (Ψ ∧ ¬ Ψ) . ... kn Ψ . Φ
--------------- --------------- --------------- ---------------
¬Φ Φ (Φ → Ψ) Ψ
(Φ → Ψ) (Φ → Ψ) (Φ → Ψ)
¬Ψ (Ψ → Ω) --------------- (Φ → Ψ)
¬Φ (Φ → Ω) (Φ → (Ψ ∨ Ω))
((Φ ∧ Ω) → Ψ) (Φ → Ψ) (Φ → Ψ) ¬¬Φ
--------------- --------------- --------------- ---------------
--------------- --------------- --------------- ---------------
(Φ → ( Ω → Ψ)) (¬ Ψ → ¬ Φ ) (¬ Φ ∨ Ψ ) Φ
1
DE MORGAN / De M. COMUTAÇÃO - COM.
¬ (Φ ∧ Ψ) ¬ (Φ ∨ Ψ) (Φ ∨ Ψ) (Φ ∧ Ψ)
--------------- --------------- --------------- ---------------
--------------- --------------- --------------- ---------------
(¬ Φ ∨ ¬ Ψ) (¬ Φ ∧ ¬ Ψ) (Ψ ∨ Φ) (Ψ ∧ Φ)
Nota Importante:
As regras primitivas e as regras de implicação aplicam-se apenas de cima para baixo, e apenas aos operadores de maior âmbito.
As regras de equivalência aplicam-se nos dois sentidos, ‘cima para baixo e baixo para cima’,, e mesmo quando o operador relevante
não é o operador de maior âmbito.
2
Cláusula Geral (CG) para os Quantificadores:
Na relação de substituição, Φα/Φβ (ou Φβ/Φα), usada nas regras seguintes, todas as ocorrências de α (ou β)
são substituídas por ocorrências de β (ou α), excepto se se indicar o contrário.
I∀ E∀
Φβ ∀αΦα
--------------- ---------------
∀αΦα Φβ
1) β é uma variável;
2) β não ocorre livre numa linha obtida por E∃ nem numa
premissa assumida que ainda não tenha sido descarregada. 1) se β é uma variável, ocorre livre.
I∃ E∃
Φβ ∃αΦα
--------------- ---------------
∃αΦα Φβ
¬∀αΦα ¬∃αΦα
--------------- ---------------
--------------- ---------------
∃α¬Φα ∀α¬Φα