I have a couple a problems I'm having a hard time defining ... Please Help!!
1. An enemy of Al is a friend of Bill. Therefore, anyone who knows the enemy of Al knows a friend of Bill. (Exy <-> x is an enemy of y; Fxy <-> is a friend of y; Kxy <-> knows y, a= Al, b= Bill)
2. Ptah is the father of all gods. But nothing is the father of itself. Therefore, Ptah is not a god. ( Fxy <-> x is the father of y; Gx <-> is a god, p= Ptah)
Please any help at all!!