Per Vognsen on Nostr: It feels like a troll that p => q (implication) is equivalent to p <= q (less than or ...
It feels like a troll that p => q (implication) is equivalent to p <= q (less than or equal).
Per Vognsen
npub152…3v7uc
2025-08-08 11:47:06 UTC
Author Public Key
npub152ta9mm2x6nk4ffyrn7ycz444vf7x743t24yddyd40vvcwkw39wqv3v7ucPublished at
2025-08-08 11:47:06 UTCEvent JSON
{
"id": "12547db12672e46cfe3899c889f3c3a892677e3257033fdb4e89c687f8e487f7",
"pubkey": "a297d2ef6a36a76aa5241cfc4c0ab5ab13e37ab15aaa46b48dabd8cc3ace895c",
"created_at": 1754653626,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/users/pervognsen/statuses/114992980096651201",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "It feels like a troll that p =\u003e q (implication) is equivalent to p \u003c= q (less than or equal).",
"sig": "0d71e5648220ce8a2ae31dd1b466d5acb2932d424c1ef1b0233bf1d6de37ef4b3fc2dbe27310f0df815740eb92d9cb7faa96f6375c547307e9c7a0bbd411859a"
}