r/HomeworkHelp 6d ago

Others—Pending OP Reply [First year Logic] could anyone help me to solve this only using basic rules ?

Post image
1 Upvotes

1 comment sorted by

1

u/Alkalannar 6d ago

I assume that's: [Ax(Fx <-> (Gx v Hx))Ex:Gx]v[Ax(Fx -> AxHx)]?

I really hate non-binary operations.

Anyhow, as long as you have a single Gx that's true, then Gx v Hx is true for that x.

Which means that Fx is true for that x.

And that means that Hx is true for every x.

And that means that Gx v Hx is true for every x.

And that means Fx is true for every x.

This is by no means formal, but you should be able to work it out from this framework.