#### Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Options

# Exercise 29 - Chapter 4

edited June 8

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).