transkript: 16. F. a önermedir. G: 3 olumîudurv H. 3 tutarhdır. K. a zorumudur. Yukarıdaki sembolleştirme anahtarına göre “Her olumlu önerme ya zorunlu ya da tutarlıdır” önermesinin niceleme mantığındaki sembolleştirmesi aşağıdakilerden hangisidir? A) Vx ((Gx A Fx A Kx) —> Hx) Vx ((Gx A Fx) A (Kx v Hx)) Vx ((Gx A Fx A Kx) A Hx) Vx ((Gx A Fx) —> (Kx v Hx)) Vx ((Gx v Fx) A (Kx v Hx)) 5009