Mathematics Adiscreteintroduction.

pdf AdobeAcrobatReaderDC
Theorema : Harus dibuktikan terlebih dahulu kebenarannya walaupun sebelumnya sudah
dibuktikan oleh penemunya terlebih dahulu.

corollary : suatu pernyataan yang diturunkan secara teorema.

Beberapa konjektur terbukti salah maka mereka dianggap sebagai teorema.

Pernyataan bisa memuat kuantor dan bisa tidak.

Direct Proof

Pembuktian secara langsung

p →q : maka dibuktikan dulu p benar maka akan dibuktikan selanjutnya untuk q benar.

Cara penulisan ada formal, semiformal, dan informal.

Strategi atau metode ada langsung dan tidak langsung.

Halaman 83 (1.7 Introduction to Proof)

Definition : "The integer n is even if there exists an integer k......"

Eg.= "if n is an odd integer, then n 2 is an odd integer.

Indirect Proof

Pembuktian secara tak langsung.

p →q , maka yg dibuktikan terlebih dahulu jika bukan q maka bukan p. p → q .

eg 3 =

Prove that if n is an integer an 3n+2 is odd, then n is odd.

Solution : .......... to show that.

Halaman 84 -87 (1.7 Introduction to Proof)

eg 11 = Kontradiksi dapat membuktikan pernyataan kondisional.

if 3 n+2 is odd, then n is odd

if 3 n+2 is odd, then n is even

bertentangan terjadi kontradiksi maka pernyataan salah. (lihat buku utk penjelasan lengkapnya)

Counterexamples: Contoh kontra.

"Untuk membuktikan kebenaran dari suatu pernyataan tidak bisa dan tidak cukup untuk seribu
contoh maupun lebih tetapi untuk menyangkal suatu pernyataan atau menyatakan pernyataan itu
salah cukup dengan memberi satu contoh untuk membuktikan pernyataan tersebut salah."
eg 15 = What is wrong with this famous supposed "proof" that 1 = 2

eg 16 = What is wrong with this "proof" ?

"Theorem:" if n2 is positive so n .

Discrete Mathematics With Applications (993) hal 149

eg 4...= Providing proof of Existence

Constructive proof of Existence

eg 4.1.3=

Solution:

The Method of Exhaustion (dibuktikan secara satu satu)

eg 4.1.5=

Solution:

Hal 90-97...................................................................................................................................

eg. 10=

eg. 11=

Discrete Mathematics And Its Applications (1071) hal 108

soal : No. 1,2