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)