LOGIKA. Arum Handini Primandari

Transkripsi

1 LOGIKA Arum Handini Primandari

2 LOGIKA MATEMATIKA

3 KALIMAT TERBUKA DAN TERTUTUP Kalimat terbuka adalah kalimat yang tidak mengandung nilai kebenaran Contoh: Apakah kamu tahu pencipta lagu PPAP? Semoga ujian kalkulusnya berjalan lancar. Kalimat tertutup adalah kalimat yang mengandung nilai kebenaran, yaitu bisa bernilai besar atau salah tetapi tidak bisa kedua-duanya. Kalimat tertutup disebut pernyataan / statement.

4 PERNYATAAN Pernyataan tunggal adalah pernyataan yang tidak memuat pernyataan lain sebagai bagiannya. Pernyataan majemuk adalah gabungan dua pernyataan tunggal atau lebih yang menjadi sebuah kalimat baru. Contoh: Pernyataan tunggal Kelas Kalkulus B dimulai pukul 07:00. Semua mahasiswa statistika 2016 memiliki akun sosial media. Pernyataan Majemuk Jika suatu bilangan habis dibagi dua, maka bilangan itu genap. Suatu segitiga dikatakan sama sisi jika dan hanya jika ketiga sudutnya sama

5 OPERASI LOGIKA No Nama Operasi Perangkai Simbol 1. Negasi (Ingkaran) Tidaklah benar ~ 2. Konjungsi dan 3. Disjungsi atau 4. Implikasi Jika..., maka Biimplikasi... Jika dan hanya jika...

6 NEGASI Negasi dari suatu pernyataan yang bernilai benar adalah salah dan negasi dari suatu pernyataan yang bernilai salah adalah benar. p ~p B S S B Contoh : p : Suicide squad menjadi salah satu film box office di tahun ini. ~ p : Suicide squad bukan menjadi salah satu film box office di tahun ini.

7 OPERASI KONJUNGSI Adalah suatu pernyataan majemuk yang dibentuk dengan cara menggabungkan dua pernyataan tunggal dengan memakai kata perangkai dan. p q B B B B S S S B S S S S Kata lain untuk menyatakan konjugsi: tetapi, walaupun, meskipun.

8 OPERASI DISJUNGSI Adalah suatu pernyataan yang dibentuk dengan cara menggabungkan dua pernyataan tunggal dengan memakai kata perangkai atau. Terdapat 2 macam disjungsi: a) Disjungsi inklusif Sebuah disjungsi inklusif bernilai benar jika paling sedikit salah satu komponennya bernilai benar b) Disjungsi eksklusif Bernilai benar jika paling sedikit komponennya bernilai benar tetapi tidak kedua-duanya.

9 Tabel Kebenaran disjungsi Inklusif p q B B B B S B S B B S S S Tabel Kebenaran disjungsi Eksklusif p q p q B B S B S B S B B S S S

10 OPERASI IMPLIKASI Adalah suatu pernyataan majemuk yang dibentuk dengan cara menggabungkan dua pernyataan tunggal dengan memakai perangkai jika... maka... p q B B B B S S S B B S S B

11 OPERASI BIIMPLIKASI Adalah suatu pernyataan majemuk yang dibentuk dengan cara menggabungkan dua pernyataan tunggal dengan memakai kata perangkai... jika dan hanya jika... p q B B B B S S S B S S S B

12 BENTUK BENTUK PERNYATAAN Kontradiksi adalah suatu bentuk pernyataan yang hanya mempunyai contoh subtitusi yang salah, atau sebuah pernyataan majemuk yang salah dalam segala hal tanpa memandang nilai kebenaran dari komponen-komponennya. Tautologi adalah sebuah pernyatan majemuk yang benar dalam segala hal, tanpa memandang nilai kebenaran dari komponen-komponennya. Kontingensi adalah sebuah pernyataan majemuk yang bukan suatu tautologi maupun kontradiksi.

13 CONTOH : Selidikilah apakah pernyataan berikut merupakan kontrasiksi, tautologi, atau kontingensi: p q q p p q ~p ~p q q p (~p q) (q p) B B S S B B B S S S B B S B B B S B S S B S B B

14 LATIHAN 1 Selidikilah apakah pernyataan berikut merupakan kontrasiksi, tautologi, atau kontingensi: 1. p q p 2. p q q r r p 3. p q p q

15 IMPLIKASI LOGIS DAN EKUIVALEN LOGIS Implikasi logis adalah suatu bentuk pernyataan implikasi yang merupakan tautologi Ekuivalen logis adalah dua atau lebih pernyataan majemuk yang mempunyai nilai kebenaran sama

16 CONTOH IMPLIKASI LOGIS: Tautologi

17 Oleh karena nilai kebenaran p q sama dengan nilai kebenaran (p q) (q p), maka kedua pernyataan tersebut ekuivalen logis: p q (p q) (q p)

18 KONVERS, INVERS DAN KONTRAPOSISI Dari sebuah implikasi p q, dapat disusun: 1. Konvers : q p 2. Invers : ~p ~q 3. Kontraposisi : ~q ~p Catatan: Konvers Invers Implikasi Kontraposisi

19 SKEMA p q Konvers q p Invers Kontraposisi Invers ~p ~q Konvers ~q ~p

20 CONTOH : Carilah konvers, invers dan kontraposisi dari pernyataan : Jika Ozan Aktif organisasi maka dia berprestasi Konvers: Jika Ozan berprestasi maka dia aktif organisasi. Invers: Jika Ozan tidak aktif organisasi maka dia tidak berprestasi. Kontraposisi: Jika Ozan tidak berprestasi maka dia tidak aktif organisasi.

21 PENGERTIAN KUANTOR Kuantor adalah kata yang apabila dibubuhkan pada kalimat terbuka akan mengubah kalimat tersebut menjadi kalimat tertutup Terdapat 2 jenis kuantor: Kuantor Universal, dengan notasi: Kuantor Khusus/ Eksistensial, dengan notasi: Contoh: kalimat terbuka: x 2 5 > 8 x, x 2 5 > 8 S x, x 2 5 > 8 B

22 PERNYATAAN BERKUANTOR Contoh : 1. Semua mahasiswi UII berjilbab 2. Semua mahasiswa UII memproduksi data 3. Ada mahasiswa yang terlambat kelas Kalkulus B 4. Tidak ada manusia sekarang yang umurnya mencapai 200th Untuk membenarkan notasi pada pernyataan berkuantor maka harus dibuat fungsi proporsinya terlebih dahulu, misalnya untuk pernyataan semua manusia fana maka kita buat fungsi proposisi untuk manusia M(x) dan fana F(x), sehingga notasi dari semua manusia fana adalah x, M x F(x)

23 NEGASI PERNYATAAN BERKUANTOR Negasi dari pernyataan berkuantor yaitu: Negasi dari x p x adalah ~ x p x x ~p(x) Negasi dari x p(x) adalah ~ x p x x ~p(x) Contoh: semua mahasiswa statistika 2016 mengambil 21 sks di semester pertama Negasi pernyataan: ada mahasiswa statistika 2016 yang tidak mengambil 21 sks di semester pertama

24 LATIHAN 2 1. Tentukan konvers, invers, dan kontraposisi dari pernyataan: Di era Big Data, jika orang memiliki gadget atau terhubung dengan sensor, maka dia berpotensi menghasilkan data 2. Tentukan negasi dari pernyataan berikut: Ketika terjadi erupsi Gunung Merapi, semua warga di persekitaran Gunung Merapi dalam radius 15 km mengenakan masker dan mengungsi ke zona aman bencana 3. Tentukan negasi dari: Jika Faiz tidak memiliki kuota atau sibuk kuliah, maka dia tidak meng-update status Facebook-nya

25 PENARIKAN KESIMPULAN Aturan dalam penarikan kesimpulan: 1. Modus Ponens 2. Modus Tollens 3. Modus Silogisme

26 BUKTI KEABSAHAN ARGUMEN Membuktikan keabsahan argumen dapat melalui: Tabel kebenaran Jika pernyataan merupakan tautologi, maka Aturan penyimpulan Menggunakan hukum ponens, tollens, atau silogisme. pernyataan tersebut sah.

27 LATIHAN 3 Buktikan keabsahan berikut: 1. Dengan menggunakan tabel kebenaran: (1)p q (2) q p 2. Dengan aturan penyimpulan: l k r q (1) k l m n (2) m n o p (3) o p q r 3. Dengan aturan penyimpulan: p q r r p p q 1. ~ ~ ~ p 4. p ~ r ~ r ~ p

28 BEBERAPA EKUIVALENSI YANG PENTING 1. Hukum Komutatif p q q p p q q p 2. Hukum asosiatif p q r q p r p q r q p r

29 3. Hukum Distribusi p q r p q p r p q r p q p r 4. Hukum De Morgan p q p q p q p q 5. Implikasi p q p q