Discuss the below:
Symbolic Logic Problem
Q: Use the method of truth table expansion to determine whether or not the sentence below is a theorem of quantified logic. The # indicates a biconditional, usually indicated by a double arrow.
(EX)(Y)FXY#(Y)(EX)FXY