210 likes | 469 Views
Bukti langsung. 1. BUKTI LANGSUNG. Bukti langsung merupakan seuatu argumen yang secara valid dan logis jika pernyataan - pernyataannya bernilai benar dan notasinya juga bernilai benar . Contoh : Buktikan bahwa maka x = 3. Bukti :
E N D
1. BUKTI LANGSUNG Buktilangsungmerupakanseuatuargumen yang secara valid danlogisjikapernyataan- pernyataannyabernilaibenardannotasinyajugabernilaibenar. Contoh: Buktikanbahwamaka x = 3. Bukti: Diketahui x + 2 = 5.kemudian akandibuktikanbahwa x = 3 Karena x + 2 = 5 maka x + 2 – 2 = 5 – 2 Atau x = 3. Jaditerbuktibahwa x + 2 =5 maka x = 3.
Metodepembuktian yang termasukbuktilangsungantara lain • Modus ponens • Modus tollens • Modus silogisme
A. Modus ponens Contoh 1: Premis 1 : p maka q Premis 2 : p Konklusi : q Contoh 2: Premis 1 : jikasayabelajar,makasaya lulus ujian Premis 2 : sayabelajar Konklusi : saya lulus ujian
b. Modus tolen Contoh : Premis 1 : p maka q Premis 2 : ~ q Konklusi : ~ p
c. silogisme Contoh : Premis 1 : jika p maka q Premis 2 : jika q maka r Konklusi : p maka r
a. Dengankontradiksi Contoh: Buktikanbahwa “ jikan²adalahbilanganganjil, makanadalahbilanganganjil” denganbuktitaklangsung! Jawab: Misalnyanadalahbilangangenap,yaitun = 2k, k € B Karenan = 2k Makan² = (2k)² = 4k² = 2(2k²) = 2mdenganm = 2k²
b. Dengankontraposisi Contoh: Buktikanbahwa 2 + 4 = 6 Bukti: Andaikan 2 + 4 ≠ 6 maka 2 + 4 – 4 ≠ 6 – 4 atau 2 ≠ 2. halinikontradiksidenganketentuanbahwa 2 = 2. pengandaian 2 + 4 ≠6 harusdiingkarsehinggabhwa 2 + 4 = 6.jadi terbukti 2 + 4 = 6.