transkript: 16. sn. = (a, b), FM = (a), GM— — (a, b), AM = a modeli verilmiş alsun, Bx (Fx v (GA => VyFy)) önermesinin bu modelde doğruluk değe' denetlemek için oluşturulacak çözümleyici çizelgenin 1 numaralı kök noktasına yazılması gereken ifade aşağıdakilerden hangisidir? A (Fx v (Ga => VyFy)) B îx (Fx v (GA = VyFy)) C D (Fb v (GA => VyFy)) ) ) ) (Fa v (GA —> 'v’yFy» ) ) îx (Fx v (Ga => VyFy)) m