Introduction to Symbolic Logic.

D$.$ Establish that the following argument is invalid by constructing a countermodel and

providing a semantic table:

EExFx,EEx$(Fx$&Lax$),$AAx$\frac{Fx\text{L}\text{x}\text{a}}{L}aa$