Tariq on Nostr: everyone seems to have their own standard for writing existential statements is there ...
everyone seems to have their own standard for writing existential statements
is there an proper official standard?
are my examples here wrong?
I like the last one because it is simple to read, but the second one is defined in some slides for a university course.
i think the first is similar to Keith Devlin's standard.
#maths #logic
Published at
2024-09-08 13:56:01Event JSON
{
"id": "0892add234d4b2d5efad10c15a9f70d22b27911c5d056f83c1bb563a822f6285",
"pubkey": "bb64e9640a7b81f1eb812a62963f4fe6760da5f7ec94fa33fbd76c00c8ad238f",
"created_at": 1725803761,
"kind": 1,
"tags": [
[
"t",
"logic"
],
[
"t",
"maths"
],
[
"imeta",
"url https://files.mastodon.social/media_attachments/files/113/102/267/855/691/557/original/eed5a2fbc9fa1d36.png",
"m image/png"
],
[
"proxy",
"https://mastodon.social/@rzeta0/113102275341251069",
"web"
],
[
"proxy",
"https://mastodon.social/users/rzeta0/statuses/113102275341251069",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mastodon.social/users/rzeta0/statuses/113102275341251069",
"pink.momostr"
],
[
"-"
]
],
"content": "everyone seems to have their own standard for writing existential statements\n\nis there an proper official standard?\n\nare my examples here wrong? \n\nI like the last one because it is simple to read, but the second one is defined in some slides for a university course.\n\ni think the first is similar to Keith Devlin's standard.\n\n#maths #logic\nhttps://files.mastodon.social/media_attachments/files/113/102/267/855/691/557/original/eed5a2fbc9fa1d36.png\n",
"sig": "390e4a3b81303cd2b3f96a19d99f3ac365e3c6a8d853dd63a4f8f8a15be386d7dc60a1ce9eaf7b210ec7be40d7393ffda8a7c19960ccda8cebda047c4e30f080"
}
