Experienced logicians automatically parse ∃x(P(x)) ∧ ∃x(Q(x)) correctly as independent; the 'distort...
This proposition has not been edited since the history system was added.