SM = {a, b}, FM = {a}, GM = {a,b}, AM = a modeli verilmiş olsun, ?x (Fx V (GA ? ?yFy)) ö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?
(Fb V (GA ? ?yFy))
?x (Fx V (Ga ? ?yFy))
(Fx V (Ga ? ?yFy))
?x (Fx V (GA ? ?yFy))
(Fa V (GA ? ?yFy))