Let S denote the set of Boolean expressions: (a) The “implies” relation on S is denoted using the symbol “)”. (Recall from Chap. 3 that P ) Q means that the conditional expression, P ! Q, is always...

Let S denote the set of Boolean expressions:

(a) The “implies” relation on S is denoted using the symbol “)”. (Recall from Chap. 3 that P ) Q means that the conditional expression, P ! Q, is always True.) What properties does the relation ) have?

(b) In Chap. 3 two Boolean expressions P and Q were said to be equivalent [written P,Q] when they had exactly the same truth tables. Therefore , denotes a relation on S. Is this really an equivalence relation? What properties does , have?