formal proof for proposition 3 38 equivalence of a set of formulas and their clausal forms a set of formulas u is equivale