erechorse on Nostr: ...

「セックスしないと出られない部屋」というものがあるが、この部屋はセックス以前に、そもそも一切外に出ることができなくても論理学的に真なのである。P→QはP∧¬Qと等価なので。