Determine whether each of the following sets of formulas are consistent, and give reasons for your answer; That is, if the set is consistent, find an interpretation structure in which the formulas are all true; otherwise, provide a formal proof of contradiction:
3)(∃x)(jx^ (∀y)(jy→x = y)) ja, jb, a ≠ b