Proposisi Majemuk Bagian II Oleh : Dani Suandi, M.Si. KELOMPOK I

Membentuk Ekpresi Logika Teknik Parsing Yaitu memecah pernyataan majemuk menjadi subekspresi subekspresi yang paling sederhana dan tidak dapat dipecah lagi Contoh Jika ia berusaha, maka ia berhasil dan mendapatkan penghargaan Diubah menjadi Varibel proporsional: p : ia berusaha q : ia berhasil r : ia mendapatkan penghargaan

Latihan Ubahlah pernyataan berikut menjadi ekspresi logika berupa proposisi majemuk Jika hukuman mati ditunda maka hukum Indonesia tidak tegas dan Indonesia kurang berwibawa dimata dunia Tidak benar bahwa jika tikus itu waspada dan bergerak cepat, maka kucing atau anjing itu tidak mampu menangkapnya Tidak benar bahwa penjualan merosot maupun pendapatan tidak naik

Aturan Pengurutan Digunakan untuk memastikan proses pengerjaan subekspresi pada proposisi majemuk Tabel Hierarki Catatan : Jika ada satu perngkai berhierarki sama maka kerjakanlah dari kiri Urutan Simbol Nama Penghubung 1 Negasi 2 Konjungsi 3 Disjungsi 4 Implikasi 5 Biimplikasi

Contoh harus dibaca

Mengevaluasi Validitas Argumen Jika Anda mengambil mata kuliah logika matematika, dan jika Anda tidak memahami tautologi, maka Anda tidak lulus. p = Anda mengambil mata kuliah logika matematika q = Anda memahami tautologi r = Anda lulus

Mengevaluasi Validitas Argumen 1 2 3 4 6 5 8 7 p q r ( p ^ ~q )  ~r T F (1) (3) (2) (4)

Tautologi Definisi Pernyataan majemuk yang selalu benar untuk semua kemungkinan nilai kebenaran dari proposisi-proposisi atomiknya. p V ~ ( p q ) p V ~ ( p ^ q ) T F TAUTOLOGI

Kontradiksi Definisi Pernyataan majemuk yang selalu slah untuk semua kemungkinan nilai kebenaran dari proposisi-proposisi atomiknya. ~( pq )  (~p V q ) ~ ( p  q) ^ (~p V F T KONTRADIKSI

Kontingen Definisi Pernyataan majemuk yang bukan tautologi bukan pula kontradiksi ~( p  ~q ) p q ~ ( p ^ q ) T F KONTINGEN

Pemanfaatan Tautologi Menentukan validitas sebuah argumen Menentukan ekspresi logika yang ekivalen Definisi Validitas Ketika semua premis adalah benar, kesimpulan juga harus benar. Jika premisnya benar dan kesimpulan salah, maka itu tidak valid.

LATIHAN Periksa

Ekuivalensi ekspresi logika Next Topic Penarikan kesimpulan Ekuivalensi ekspresi logika