Recent content by studas

  1. S

    Tricky Logical Problem: Solving for \forallx\forally\existsz

    Homework Statement This is a problem I have been had some troubles understanding in my Discrete Mathematics course. http://i.imgur.com/HTUNr7f.png \forallx\forally\existsz(x<z\rightarrowx≥y) Homework Equations I know that this statement is true, according to the solutions...