Ashish@mastodon.social to Linux@lemmy.ml · edit-21 year ago[@linux](https://lemmy.ml/c/linux) [@programmerhumor](https://lemmy.ml/c/programmerhumor) !programmerhumor@lemmy.mlfiles.mastodon.socialimagemessage-square27fedilinkarrow-up1367arrow-down148file-text
arrow-up1319arrow-down1image[@linux](https://lemmy.ml/c/linux) [@programmerhumor](https://lemmy.ml/c/programmerhumor) !programmerhumor@lemmy.mlfiles.mastodon.socialAshish@mastodon.social to Linux@lemmy.ml · edit-21 year agomessage-square27fedilinkfile-text
minus-squarerolaulten@startrek.websitelinkfedilinkarrow-up3·1 year agoInteresting footnote about p and q. You see them turn up on formal logic proofs (for philosophy)
Interesting footnote about p and q. You see them turn up on formal logic proofs (for philosophy)