P. 1
Ringkasan Logika Matematika

Ringkasan Logika Matematika

4.43

|Views: 41,259|Likes:
Dipublikasikan oleh Christio

More info:

Published by: Christio on Feb 07, 2009
Hak Cipta:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF or read online from Scribd
See more
See less

05/02/2014

pdf

By : Christhio Gunawan

RINGKASAN LOGIKA MATEMATIKA

Info.christio.co.cc

By : Christhio Gunawan

Ringkasan Logika Matematika
Pernyataan adalah kalimat yang hanya benar saja atau salah saja, tetapi tidak dapat sekaligus benar atau salah. Kalimat terbuka adalah kalimat yang memuat peubah/variabel, sehingga belum dapat ditentukan nilai kebenarannya (benar atau salah). Tabel Kebenaran Negasi (Ingkaran): p B S
~p

S B

Tabel Kebenaran Disjungsi dan Konjungsi: p B B S S q B S B S p∨q B B B S p∧q B S S S

Tabel Kebenaran Implikasi dan Biimplikasi: p B B S S q B S B S ⇒ B S B B ⇔ B S S B

Tautologi adalah sebuah pernyataan majemuk yang selalu benar untuk semua kemungkinan nilai kebenaran dari pernyataan-pernyataan komponennya. Implikasi logis adalah sebuah tautologi yang memuat pernyataan implikasi. Ingkaran dari Disjungsi, Konjungsi, Implikasi, dan Biimplikasi: a. ~ p ∨ q ≡ ∼p ∧ ∼q b. ∼ p ∧ q ≡ ∼p ∨ ∼q c. ∼ p ⇒ q ≡ p ∧ ∼q d. ∼ p ⇔ q ≡ p ∧ ∼q ∨ q ∧ ∼p Sifat Komutatif, Asosiatif, dan Distributif pada Disjungsi dan Konjungsi: 1. Sifat Komutatif a. p ∨ q ≡ q ∨ p b. p ∧ q ≡ q ∧ p

Info.christio.co.cc

By : Christhio Gunawan 2. Sifat Asosiatif a. (p ∨ q) ∨ r ≡ p ∨ (q ∨ r) b. (p ∧ q) ∧ r ≡ p ∧ (q ∧ r) 3. Sifat Distributif a. Distributif disjungsi terhadap konjungsi p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) b. Distributif konjungsi terjadap disjungsi p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) Hubungan Konvers, Invers, dan Kontraposisi Dengan Implikasi. Suatu pernyataan implikasi : ⇒ i. Konversnya : ⇒ ii. Inversnya : ∼p ⇒ ∼q iii. Kontraposisinya : ∼q ⇒ ∼p Tabel hubungan nilai kebenaran konvers, invers, kontraposisi dengan implikasi Implikasi p B B S S q B S B S ∼p S S B B ∼q S B S B ⇒ B S B B Konvers q ⇒p B B S B Invers ∼p ⇒ ∼q B B S B Kontraposisi ∼q ⇒ ∼p B S B B

Ingkaran dari pernyataan berkuantor. PERNYATAAN BERKUANTOR ∀ , Semua X adalah Y INGKARAN ∃ ,~ Beberapa X bukan Y atau Tidak semua X adalah Y ∀ ,~ Semua X bukan Y atau Tidak ada (tiada) X yang merupakan Y atau Jika x adalah X, maka x bukan Y

∃ , Beberapa X adalah Y

Info.christio.co.cc

By : Christhio Gunawan Penarikan Kesimpulan. Prinsip-prinsip logika yang dipakai dalam proses penarikan kesimpulan adalah sebagai berikut. 1. Argumentasi dikatakan berlaku atau sah: Jika konjungsi dari premis-premisnya berimplikasi konklusi. 2. Argumentasi dikatakan tidak berlaku atau tidak sah: Jika konjungsi dari premis-premisnya tidak berimplikasi konklusi. Modus Ponens ⇒ ............... premis 1 .............. premis 2 ∴ .............. kesimpulan/konklusi

Modus Tollens ⇒ .............. premis 1 ~ .............. premis 2 ∴ ~ .............. kesimpulan/konklusi Silogisme ⇒ ........... premis 1 ⇒ ........... premis 2 ∴ ⇒ ........... kesimpulan/konklusi

Info.christio.co.cc

You're Reading a Free Preview

Mengunduh
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->