transkript: 16-Aşagıdaki hangi ifade PF“ biçimsel sisteminin dedüksiyon kuralıdır? A) (%i/(adn). .. . A/(an/Xı). A/(am/m. ..) ıyı bwçımlı formüî kümesinin mm eîemanlan. (VMA, iyr biçimli formülünün doîayswz sonucudur. (A/(aı/XJ. .. . A,(an/X,). A/(ânıı/Xı), ..) ıyı bwçimli formüî kümesinin tüm eîemanlarw. —(Vx,)A, iya biçimli formülünün doiaysız sonucudur. (A/(aı/x,» ıyw bıçwmh formul kumesının eîemam, (VMA, ayi biçwmh formülünün dolaysız sonucu değwldwr. (lumix,), , A,(a,,/x,), A,(a,,.1/x,), ..) ıyi bwçimh formu! kümesmin hiçbir elemana, (vx,)Aj iya biçimh formülünün dolaysız sonucu değıldir. (*A/(adm. . . NAAan/xa. *AAam/m). . ) iyi bwçimli formüî kümesinin tu'm eîemanlarw, —(vx,)A, ıyw bıçımh formulunun dolaysız Sonucudur.