Logika informatika soal pengayaan 2

Presentasi berjudul: "Logika informatika soal pengayaan 2"— Transcript presentasi:

1 Logika informatika soal pengayaan 2
OLEH BOWO NURHADIYONO

2 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

3 Representasikan premis-premis dan kesimpulan dalam logika proposional
Ubah ke dalam bentuk klausa untuk pembuktian dengan resolusi Terapkan kaidah resolusi untuk membuktikan kesimpulan

4 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

5 Representasikan kelima premis dan kesimpulan dalam logika proposional dengan proposisi p=muncul kepala, q=muncul ekor, r=anda menang, t=saya menang Ubah ke dalam bentuk klausa untuk pembuktian dengan resolusi Terapkan kaidah resolusi untuk membuktikan kesimpulan

6 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

7 Representasikan kelima premis dan kesimpulan dalam logika proposional
Ubah ke dalam bentuk klausa untuk pembuktian dengan resolusi Terapkan kaidah resolusi untuk membuktikan kesimpulan

8 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

9 Representasikan kelima premis dan kesimpulan dalam logika proposional
Ubah ke dalam bentuk klausa untuk pembuktian dengan resolusi Terapkan kaidah resolusi untuk membuktikan kesimpulan

10 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

11 Setiap ahli matematika adalah seorang filosofer
Tulis dalam bentuk 1. Literalnya 2. Logika Relasional

12 b. Semua ikan paus adalah hewan menyusui
Tulis dalam bentuk 1. Literalnya 2. Logika Relasional

13 c. Beberapa ahli matematika adalah seorang filosofer
Tulis dalam bentuk 1. Literalnya 2. Logika Relasional

14 d. Beberapa filosofer sayang pada semua ahli matematika
Tulis dalam bentuk 1. Literalnya 2. Logika Relasional

15 e. Beberapa filosofer yang bukan ahli matematika sayang pada Alysa
Tulis dalam bentuk 1. Literalnya 2. Logika Relasional

16 f. Setiap ahli matematika yang sayang pada Alysa adalah seorang filosofer
Tulis dalam bentuk 1. Literalnya 2. Logika Relasional

17 SLIDE SELESAI