In class today, we'll be discussing the standard rules of inference. Here is Modus Disappointus:

Mathematician A: I can prove p → q
Mathematician B: I can prove q
Mathematician A: Well, heck.

Show older

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!