Consider the following formula: (Vx)x=y^ (Vx)x= z (Vx)x = y = T a) [3 marks]...

Transcribed Image Text:

Consider the following formula: (Vx)x=y^ (Vx)x= z → (Vx)x = y = T a) [3 marks] Identify free and bound x. For each bound occurrence of x, find which(Vx) it belongs to. b) [2 marks] Identify all sub formulae of above formula with complexity < 2. c) [2 marks] Write the abstraction of the above formula. d) [5 marks] Prove the above formula. Explain your steps. e) [3 marks] Based on your answer in part (d), prove (vy) ((Vx)x= y^ (Vx)x= z → (Vx)x=y= T) Consider the following formula: (Vx)x=y^ (Vx)x= z → (Vx)x = y = T a) [3 marks] Identify free and bound x. For each bound occurrence of x, find which(Vx) it belongs to. b) [2 marks] Identify all sub formulae of above formula with complexity < 2. c) [2 marks] Write the abstraction of the above formula. d) [5 marks] Prove the above formula. Explain your steps. e) [3 marks] Based on your answer in part (d), prove (vy) ((Vx)x= y^ (Vx)x= z → (Vx)x=y= T)