Determine whether the set of formulas = {(pi pj ) : i < j, i, j N} is satisfiable (pi, i N, are propositional variables). Justify your answer.