Nama:_fransisee NIM: 80194009 Kelas: 17-43-0/ Kompetensi 1 Mahasiswa memshami Konsep konsekuensi logis dan kesetaraan logike Soal 1 Anda boleh memakai tabel kebenaran untuk menjawab soal-soal berikut B (@). [10 poin] Perikse apakah saan eciralloniesart (G2 oe) ete JAWABAN: Ae pvag boa 8: (45 1p)ep p (47) P| 14219) OP > pv7q Xe F pose T T T F f a | f if yy | Racca Le PY74 Mariah Koniervens) logis dari (q-y ap) os P Yorn (Rp) p= pvrg bersttar absah ¢ lo Se k e (b). [10 poin] Periksa apakah —p A q ekuivalen dengan ~p @ ~q. JAWABAN: Asap Aee Bi wer a eng ([7P@ 79 | 1pAq > apa rg i ieolewcy F T F T T T | FE F Vv T Yv PRA bdak exvivaten don ; e a ater dingan 39 9 14 ,wavere wen <> ap 14 Adore beesifat abeak. lo Ree grader: halaman $ dari 13Nama: Fransisco NIM: 403194080 Kelas: IT-¥E-0/ ‘Kompetensi 2 Mahasiswa dapat menggunakan konsep logika proposisi untuk menerjemahkan spesi- fikasi sistem ke dalam formula proposisi dan menentukan konsistensi spesifikasi sistem tersebut. Maha siswa mampu menentukan kesimpulan yang logis dari beberapa argumen dan membuktikannya dengan inferensi logika proposisi. Soal 2 Dr. Jimmy, pengajar mata kuliah algoritma di sebuah universitas, memiliki informasi berikut dari sumber yang terpereaya: Jika Budi Mbaleh mahasiswa Teknologi Informasi, maka ia mengambil Jika Budi men Jas pemrograman di tahun pertama. mbil Kelas pernrograman di tahun pertama, maka ia belajar bahase Go. peserta kontes pemrograman, maka ia memahami algoritma, fpeserta kontes pemrograman, namun dia tidak belajar bahasa Go. Mfisalkan kita memiliki proposisi-proposisi atom berikut: Budi adalah mahasiswa Teknologi Informasi Budi mengambil kelas pemrograman + Budi belajar bahasa Go : Budi adalah peserta kontes pemrograman tahun pertama rey Budi memahami algoritma Gunakan proposisi-proposisi atom tersebut dan operator logika proposisi yang telah dipelajari di perkuliahan untuk menerjemahkan keempat fakta yang dijelaskan di stas, JAWABAN: am: t>pl% algae As bate Ay KANg grader: hnalaman 6 dari 13Nama: Fransisco NIM: 1303/94068 Kelas: (T-¥3-or (b), {10 poin) Kesimputan manakah yang benar: () Budi adalah mahasiswa Teknologi Informasi yang memahami algoritma 4 9 © (2) Budi adalah mahasiswa Teknologi Informasi yang tidak memahami algoritma ¢ A 72 (3) Budi bukan mahasiswa Teknologi Informasi, namun ia memahami algoritma a4 4 4 (4) Budi bukan manasiswa Teknologi Informasi dan ia tidak memahami algoritma 14 41 (3) _ semua kesimpulan (1)-(4) sath JAWABAN: b. O trp yremis P79 prems @ Ka premis © KAg pres O« ron Feo ee oF © 1] — sumplifivar’ don @ v Qe modes powens dari @ dan 6) * modes tolient dari 6) don @ a moles tylens daw © dan) vy @ NA vorvongsi daci @ dan © Jodi, eesimpuion yang berar adoloh yasimpuan pode nemoe ()). Budi buren mehesswo Teenslegi informas’, namen va mémabami algertma rae { halaman 7 dari 13,Nama: Fransisce NIM: 130319 4056 Kelas: 42-0 Kompetensi 3 Mahasiswa dapat melakukan operasi elementer untuk himpunan Soal 3 Diberikan himpunan semesta $ = {2 © N| 5 | 4 +f (2,33) ee [2 poin] Tentukan nilai f (5). Jawapan: (15) =) S41] wal [2 poin] Tentukan ni JawaBan: §(7) [2 poin] Tentukan nilai g (3) T3231 a (2 poin) Tentukan nit g (4). 2p ul Jawapans 9(4) > FS] [2 poin) Tentukan nilai g (9). Jawavan: 9 (9) * 7 30) Jawapan: 90) = 7 321) m v memetakan setiap bilangan real ke bilangan bulat ma dengan ~ 1< 2S m, Jawablah pertanyaan berikut dengan singkat dan beri penjelasan secukupnya, grader \2 Bs halaman 12 dari 13Nama: Fransisco NIM: 1203194068 Kelas: 7-43-01 (2). [2 poin} Tentuken nilai (go J) (7). (Petunjuk: gunakan jawaban pada (c) dan (,) JAWADAN: (yo4)9). 9 (¢0)) 290) “yan : = 74337 a (©). (2 potn] Tentukan nilai (J © y) (9). (Petunjuk: gunakan jawaban pada (a) dan (.) Jawapan:(fo9 9) = £ (gta) “AW ad (2,33) a (0. [2 poin] Apakah f bersfat bijektif? Jeleskan jawaban Anda! (Petunjuk: gunakan jawaban pada (a) dan (b) serta Definisi 6 pada halaman 4.) JAWABA\ {dow iyeeht arene 14) =$(6)= 9 Map? errr 4 Ado see emily fife surjernt staph Nae myer) Yes ©. [2 poin] Apakah y bersifa bijektif? Jelaskan jawaban Anda! (Petunjuk: gunakan javeabun pada (@) dan (e) serta Definisi 6 pada halaman 4.) JAWABAN: 5 N40% Imechf arena 93) © 9¢4) =a a ttt tenet eee pt | 9 Kdge beyeeht harene memilites s dow inyereif Ktapi 244 Prieced (sae grader: § ban halaman 13 dari 13