It is not the case that Classical equivalences like ¬∃x[P(x) ∧ ¬D(x)] presuppose a non-empty domain, but free logic permits empty domains where ∀x[P(x) → D(x)] holds vacuously while ¬∃x[P(x) ∧ ¬D(x)] may differ in truth value.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.