transkript: 15. F. a şehırdir. G: a kalabalıktır. H' 3 büyüktür Yukarıdaki sembolleştirme anahtarına göre “Tüm büyük şehirler kalabalıktır" önermesinin niceleme mantıgındaki sembolleştirmesi aşağıdakilerden hangisidir? A) Vx(Hx > (Fx AGx)) ) Vx((Gx » Fx)A Hx) ) vx ((Hx A Fx) A GX) ) Vx ((Hx A Fx) a Gx) ) B C D E vx(Gx A(Fx A Hx))