transkript: 19_ Evreni (a, b) kümesi olan bir modelde Vx (Fx ny ((ay—> Fy)) önermesinin doğruluk değerini hesaplarken oluşturulacak çözümleyici çizelgenin başlangıç noktaları aşağıdakilerden hangisidir? A) 1.(Fav(Ga —> Fan) 2.(FXV(Gb >Fb)) B) 1.(Fx v vy (Gy » Fy)) 2.(Fy —/ vy (Gy —> Fy)) C) 1.V><(F>< v Vy (Gy > Fy)) 2.Fav Vy (Gy —> Fy) 3.Fbv Vy (Gy > Fy) D) 1.(Fa v Vy(GyaFy) /X 2.(Fx v (GıHFb) 1.(Fx v (Gban) E) 1.vx(va vy(GyaFy) A 2 (Fx v (Gban) 1 (Fx v (Gban)