Answered

Complete the following derivation:

1. (∃x)(∀y)R(x,y) Premise

n. (∀y)(∃x)R(x,y) Goal

Complete the following derivation 1 xyRxy Premise n yxRxy Goal class=