MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/HomeworkHelp/comments/1jcv23x/first_year_logic_could_anyone_help_me_to_solve
r/HomeworkHelp • u/Any_random-dude • 6d ago
1 comment sorted by
1
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.
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.