Teorias de Mudança de Crenças (Dinâmica Doxástica) - IFCS

• Operação de fechamento lógico: Cn
Forma relacional:
X ⊆ Cn(X);
se X ⊆ Y , então Cn(X) ⊆ Cn(Y );
Cn(Cn(X)) = Cn(X);
se A ∈ Cn(X), então ∃X ′ ⊆ X : X ′ é finito e A ∈ Cn(X ′ ).
Voltando ao problema
X ⊢ A em vez de A ∈ Cn(X) e A ≡ B em vez de Cn(A) = Cn(B).
• Fechamento de forma relacional:
21
A ∈ K sse K ⊢ A.