Can you answer $5,6,7,10$ Please

Exercise

Evaluate the numbered formulae in the displayed interpretation. Explain your reasoning in the same way as in $(1)-(6)$ above, accounting for the truth$-$values of quantified sentences in terms of the truth$-$values of their instances.

$(1)(HavvHc)Ib$

$(2)(Ha$&$Hc)vv(Ja$&$Jc)$

$*(3)($ EEx

$(4)(EEx)Gx$

$(5)(EEx)(IxHx)$

$(6)(AAx)((HxvvIx)Fx)$

$(7)(AAx)((Fx$&$Hx)Jx)$

$(8)(AAx)(Hx(EEy)(Jx$&$Iy))$

$(9)(AAx)(EEy)(Fx(HxvvJy))$

$(10)(EEx)Ix(AAx)(JxIx)$

$(11)(EEx)(Ix(AAy)(JyIy))$

$(12)(AAx)(AAy)((FxharrGy)harr(EEw)(EEz)(Hw$&$Jz))$

$2$ The rules of this section explain the term 'logical constant' mentioned earlier, which is applied both to quantifiers and to sentential connectives. Domains and extensions of predicates vary from interpretation to interpretation, but the evaluation rules for connectives and quantifiers are constant across all interpretations. Any expression which has a constant evaluation rule is called a logical constant.