P pip1 New member Joined Dec 5, 2006 Messages 4 Dec 8, 2006 #1 Hey, how can I convert this formula to Prenex form, (Ey P(x,y)) <=> (Ex Q(x,y) || ~\-/y, Ex R(y,x)) E means "there exists, suppose to be backwards E) ~ means NOT \-/ means FOR ALL || means OR
Hey, how can I convert this formula to Prenex form, (Ey P(x,y)) <=> (Ex Q(x,y) || ~\-/y, Ex R(y,x)) E means "there exists, suppose to be backwards E) ~ means NOT \-/ means FOR ALL || means OR
