Translate the following predicate logic statement into Engish: ∀x [ ¬p(x,x) → ¬∃y p(x,y) ] Recall: The upside down A means “for all” and the backwards E means “there exists”. Avoid using “x” or “y”
Home/Questions and Answers/Translate the following predicate logic statement into Engish: ∀x [ ¬p(x,x) → ¬∃y p(x,y) ] Recall: The upside down A means “for all” and the backwards E means “there exists”. Avoid using “x” or “y”
Leave a comment