Skip to main content
7 events
when toggle format what by license comment
Mar 8 at 8:05 vote accept Alix Blaine
Mar 8 at 8:00 answer added Alix Blaine timeline score: 0
Mar 6 at 16:14 history edited Bram28
edited tags
Mar 6 at 14:20 answer added Bram28 timeline score: 1
Mar 5 at 20:34 comment added fleablood Two wrongs making a right. $q\lor\lnot q = T$ and $p\lor T = T$ (not $p$) so your third step is wrong. But as @TonyK points out you should have $q\land \lnot q$ and not $q\lor \lnot q$. $q\land\lnot q= F$ and so you should actually have $p\lor F$ rather thn $p\lor T$. And $p\lor F = p$.
Mar 5 at 17:27 comment added TonyK Your Step 2 should be $p \lor (q \land \neg q)$, not $p \lor (q \lor \neg q)$.
Mar 5 at 17:22 history asked Alix Blaine CC BY-SA 4.0