2012–2013 Final (Dönem Sonu) Çıkmış Soruları

P dilinin aşağıdaki iyi biçimli formüllerinden hangisi P dilinin Y yorumunda model-teorik tutarlıdır? A) (P, 1 ~p,) B) ~ (p, ^ ~p) C) ~~(p, 1 ~p,) D) ~(p, V ~p,) E) ~ (~p, V ~~p1)

Aşağıdaki ifadelerden hangisi P dilinin Y yorumunda içerme tanımına uymaz? A) '(~P, DP1)' FP'(P1VP1)' B) (•P, > P,) [p (~P, V P,)" ar.ne [) [ E( →)• D) '(-P, JP1)' FP'(P1 )"P1)' E) '(-P, 7 P1)' FP'(7P17 P1)

Aşağıdaki hangi {Ai, Aj} iyi biçimli formül kümesi PF biçimsel sisteminde kanıt- kuramsal tutarlıdır? А) {~P1, (P, 1 Pz)} B) {~P1, (P, 1 ~pz)} C) [~P1, (P, VP2)} ar.net {~P1,~(~P2 VP2)}

Agağıdaki iyi biçimli formüllerden hangisi "(*)-Fi xe ide dilinin biçimli formülünün dilindeki tanımsal karşılığıdır? A) (EX1)~F1 x2 B) ~(Эx1)Fí'xz C) (VX1)~ F1 x2 D) ~ (VX1)F1 x2 E) (3x1) Fí x2

pº dilinin aşağıdaki kapalı iyi biçimli formüllerinden hangisinde serbest degişken vardır? A) (VX1)((=X2)F1 x1x2 > (=x2)F1 x2x1) )((1)2)1252)51a2) C) ((VX1)(7x2)F,3x1x2> (=x2)F1 x2a1). ne D) ((VX1) (EX2)F1 x1X2> (=X2)F1a2a1) E) (VX1)((=x2)F,? x1X2 > (=x2)F,3x2a1)

Aşağıdaki iyi biçimli formüllerden hangisi formülünün dilinin (32) (3*2)-Fixx2 iyi biçimli dilindeki tanimsal karşılığıdır? A) (VXI)(=x2)F,2x1x2 B) (VX1)~ (Vx2)F,2 x1x2 C) ~(=x1) (VX2)~F,2 x1x2 ralar.net D) (Ex1)~(3x2)~F,2 x1x2 E) ~(=x+) (=x2)~F, x1x2

Asağıdaki ivi bicimli formüllerden hangisi pª dilinin kapalı iyi biçimli formülüdür? A) ((EX1)Fi'az V~F, x2) B) (Ex1) (F1' x2 V ~ F1 x1) C) (Эxı)(F1'xıV~Fí'Xz) of. D) (Эхı)(F1'azV~Fí'×z) E) ((=x1)F1'az V ~Fílaz)

Aşağıdaki iyi biçimli formüllerden hangisi pª dilinin bir iyi biçimli formülüdür? A) (VXI)F,3x1 B) (Ex1) F1?p1x1 C) (VX1x2)F, x1x2 D) (VX1) (Ja2)F,2 x122 E) (=x1)Fíxıx2

Pª dilinin D(941) = {a, b} ve (F,' tit2) m = R? = {(b, a), (a, b), (b, b)}olan W1 yorumunda seçeneklerdeki iyi biçimli formüllerden hangisi yanlıştır? A) (VX2)F,2 x2x2 A (=x2)F,2x2x2 B) ~ (]x2)~F, X2X2 V (3X2)F1X2X2\a.neY C) (VX2)~F,2x2x2V (3X2)F12x2X2 D) (=x2)~F,2 x2x2 ^ (3x2)F1?x2x2 E) (Vx2)F,2 x2x2 V (=X2)~F,2x2x2

Aşağıdaki iyi biçimli formüllerden hangisi på dilinin s yorumunda geçerlidir? A)(x)(F1x12F1x) B) (Ex,)~ (Fi'x, > Fi'x,) orular.ne ()(3)Fi) D) (3x,)(~F1'X1 3 ~F1'X1) E) (Эx‚)(F¡'x,>~Fı'x.)@

pl dilinin g yorumundaki tüm yorumlarının model olduğu iyi biçimli formül aşağıdakilerden hangisidir? A)((VX,)E1 x1→(=x,)~(VX2)(F1x,^F1X2)) 0) ((7)521=(3))(5í1(í2) C) ((Vx,)F1'x, > (Vx1)(Yx2)-(F1)x, N F1'x2)) 0) (72) F/2, )(/,)(F/2, 1 (/2 E(7)5/2-()(7/2) (F/x, 1 F1 x2))

Aşağıdaki iyi biçimli formül kümelerinden hangisinin P° dilinin § yorumunda modeli vardır? A) {(VX1) F,2x1x1, ~ F¡a1a1} B) {(VX1)~F12X1X1, F12a1a1) () {(Ex1) ~ F, x1x1, Fi?a1a1} D) {~ (=x1) F, x1x1, F¡?a1a1} E) {~(5X1) -F12X1X1, ~F12a1a13

Aşağıdaki iyi biçimli formüllerden hangisi pª dilinin 9 yorumunda olumsal değildir? A) ~ (EX1)(~F1 íı > [í1xı) В) ~ (V(Fíx1zFíı C) ~(VX1)(~F1x1>F1'x1)f D) ~ (x1(Fíx1íxı E) ~(э×ıХ(~Fí'×ı z~[í×)

Aşağıdaki iyi biçimli formüllerden hangisi p° dilinin § yorumunda geçerli değildir? A)((V21)-Fix1F1a) B) ((VX1)~ Fi xi → (7X1)~ F1 "X1) ()((x/)F/x1-Fa iof. D) ((VхíХí•хı(íxı Е) ((víx(x

Aşağıdaki iyi biçimli formüllerden hangisi p° dilinin § yorumunda olumsaldır? A) (E)(F111→F1x1) C) -(3×)[F1*1> F1x1PT.sorularnet B) (Ex1)(~F1x, → Fi'x1) D()(F1aF1 E) ~(Э×ı)(•Fí×ı >∞[핼)

Aşağıdaki hangi ifade PFº biçimsel sisteminin dedüksiyon kuralıdır? A) {Aj(aı/Xi), ... , Aj(an/Xi), Aj(an+1/Xi), ...} iyi biçimli formül kümesinin tüm elemanları, (Vi)A; iyi biçimli formülünün dolaysız sonucudur. B) {Aj(a1/xі), ... , Aj(an/xi), Aj(an+1/xi), ...} iyi biçimli formül kümesinin tüm elemanları, ~(Vxi)A, iyi biçimli formülünün dolaysız sonucudur. C) {A,(aı/xi)} iyi biçimli formül kümesinin elemanı, (Vx,)A; iyi biçimli formülünün dolaysız sonucu değildir. D) {A,(aı/xi), ... , Aj(an/xi), Aj(ant1/Xi), ...} iyi biçimli formül kümesinin hiçbir elemanı, (Vxi)A; iyi biçimli formülünün dolaysız sonucu değildir. E) {~Aj(a1/Xi), ... , ~Aj(an/Xi), ~Aj(an+1/Xi), ...} iyi biçimli formül kümesinin tüm elemanları, ~(Vxi)A; iyi biçimli formülünün dolaysız sonucudur.

Aşağıdaki hangi 4 iyi biçimli formül kümesi için, PFº biçimsel sisteminde A tPF° ır? A) A= {(EX1)(F1x1 1~F2x1)} B) A = {(Ex1)(F1 x; v F2'xı)} C) Д={(vхı)(F¡xıлF2'xı)}orulą D) A = {(Vx1)(F1' X1 V F2' x1)} E) A= [(1)(/x1221

Aşağıdaki hangi {Ai, A}} iyi biçimli formül kümesi PF® biçimsel sisteminde kanıt- kuramsal tutarsızdır? A) {F¿'a1, ~ Fí' az} B) {-F¿'ar, F¡'ai} C) {F,' a1, ~ Filai} D) {Fz'ar, Fílaz} E) {Fí'a1, ~~F¡ ai}

Aşağıdaki hangi {Ai, Aj} iyi biçimli formül kümesi PF° biçimsel sisteminde kanıt- kuramsal tutarlıdır? A) {(VX) Fí x1, (EX1)F1 x1} В) {~ (V×1 )Fí x1, (VA1) Fí xı } ){)F11(31)F2x1A~(3X)F2X1)} D) { (1)íx1, Fí×} E{11~((1X2V(X2)E1X2}

Aşağıdaki hangi A iyi biçimli formül kümesi için, PFª biçimsel sisteminde A pF° (Ex)F1 xi olur? A) Д={(~(Эxı)FíxıV(Эxı)Fíxı)} B) Д={((Vхı)Fı×ı>(3xı)Fí'xı)} C) A = {(Fílaı (íı}} ar.nei D) A = {Fi'ai} E) A = {((3x1)F1'x1 → F1'a1)}