Hacker News new | past | comments | ask | show | jobs | submit login

> 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



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: