Solusi Latihan Matdis Robby

Bagian Ganjil
10113001 Aholiab Tegar

LOGIKA MATEMATIKA
1. Proposisi dengan bahasa non matematika
b. Kamu lulus mata kuliah jika dan hanya jika kamu mengikuti ujian akhir.
3. Tabel kebenaran proposisi
.

B
B
S
B
S
B
S
B
S
S
S
B
B
S
S
S
S
S
B
S
5. Kamar 1: Di sini ada wanita, di sana ada macan.
Kamar 2: Salah satu dari kedua kamar ada wanita, yang lain ada macan.
Premis : Satu label benar dan satu label salah.
Kamar 2 menuliskan tautologi, maka kamar 1 pasti salah. Jadi, wanita ada di kamar 2.
]
[
]
7. [
9.
a.
false
Pernyataan di atas dipenuhi oleh
dan
.
b.
false
Pernyataan di atas merupakan kontradiksi. Perhatikan,
.
11.
dan
bearti
.
a.
true
Ingat bahwa jika sebab salah maka implikasi selalu benar.
b.
false
Pilih
. Maka,
.
c.
false
Ambil
. Maka,
.
d.
true
Pilih
dan
. Maka,
.
e.
true
Ambil
dan pilih
. Maka,
.
f.
false
Telah ditunjukkan pada poin (c) bahwa
bernilai false.

g.

false
Telah ditunjukkan pada poin (c) bahwa
benilai false.
13. Akan dicari contoh penyangkal untuk masing-masing pernyataan dengan

berikut.

a.
Pilih

dan ambil

. Maka,

b.
Pilih

dan ambil

. Maka,

c.
Pilih

dan

. Maka,

BUKTI
1.

: Hari ini hujan.

: Ani membawa payung.
: Ani kehujanan.
Premis 1: Hari ini tidak hujan atau Ani membawa payung.
Premis 2: Ani tidak membawa payung atau dia tidak kehujanan.
Premis 3: Hari ini hujan atau Ani tidak kehujanan.

Konklusi: Ani tidak kehujanan.

3. Akan dibuktikan
ganjil genap.
()
ganjil genap genap.
( ) genap genap
ganjil.
5. Misalkan bilangan bulat. Akan dibuktikan Jika
ganjil maka genap, menggunakan
kontraposisi dan kontradiksi.
Proposisi di atas ekivalen dengan Jika ganjil maka
ganjil.
Andaikan
genap.
Tulis
untuk suatu bulat.
Maka,
merupakan bilangan ganjil, kontradiksi.
Dengan demikian, proposisi terbukti.
7. Misalkan bilangan bulat.
a.
ganjil
b.
genap
c.
ganjil
d.
genap
Akan dibuktikan pernyataan-pernyataan di atas ekivalen.
1. ( ganjil
genap) (
ganjil
genap)

Misalkan

untuk suatu bulat.

Maka,
suatu bilangan genap.
2.
genap
ganjil
Misalkan

untuk suatu bulat.

Maka,
suatu bilangan ganjil.
3. ( ganjil
genap) (
ganjil
genap)
Karena
ganjil maka
genap. Akibatnya, genap.
Misalkan
untuk suatu .
Maka,
suatu bilangan genap.
4.
genap
ganjil
Jelas lah ya.
Jadi, kebenaran salah satu dari pernyataan-pernyataan di atas mengkibatkan pernyataan yang
lain benar. Artinya, mereka ekivalen.
9. Akan dibuktikan jika dan rasional maka
belum tentu rasional.
Pilih
Maka,

dan

suatu bilangan irasional.

STRUKTUR DISKRIT
1. Nilai kebenaran pernyataan terkait himpunan
{ }
a.
true
b.
true
{ { }}
c. { } { { }}
true
d. {{ }} {{ } { }}
{
}
{
3. Misalkan
a.
{

true
}

}.
}

b.

{
}

c.

{
}

d.

}
5. Simpulan dari hubungan dua himpunan
a.
b.
c.
d.
e.
Irisan bersifat komutatif.
7. Akan ditentukan domain , kodomain , dan himpunan nilai yang membuat fungsi tak
terdefinisi dari pemetaan berikut.

a.

dengan
{

}
}

{ }
b.

dengan

|
9. Akan ditunjukkan jika
himpunan dengan | | | | dan | | | | maka |
|
|.
Pandang pemasangan anggota dengan anggota melalui
sebagai kombinasi berbeda
| | || |.
anggota dengan anggota . Maka, |
| | || | | || | |
Dengan demikian, |
|.

ALGORITMA
1. Algoritma menerima input bilangan bulat dan memberikan output bilangan negatifnya.
procedure negative (
integers)
for
:= 1 to
if
then output ( )
return
{ are negative integers}
3. Algoritma untuk mencari bilangan bulat terbesar pertama dan kedua.
a. procedure maximum (
integers)
first_max :=
for
:= 2 to
if
first_max then first_max :=
procedure kick {kick first_max from the list}
second_max :=
for
:= 2 to
if
second_max then second_max :=
return first_max and second_max
b. Pada for yang pertama ada
perbandingan dan pada for yang kedua ada
perbandingan. Jadi, algoritma memuat
perbandingan.
5. Big-O
a.
b.
7. Biga. Akan ditunjukkan
by definition

|.

|
|

|
|
9. m := 0
for
:= 1 to
for
:=
to
m := max(

|
|

dan

Algoritma di atas memuat perbandingan max sebanyak batas for. Perhatikan for
sebanyak

ada

INDUKSI
1. Akan ditunjukkan
a. Langkah basis

untuk

menggunakan induksi matematika.

b. Langkah induktif

Asumsikan
benar untuk suatu bulat.
Maka,
c. Kesimpulan
Pernyataan benar untuk semua bulat yang lebih dari 7.
3. Misalkan
matriks persegi dengan
. Akan dibuktikan
untuk semua
bilangan bulat positif menggunakan induksi matematika.
a. Langkah basis
By property.
b. Langkah induktif

Asumsikan
benar untuk suatu bulat.
Maka,
.
c. Kesimpulan
Pernyataan benar untuk semua bulat positif.
5. Akan dibuktikan
untuk
menggunakan induksi matematika.
a. Langkah basis
b. Langkah induktif

Asumsikan
benar untuk suatu bulat.
Maka,
c. Kesimpulan
Pernyataan benar untuk semua bulat yang lebih dari 3.
7. Misalkan

] dengan

menggunakan induksi matematika.

a. Langkah basis

. Akan ditunjukkan

] untuk

By definition.
b. Langkah induktif

Asumsikan

] benar untuk suatu

[

Maka,

][

bulat.

].

c. Kesimpulan
Pernyataan benar
9. Akan dibuktikan irasional menggunakan induksi kuat matematika, yaitu
.
a. Langkah basis

dengan

b. Langkah induktif
Asumsikan
Maka,

benar untuk semua

].

c. Kesimpulan
irasional.

REKURSI
1. Definisikan barisan bilangan Fibonacci secara rekursif melalui,
dan
,
Akan dibuktikan
a. Langkah basis

untuk semua

bulat positif secara rekursif.

b. Langkah rekursif
3. Definisikan himpunan secara rekursif melalui,
dan

{
}
a.
b. Akan ditunjukkan |
menggunakan induksi struktural.
Pada poin (a.) jelas bahwa lima anggota pertama dari , sebutlah , habis dibagi 5.
Maka, |
dan |
.
5. Pandang
sebagai kebalikan dari string .
a. Definisikan balikan
secara rekursif melalui,
dan
untuk
dan
.
b. Definisikan konkatenasi
secara rekursif melalui,
dan
untuk
dan
.