Q17b

Show, using resolution, that the following well-formed formula is valid for all interpretations: \left(\forall x \forall y \left(f \left(x, y \right) \Leftarrow \neg y \left(y, x \right) = \left(\forall x \left(f \left(x, x \right)\right)