Logika informatika soal pengayaan 2 OLEH BOWO NURHADIYONO
advertisement
Soal 1a : • Jika bahan baku kedelai berasal dari wonosobo, maka tempe yang diproduksi bermutu baik. Jika tempe yang diproduksi bermutu baik maka tempe tersebut laku dipasaran, tetapi tempe tidak laku dipasaran, berarti kesimpulanya bahan baku kedelai bukan dari wonosobo a. Representasikan premis-premis dan kesimpulan dalam logika proposional b. Ubah ke dalam bentuk klausa untuk pembuktian dengan resolusi c. Terapkan kaidah resolusi untuk membuktikan kesimpulan Soal 1b : • Terdapat suatu permainan coin dengan ketentuan berikut, jika muncul kepala maka anda menang. Jika muncul ekor maka saya tidak menang, seandainya saat dilempar coin muncul ekor, buktikan dengan proposional resolusi bahwa anda menang. Terdapat pengetahuan umum bahwa jika muncul kepala, tidak mungkin ekor juga muncul dan juga jika anda menang, tidak mungkin saya juga menang a. Representasikan kelima premis dan kesimpulan dalam logika proposional dengan proposisi p=muncul kepala, q=muncul ekor, r=anda menang, t=saya menang b. Ubah ke dalam bentuk klausa untuk pembuktian dengan resolusi c. Terapkan kaidah resolusi untuk membuktikan kesimpulan Soal 1c : • Jika Iwan Fals mengadakan konser, maka penggemarnya akan datang jika harga tiket tidak mahal. Jika Iwan Fals mengadakan konser, maka harga tiket tidak mahal, dengan demikian jika Iwan Fals mengadakan konser maka penggemarnya akan datang a. Representasikan kelima premis dan kesimpulan dalam logika proposional b. Ubah ke dalam bentuk klausa untuk pembuktian dengan resolusi c. Terapkan kaidah resolusi untuk membuktikan kesimpulan Soal 1d : • Jika pejabat melakukan korupsi maka rakyat tidak akan marah atau kejaksaan akan memeriksanya. Jika kejaksaan tidak akan memeriksanya maka rakyat akan marah, ternyata kejaksaan tidak akan memeriksanya dengan demikian pejabat tidak melakukan korupsi a. Representasikan kelima premis dan kesimpulan dalam logika proposional b. Ubah ke dalam bentuk klausa untuk pembuktian dengan resolusi c. Terapkan kaidah resolusi untuk membuktikan kesimpulan Soal 2 : • Representasikan kalimat alami (natural) dibawah ini kedalam Logika Relasional (relational logic) dengan menggunakan relasi unari math(x) untuk ahli matematika phi(x) untuk filosofer dan relasi binari sayang(x,y) untuk x sayang y a. Setiap ahli matematika adalah seorang filosofer Tulis dalam bentuk 1. Literalnya 2. Logika Relasional b. Semua ikan paus adalah hewan menyusui Tulis dalam bentuk 1. Literalnya 2. Logika Relasional c. Beberapa ahli matematika adalah seorang filosofer Tulis dalam bentuk 1. Literalnya 2. Logika Relasional d. Beberapa filosofer sayang pada semua ahli matematika Tulis dalam bentuk 1. Literalnya 2. Logika Relasional e. Beberapa filosofer yang bukan ahli matematika sayang pada Alysa Tulis dalam bentuk 1. Literalnya 2. Logika Relasional f. Setiap ahli matematika yang sayang pada Alysa adalah seorang filosofer Tulis dalam bentuk 1. Literalnya 2. Logika Relasional
