News for hackers. Stuff that matters.
Re: by dvt on Sunday November 05, 2023 @11:55AM (#38152896)
> By that argument, conjunction is also called "addition". Perhaps there's a different reason?

A chain of conjunctions doesn't necessarily guarantee the truth value of the first proposition being preserved, so we have the much less interesting:

    A ⊬ ((A ∧ B) ∧ C) ... ∧ n

There are no comments on this comment yet.