simp at h1
Δ_U : Set Formula
V : VarBoolAssignment
h1 : ↑∅ ⊆ Δ_U
⊢ IsDeduct (evalPrimeFfToNot V '' Δ_U) (evalPrimeFfToNot V false_)
Δ_U : Set Formula
V : VarBoolAssignment
h1 : True
⊢ IsDeduct (evalPrimeFfToNot V '' Δ_U) (evalPrimeFfToNot V false_)