P. 1
Logika Matematika SMA

Logika Matematika SMA

|Views: 3.598|Likes:
Publicado poraugust_widhie

More info:

Published by: august_widhie on Mar 31, 2010
Copyright:Attribution Non-commercial

Availability:

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

07/18/2013

pdf

text

original

Kuantor

Universal "Semua"
Ekstensial "Ada"
RANGKUMAN MATERI LOGIKA 1
Pernyataan dan kalimat terbuka
Contoh pernyataan :
y 1+2 = 3 pernyataan benar
y 3 ʹ 5 > 0 pernyataan salah
y


൑ 0 pernyataan benar
Contoh kalimat terbuka :
y x ʹ 3 = 8
y 3x ʹ 9 < 0
y


൑ 4

Ingkaran pernyataan
Pernyataan Ingkaran
y 1+2 = 3 1+2 ് 3
y 3 ʹ 5 > 0 3 ʹ 5 ൑ 0
y


൑ 0


൐ 0

Pernyataan berkuantor
׊

׌

Contoh pernyataan berkuantor :
p : ׊ܠ א Թ ǡ ܠ

൒ ૙
q : ׌ܠ א Թ ǡ ܠ

െ ܠ ൌ ૙
r : ׊ܠ א Թ ǡ ܠ

െ ܠ ൌ ૙
s : ׌ܠ א Թ ǡ ܠ

൏ Ͳ
p dan q adalah pernyataan berkuantor yang
bernilai benar, sedangkan r dan s adalah
pernyataan berkuantor yang salah.

Ingkaran pernyataan berkuantor
Contoh ingkaran pernyataan berkuantor :
p : ׊ܠ א Թ ǡ ܠ

൒ ૙
~p : ׌ܠ א Թ ǡ ܠ

൏ Ͳ
q : ׌ܠ א Թ ǡ ܠ

െ ܠ ൌ ૙
~q : ׊ܠ א Թ ǡ ܠ

െ ܠ ് ૙

Kalimat majemuk :
Konjungsi (ܘ ר ܙ)
Contoh :
Jakarta ibukota Indonesia dan Medan ibukota
Sumatra Utara.
Disjungsi (ܘ ש ܙ)
Contoh :
Jakarta ibukota Indonesia atau Medan ibukota
Sumatra Utara.
Implikasi (ܘ ฺ ܙ)
Contoh :
Jika saya berulang tahun maka saya mentraktir
sahabat saya.
Biimplikasi (p฻ ܙ)
Contoh :
Ayah akan membelikan hadiah jika dan hanya jika
saya naik kelas.
Tabel Kebenaran Dasar
p q ܘ ר ܙ ܘ ש ܙ ܘ ฺ ܙ p฻ ܙ
B B B B B B
B S S B S S
S B S B B S
S S S S B B


Membuat Tabel Kebenaran Pernyataan Majemuk
Contoh :
1. Buatlah tabel kebenaran dari pernyataan:
ሺ’ ֜ “ሻ ר ሺ“ ֜ ’ሻ
p q ܘ ֜ ܙ ܙ ֜ ܘ ሺܘ ֜ ܙሻ ר ሺܙ ֜ ܘሻ
B B B B B
B S S B S
S B B S S
S S B B B
KONTINGENSI
2. Buatlah tabel kebenaran dari pernyataan:
ሺ’ ר “ሻ ֜ ’
p q ܘ ר ܙ ሺܘ ר ܙሻ ֜ ܘ
B B B B
B S S B
S B S B
S S S B
TAUTOLOGI
3. Buatlah tabel kebenaran dari pernyataan:
ሺ’ ר “ሻ ֜ ሺ̱’ ש ̱“ሻ
p q ܘ ר ܙ ̱ܘ ש ̱ܙ ሺܘ ר ܙሻ ר ሺ̱ܘ ש ̱ܙሻ
B B B S S
B S S B S
S B S B S
S S S B S
KONTRADIKSI
Ekuivalensi
Contoh :
Buktikanlah ܘ ֜ ܙ ؠ ̱ܘ ש ܙ
p q ܘ ֜ ܙ ̱ܘ ̱ܘ ש ܙ
B B B S B
B S S S S
S B B B B
S S B B B


Ingkaran pernyataan majemuk
̱ሺܘ ר ܙሻ ؠ ̱ܘ ש ̱ܙ
̱ሺܘ ש ܙሻ ؠ ̱ܘ ר ̱ܙ Hukum
̱ሺܘ ฺ ܙሻ ؠ ܘ ר ̱ܙ De
̱ሺܘ ฻ ܙሻ ؠ ሺܘ ר ̱ܙሻ ש ሺܙ ר ̱ܘሻ Morgan

Konvers, Invers dan Kontraposisi
Jika terdapat suatu pernyataan :
ܘ ฺ ܙ
maka :
y Konvers : ܙ ฺ ܘ
y Invers : ̱ܘ ฺ ̱ܙ
y Kontraposisi : ̱ܙ ฺ ̱ܘ
ܘ ฺ ܙ ؠ ̱ܙ ฺ ̱ܘ
ܙ ฺ ܘ ؠ ̱ܘ ฺ ̱ܙ
Contoh :
Jika harga sepatu itu murah maka saya akan
membeli dua pasang sepatu.
Konvers : Jika saya akan membeli dua pasang
sepatu maka harga sepatu itu murah.
Invers : Jika harga sepatu itu tidak murah maka
saya tidak akan membeli dua pasang
sepatu.
Kontraposisi : Jika saya tidak akan membeli dua
pasang sepatu maka harga sepatu
itu tidak murah.
ؠ
ekuivalen
Soal latihan logika I
1. Pernyataan Dz–ƒ͵Ͳ




ξ͵ Dz mempunyai nilai kebenaran ...
2. Pernyataan Dzgrafik fungsi ݕ ൌ ݔ

൅ ͸ݔ ൅ͻ menyentuh sumbu ݔ pada titik (െ3,0)dz
mempunyai nilai kebenaran ...
3. Agar pernyataan —–— െ͵͸Ͳ

൑ ݔ ൑ ͵͸Ͳ

ǡ siሺݔ െ ͵ͷ

ሻ ൌ Ͳǡͷ bernilai benar
maka ݔ ൌ ...
4. Agar kalimat terbuka Dz ʹ
௬ାଵ


଺ସ
Dz bernilai benar maka nilai y sama dengan ...
5. Agar kalimat terbuka Dz ට
௫ିଽ

ൌ ʹdz bernilai benar maka nilai x sama dengan ...
6. Buatlah tabel kebenaran untuk pernyataan :
a. ሺ’ ר “ሻ ՜ ̱’
b. ሺ’ ՜ “ሻ ש ሺ̱“ ՜ ’ሻ
c. ̱ሺ’ ר “ሻ ՜ ̱“
d. ሺ’ ุ “ሻ ר ̱ሺ“ ՜ ”ሻ
7. Ingkaran dari pernyataan
̶ଶ
log ͺ ൌ ͵̶ adalah ...
8. Ingkaran dari pernyataan Dz Untuk semua ݔ א Թ, ݔ

൒ Ͳ dz adalah ...
9. Ingkaran dari pernyataan Dz Ada ݔ א Թǡ ʹݔ

െ ݔ ൏ Ͳdz adalah ...
10. Ingkaran dari pernyataan Dzݔ ൌ ʹ adalah salah satu akar persamaan ݔ

െ ݔ െʹ ൌ Ͳ
dan si͵Ͳ




Dz adalah ...
11. Ingkaran dari pernyataan Dz Akar dari ʹݔ

൅ ͵ݔ െʹ ൌ Ͳ ƒ†ƒlƒŠ ݔ ൌ െʹ ƒ–ƒ— ݔ ൌ



adalah ...
12. Ingkaran dari pernyataan DzJika x
2
Ȃ 4x + 4 = 0, maka x = 2dz adalah ...
13. Ingkaran dari pernyataan Dz ݔ ൌ േʹ jiƒ †ƒ Šƒ›ƒ jiƒ ݔ

ൌ Ͷdz adalah ...
14. Agar pernyataan DzJika ada ݔ א Թǡ ʹݔ

െ ݔ ൌ Ͳ mƒƒ ݔ ൅ͳ ൌ ͵Dz bernilai salah maka
nilai ݔ harus ...
15. Pernyataan DzJika untuk semua ݔ א Թǡ ݔ

െʹݔ െ ͵ ൌ Ͳ mƒƒ ݔ ൅ͳ ൌ Ͳ Dz bernilai benar
untuk ݔ ൌ ...
16. Buktikan menggunakan tabel kebenaran bahwa dua pernyataan di bawah ini
ekuivalen :
a. ׽ ሺ’ ՜ “ሻ ؠ ’ ר׽ “
„Ǥ ’ ר “ ؠ׽ ሺ’ ՜׽ “ሻ
17. Buktikan menggunakan tabel kebenaran bahwa pernyataan di bawah ini tautologi,
kontradiksi atau kontingensi :
ƒǤ ’ ר ሺ“ ר ሺ’ ש “ሻሻ
„Ǥ ሺ’ ר׽ “ሻ ՜׽ ሺ’ ՜ “ሻ
18. Konvers dari pernyataan Dzjika െͷ ൏ െ͵, makaሺെͷሻ

൐ ሺെ͵ሻ

dz adalah ...
19. Invers dari pernyataan Dzjika ሺെͳሻ

ൌ ͳ, maka ݊ „ilƒgƒ gƒjil dz adalah ...
20. Kontraposisi dari pernyataan Dz݊ „ilƒgƒ ƒsliǡ mƒƒ ሺെͳሻ

ൌ ͳdz adalah ...
* selamat berlatih *






Rangkuman Materi Logika 2
Penarikan kesimpulan yang sah
Ada tiga macam cara penarikan kesimpulan yang sah :
1. Modus Ponens
Premis 1 (P1) : p ฺ q
Premis 2 (P2) : p
Konklusi (K) : q
Contoh :
P1 : jika x bilangan ganjil maka x
2
adalah bilangan ganjil.
P2 : x bilangan ganjil.
K : x
2
adalah bilangan ganjil.
2. Modus Tolllens
Premis 1 (P1) : p ฺ q
Premis 2 (P2) : ̱q
Konklusi (K) : ̱p
Contoh :
P1 : jika x bilangan ganjil maka x
2
adalah bilangan ganjil.
P2 : x
2
bukan bilangan ganjil.
K : x
2
bukan bilangan ganjil.
3. Silogisme
Premis 1 (P1) : p ฺ q
Premis 2 (P2) : q ฺ r
Konklusi (K) : p ฺ r
Contoh :
P1 : jika x
2
bilangan genap maka x adalah bilangan
genap.
P2 : jika x bilangan genap maka x kelipatan 2.
K : jika x
2
bilangan genap maka x kelipatan 2.

Contoh soal
1. Diketahui premis ʹ premis sebagai berikut :
P1 : Jika x
2
-3x+2 = 0 maka x = 2 atau x = 1.
P2 : x
2
-3x+2 = 0
Tentukan kesimpulan yang sah premis ʹ premis tersebut !
Jawab :
Konklusinya adalah x = 2 atau x = 1.
2. Diketahui premis ʹ premis sebagai berikut :
P1 : Jika š െ ʹ ൐ ͷ maka š ൐ ͹
P2 : š ൑ ͹
Tentukan negasi kesimpulan dari premis ʹ premis
tersebut !
Jawab :
Konklusinya adalah š െʹ ൑ ͷ.
Negasi konklusinya adalah š െʹ ൐ ͷ.
3. Diketahui premis ʹ premis sebagai berikut :
P1 : Jika


൐ ͳ maka Ͳ ൏ ݔ ൏ ͳ
P2 : Jika Ͳ ൏ ݔ ൏ ͳ maka log š ൏ ͳ
Tentukan invers kesimpulan dari premis ʹ premis
tersebut !
Jawab :
Konklusinya adalah jika


൐ ͳ maka log š ൏ ͳ.
Invers konklusinya adalah jika


൑ ͳ maka log š ൒ ͳ.

Dalil ʹ dalil logika
1. Hukum idempoten
a) ܘ ר ܘ ؠ ܘ
b) ܘ ש ܘ ؠ ܘ
2. Hukum asosiatif
a) ሺܘ ר ܙሻ ר ܚ ؠ ܘ ר ሺܙ ר ܚሻ
b) ሺܘ ש ܙሻ ש ܚ ؠ ܘ ש ሺܙ ש ܚሻ
3. Hukum komutatif
a) ܘ ר ܙ ؠ ܙ ר ܘ
b) ܘ ש ܙ ؠ ܙ ש ܘ
4. Hukum distributif
a) ܘ ר ሺܙ ש ܚሻ ؠ ሺܘ ר ܙሻ ש ሺܘ ר ܚሻ
b) ܘ ש ሺܙ ר ܚሻ ؠ ሺܘ ש ܙሻ ר ሺܘ ש ܚሻ







5. Hukum identitas
a) ܘ ר ۰ ؠ ܘ
b) ܘ ר ܁ ؠ ܁
c) ܘ ש ۰ ؠ ۰
d) ܘ ש ܁ ؠ ܘ
6. Hukum komplemen
a) ܘ ר ̱ܘ ؠ ܁
b) ܘ ש ̱ܘ ؠ ۰
7. Hukum involusi
a) ̱ሺ̱ܘሻ ؠ ܘ
8. Hukum de Morgan
a) ̱ሺܘ ר ܙሻ ؠ ̱ܘ ש ̱ܙ
b) ̱ሺܘ ש ܙሻ ؠ ̱ܘ ר ̱ܙ
c) ̱ሺܘ ฺ ܙሻ ؠ ܘ ר ̱ܙ
d) ̱ሺܘ ฻ ܙሻ ؠ ሺܘ ר ̱ܙሻ ש ሺܙ ר ̱ܘሻ
9. Rumus ekuivalensi
a) ܘ ֜ ܙ ؠ ̱ܘ ש ܙ
b) ܘ ฻ ܙ ؠ ሺܘ ֜ ܙሻ ר ሺܙ ֜ ܘሻ
c) ܘ ฻ ܙ ؠ ሺ̱ܘ ש ܙሻ ר ሺ̱ܙ ש ܘሻ

Contoh soal
Buktikan ekuivalesi berikut dengan dalil ʹ dalil logika :
a. ̱ሺ̱’ ֜ “ሻ ؠ ̱’ ר ̱“
Jawab :
̱ሺ̱’ ֜ “ሻ ؠ ̱ሺ̱ሺ̱’ሻ ש “ሻ (9a)
ؠ ̱ሺ’ ש “ሻ (7a)
ؠ ̱’ ר ̱“ (8b)
b. ሺ݌ ר ݍሻ ֜ ݎ ؠ ݌ ֜ ሺݍ ֜ ݎሻ
Jawab :
ሺ݌ ר ݍሻ ֜ ݎ ؠ ̱ሺ݌ ר ݍሻ ש ݎ (9a)
ؠ ሺ̱݌ ש ̱ݍሻ ש ݎ (8a)
ؠ ̱݌ ש ሺ̱ݍ ש ݎሻ (2b)
ؠ ̱݌ ש ሺݍ ֜ ݎሻ (9a)
ؠ ݌ ֜ ሺݍ ֜ ݎሻ (9a)

LATIHAN
1. Diketahui premis ʹ premis sebagai berikut :
P1 : Jika ݔ ൅ͳͲ ൒ ͳ͵ maka ݔ ൒ ͵.
P2 : Jika ݔ ൒ ͵ maka ݔ

െ ͳ ൒ ͺ.
Kontraposisi kesimpulan dari premis ʹ premis di atas
adalah ...
2. Diketahui premis ʹ premis berikut :
P1 : Jika Ͷ

൒ ͳ͸ maka ݔ ൒ Ͷ.
P2 : ݔ ൏ Ͷ
Negasi kesimpulan dari premis ʹ premis di atas adalah ...
3. Diketahui premis ʹ premis dan kesimpulan sebagai
berikut :
P1 : Jika ݔ

൅ ͳͲݔ ൅ʹͷ ൌ Ͳ maka ݎ.
P2 : ܦ ് Ͳ
---------------------------------------------------
K : ݔ

൅ͳͲݔ ൅ ʹͷ ് Ͳ
Pernyataan ݎ yang dimaksud adalah ...
4. Diketahui premis ʹ premis dan kesimpulan sebagai
berikut :
P1 : Jika siߠ ൌ


ξ͵ maka …ose… ߠ ൌ


ξ͵.
P2 : ݉
---------------------------------------------------
K : …ose… ߠ ൌ


ξ͵
Negasi dari ݉ adalah ...
5. Diketahui premis ʹ premis dan kesimpulan sebagai
berikut :
P1 : ݇
P2 : Jika …os ߠ ൌ െ


ξ͵ maka se… ߠ ൌ െ


ξ͵.
---------------------------------------------------
K : Jika siߠ ൌ


ξ͵ maka se… ߠ ൌ െ


ξ͵
Konvers dari ݇ adalah ...
6. Buktikan ekuivalensi berikut tanpa tabel kebenaran :
a. ሺ݌ ֜ ݍሻ ש ̱ݍ ؠ ̱݌
b. ݌ ֜ ሺݍ ש ݎሻ ؠ ̱ݎ ֜ ሺ݌ ֜ ݍሻ
c. ݌ ש ሺݍ ֜ ݌ሻ ؠ ݌ ש ̱ݍ

You're Reading a Free Preview

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