News for hackers. Stuff that matters.

A comment on There's a mathematician in your compiler. Parent comment

Re:There's a mathematician in your compiler by thaumasiotes on Tuesday March 31, 2020 @08:53AM (#22737002)
1. Assume (p ⋀ (q ⋁ ¬q))

2. Then (q ⋁ ¬q) [method of simplification]

3. Then True [(2) is a tautology]

4. Then (p ⋀ (q ⋁ ¬q)) is correct independent of assumption (1) [erroneous]

5. Then p [method of simplification]

[ Parent | on HN ]

There are no comments on this comment yet.