Options

Exercise 29 - Chapter 4

1) Justify each of the four steps \( (=, \le, \le, =) \) in Eq. (4.27).

2) In the case \( \mathcal{V} = \textbf{Bool} \), we can directly show each of the four steps in Eq. (4.27) is actually an equality. How?

Equation 4.27

Φ(p, q) I ⊗ Φ(p, q) ≤ P(p, p) ⊗ Φ(p, q) ≤ Ü P(p, p 1 ) ⊗ Φ(p 1 , q) (U P .Φ)(p, q).

Previous Next

Sign In or Register to comment.