@elsactivitypub@goto.freakstic.fr
Post #2053075
2026-05-05 17:16 UTC
@gdinwiddie luckily, (P→Q) ↔ (⌉P ∨ Q), so the only way to dissatisfy "i think therefore i am" ("i think" → "i am") is to think and amn't
logic saves the day!
Replies (1)
-
@mei@donotsta.re 2026-05-05 17:33
@elsactivitypub @gdinwiddie i dunno, all this just... doesn't feel very intuitive to me