simp only [Formula.evalPrime]
Δ_U : Set Formula
V : VarBoolAssignment
x y : VarName
F : Formula := eq_ x y
h1 : eq_ x y ∈ Δ_U
⊢ IsDeduct ((fun a => if evalPrime V a then a else a.not_) '' Δ_U)
    (if evalPrime V (eq_ x y) then eq_ x y else (eq_ x y).not_)
Δ_U : Set Formula
V : VarBoolAssignment
x y : VarName
F : Formula := eq_ x y
h1 : eq_ x y ∈ Δ_U
⊢ IsDeduct ((fun a => if evalPrime V a then a else a.not_) '' Δ_U)
    (if V (eq_ x y) = true then eq_ x y else (eq_ x y).not_)