transkript: 17. Aşağıdaki hangi A iyi biçimli fovmüi kümesi için, PF“ biçimsel sisteminde A i—PF *((3xı)Fı1 x. A (EXOFz'XwY olur? Fı'Xı A —Fz'xı)) FUxa v FSM) ( ı)(F Xi A F; m)) (: X<)(Fı Xa v Fy m)) VXiXFi Xi 3 F; m))