Perhaps I am wrong, but I believed that Playfair's Postulate is indeed logically equivalent to Euclid's Fifth Postulate given the first four of Euclid's postulates. That is, in Euclid's context, they are equivalent. Do you have a proof that they are not equivalent in that context?