∀ϕ, ∀t, ∀x, |= ϕ t/x → ∃xϕ ∀x /∈ Lib(ψ), (|= ϕ → ψ) ⇒ (|= ∃xϕ

Transcription

∀ϕ, ∀t, ∀x, |= ϕ t/x → ∃xϕ ∀x /∈ Lib(ψ), (|= ϕ → ψ) ⇒ (|= ∃xϕ

Documents pareils

AVE REGINA CŒLORUM

AVE REGINA CŒLORUM

Plus en détail