2012–2013 Vize (Ara Sınav) Çıkmış Soruları

Aşağıdaki iyi biçimli formüllerden hangisi P dilinin '(p2 > ~p,) iyi biçimli formülünün tanımsal karşılığıdır? A) (~P2 V~p1) B) (~P, > P2) C) (P, > P2) D) (P2 1 ~ p1) E) (~P2 ^ P1)

Aşağıdaki iyi biçimli formüllerden hangisi P dilinin '~ (p2 > ~p,) iyi biçimli formülünün tanımsal karşılığıdır? A) (~P2 ^ P1) B) ~ (02 ^ p1) C) (P, 1 P2) D) ~ (P, ^ P2) E) (P2 ^ ~p1)

P dilinin aşağıdaki iyi biçimli formüllerinden hangisi "(p, = p,)' iyi biçimli formülüne P dilinin Y yorumunda eşdeğerdir? A) (P, 1 P1) B) (p, V pı) C) 3 D) ((p, 1 p,) V P1) E) (~P2 V P2)

Aşağıdaki hangi (Ai, Aj} iyi biçimli formül kümesi için, P dilinin Y yorumuna göre AiF, A, olur? A) {(P2 > P1), P1} D) {(P, JPz), (-PD ~z)pof. C) {(P2 > P1), Pz}

Aşağıdaki hangi {~Ai, Aj} iyi biçimli formül kümesi için, P dilinin Y yorumuna göre A, Ep A; olur? А) {(Р, > Рz), ~(~P, V Pz)} C) (p.3p2),-(-P, V Pa))orular.net B) {~(p, > P2), ~ (p, V P2)} E) {~ (p, > p2), Pz}

Aşağıdaki hangi {Ai, ~Aj} iyi biçimli formül kümesi için, _P dilinin i Y yorumuna göre A, Ep A; olur? A) {(P, > P2). ~(~P, V P2)} B) {(P, > Pz), ~ p1} C) {(P, > P2), ~ P2} E) {(P1 → P2), ~(P1 V P2)}

Aşağıdaki iyi biçimli formüllerden hangisi P dilinin '(~p2 V ~ p,) iyi biçimli formülünün tanımsal karşılığıdır? A) (~P21~p1) B) (P, > ~P2) C) (P1> P2) D) (-P2 ^ P1) E) (p2 2 p1)

Aşağıdaki ifadelerden hangisi P dilinin Y yorumunda içerme tanımına uyar? A) "(P, V ~P1)" Fp pi' В) '(pr V-p1) Ep'~p; D) (p. V-p)'Fp(~p. Ap C) (P, V-p,) Ep Pi D)

Aşağıdaki iyi biçimli formüllerden hangisi P dilinin Y yorumunda çelişkidir? A) ((P, 1 (P, V P2)) = P1) B) ((~P1 1 (-P1 VP2)) E -P1) ()(01(01p2))=p) D) ~((P, 1 (P, V P2)) = P1): E) ((~P, ^ (~p, V ~ p2)) = ~p1)

Aşağıdaki iyi biçimli formüllerden hangisi P dilinin Yorumunda olumsaldır? A) (P1 ^ -P1) B) ~ (p, v ~p,) C) ~ (p, 1 ~p,) D) (P, V ~p1) E) (P, 1 ~P2)

Aşağıdaki iyi biçimli formüllerden hangisi P dilinin Y yorumunda yeterli değildir? А) ((P, 1 (~P, V P2)) = (p, 1 P2)) В) ((P, ^ (P, V P2)) = (pi A P2)) C) ((P≥1 (-Pz VP,)) = (P, ^ p)ularnet D) ~ ((P , ^ (~0, V P2)) = (P, ^ P2)) E) ((P2 A (P2 V P1)) = (P, A P2))

Aşağıdaki iyi biçimli formüllerden hangisi P dilinin Yorumunda geçerlidir? A) (~P, = p1) В) (~р, л р.) () p) D) (~P, V p,) E) (P, > ~p,)

Aşağıdaki iyi biçimli formüllerden hangisi P dilinin Yorumunda geçerlidir? A) (~P, > p1) B) (~~P, )P1) sitesi ()(2-p) aof.sorylar. v(,> p} E) ~(P1 D -P1)

Aşağıdaki iyi biçimli formüllerden hangisi P dilinin Yorumunda olumsal değildir? A)(pV12)p2) B) ((P1 V P2) > (P1 1 P2)) C) ((P1 A P2) > (P1 V P2)) ((1> [z E) ((P, ) P2) D (01 1 P2))°

Aşağıdaki hangi 4 iyi biçimli formül kümesi için, PF biçimsel sisteminde A FpF '~p2' olur? A) A= ((P27 -P1)3 B) A = {(~Pz V p1)} C) A = ((P2 V P1)} D) A= {(p2=~11)} E) A= {(-P2 1 P1)}

Aşağıdaki hangi A iyi biçimli formül kümesi için, PF biçimsel sisteminde A FpF "pi' olur? A) A = {P,} B) A = {(~p, V p1)} ()A=(0p)} D) A= {(p2 p1)} E) A = {(p1 = p1)}

Aşağıdaki hangi A iyi biçimli formül kümesi için, PF biçimsel sisteminde A FpF "(p, > Pz)' olur? A) A = {P2} B) Д = {P,} 90: C) A = {(P22 p1)} orular.net D) A = {(P, V Pz)}

Aşağıdaki hangi A iyi biçimli formül kümesi için, PF biçimsel sisteminde 4 IpF "(p, = Pz) olur? B) Д = {(P, = P2), (P2 > P1)} C) A= {(p, > -p), (-P, 2P2)orular.net.

Aşağıdaki hangi {Ai, Aj} iyi biçimli formül kümesi için, PF biçimsel sisteminde Ai tpF Aj olur? A) ((~P2> -P1), ~(-P,V P2)} C) ((-p22 -p1), ~(~p, ^ Pz)) D) ((~P2> ~p1), ~~(~P, V Pz)}

Aşağıdaki hangi {Ai, Aj} iyi biçimli formül kümesi için, PF biçimsel sisteminde Ai tpF Aj olur? A) {(P, > P2), ~ P1} B) {(P, > P2), ~ Pz} C) {(P, > Pz), ~(~P, V Pz)} D) {(P, > Pz), (P, V Pz)}