transkript: 15, SM = (a, b), FM = (a), GM = (a,b), AM = a modeli verilmiş olsun, Bx (Fx v (GA => VyFy)) önermesinin bu modelde doğruluk değerini denetlemek için oluşturulacak çözümleyici çizelgenin 1 numaralı kök noktasına yazılması gereken ifade aşağıdakilerden hangisidir? A) (Fb v (GA => VyFy)) B) îx (Fx v (GA => VyFy)) C) (Fx v (Ga => VyFy)) D) (Fa v (GA => VyFy)) E) Ex (Fx v (Ga = vay»