Leonard Ritter on Nostr: implicative logic is confusing. P -> Q holds if P is false? wut and logically Q must ...
implicative logic is confusing. P -> Q holds if P is false? wut
and logically Q must also be false
the ternary becomes (Q -> P) AND (!Q -> R)
am i in opposite land
Published at
2024-07-18 21:07:58Event JSON
{
"id": "3902c865a0b2b80e2499acc2522480f2dfcaad906e78871a79ef5ccb7c1ee1f0",
"pubkey": "31b346272a0c741dda7b4104d55b230d5d3aeccb177dada2792dbb181a9495e3",
"created_at": 1721336878,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.gamedev.place/users/lritter/statuses/112809533684764339",
"activitypub"
]
],
"content": "implicative logic is confusing. P -\u003e Q holds if P is false? wut\n\nand logically Q must also be false\n\nthe ternary becomes (Q -\u003e P) AND (!Q -\u003e R)\n\nam i in opposite land",
"sig": "0df3dcff9eafae7e26ef91465bd43f5869a11f9e289da40bd31436399e90ba3a06c67e46cdbd30ab9636770e3c3f66e6731ba15da5ae2308abbc27a266c13350"
}
