Midterm Exam in Logic and Set Theory
October 4, 2022 | Author: Anonymous | Category: N/A
Short Description
Download Midterm Exam in Logic and Set Theory...
Description
Nackhia dk Dehupej ^NFAAC AG KJHIJKK_IJH Dkpertmkjt ag Namputkr Kjhijkkrijh CAHIN EJD ^KT TFKA_Y MIDTK_M KVEM Jemk0 QQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQ Ocanl ejd ^kntiaj0 QQQQQQQQQQQQQQQQQQQ
Detk0 QQQQQQQQQQQ ^nark0 QQQQQQQQQQ
HKJK_EC IJ^T_[NTIAJ^0 ^trintcy gaccaw tfk huidkcijks ij suomittijh yaur autput. X_ITK CKHIOCY. ^faw yaur nampcktk sacutiaj gar kenf praockm. I. I.
M[CTIRCK NFAINK^. NFAINK^.
5. ^uppask tfet ta kenf kckmkjt ag e skt 5. wk essihj e ujiquk kckmkjt ag e skt < tfk nacckntiaj ag sunf essihjmkjts is necckd QQQQQ gram ijta . e. e gujntiaj e. o. e rkcetiaj o. n. e nampasitiaj n. d. ej echaritfm ?. ?. Hivkj 0 ↟ , skt is necckd tfk QQQQQ. e. e. dameij o. rejhk o. n. n. nadameij d. d. na-rejhk >. >. Hivkj 0 ↟ , skt is necckd tfk QQQQQ. e. e. dameij o. rejhk o. n. n. nadameij d. d. na-rejhk 4. 4. Gar e hivkj gujntiaj, , ( () = . Tfk kckmkjt > is QQQQ. e. tfk o. tfk o. n. n. tfk d. d. tfk
imehk imehk imehk imehk
ag ag ag ag
> ujdkr . ujdkr >. > ujdkr 52. 52 ujdkr >.
;. ;. Tfk skt ag ecc imehk vecuks is necckd tfk QQQQ ag . e. e. dameij o. rejhk o. n. n. nadameij d. d. na-rejhk 7. 7. Hivkj e gujntiaj dkgijkd oy tfk metfkmetinec kquetiaj = . Tfk ckttkr dkjatks tfk QQQ. e. e. ijdkpkjdkjt verieock o. dkpkjdkjt verieock o. n. quejtitetivk verieock d. d. quecitetivk verieock
8. 8. Hivkj e gujntiaj dkgijkd oy tfk metfkmetinec kquetiaj = . Tfk ckttkr dkjatks tfk QQQ. e. e. ijdkpkjdkjt verieock o. dkpkjdkjt verieock o. n. n. quejtitetivk verieock d. d. quecitetivk verieock 6. 6. Hivkj e gujntiaj dkgijkd oy tfk metfkmetinec kquetiaj = . Tfk imehk ag 5 is QQQQ. e. 2 o. 5 o. n. n. ? d. d. > 9. 9. Hivkj e gujntiaj dkgijkd oy tfk metfkmetinec kquetiaj = . Tfk imehk ag ? is QQQQ. e. e. 4 o. ; o. n. n. 7 d. d. 8 52. 52. Najsidkr tfk gujntiaj () = . Xfinf ag tfk gaccawijh is truk1 e. e. (() = o. (() = n. n. (() = d. d. (() = 55. 55. Najsidkr tfk gujntiaj () = . Xfinf ag tfk gaccawijh is truk1 e. e. (() = o. o. (() = n. n. (() = d. d. (() = 5?. 5?. Najsidkr tfk gujntiaj ( () = . Xfinf ag tfk gaccawijh is jat truk1 e. e. (() = o. o. (() = n. (() = d. d. (() = 5>. 5>. Najsidkr tfk gujntiaj ( () = . Xfinf ag tfk gaccawijh is jat truk1 e. e. (( )) = o. o. (() = n. n. (( )) = d. d. (() = 54. 54.
Tfk gihurk dkgijks e gujntiaj gram ={, , , } ijta ={, , , } ij tfk aoviaus wey. Xfet is ()1 e. e. o. o. n. n. d.
5;. 5;.
Tfk gihurk dkgijks e gujntiaj gram ={, , , } ijta ={, , , } ij tfk aoviaus wey. Xfet is ()1 e. e. o. o. n. n. d. d.
57. 57.
Tfk gihurk dkgijks e gujntiaj gram ={, , , } ijta ={, , , } ij tfk aoviaus wey. Xfet is ()1
e. o. o. n. n. d. d. 58. 58.
Tfk gihurk dkgijks e gujntiaj gram ={, , , } ijta ={, , , } ij tfk aoviaus wey. Xfet is ()1 e. e. o. o. n. n. d. d.
56. 56.
Tfk gihurk dkgijks e gujntiaj gram ={, , , } ijta ={, , , } ij tfk aoviaus wey. Xfinf ag tfk gaccawijh is jat truk1 e. (() = o. o. (() = n. n. (() = d. d. (() =
59. 59.
Tfk gihurk dkgijks e gujntiaj gram ={, , , } ijta ={, , , } ij tfk aoviaus wey. Xfinf ag tfk gaccawijh is jat truk1 e. e. (() = o. o. (() = n. n. (() = d. d. (() =
?2. ?2.
Tfk gihurk dkgijks e gujntiaj gram
={ , , , truk1 e. e. (() = o. o. (() = n. n. (() = d. d. (() =
={, , , } ijta
} ij tfk aoviaus wey. Xfinf ag tfk gaccawijh is jat
?5. ?5.
Tfk gujntiaj gram ijta wfinf essihjs ta kenf kckmkjt ij tfk kckmkjt itskcg is necckd tfk QQQQQ. e. e. idkjtity gujntiaj o. ajk-ta-ajk gujntiaj o. n. n. ajta gujntiaj d. d. ijvkrtiock gujntiaj
??. ??.
Tfk gihurk dkgijks e gujntiaj gram
={, , , } ijta
, ),}(,ij tfk aoviaus wey. Xfet is hrepf ag 1 ={ e. e. {(,, ),}, (, ),(,) o. {(, ), (, ), (, )}, (, )} o.
n. n. {(, )}, (, ), (, ), (, (, ) )}} d. d. {(, ), (, ), (, ),(,)} ?>. ?>.
Tfk gihurk dkgijks e gujntiaj gram ={, , , } ijta ={, , , } ij tfk aoviaus wey. Xfet is hrepf ag 1 e. {(, )}, (, ), (, ),(,) o. {(, ), (, ), (, )}, (, )} (, ) )}} n. {(, )}, (, ), (, ), (, d. {(, ), (, ), (, ),(,)}
?4. ?4.
Tfk gihurk dkgijks gujntiaj gram = {, , , , } ijta = {,,,,} ejd gujntiaj gram = {, {, ,, ,} ijta = {,,,,}. Dktkrmijk ( ∖ ) )( ()). e. e. o. o. n. n. d. d.
?;. ?;.
Tfk gihurk dkgijks gujntiaj gram = {, , , , } ijta = {,,,,} ejd gujntiaj gram = {, {, ,, ,} ijta = {,,,,}. Dktkrmijk ( ∖ ) )( ()). e. e. o. o. n. n. d. d.
?7. ?7.
Tfk gihurk dkgijks gujntiaj gram = {, , , , } ijta = {,,,,} ejd gujntiaj gram = {, {, ,, ,} ijta = {,,,,}. Dktkrmijk ( ∖ ) )( ()). e. e. o. o. n. d. d.
?8. ?8.
Tfk gihurk dkgijks gujntiaj gram = {, , , , } ijta = {,,,,} ejd gujntiaj gram = {, {, ,, ,} ijta = {,,,,}. Dktkrmijk ( ∖ ) )( ()). e. e. o. o. n. n. d. d.
?6. ?6.
Tfk gihurk dkgijks gujntiaj gram = {, , , , } ijta = {,,,,} ejd gujntiaj gram = {, {, ,, ,} ijta = {,,,,}. Dktkrmijk ( ∖ ) )( ()). e. e. o. o. n. n. d. d.
?9. ?9.
Najsidkr tfk gaccawijh gujntiajs0 = ↟ , = ↟ , = ↟ , ejd = ↟ dkgijkd oy tfk diehrem okcaw. Xfinf ag tfk gujntiajs is/erk ajk-ta-ajk1
e. e. ajcy o. ejd ajcy o. n. n. , , ejd d. d. , , ejd >2. >2.
Najsidkr tfk gaccawijh gujntiajs0 = ↟ , = ↟ , = ↟ , ejd = ↟ dkgijkd oy tfk diehrem okcaw. Xfinf ag tfk gujntiajs is/erk ajta1
e. e. ejd o. ejd o. n. n. ejd d. d. ejd >5. >5.
ajcy ajcy ajcy ajcy
Najsidkr tfk gaccawijh gujntiajs0 = ↟ , = ↟ , = ↟ , ejd = ↟ dkgijkd oy tfk diehrem okcaw. Xfinf ag tfk gujntiajs is/erk ijvkrtiock1
e. e. ajcy o. ajcy o. n. n. ajcy d. d. ajcy >?. >?.
Najsidkr tfk gaccawijh gujntiajs0 = ↟ , = ↟ , = ↟ , ejd = ↟ dkgijkd oy tfk diehrem okcaw. Xfinf ag tfk gujntiajs is/erk jat ajta1
e. e. ejd o. ejd o. n. n. ejd d. d. ejd
ajcy ajcy ajcy ajcy
>>. >>.
Najsidkr tfk gaccawijh gujntiajs0 = ↟ , = ↟ , = ↟ , ejd = ↟ dkgijkd oy tfk diehrem okcaw. Xfinf ag tfk gujntiajs is/erk jat ijvkrtiock1
e. e. , o. , o. n. n. , d. d. , >4.
, , , ,
ejd ejd ejd ejd
Xfinf ag tfk gaccawijh gaccawijh stetkmkjts stetkmkjts okst dksnriok tfk gujntiaj
(() = witf hrepf sfawj okcaw1
e. e. Tfk gujntiaj gujntiaj. o. Tfk gujntiaj o. gujntiaj. n. n. Tfk gujntiaj d. d. Tfk gujntiaj
is e ajk-ta-ajk gujntiaj out jat ej ajta is jat e ajk-ta-ajk gujntiaj out ej ajta is e ajk-ta-ajk gujntiaj ejd ej ajta gujntiaj. is jkitfkr e ajk-ta-ajk jar ej ajta gujntiaj.
>;. >;.
Xfinf ag tfk gaccawijh gaccawijh stetkmkjts stetkmkjts okst dksnriok dksnriok tfk gujntiaj ∟ (() = witf hrepf sfawj okcaw1
e. e. Tfk gujntiaj gujntiaj. o. Tfk gujntiaj o. gujntiaj. n. n. Tfk gujntiaj d. d. Tfk gujntiaj gujntiaj.
is e ajk-ta-ajk gujntiaj out jat ej ajta is jat e ajk-ta-ajk gujntiaj out ej ajta is e ajk-ta-ajk gujntiaj ejd ej ajta gujntiaj. is jkitfkr e ajk-ta-ajk gujntiaj jar ej ajta
>7. >7.
Xfinf ag tfk gaccawijh gaccawijh stetkmkjts stetkmkjts okst dksnriok dksnriok tfk gujntiaj (() = + witf hrepf sfawj okcaw1
e. e. Tfk gujntiaj gujntiaj. o. Tfk gujntiaj o. gujntiaj. n. Tfk gujntiaj gujntiaj d. d. Tfk gujntiaj.
is e ajk-ta-ajk gujntiaj out jat ej ajta is jat e ajk-ta-ajk gujntiaj out ej ajta is jkitfkr e ajk-ta-ajk gujntiajgujntiaj ejd ej ajta is e ajk-ta-ajk jar gujntiaj. ej ajta
>8. >8.
Xfinf ag tfk (() = witf hrepf e. e. Tfk gujntiaj is gujntiaj. o. Tfk gujntiaj is o. gujntiaj. n. n. Tfk gujntiaj is d. d. Tfk gujntiaj is gujntiaj.
gaccawijh g accawijh stetkmkjts stetkmkjts okst dksnriok dksnriok tfk gujntiaj sfawj okcaw1 e ajk-ta-ajk gujntiaj out jat ej ajta jat e ajk-ta-ajk gujntiaj out ej ajta e ajk-ta-ajk gujntiaj ejd ej ajta gujntiaj. jkitfkr e ajk-ta-ajk gujntiaj jar ej ajta
>6. >6. Kvecuetk ⌀.⌌ .⌌. e. e. -8.6 o. 8.6 o. n. n. -8 d. d. -6 >9. >9. Kvecuetk ⌆. .⌉⌉ e. e. -8.6 o. 8.6 o. n. n. -8 d. d. -6 42. 42. Kvecuetk ( (.. ) e. e. -8.6 o. 8.6 o. n. -8 d. d. -6 45. 45. Kvecuetk |. .|| e. e. -8.6 o. 8.6 o. n. n. -8 d. d. -6
View more...
Comments
