Image transcription textPage 20 of 23 (iii) We know that if VacGa is true in a model then 3xGx is true on that model. We also know thatit is not the case that if Vx(Gx -> Fx) is true on a model, then Fx(Gx/ Fx) is true on that model. Is there aclass of models such that if Vx(Gx -> Fx) is true on some model in that class, then then Ex(Ga Show more Show more Arts & HumanitiesPhilosophy
