Event JSON
{
"id": "623c14b64b04843d294c5a939130eac0cb10eada629cbe8e8309d2de12c484d2",
"pubkey": "ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"created_at": 1749323948,
"kind": 1,
"tags": [
[
"p",
"786b7c7fa097f817a5d25d2d98ed060686b92ee7e69444b1f0d28d6305f574ba",
"wss://relay.mostr.pub"
],
[
"p",
"340694a5c7115fe0918fe7ec9038786592e3804f1a0e457e3e09d03ecfdadc6b",
"wss://relay.mostr.pub"
],
[
"e",
"007a94348157f6a3f4cb938540a64bfeae757e5e16c7bc5516c336844a5acf7a",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/jonmsterling/statuses/114643694309802797",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq0p4hclaqjlup0fwjt5ke3mgxq6rtjth8u62yfv0s62xkxp04wjaqa4rs4v You started off right. Your goal was an implication, so you applied the introduction rule.\n\nThen your goal was (A =\u003e B) |- ((B =\u003e C) =\u003e (A =\u003e C)).\n\nThat's another implication, so you might as well apply the introduction rule again.\n\nNow you would have:\n\n(A =\u003e B), (B =\u003e C) |- A =\u003e C\n\nHere you have another implication, so you might as well apply the intro rule once more. Then you'd have:\n\n(A =\u003e B), (B =\u003e C), A |- C\n\nNow you can start working your way downward with elim rules.",
"sig": "65f44abeaf65c36b97def2f8e1b9b19e98960b3594df878a2f475f05968398234036f2d9142468ca2d2f3cc80994746b4a1d32e24de8618c330528fa5e48a164"
}