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-square26fedilinkarrow-up1367arrow-down149file-text
arrow-up1318arrow-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-square26fedilinkfile-text
minus-squarerolaultenlinkfedilinkarrow-up4·1 year agoInteresting footnote about p and q. You see them turn up on formal logic proofs (for philosophy)
 [@programmerhumor](https://lemmy.ml/c/programmerhumor) !programmerhumor@lemmy.ml](https://files.mastodon.social/media_attachments/files/110/957/578/506/504/291/original/37350059e5bb4a36.png){kind=link}
Interesting footnote about p and q. You see them turn up on formal logic proofs (for philosophy)