Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on /story/38145625. Parent comment
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.
A chain of conjunctions doesn't necessarily guarantee the truth value of the first proposition being preserved, so we have the much less interesting: