Talk:Exportation and Self-Conditional

From ProofWiki
Jump to navigation Jump to search

I'm sure this already exists, if it does I'll delete this page as it doesn't fit our house style. If not it needs renaming. We don't put "proof" in our page names for painfully obvious reasons. Besides I can find no reference to the word "shunting" used in this context. --prime mover 00:26, 1 June 2011 (CDT)

I could have sworn I saw the result here before, but I didn't find it in a quick look. The closest I got was Rule of Exportation. --Alec (talk) 01:07, 1 June 2011 (CDT)

I think it follows directly from Rule of Exportation and then Self-Distributive Law for Conditional - I was conflating two proofs. So I've removed the call for deletion, replaced it with calls for tidying and adding links.
Mind, I still haven't got closer to finding a citation calling this "shunting". Be good if we can find it. --prime mover 11:55, 1 June 2011 (CDT)
Googling for shunting propositional logic gives this, but that's not terribly helpful as a citation since it doesn't give any author information as far as I can tell. --Alec (talk) 13:31, 1 June 2011 (CDT)
Bah. What it calls "shunting" is what we call Rule of Exportation. Okay, I'll rewrite the page then I'll rename it. --prime mover 14:16, 1 June 2011 (CDT)