> By that argument, conjunction is also called "addition". Perhaps there's a different reason? A chain of (arbitrary) conjunctions is not necessarily implied b

> By that argument, conjunction is also called "addition". Perhaps there's a different reason? A chain of (arbitrary) conjunctions is not necessarily implied by the first proposition, so we have the much less interesting: A ⊬ ((A ∧ B) ∧ C) ... ∧ n