Talk:Equality implies Substitution

The statement is a theorem. It is the predicate logic statement:


 * $( \exists x: P(x) \land \forall y: ( P(y) \implies Q(y) ) ) \implies \exists x: ( P(x) \land Q(x) )$ --Andrew Salmon 19:16, 11 August 2012 (UTC)


 * Okay, then it needs justification/proof. --GFauxPas 20:37, 11 August 2012 (UTC)


 * Yup...but unfortunately, the predicate logic section is a little lacking. --Andrew Salmon 21:17, 11 August 2012 (UTC)


 * It's on my list... somewhere at the bottom. --Lord_Farin 21:21, 11 August 2012 (UTC)