1. Engineering
  2. Computer Science
  3. 3 recall the definitions of boolean values pairs and their...

Question: 3 recall the definitions of boolean values pairs and their...

Question details

3. Recall the definitions of Boolean values pairs, and their components pair -Af.^s.Xb. b fs; fst-Ap. p tru; Show that snd (pair v w)w. Hint: Modify the steps of the verification that fst (pair v w)- v reproduced below fst (pairvw) -fst ((Af. As. Ab. b f s)vw) by definition reducing the underlined redex reducing the underlined redex by definition reducing the underlined redex reducing the underlined redex as before. - fst (ab. b v w) ар.ptru)ab: bv w) (Ab. b v w) tru truv w

Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution