Anda di halaman 1dari 33

Responsi Logika Matematika II

Hal 1
RESPONSI I

Soal-soal tentang menerjemahkan kalimat bahasa sehari-hari ke lambang logika
matematika dan sebaliknya
1. Tentukan manakah dibawah ini yang merupakan proposisi ? Tentukan nilai kebernaran
yang merupakan proposisi.
a. 3+15=17 .
b. Untuk beberapa bilangan bulat n.600 =n.15 .
c. x+y=y+x untuk setiap pasangan bilangan real x dan y .
d. Setiap bilangan bulat genap lebih dari empat merupakan penjumlahan dua bilangan
prima.
e. Tak ada orang utan yang hidup di kota.
f. Ambil 5 buah buku di atas meja.
g. 4+x = 5

2. Misalkan p adalah "Iwan bisa berbahasa Inggris ", q adalah "Iwan bisa berbahasa Jerma",
dan r adalah "Iwan bisa berbahasa Perancis". Terjemahkan kalimat majemuk berikut ke
dalam notasi simbolik.
a. Iwan bisa berbahasa Inggris
b.Iwan bisa berbahasa Jerman tapi tidak bahasa Perancis .
c. Iwan baru bisa berbahasa Inggris atau bahasa Jerman, atau dia tidak bisa berbahasa
Perancis atau berbahasa Jerman.
d. Tidak benar bahwa Iwan bisa berbahasa Inggris atau berbahasa Perancis.
e. Tidak benar bahwa Iwan bisa berbahasa Inggris atau bahasa Perancis, tetapi tidak
bahasa Jerman.
f. Tidak benar bahwa Iwan tidak bisa berbahasa Inggris , Perancis , maupun Jerman.

3. Lambangkan kalimat di bawah ini
a. Jika udara cerah maka Jaka pergi kuliah ke ITENAS atau pulang ke Sumedang.
b. Atau istri terdakwa tidak bersalah atau saksi pertama yang bersalah , tetapi jelas bahwa
terdakwa bersalah.
c. Gerbong kereta api PJKA dibuat oleh Badan Usaha Milik Negara atau diimpor dari luar
negeri.
d. Jika laut tenang , maka atau orang dapat melihat taman laut di bawah perahu atau
perahu dapat menyebrangi teluk dua kali sehari.
e. Jika, atau rumah kontrakan sukar didapat atau mahasiswa tinggal di asrama , dan jika
mahasiswa tidak suka tinggal di asrama, maka rumah kontrakan sukar didapat.
f. Atau terdakwa harus memberikan kesaksian dan mengaku bersalah atau ia tidak perlu
memberikan kesaksian.

4. Misalkan p adalah " Hari ini adalah hari Rabu " , q adalah "Hujan Turun" dan r adalah " Hari
ini panas". Terjemahkan notasi simbol di bawah ini:
a. q p v
b. ) ( r q p v .
c. r q p . v ) (
d. ) ( ) ( p r q p v . .
e. )) ( ( )) ( ( p q r r q p v v . . .
f. p q

Responsi Logika Matematika II

Hal 2
5. Misalkan p adalah pernyataan " Isi kuliah menarik " , q adalah "soal-soal latihannya yang
menantang" , dan r adalah "Kuliahnya enak " . Terjemahkan kalimat berikut dalam notasi
simbolik:
a. isi kuliah tidak menarik , dan soal-soalnya tidak menantang , dan kuliahnya tidak enak.
b. Jika isi kuliahnya tidak menarik dan soal-soal latihannya tidak menantang , maka
kuliahnya tidak enak.
c. Isi kuliah yang menarik berarti soal-soal latihannya menantang dan, begitu sebalikanya.
d. Isi kuliah tidak menarik atau soal-soal latihannya tidak menantang , namun tidak
keduanya .

Kalimat-kalimat implikasi
1. Nyatakan apakah kalimat implikasi ini benar atau salah:
a. Jika 2+2=4 , maka 3+3=5 .
b. Jika 1+1=2 , maka Tuhan ada .
c. Jika 2+2 =4 , maka 4 adalah bilangan prima
d. Jika 3<6 , maka 6 <2

2. Nyatakan setiap kalimat proposisi berikut menjadi kalimat implikasi jika p, maka q :
a. Dian bisa lulus sarjana , apabila ia telah menyelesaikan 144 sks.
b. Sebuah program hanya bisa dibaca jika ia terstruktur dengan baik.
c. Syarat cukup bagi Lukman untuk mengambil matakuliah algoritma dan Pemrograman
adalah ia sudah lulus kuliah matematika Diskrit.
d. Perlu ada salju agar Hesnu bisa bermain ski.
e. Anda hanya mendapat jaminan barang hanya jika anda mengembalikan kartu garansi
kurang dari sebulan untuk sejak pembelian.
f. Untuk mendapat gelar doktor , cukup anda kuliah di universitas X .
g. Perlu mendaki 100 meter lagi untuk mencapai pundak gunung Semeru.

3. Tentukan konvers, invers dan kontraposisi untuk kalimat - kalimat nomor 2.

4. Nyatakan konvers dan kontraposisi dari implikasi berikut :
a. Saya masuk kuliah bilamana ada kuis.
b. Sebuah bilangan positif hanya prima jika ia tidak mempunyai pembagi selain 1 dan dan
dirinnya sendiri.

SOAL -SOAL TENTANG TABEL KEBENARAN
1. Tentukan tabel kebenaran dari setiap kalimat di bawah ini:
a. p q p . v ) (
b. ) ( ) ( r q q p v v .
c. p q p v v ) (
d. ) ( ) ( p r q p . v .
e. q q p v ) (
f. ) ( ) ( q p p q

2. gunakan tabel kebenaran untuk melihat bahwa ) ( r q p v . ekivalen logis dengan
) ( ) ( r p q p . v .
Responsi Logika Matematika II

Hal 3
3. Dengan tabel kebenaran perlihatkan bahwa : r q p ) ( dan ) ( r q p
tidak ekivalen .

4. Gunakan tabel kebenaran untuk menunjukkan tiap implikasi berikut adalah tautologi :
a. ) ( q p p
b. q q p ) (
c. ) ( ) ( q p q p .

5. Buatlah dan bandingkan tabel kebenaran untuk setiap soal berikut ini :
a. p p . dan ) ( p p v
b. ) ( q p . dan q p .
c. q p dan q p v
d. q p dan q p
e. r q p . . ) ( dan ) ( r q p . .

6. Dengan menggunakan tabel kebenaran , apakah soal-soal di bawah ini tautologi (valid)
?
a. ) ( b a b a v
b. )] ( ) [( ) ( c b c a b a . v
c. )] ( ) [( ) ( c a c b b a
d. ) ( ) ( ) ( c a b a c b a v . v . v
e. ) ( ) ( ) ( c b a c a b a . .

7. Gunakan tabel kebernaran untuk membuktikan kalimat-kalimat berikut ekivalen logis .
a. ) ( ) ( a b b a b a v . v
b. T b a a ) (
c. c b a c b a v . v ) ( ) (
d. c b a c b a ) ( ) (
e. ) ( b a b a .
f. F b b a v . ) ) ( (
g. T a c b a c b a . . ))) ( ( )) ( ((

8. Diketahui bahwa p dan q adalah proposisi yang nilai kebenarannya selalu berbeda.
Periksa apakah tabel kebenaran dari p identik dengan tabel kebenaran p q q v

9. Untuk p dan q yang selalu berbeda nilai kebenarannya , buatlah tabel kebenaran untuk :
a. q p
b. konvers dari a )
c. kontraposisi dari a )
d. kontraposisi dari b)
Responsi Logika Matematika II

Hal 4

SOAL -SOAL TENTANG HUKUM ALJABAR PROPOSISI

1. Gunakan hukum aljabar untuk menunjukkan bahwa kedua kalimat di bawah ini tautologi
(valid) :
a. ) ( ) ( q p q p v .
b. q q p p . )] ( [

2. Gunakan hukum aljabar untuk menunjukkan kalimat implikasi di bawah ini tautologi (valid)
:
a. ) ( q p p
b. q q p ) (
c. ) ( ) ( q p q p .

3. Dengan hukum logika aljabar perlihatkan bahwa r q p ) ( dan ) ( r q p
tidak ekivalen .

4. Dengan menggunakan hukum-hukum logika , apakah soal-soal di bawah ini tautologi
(valid)?
a. ) ( b a b a v
b. )] ( ) [( ) ( c b c a b a . v
c. )] ( ) [( ) ( c a c b b a
d. ) ( ) ( ) ( c a b a c b a v . v . v
e. ) ( ) ( ) ( c b a c a b a . .


SOAL-SOAL LOGIKA
1 . Ada kasus bahwa jika kalimat "m jika dan hanya jika n" bernilai benar (T) , bagaimana
dengan nilai kebenaran dari kalimat " bukan m atau bukan n" ( boleh menggunakan tabel
kebenaran )

2. Apakah kalimat "p dan q" ekivalen logis dengan kalimat "jika bukan q maka p"? Jelaskan
jawaban saudara . Tunjukkan alasan untuk mengukuhi keputusan anda.

3. Diberikan kalimat p q p v ) ( . Untuk kasus q bernilai benar (T) , dan kalimat tersebut
bernilai salah (F) . Tentukan nilai p dalam kasus ini.

4.Diberikan : p sebuah proposisi
q p . adalah kalimat proposisi , selalu bernilai F untuk apapun nilai
kebenaratan dari q . Apa nilai kebenaran dari p?

5. Diberikan q p bernilai salah(F) , apakah nilai kebenaran dari q p v

6. Diketahui bahwa proposisi berikut ini berlaku pada selang (a,b) :
k: f fungsi kontinu
Responsi Logika Matematika II

Hal 5
t: f memiliki turunan f'
p: f' >0
n: fungsi naik.
a. Nyatakan dalam bahasa indonesia yang pantas kalimat logika : n p t k . . ) (
b. Nyatakan dalam bahasa Indonesia yang pantas kalimat kontraposisi dari (a) .
c. Gunakan hukum logika (keekivalenan implikasi dan disjungsi) untuk mengubah (a) ,
sehingga tidak berbentuk kalimat implikasi.

7. Jika pernyataan q p salah , tentukan nilai pernyataan q q p v ) (

8. Jika pernyataan q p benar , tentukan nilai pernyataan ) ( q p p v


MASALAH EKSKLUSIF OR DAN INKLUSIVE OR

1. Manakah dari kalimat "atau " di bawah ini yang menyatakan inklusif or ekslusif or .
a. Untuk mengambil matakuliah Matematika Diskrit , anda sudah harus mengambil kuliah
kalkulus atau Pengantar Teknologi Informasi .
b. Sekolah diliburkan jika banjir melebihi 1 meter atau jika hujan masih juga belum berhenti.
c. Jika anda membeli sepeda motor saat ini, anda mendapat potongan Rp 500.000,- atau
voucher BBM sebesar 2 % dari harga motor.
d. Untuk makan malam, tamu boleh memesan 2 macam sup atau 1 macam bistik.

RESPONSI II

PENYEDERHANAAN DENGAN HUKUM LOGIKA ALJABAR PROPOSISI

Penyederhanaan ekspresi logika adalah :
1. menghilangkan tanda implikasi dan biimplikasi
2. Menggantikan tanda perangkai logika (implikasi dan biimplikasi) dengan " ", " v", " .".

BAGIAN I
Sederhanakan ekspresi logika ini menjadi bentuk yang paling sederhana.
1. ) ( a a a .
2. )) ( ( b b a v .
3. ) ( b a a
4. ) ) (( ) ( a b a b a
5. b a c b a . . v )) ( (
6. )) ( ( )) ( ( c b a c b a . .
7. ) ) (( ) ( a b a b a
8. )) ( ( )) ( ( b a a b b a a v . v v v .
9. ) ( ) ( c a c c a b a . . v . . .
BAGIAN II
Buktikan hukum penyerapan berikut ini dengan penyederhanaan
Responsi Logika Matematika II

Hal 6
1. a b a a . v ) (
2. a b a a v . ) (
3. b b a b a . v . ) ( ) (
4. b b a b a v . v ) ( ) (

BAGIAN III
Hilangkan tanda " ", " " dari ekspresi logika berikut ini dan sederhanakan lagi jika
memungkinkan.
1. b a
2. ) ( ) ( c b b a .
3. ) ) (( ) ( b b a b a .

BAGIAN IV
Buktikan ekivalensi dua kalimat logika di bawah ini dengan Hukum Aljabar Proposisi .
1. ) ( ) ( ) ( c a b c b b a v . . v .
2. T a b a v . ) ) ( (
3. ) ( ) ( )) ( ( d a c a d c a . v . v v
4. b a b a a . v . ) (
5. b a b a v . ) (
6. a b a b a . v . ) ( ) (
7. )) ( ) ( ( a b b a b a v v v
8. ) ( ) ( a b b a b a v . v
9. ) ( ) ( )) ( ( c a b a c b a . v . v v
10. ) ( ) ( ) ( ) ( ) ( ) ( d c c b d a b a d b c a . v . v . v . v . v

BAGIAN V
Tentukan validitas kalimat berikut dengan HUKUM LOGIKA ALJABAR .

GUNAKAN PRINSIP PENYEDERHANAAN .
1. A: ] ) ~ [( ~ ~ p q p q . v
2. A: ) ( ~ ) ~ ( q p q p .
3. A: )] ( ) [( )] ( [ r p q p r q p v .
4. A: ] ) [( )] ( [ r q p r q p .
5. A: ] ) ~ [( )] ( [ r q p r q p . v
6. A: )] ( ) [(~ )] ( [ r p q p r q p . v .
7. A: ] ) [( )] ( [ r q p r q p
PENYEDERHANAAN DENGAN METODE RESOLUSI

Responsi Logika Matematika II

Hal 7
RESPONSI III

Latihan di bawah ini adalah suatu tekateki yang dapat di pecahkan dengan cara
menerjemahkan kalimat nya kedalam kalimat logika dan melakukan penarikan kesimpulan
(reasoning) dengan menggunakan tabel kebenaran .

cerita 1.
Polisi menemukan tiga tersangka pembunuhan tuan Cooper . Tuan Smith, Jones , dan
William . Smith, Jones dan William masing-masing menyatakan dirinya tidak bersalah /
membunuh tuan Cooper. Smith menyatakan bahwa Cooper adalah teman Jones, dan
Wiliam tidak menyenangi Jones. Jones menyatakan bahwa dia tidak mengenal Cooper
dan dia sedang berada diluar kota pada hari saat Cooper terbunuh . Wiliam menyatakan
bahwa dia melihat Smith dan Jones bersama-sama dengan Cooper ,pada hari
pembunuhan Cooper dan berarti baik Smith atau Jones kemungkinan membunuh Cooper.
Dapatkah anda menentukan siapa pembunuhnya jika:
a . salah satu dari tiga orang ini salah , 2 orang yang tidak bersalah menceritakan hal yang
benar , tapi pernyataan dari yang bersalah bisa benar bisa juga tidak benar.
b. orang-orang tidak bersalah menyatakan kebenaran ?.

cerita 2.
Steve hendak menentukan gaji realtif dari tiga pekerja dengan menggunakan dua fakta.
Pertama dia mengetahui bahwa jika Fred tidak dibayar tertinggi diantara mereka bertiga,
maka Janice berada di urutan tertinggi . Kedua , jika Janice tidak dibayar dengan harga
terendah , maka Maggie dibayar dengan harga tertinggi. Apakah mungkin untuk
menemukan gaji-gaji tertinggi diantara Fred, Maggie dan Janice , dari dua fakta yang
diketahui tersebut? Siapa yang dibayar paling tinggi dan paling rendah? jelaskan alasan
jawaban anda.

cerita 3
5 teman mempunyai akses ke chat room. Apakah mungkin untuk mengetahui siapa saja
yang sedang chatting dengan mengetahui 5 informasi berikut ?
a. Kevin atau Heather atau keduanya sedang chatting. ( inclusive or )
b. Randy atau Vijay atau tidak keduanya sedang chatting. ( eksclusive or )
c. Jika Abby chatting , maka Randy chatting
d. Vijay dan Kevin keduanya chatting , atau keduanya tidak chatting .
e. Jika Heather chatting maka Abby dan Kevin Chatting .
terangkan jawaban anda.

cerita 4
Seorang detektif mewawancarai 4 orang saksi untuk suatu kriminal . Dari cerita para saksi ,
detektif menyimpulkan bahwa:
a.Jika tukang daging bercerita benar maka si tukang masak menceritakan hal yang benar
juga.
b.Tukang masak dan tukang kebun tidak mungkin keduanya menceritakan kebenaran.
c. Tukang kebun dan tukang reparasi , tidak mungkin keduanya berbohong.
d. Jika tukang reparasi menceritakan kebenaran maka si tukang masak berbohong.
Dari keempat saksi tersebut ( tukang masak, tukang daging , tukang kebun dan tukang
reparasi) dapatkah detektif tersebut menentukan siapa yang bercerita benar dan siapa
yang bercerita bohong ? Jelaskan jawaban saudara.

cerita 5 :
Responsi Logika Matematika II

Hal 8
Empat sekawanan telah diindentifikasi sebagai tersangka untuk akses yang tidak syah pada
suatu sistem komputer. Mereka memberikan pernyataan terhadap tim penyelidik.
i. Alice berkata " Carlos yang melakukan "
ii John berkata " Saya tidak melakukan "
iii. Carlos berkata " Diana melakukan"
iv. Diana berkata " Carlos berbohong waktu dia mengatakan bahwa saya yang melakukan"
A. Jika tim penyelidik ini tahu bahwa hanya tepat satu dari 4 tersangka ini yang bercerita
benar. Siapa yang melakukannya?
Terangkan alasan anda .
B. Jika tim penyelidik ini tahu bahwa hanya tepat satu dari 4 tersangka ini yang bercerita
bohong . Siapa yang melakukannya ?
Terangkan alasan anda.

RESPONSI IV
BENTUK NORMAL


Jawaban latihan soal

BAGIAN I (Bentuk CNF) :
1. ( ) ( ) c b c a . v .
jawab : ( ) b a c v . CNF
2. ( ) ( ) b a b a v v ~
jawab :
( ) ( ) b a b a v v ~
( ) ) ( ~ ~ b a b a v v v
( ) b a b a v v . ~ De Morgan, assosiatif
( ) b a b a v v . ) ~ ( Distributif
( ) ( ) ( ) b a b a a v v . v ~ Distributif
( ) ( ) b a b b a a v v . v v ~ CNF
3. ( ) c b a
jawab :
( ) c b a v v ~ ~
( ) c b a v . ~
( ) ) (~ c b c a v . v CNF
4. ( ) c b a v ~
jawab :
( ) c b a v ~ ( ) ( ) ] ~ [ ] [~ a c b c b a v . v
Pecah menjadi bagian pertama (A) : ( ) c b a v ~ dan bagian kedua (B) : ( ) a c b ~ v
A: ( ) c b a v ~
( ) c b a v v ) (~ ~
c b a v v
B : ( ) a c b ~ v
( ) a c b ~ ~ v v Implikasi
( ) a c b ~ ~ ~ v . De Morgan
Responsi Logika Matematika II

Hal 9
( ) ( ) a c a b ~ ~ ~ ~ v . v Distributif
Jadi : B A. menjadi :
) ( c b a v v ( ) ( ) a c a b ~ ~ ~ ~ v . v . CNF
5. ( ) ( ) c c b a . ~
Bagian ) (~ c b diuraikan dulu
) (~ c b ) ~ ( ) (~ b c c b .
) ~ (~ ) ) (~ (~ b c c b v . v Implikasi
) ~ (~ ) ( b c c b v . v De Morgan
Jadi kalimat logikanya menjadi
( ) ( ) ( ) c b c c b a v . v . ~ ~
( ) ( ) ( ) c b c c b a v v . v . ~ ~ ~
c b c c b a v v v v v )) ~ (~ ~ ) ( ~ (~
c b c c b a v . v . v )) ( ) ~ (~ (~
c b c c a b a v . v v . v )] ( )) ~ (~ ) ~ [((~
c b c c a b c b a v . v v . . v v ))] ( ) ~ ((~ )) ( ) ~ [((~
c b c a c c a b b a c b a v v v . v v . v v . v v )]} ~ (~ ) ~ [(~ )] ~ (~ ) ~ {[(~
c b c a c c a b b a c b a v v v . v v . v v . v v )} ~ (~ ) ~ (~ ) ~ (~ ) ~ {(~
) ~ (~ ) ~ (~ ) ~ (~ ) ~ (~ c c b a c c c a c b b a c c b a v v v . v v v . v v v . v v v CNF

) (~ ) (~ ) (~ ) ~ (~ T b a c T a c T a c b a v v . v v . v v . v v
T T T c b a . v . . v v ) ~ (~
) ~ (~ c b a v v CNF yang disederhanakan

BAGIAN II (Bentuk DNF) :
1. ( ) ( ) b c b a . v . ~
b c b a . . . ] ~ ) ( [~ De Morgan
b c b a . . v ] ~ ) ~ [(~ Distributif
b c b c a . . v . )] ~ (~ ) ~ [(~ Distributif
) ~ (~ ) ~ (~ b c b b c a . . v . . DNF
2. ( ) ( ) c b a a . v . ~ ~
)) ~ (~ ( ~ c b a a v v . De Morgan
)) ~ (~ ~ (~ c b a a v . . De Morgan
)) ( (~ c b a a . . . De Morgan
) (~ c b a a . . . Asosiatif
c b a a . . . ~ DNF
3. ( ) ( ) ( ) b c a b a .
| | | | ) ( ) ) (( ) ) (( ) ( b a b c a b c a b a . . .
kalimat diatas dibagi menjadi dua bagian : A . B , dengan
Bagian A:
| | ) ) (( ) ( b c a b a .
Bagian B:
Responsi Logika Matematika II

Hal 10
| | ) ( ) ) (( b a b c a .
A:
)] ) (( ) [( b c a b a .
) ) ((~ ) (~ b c a b a . v v
) ) ((~ ) (~ ~ b c a b a . v v v
) ) ((~ ) ~ ( b c a b a . v v .
)] ( ) [(~ ) ~ ( b c b a b a . v . v .
) ( ) (~ ) ~ ( b c b a b a . v . v . DNF
B:
) ( ) ) (( b a b c a .
) (~ ) ) ((~ b a b c a v . v
) (~ ) ) ((~ ~ b a b c a v v . v
) (~ ) ~ ) (~ (~ b a b c a v v v v
) (~ ) ~ ) ~ (( b a b c a v v v .
b a b c a v v v . ~ ~ ) ~ (
b b a c a v v v . ~ ~ ) ~ (
) (~ ~ ) ~ ( b b a c a v v v .
T a c a v v . ~ ) ~ (
T c a v . ) ~ (
T
maka kalimat A . B menjadi :
T b c b a b a . . v . v . )] ( ) (~ ) ~ [(
) ( ) (~ ) ~ ( b c b a b a . v . v . .DNF

4. ( ) ( ) ( ) ( ) ( ) b c a b a b a v . . . v . ~ ~ ~ ~
Kalimat di atas diganti menjadi : A . B dengan
Bagian A:
( ) ( ) ( ) b a b a . v . ~ bentuk ini sudah dalam DNF .
Bagian B:
( ) ( ) b c a v . ~ ~ ~
) ) ((~ ~ b c a v v
) ~ ) (~ (~ b c a . v
) ~ ) ~ (( b c a . .
) ~ ~ ( b c a . .
maka A . B menjadi :
( ) ( ) ( ) b a b a . v . ~ . ) ~ ~ ( b c a . .
)] ~ ~ ( ) [(~ )] ~ ~ ( ) [( b c a b a b c a b a . . . . v . . . .
] ~ ~ [~ ] ~ ~ [ b c a b a b c a b a . . . . v . . . .
) ~ ~ (~ ) ~ ~ ( c b b a a c b b a . . . . v . . . ..bentuk DNF
jika di sederhanakan lagi menjadi :
) ~ ( ) ~ ( c F F c F a . . v . .
Responsi Logika Matematika II

Hal 11
F F v
F

BAGIAN III :
1. ( ) c b a .
) ( ~ c b a . v DNF
) (~ ) (~ c a b a v . v CNF
2. c b a v ) (
c b a v v ) ( ~
c b a v . ) ~ (~ DNF
) (~ ) (~ c b c a v . v CNF
3. ) ) ) ((( ~ b c b a v . v
Bentuk CNF :
b c b a ~ ) ) (( ~ . . v
b c b a ~ ) ~ ) ( (~ . v v
b c b a ~ ) ~ ) ~ ((~ . v .
b c b c a ~ )) ~ (~ ) ~ ((~ . v . v
b c b c a ~ ) ~ (~ ) ~ (~ . v . v CNF
Bentuk DNF :
b c b a ~ ) ) (( ~ . . v
b c b a ~ ) ~ ) ( (~ . v v
b c b a ~ ) ~ ) ~ ((~ . v .
) ~ (~ ) ~ ~ (~ b c b b a . v . . DNF
4. ) ( ~ b a
) (~ ~ b a v
b a ~ .

Persamaan di atas dapat berupa DNF dan CNF bergantung cara kita memandang .
CNF , dengan memandang A1 = a dan A2 = ~b
DNF, dengan memandang persamaan terdiri dari satu literal saja yaitu A1.
Dengan ) ~ (
1
b a A . = .

Bagian IV:
Tentukan FDNF dan FCNF dengan table kebenaran dari soal-soal di bawah ini :
1) ( ) ( ) c b c a . v .
2) ( ) ( ) b a b a v v ~
3) ( ) c b a
4) ( ) c b a v ~
5. ( ) ( ) c c b a . ~

Jawab :
1) Tabel kebenaran

Responsi Logika Matematika II

Hal 12
a b c
c a .
c b .
( ) ( ) c b c a . v .
F F F F F F (i)
F F T F F F (ii)
F T F F F F (iii)
F T T F T T (1)
T F F F F F(iv)
T F T T F T (2)
T T F F F F (v)
T T T T T T (3)

Bentuk FDNF :
Dari tabel di atas ambil nilai Tnya saja , yakni ada 3, yang diberi nomor 1 sampai 3.
Bentuk FDNFnya menjadi :
= ( ) ( ) ( ) c b a c b a c b a . . v . . v . . ~ ~
dimana, jika a=F maka lambang proposisi menjadi a, jika a=F maka lambang proposisi
menjadi ~a .


Bentuk FCNF
Dari tabel di atas ambil nilai F nya saja , yakni ada 5, yang diberi nomor i,ii, sampai dengan
v. Bentuk FCNFnya menjadi :

( ) ( ) ( ) ( ) ( ) c b a c b a c b a c b a c b a v v . v v . v v . v v . v v ~ ~ ~ ~ ~

dimana, jika a=T maka lambang proposisi menjadi ~a, jika a=F maka lambang proposisi
menjadi a .

2. Tabel kebenaran ( ) ( ) b a b a v v ~
a b c
) ( b a ) ( ~ b a ) ( b a v ( ) ( ) b a b a v v ~
F F F T F F F(i)
F F T T F F F(ii)
F T F T F T T(1)
F T T T F T T(2)
T F F F T T T(3)
T F T F T T T(4)
T T F T F T T(5)
T T T T F T T(6)

Bentuk FDNF :
Dari tabel di atas ambil nilai Tnya saja , yakni ada 6, yang diberi nomor 1 sampai 6.
Bentuk FDNFnya menjadi :
= ( ) ( ) ( ) ( ) ( ) ( ) c b a c b a c b a c b a c b a c b a . . v . . v . . v . . v . . v . . ~ ~ ~ ~ ~ ~ ~
dimana, jika a=F maka lambang proposisi menjadi a, jika a=F maka lambang proposisi
menjadi ~a .


Bentuk FCNF
Dari tabel di atas ambil nilai F nya saja , yakni ada 2, yang diberi nomor i dan ii . Bentuk
FCNFnya menjadi :
Responsi Logika Matematika II

Hal 13

( ) ( ) c b a c b a ~ v v . v v

dimana, jika a=T maka lambang proposisi menjadi ~a, jika a=F maka lambang proposisi
menjadi a .

3) Tabel kebenaran ( ) c b a
a b c b a ( ) c b a
F F F T F(i)
F F T T T(1)
F T F T F(ii)
F T T T T(2)
T F F F T(3)
T F T F T(4)
T T F T F(iii)
T T T T T(5)

4) Tabel Kebenaran ( ) c b a v ~
a b c
a ~
c bv ( ) c b a v ~
F F F T F F(i)
F F T T T T(1)
F T F T T T(2)
F T T T T T(3)
T F F F F T(4)
T F T F T F(ii)
T T F F T F(iii)
T T T F T F(iv)

5). Tabel Kebenaran ( ) ( ) c c b a . ~
a b c b ~ ) (~ c b ) (~ c b a . ( ) ( ) c c b a . ~
F F F T F F T(1)
F F T T T F T(2)
F T F F T F T(3)
F T T F F F T(4)
T F F T F F T(5)
T F T T T T T(6)
T T F F T T F(i)
T T T F F F T(7)


RESPONSI V

MEMERIKSA VALIDITAS KALIMAT DENGAN ASUMSI SALAH

Kalimat yang tidak valid ekivalen dengan :
1. Kalimat yang kontradiksi (nilainya selalui F untuk setiap interpretasi) atau
2. Kalimat yang continget ( yang nilainya sebagian bernilai T dan sebagian lagi bernilai F
untuk seluruh interpretasi yang diberikan) .

Responsi Logika Matematika II

Hal 14
Kalimat Valid adalah :
1. Kalimat yang nilainya selalu T untuk setiap interpretasi yang diberikan.

BAGIAN I
Periksalah validitas kalimat ini dengan menggunakan asumsi salah :
1. A: ] ) ~ [( ~ ~ p q p q . v
2. A: ) ( ~ ) ~ ( q p q p .
3. A: )] ( ) [( )] ( [ r p q p r q p v .
4. A: ] ) [( )] ( [ r q p r q p .
5. A: ] ) ~ [( )] ( [ r q p r q p . v
6. A: )] ( ) [(~ )] ( [ r p q p r q p . v .
7. A: ] ) [( )] ( [ r q p r q p

BAGIAN II
Periksalah validitas kalimat ini dengan menggunakan asumsi salah :
a. ) ( b a b a v
b. )] ( ) [( ) ( c b c a b a . v
c. )] ( ) [( ) ( c a c b b a
d. ) ( ) ( ) ( c a b a c b a v . v . v
e. ) ( )] ( ) [( c b a c a b a . .
f. ) ( q p p
g. q q p ) (
h. ) ( ) ( q p q p .

BAGIAN III
Buktikan bahwa kalimat di bawah ini adalah valid dengan menggunakan asumsi salah:
a. p q p . ) (
b. ) ( q p p v
c. ) ( q p p
d. ) ( ) ( q p q p .
e. p q p ) (
f. q q p ) (

BAGIAN IV
Buktikan bahwa kalimat di bawah ini adalah tautologi dengan menggunakan asumsi
salah:
a. q q p p v . )] ( [
b. ) ( )] ( ) [( r p r q q p .
c. q q p p . )] ( [
d. r r q r p q p . . v )] ( ) ( ) [(
e. ) ( ) ( ) ( r q r p q p v v . v
Responsi Logika Matematika II

Hal 15
f. ) ( ) ( ) ( r p r q q p .

BAGIAN V
Periksalah apakah kalimat dibawah ini merupakan tautologi dengan menggunakan asumsi
salah :
a. q q p p . )) ( (
b. p q p q . )) ( (

BAGIAN VI
Periksalah validitas kalimat dibawah ini dengan menggunakan asumsi salah :
a. ) ( ) ( q p q p
b. ) ( q p p v
c. ) ( ) ( q p q p v
d. ) ( ) ( q p q p . v
e. ) ( ) ( q p q p
f. ) ( ) ( r p q p
g. ) ( ) ( q p q p
h. q p
i. q p
j. ( ) ( ) ( q p q p v )
k. ) ( ) ( q p q p .

BAGIAN VII
Periksalah validitas kalimat dibawah ini dengan menggunakan asumsi salah :
a. q p
b. q p
c. ) ( ) ( q p q p v
d. ) ( ) ( q p q p .
e. ) ( ) ( q p q p v
f. ) ( ) ( q p q p

RESPONSI VI

MEMERIKSA VALIDITAS KALIMAT DENGAN POHON SEMANTIK

Kalimat yang tidak valid ekivalen dengan :
1. Kalimat yang kontradiksi (nilainya selalui F untuk setiap interpretasi) atau
2. Kalimat yang continget ( yang nilainya sebagian bernilai T dan sebagian lagi bernilai F
untuk seluruh interpretasi yang diberikan) .

Kalimat Valid adalah :
1. Kalimat yang nilainya selalu T untuk setiap interpretasi yang diberikan.

BAGIAN I
Periksalah validitas kalimat ini dengan menggunakan pohon semantik :
Responsi Logika Matematika II

Hal 16
1. A: ] ) ~ [( ~ ~ p q p q . v
2. A: ) ( ~ ) ~ ( q p q p .
3. A: )] ( ) [( )] ( [ r p q p r q p v .
4. A: ] ) [( )] ( [ r q p r q p .
5. A: ] ) ~ [( )] ( [ r q p r q p . v
6. A: )] ( ) [(~ )] ( [ r p q p r q p . v .
7. A: ] ) [( )] ( [ r q p r q p

BAGIAN II
Periksalah validitas kalimat ini dengan menggunakan pohon semantik:
a. ) ( b a b a v
b. )] ( ) [( ) ( c b c a b a . v
c. )] ( ) [( ) ( c a c b b a
d. ) ( ) ( ) ( c a b a c b a v . v . v
e. ) ( )] ( ) [( c b a c a b a . .
f. ) ( q p p
g. q q p ) (
h. ) ( ) ( q p q p .

BAGIAN III
Buktikan bahwa kalimat di bawah ini adalah valid dengan menggunakan pohon semantik:
a. p q p . ) (
b. ) ( q p p v
c. ) ( q p p
d. ) ( ) ( q p q p .
e. p q p ) (
f. q q p ) (

BAGIAN IV
Buktikan bahwa kalimat di bawah ini adalah tautologi dengan menggunakan pohon
semantik :
a. q q p p v . )] ( [
b. ) ( )] ( ) [( r p r q q p .
c. q q p p . )] ( [
d. r r q r p q p . . v )] ( ) ( ) [(
e. ) ( ) ( ) ( r q r p q p v v . v
f. ) ( ) ( ) ( r p r q q p .

BAGIAN V
Responsi Logika Matematika II

Hal 17
Periksalah apakah kalimat dibawah ini merupakan tautologi dengan menggunakan pohon
semantik :
a. q q p p . )) ( (
b. p q p q . )) ( (

BAGIAN VI
Periksalah validitas kalimat dibawah ini dengan menggunakan POHON SEMANTIK :
a. ) ( ) ( q p q p
b. ) ( q p p v
c. ) ( ) ( q p q p v
d. ) ( ) ( q p q p . v
e. ) ( ) ( q p q p
f. ) ( ) ( r p q p
g. ) ( ) ( q p q p
h. q p
i. q p
j. ( ) ( ) ( q p q p v )
k. ) ( ) ( q p q p .

BAGIAN VII
Periksalah validitas kalimat dibawah ini dengan menggunakan POHON SEMANTIK :
a. q p
b. q p
c. ) ( ) ( q p q p v
d. ) ( ) ( q p q p .
e. ) ( ) ( q p q p v
f. ) ( ) ( q p q p

METODE DEDUKSI
RESPONSI VIII

SOAL-SOAL untuk responsi :

NO Soal-soal Jawaban
1 g ( s u )
g
~u
~s

1. g ( s u ) Pr.
2. g Pr.
3. ~u Pr./
4. s u 1,2 MP
5. ~s 3,4 MT
(terbukti)
2 p
( p v r ) d
p . d

1. p Pr.
2. ( p v r ) d Pr.
3. [(p d) . (r d) 2, penukaran
4. p d 3, simp
5. d 1,4 MP
Responsi Logika Matematika II

Hal 18
6. p . d 1,6 conj
(terbukti)

3. b j
h d
~( ~ j v ~ d ) u
~ u
~ b . ~ h

1. b j Pr.
2. h d Pr.
3. ~( ~ j v ~ d ) u Pr.
4. ~ u Pr.
5. ( ~ j v ~ d ) 3,4 MT
6. b v h 1,2,5 DD
7. ~ b . ~ h 6, De Morgan
(terbukti)
4 n m
m d
m p
~ p
m v n
d

1. n m Pr.
2. m d Pr.
3. m p Pr.
4. ~ p Pr.
5. m v n Pr.
6. ~ m 3,4 MT
7. n 5,6 DS
8. m 1,7 MP
9 d 2,8 MP (terbukti)
5. ~ [( a . a ) v d ] z
~ z
~ z ~ d
a

1. ~ [( a . a ) v d ] z Pr.
2. ~ z Pr.
3. ~ z ~ d Pr.
4. [( a . a ) v d ] 1,2 MT
5. ~ d 3,2 MP
6. a . a 4,5 DS
7. a 6,Idempoten
terbukti


6 .


t ( c v d )
t . b
( f . f) v ~ ( ~ w . b )
w ~ (c v d )
f



1.t ( c v d ) Pr.
2. t . b Pr.
3. ( f . f) v ~ ( ~ w . b ) Pr.
4. w ~ (c v d ) Pr.
5. t 2, simp
6. c v d 5,1 MP
7 ~ ( ~ ( c v d ) ) 6, DN
8. ~ w 4,7 MT
9. b 2, simp
10. ~ w . b 8,9 conj
11. ( f . f) 3,10 DS
12 f 11, penyerapan
terbukti
7. h ( l . r )
( l v w) p
w . h
p

1. h ( l . r ) Pr.
2. ( l v w) p Pr.
3. w . h Pr.
4. h 1, simp
5. l . r 1,4 MP
6. l 5, simp
7. w 3, simp
8. l v w 6,7 conj
9. p 2,8 MP
Responsi Logika Matematika II

Hal 19
terbukti
8. m ( ~ r u )
m . ~ r
u

1. m ( ~ r u ) Pr.
2. m . ~ r Pr.
3. m 2, simp
4. ~ r u 1,3 MP
5. ~ r 2, simp
6. u 4,5 MP
terbukti
9. ~ ( p v q ) v r
p . s
p r

1. ~ ( p v q ) v r Pr.
2. p . s Pr.
3. ( pv q ) r 1,MI
4. ( p r ) . ( q r ) 3, penukaran
5. p r 4, simp
terbukti

Pembuktian dengan conditional Proof (CP)
1. ~ ( p v q ) v r Pr.
2. p . s Pr.
3. p Pr.tambh
r

Bukti :
1. ~ ( p v q ) v r Pr.
2. p . s Pr.
3. p Pr.tambh
4. ( p v q ) r 1, MI
5. ( p r ) . ( q r ) 4, taut
6. p r 5, simp
7. r 6,3 MP
10 ( s q) r
( p . s ) q
p r

1. ( s q) r Pr.
2. ( p . s ) q Pr.
3. p ( s q) 2, Exp
4. p r 1,3 HS
terbukti


pembuktian dengan conditional proof (CP) :
pembuktian argument di atas sama dengan
pembuktian urutan premis berikut:
1.( s q) r
2. ( p . s ) q
3. p
r
Bukti:
1.( s q) r Pr.
2. ( p . s ) q Pr.
3. p Pr.
4. p ( s q ) 2,taut
5. s q 3,4 MP
6. r 1,5 MP
terbukti
11 ( a v b) ( c . d ) 1. ( a v b) ( c . d )
Responsi Logika Matematika II

Hal 20
( d v e ) f
a
f

2. ( d v e ) f
3. a
4. ( a ( c . d ) ) . (b ( c . d ) ) 1, TauT
5. ( a ( c . d ) ) 4, simp
6. ( a c) .( a d ) 4, simp
7. a d 6, simp
8. ( d f ) . ( e f ) 2, penukaran
9. d f 8, simp
10 a f 7,9 HS
11 f 3,10 MP
terbukti

12 ( s v w ) ( b . t )
( t v h ) m
s
m

1 ( s v w ) ( b . t )
2. ( t v h ) m
3. s
4.( s ( b . t ) ) . (w ( b . t ) 1,Tau
5. ( s ( b . t ) ) 4, simp
6. ( s b) .( s t ) 4, simp
7. s t 6, simp
8. ( t m ) . ( h m ) 2, Tau
9. t m 8, simp
10 s m 7,9 HS
11 m 3,10 MP
terbukti

13 [ ( p . q ) v r ] ~ s
s . q
~ p

1. [ ( p . q ) v r ] ~ s Pr.
2. s . q Pr.
3. s 2, simp
4.~ [ ( p . q ) v r ] 1,3 MT
5. ~ ( p . q ) . ~ r 4, De M
6. ~ ( p . q ) 5, simp
7 ~ p v ~ q 6 De M
8. q 2 simp
9 ~ p 7,8 DS
terbukti
14 ( p q ) . ( r s)
~ ( q r )
(~ p r ) v (q r)
q v s
(?)
1.. ( p q ) . ( r s) Pr.
2. ~ ( q r ) Pr.
3. (~ p r ) v (q r) Pr.
4. (~ p r ) 3,2 DS
5. p v r 4, Tau
6. ( ~ p v q ) . ( ~ r v s) 1, tauto
7. (~ p . ( ~ r v s)) v (q . ( ~ r v s)) 6, dist
8. (~ p . ~ r) v (~ p . s) v(q . ( ~ r v s))7 de M
9. ~ (p v r) v (~ p . s) v(q . ( ~ r v s))
10. (~ p . s) v(q . ( ~ r v s)) 5,9 DS
11 (~ p . s) v (q . ~ r) v ( q . s)
terbukti (?)
15 g v ( l . t )
g ~ t
t
l
1. g v ( l . t ) Pr.
2. g ~ t Pr.
3. t Pr.
4. ~ ~ t 3 DN
Responsi Logika Matematika II

Hal 21
5. ~ g 2,4 MT
6. l . t 1,5, DS
7. l 6 simp
terbukti
16 p ( l g)
p . ~ g
~ l

1. p ( l g) Pr.
2. p . ~ g Pr.
3. p 2, simp
4 l g 1,3 MP
5. ~ g 2, simp
6. ~ l 4,5 MT
terbukti
17 ~ ( p v m ) v ( s . r )
~ s
~ m

1. ~ ( p v m ) v ( s . r ) Pr.
2. ~ s Pr.
3. ( p v m ) ( s . r ) 1, MI
4. ( p ( s . r )) . ( m (s . r ))3, Tau
5. m ( s . r ) 4,simp
6.( m s) . ( m r ) 5, Tau
7. m s 6, simp
8. ~ m 7,2 MT
terbukti
18 . p r
( ~ p v r ) ( s q)
p ( s q)

1. p r Pr.
2. ( ~ p v r ) ( s q) Pr.
3.
(?)
Pembuktian dengan conditional proof :
1. p r Pr.
2. ( ~ p v r ) ( s q) Pr.
3. p Pr.Tambh(CP)
4.s Pr. Tambh(CP)
q

Bukti :
1. p r Pr.
2. ( ~ p v r ) ( s q) Pr.
3. p Pr.Tambh(CP)
4.s Pr. Tambh(CP)
5. (~ p ( s q)) .( r ( s q)) 2, taut
6. r ( s q) 5, simp
7. r 1,3 MP
8. s q 6,7 MP
9. q 8,4 MP
terbukti.

19. ~ a ~ b
a c
b v d
d e
e v c

1. ~ a ~ b Pr.
2. a c Pr.
3. b v d Pr.
4. d e Pr.
5. ~ e ~ d 4, kontraposisi
6. d v b 3 komm
7. ~ d b 6, Taut
8. b a 1, kontraposisi
9. b c 8,2 HS
Responsi Logika Matematika II

Hal 22
10. ~ d c 7,9 HS
11. ~ e c 5,10 HS
12. e v c 11, Taut
terbukti
20 ~ a v ~ b
( a c ) . [( a . c) b ]
( a . c) ~ a

1.~ a v ~ b Pr.
2. ( a c ) . [( a . c) b ] Pr.
3. ( a . c) b 2, simp
4. ~ b v ~ a 1,komm
5. b ~ a 4, Taut
6. ( a . c) ~ a 3,5 HS

21. p [ q v ( r . s ) ]
~ r v ~ s
~ q
~ p

1. p [ q v ( r . s ) ] Pr.
2. ~ r v ~ s Pr.
3. ~ q Pr.
4. ~ (r . s ) 2, De M
5. ~ q . ~ (r . s ) 3,4 conj
6. ~ [ q v ( r . s ) ] 5, De M
7. ~ p 1,6 MT
terbukti
22. c ~ j
j
c ( e v ~ k )
( ? )
(?)
23.
( j v r ) ( d . v )
~ j v d


1. ( j v r ) ( d . v ) Pr.
2. ( j ( d . v ) ).( r ( d . v ) ) 1, Taut
3 ( j ( d . v ) ) 2, simp
4.( j d ) . ( j v ) 3, Taut
5. j d 4, simp
6. ~ j v d 5, Taut
terbukti
24. ( t v d) e
t e

1. ( t v d) e Pr.
2 ( t e ) . ( d e ) 1, Taut
3. t e 2, simp
terbukti

Pembuktian dengan conditional proof :
1. ( t v d) e Pr.
2.t Pr.
e

Bukti :
1. ( t v d) e Pr.
2.t Pr.
3. ( t e ) . ( d e ) 1, Taut
4. t e 3, simp
5. e 4,2 MP
terbukti
25. ( r . f ) v d
~ d v f
f

1. ( r . f ) v d Pr.
2. ~ d v f Pr.
3. d v ( r . f ) 1, komm
4. (d v r) . (d v f) 3, distr
Responsi Logika Matematika II

Hal 23
5. d v f 4 simp
6. f v ~ d 2, komm
7 . f v d 5, komm
8. (f v ~ d) . (f v d ) 6,7 conj
9. f v (~ d . d) 8, de M
10. f v F 9, hk negasi
11. f 10. hk identitas
terbukti



Soal soal cerita dan penyelesaiannya

Diberikan soal cerita di bawah ini ,buat pemodelannya dan buktikan validitasnya .

No. SOAL CERITA SOLUSI
1. Jika Nuraida pergi kemah ke
gunung Gede atau Aryanti
tidak ada di rumah, maka
Hasanah tidak akan pergi ke
luar rumah, dan ineke akan
setia
menemani.
Ternyata Hasanah pergi ke
luar rumah.
Jadi, Aryanti ada di rumah.

p : Nuraida pergi kemah ke gunung Gede
q : Aryanti ada di rumah .
r : Hasanah pergi ke luar rumah
s : Ineke akan setia menemani

Lambang Logika matematika :
1. (p v ~ q ) (~ r . s) Pr.
2. r Pr.
q

Bukti :
1. (p v ~ q ) (~ r . s) Pr.
2. r Pr.
3.( p (~ r . s)).(~ q (~ r . s)
1. Taut
4. ~ q (~ r . s) 3 , simp .
5. (~ q ~ r) . (~ q s) 4, Taut
6. ~ q ~ r 5, simp
7. ~ ~ r 2 DN
8. ~ ~ q 6,7 MT
9. q 8 DN
terbukti


2


Jika kita menanam bunga
Flamboyan, maka taman kita
berkembang
dengan pesat , dan jika kita
menanam bunga Bougenbille
maka terlambatlah
perkembangan taman kita.
Jadi, jika kita menanam
bunga Flamboyan dan bunga
Bougenville maka taman kita
berkembang dengan pesat
dan terlambat.


p : Kita menanam bunga flamboyant
q :Taman kita berkembang dengan pesat
r : Kita menanam bunga bougenville.
s : Taman kita .berkembang dengan
terlambat.

Lambang Logika Matematika :
1. (p q) . ( r s ) Pr.
( p . r ) ( q . s )
(?)
Bukti dengan aturan conditional proof :
1. (p q) . ( r s ) Pr.
Responsi Logika Matematika II

Hal 24
(?) 2. ( p . r ) Pr.tambh(CP)
q . s
pembuktian argument di atas sama dengan
pembuktian dengan urutan argument
berikut :
1. (p q) . ( r s ) Pr.
2. p Pr.tambh(CP)
3 r Pr.tambh(CP)
q . s

Bukti :
1. (p q) . ( r s ) Pr.
2. p Pr.tambh(CP)
3 r Pr.tambh(CP)
4. p q 1, simp
5. r s 1, simp
6. q 4,2 MP
7. s 5,3 MP
8 q . s 6,7 conj
terbukti
3 Jika kita menanam bunga
Flamboyan, maka taman kita
berkembang
dengan pesat . Jika kita
menanam bunga Bougenbille
maka terlambatlah
perkembangan taman kita.
Jadi kita menanam bunga
flamboyant atau bunga
Bougenville , maka taman kita
berkembang dengan pesat
atau terlambat.

p : Kita menanam bunga flamboyant
q :Taman kita berkembang dengan pesat
r : Kita menanam bunga bougenville.
s : Taman kita .berkembang dengan
terlambat.

Lambang Logika Matematika :
1.p q Pr.
2.r s Pr.
( p v r ) ( q v s )

Bukti dengan conditional proof :
1.p q Pr.
2.r s Pr
3. ( p v r ) Pr.tambh (CP)
. q v s

Bukti :
1.p q Pr.
2.r s Pr
3. ( p v r ) Pr.tambh (CP)
4 q v s 1,2,3 CD
terbukti .

4 Jika prof. GoodShot
mempunyai senapan , maka
ia akan menggunakannya
hanya jika ia melihat pencuri .
Ia mempunyai senapan , tapi
tidak menggunakannya . Jadi
, ia tidak melihat pencuri .

p : prof Good Shot punya senapan
q : prof Good Shot menggunakan senapan
r : prof Good Shot melihat pencuri

lambang logika matematika :
1. p ( r q) Pr.
2. p . ~ q Pr.
~ r
Responsi Logika Matematika II

Hal 25

Bukti :

5. Jika kita sungguh-sungguh
belajar Logika atau setidak-
tidaknya membaca catatan
logika, maka kita akan lulus
dalam test matakuliah
tersebut. Kita sungguh-
sungguh belajar logika dan
sering pula membaca novel .
Jadi kita lulus dalam test
matakuliah logika .

p : kita sungguh-sungguh belajar logika.
q : kita setidak-tidaknya membaca catatan
logika
r : kita akan lulus dalam test matakuliah
logika..
s : kita sering membaca novel.

Lambang logika matematika :
1.( p v q) r Pr.
2. p . s Pr.
r

Bukti :
1.( p v q) r Pr.
2. p . s Pr.
3.

6 Jika kita beriman kepada
Allah, niscaya Allah akan
memberi petunjukNya kepada
kita dan menyayangi kita
semua. Jika Allah memberi
petunjuk kepada kita atau
menyayangi kita semua,
maka kita mendapat nikmat
yang tak ternilai harganya .
Jadi kita beriman kepada
Allah , maka kita mendapat
nikmat yang tak ternilai
harganya
p : Kita beriman kepada Allah
q : Allah akan memberi petunjuknya kepada
kita
r : Allah menyayangi kita semua
s : Kita mendapat nikmat yang tak ternilai
harganya.
:
Lambang Logika Matematika :
1.p ( q . s ) Pr.
2. ( q v r) s Pr.
p s

Pembuktian dengan indirect proof no10,18,24

10 ( s q) r
( p . s ) q
p r

Pembuktian dengan conditional proof :
1.( s q) r Pr.
2. ( p . s ) q Pr.
3. p Pr. (CP)
r

Pembuktian dengan indirect proof
1.( s q) r Pr.
2. ( p . s ) q Pr.
3. p Pr. (CP)
4. ~ r Pr.tambh(IP)
r

Bukti :

1.( s q) r Pr.
Responsi Logika Matematika II

Hal 26
2. ( p . s ) q Pr.
3. p Pr. (CP)
4. ~ r Pr.tambh(IP)
5. p ( s q ) 2,taut
6. ( s q ) 1,3 MP
7. ~ ( s q) 1,4 MT
8. ( s q ) . ~ ( s q) 6,7 conj
ditemukan suatu kontradiksi, maka argument
valid.
.
18 . p r
( ~ p v r ) ( s q)
p ( s q)

1. p r Pr.
2. ( ~ p v r ) ( s q) Pr.
3.
(?)
Pembuktian dengan conditional proof :
1. p r Pr.
2. ( ~ p v r ) ( s q) Pr.
3. p Pr.Tambh(CP)
4.s Pr. Tambh(CP)
q

Pembuktian dengan indirect proof :
1. p r Pr.
2. ( ~ p v r ) ( s q) Pr.
3. p Pr.Tambh(CP)
4.s Pr. Tambh(CP)
5. ~ q Pr.tambh(IP)
6. (~ p ( s q)) .( r ( s q)) 2, taut
7. r ( s q) 6, simp
8. r 1,3 MP
9. s q 7,8 MP
10. ~ s 9,5 MT
11. s . ~ s 4,10 conj
terdapat kontradiksi maka argument valid .
terbukti !
24 ( t v d) e
t e

Pembuktian dengan conditional proof :
1. ( t v d) e Pr.
2.t Pr.
e

Pembuktian dengan indirect proof :
1. ( t v d) e Pr.
2.t Pr . tambh(CP)
3. ~ e Pr.tambh(IP)
4. ( t e ) . ( d e ) 1, Taut
5. t e 4, simp
6. ~ t 5,3 MT
7 t . ~ t 2,6 conj
terdapat suatu kontradiksi maka argument
valid !.

Pembuktian dengan aturan pembuktian kondisional
Responsi Logika Matematika II

Hal 27

NO SOAL SOLUSI
2 Ada di kolom atas
3 Ada di kolom atas

RESPONSI IX
METODE DEDUKSI DENGAN STRATEGI PEMBUKTIAN
RULE OF CONDITIONAL PROOF , RULE OF INDIRECT PROOF

1. Apa Rule of Inference yang digunakan dalam argumen-argumen tersebut.
a. Alice belajar Matematika
Jadi, Alice Belajar Matematika dan belajar komputer Sains.
b. Jerri belajar Matematika dan komputer sains.
Jadi, Jerri belajar Matematika .
c. Jika hari ini hujan maka kolam renang ditutup untuk umum.
Hari ini hujan
Jadi, Kolam renang ditutup untuk umum.
d. Jika hari ini hujan salju, maka universitas ditutup.
Universitas tidak ditutup hari ini .
Jadi, hari ini tidak hujan salju.
e. Jika saya pergi berenang , maka saya berjemur terlalu lama.
Jika saya berjemur terlalu lama maka kulit saya akan terbakar.
Jadi, jika saya berenang , maka kulit saya akan terbakar.

2. Apa Rule of Inference yang digunakan dalam argumen-argumen berikut:
a. Hari ini suhunya lebih dari 100 F atau polusi itu berbahaya.
Hari ini suhu diluar kurang dari 100 F.
Jadi, polusi itu berbahaya.
b Linda adalah perenang yang hebat. Jika Linda adalah perenang yang hebat
, maka dia dapat bekerja sebagai lifeguard .
Jadi, Linda dapat bekerja sebagai lifeguard
c. Jika saya mengerjakan pekerjaan rumah saya sepanjang malam, maka
saya dapat menjawab semua soal latihan. Jika saya menjawab semua
latihan , saya dapat mengerti bahan kuliah .
Jadi, jika saya mengerjakan pekerjaan rumah sepanjang malam , maka
saya akan mengerti bahan kuliah.
d. Steve akan bekerja pada perusahaan komputer pada musim panas ini.
Jadi, pada musim panas ini Steve akan bekerja pada perusahaan
komputer atau dia akan bekerja di pantai.

3. Buktikan validitas argumen ini , dengan menggunakan Rule of Inference .
Randi bekerja keras
Jika randi bekerja keras , maka dia adalah anak pemalas.
Jika randi adalah anak yang pemalas, maka dia tidak akan mendapatkan
pekerjaan.
Jadi, Randi tidak akan mendapatkan pekerjaan.

4. Buktikan validitas argumen ini , dengan menggunakan Rule of Inference .

JIka hari ini tidak hujan atau hari ini tidak berkabut , maka lomba berlayar
dan demonstrasi penyelamatan dilaut akan diselenggarakan.
JIka lomba layar diadakan , maka piala untuk juara akan diberikan.
Responsi Logika Matematika II

Hal 28
Piala untuk juara tidak diberikan.
Jadi, hari ini hujan.

6. Untuk setiap himpunan dari premis-premis ini kesimpulan2 yang relevan
apa saja yang dapat diambil , dengan aturan Rule Of Inference .
Terangkan Rule Of Inference yang digunakan untuk mendapatkan
kesimpulan tersebut.

a. Jika saya memakan makanan pedas , maka saya bermimpi aneh.
Saya bermimpi aneh , jika ada kilat pada saat saya tidur.
Saya tidak bermimpi aneh .
b. Saya rajin atau beruntung
Saya tidak beruntung
Jika saya beruntung, maka saya akan memenangkan lotre.

7. Untuk setiap himpunan dari premis-premis ini kesimpulan2 yang relevan apa saja yang
dapat diambil , dengan aturan Rule Of Inference . Terangkan Rule Of Inference yang
digunakan untuk mendapatkan kesimpulan tersebut.
a. Jika saya bermain hockey , maka saya bosan pada hari berikutnya.
Saya menggunakan kolam renang , jika saya bosan.
Saya tidak menggunakan kolam renang
b. Saya bermimpi atau berhalusinasi .
Saya tidak bermimpi.
Jika saya berhalusinasi , saya melihat gajah-gajah turun ke jalan.

8. Buktikan keabsahan argumen berikut dengan Rule Of Inference .
a. Logika sukar atau tidak banyak mahasiswa yang menyukainya.
Jika Matematika mudah maka logika tidak sukar.
Jadi , jika banyak mahasiswa menyukai logika maka matematika tidak
mudah.
(L:logika sukar ; S: Banyak mahasiswa menyukai logika ;
M:Matematika mudah )


Jawab:
direct proof
1. s l v pr.
2. l m pr. / m s
3. m l 2, kontraposisi
4. l s v 1, komutatif
5. l s 4, T
6 m s 5,3 HS

Conditional proof
1. s l v pr.
2. l m pr. / m s
3. s pr. tambahan
4 s 3, double negasi
5. l 1,4 DS
Responsi Logika Matematika II

Hal 29
6. l 5, double negasi
7. m 2,6 MT
8 m s 3,7 CP

indirect proof (cara I )
1. s l v pr.
2. l m pr. / m s
3. ) ( m s 2, T
4. ) ( m s v 3. T
5 m s . 4 T
6 s 5, simp
7. m 5 simp
8. l 2,7 MP
9. s 1,8 DS
10. s s . 6,9 conj
Karena ditemukan kontradiksi maka argumen ini valid.

indirect proof (cara II )
1. s l v pr.
2. l m pr. / m s
3. ) ( m s 2, T
4. ) ( m s v 3. T
5 m s . 4 T
6 s 5, simp
7. m 5 simp
8. l 2,7 MP
9. s 6 double negasi
10. l 1,9 DS
11. l l . 8,10 conjungsi

Karena ditemukan kontradiksi maka argumen ini valid.

indirect proof (cara III )
1. s l v pr.
2. l m pr. / m s
3. ) ( m s 2, T
4. ) ( m s v 3. T
5 m s . 4 T
6 s 5, simp
7. m 5 simp
8. s 2,7 MP
9. l 1,8 DS
10 l 9 double negasi
Responsi Logika Matematika II

Hal 30
11 m 2,10 MT
12 m m. 7,11 conjungsi
Karena ditemukan kontradiksi maka argumen ini valid.



b. Giri dan Heru seumur atau Giri lebih tua daripada Heru .
Jika Giri dan Heru seumur, maka Rima dan Giri tidak seumur.
Jika Giri lebih tua dari Heru , maka Giri lebih tua dari Shinta.
Jadi Rima dan Giri tidak seumur , atau Giri lebih tua dari Shinta.
(U: Giri dan Heru seumur ; T: Giri lebih tua dari Heru ; R :Rima dan
Giri seumur ; s: Giri lebih tua dari Shinta)
jawab :
indirect proof (cara I )
1. t u v Pr.
2. r u Pr.
3. s t Pr. / s r v
4. ) ( s r v Pr. tambahan
5. s r . 4, T
6. r 5, simplifikasi
7. s 5, simplifikasi
8. t 3,7 MT
9. u 1,8 DS
10. r 6, Double negasi
11. u 2,10 MT
12. u u . 9,11 conjungsi
ditemukan suatu kontradiksi maka argumen valid.

indirect proof (cara II )
1. t u v Pr.
2. r u Pr.
3. s t Pr. / s r v
4. ) ( s r v Pr. tambahan
5. s r . 4, T
6. r 5, simplifikasi
7. s 5, simplifikasi
8. t 3,7 MT
9. r 6, double negasi
10 u 2,9 MT
11. t 1,10 DS
12. t t . 11,8 conjungsi
ditemukan suatu kontradiksi maka argumen valid.

direct proof
1. t u v Pr.
2. r u Pr.
3. s t Pr. / s r v
4. u r 2, kontraposisi
5. t u 1, T
Responsi Logika Matematika II

Hal 31
6. t r 4,5 HS
7. s r 6,3 HS
8. s r v 7, T

conditional proof
Kesimpulan soal adalah s r v ini ekivalen logis dengan s r . Jadi pembuktian
argumen dapat dilakukan dengan conditional proof . Soal di atas menjadi :
1. t u v Pr.
2. r u Pr.
3. s t Pr. / s r
4. r Pr. Tambahan
5. r 4, double negasi
6. u 2,5 MT
7. t 1,6 DS
8. s 3,7 MT
9. s r 3,8 CP


c. Jika wayan berdagang , ia tidak menjadi beban keluarganya.
Jika ia tidak berdagang , maka ia tidak mempunyai modal.
Jika dia tidak punya modal maka ia bekerja di toko.
Jika ia bangkrut , maka ia menjadi beban keluarganya.
Jadi, atau ia tidak bangkrut atau ia bekerja di toko.
( W : Wayan berdagang ; K: Wayan menjadi beban keluarganya ;
M : Wayan mempunyai modal ; T: Wayan bekerja di toko ; B: Wayan
bangkrut )
Jawab :
direct proof
1. k w pr.
2. m w pr.
3. t m pr.
4. k b pr / t b v
5. w k 1, kontraposisi
6. m b 5,2 HS
7. t b 6,3 HS
8. t b v 7 , T

conditional proof
kesimpulan t b v ini ekivalen logis dengan t b . Jadi pembuktian validitas dapat
menggunakan conditional proof dengan mengganti kesimpulan menjadi t b

1. k w pr.
2. m w pr.
3. t m pr.
4. k b pr / t b
5. b pr. tambahan
Responsi Logika Matematika II

Hal 32
6. w k 1, kontraposisi
7. k 4,5 MP
8 w 6,7 MP
9 m 2,8 MP
10 t 3,9 MP
11. t b 5,10 CP


indirect proof
1. k w pr.
2. m w pr.
3. t m pr.
4. k b pr / t b v
5. ) ( t bv pr. tambahan
6. t b . 5, T
7. b 6, simp
8. t 6, simp
9. k 4,7 MP
10.. m 3,8 MT
11.. w 2,10 MT
12. w 11, Double negasi
13 k 1,12 MP
14. k k . 9,13 conjungsi
ditemukan suatu kontradiksi maka argumen valid .

d. Jika rumah ayah selesai dipugar , jika ayah sehat tentu keluarga kami akan berkumpul .
Atau rumah ayah selesai dipugar atau harga tebu tidak naik . Kenyataan ayah sehat . Jadi ,
jika harga tebu naik maka keluarga kami akan berkumpul.
p: rumah ayah selesai dipugar
q:ayah sehat
r: Keluarga besar kami akan berkumpul
t: harga tebu naik
Jawab :
Conditional Proof
1. ) ( r q p Pr.
2. t p v Pr.
3. q Pr
4. t Pr. tambahan / r t
5. t 4, Double negasi
6 p 2,5 DS
7 r q 2,6 MP
8. r 3,7 MP
9 r t 4,8 CP


SOAL-SOAL Kenneth Rosen.
Responsi Logika Matematika II

Hal 33
1. Hari ini sangat cerah , atau hari ini lebih dingin daripada kemarin.
Kita akan pergi berenang , jika hari ini cerah.
Jika kita tidak pergi berenang, maka kita akan pergi berkano .
jika kita pergi berkano, maka kita akan pulang pada saat matahari
terbenam.
Jadi, kita akan pulang pada saat matahari terbenam.
2. Jika anda mengirim saya email , maka saya akan selesai menulis
program. Jika tidak mengirim saya email , maka saya tidur lebih cepat. Jika saya tidur
lebih cepat, maka saya akan bangun dengan persasaan lebih segar.
Jadi, jika saya tidak selesai menulis program , maka saya akan bangun
dengan perasaan lebih segar.