two if sentences formula_322 are "truth equivalent" if they are true in the same structures; they are "falsity equivalent" if they are false in the same structures; they are "strongly equivalent" if they are both truth and falsity equivalent.