P. 1
logika-matematika

logika-matematika

|Views: 260|Likes:
Published by Kodrat Irodat Heh

More info:

Published by: Kodrat Irodat Heh on Feb 21, 2012
Copyright:Attribution Non-commercial

Availability:

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

07/05/2013

pdf

text

original

Sections

LOGIKA

MATEMATIKA
Oleh :
Drs. Toto' Bara Setiawan, M.Si
Selamat datang
di CD berprograma
LOGIKA MATEMATIKA
Selamat datang di
CD berprograma
Menu Utama
Info Dosen
Diskripsi
Mata Kuliah
Kompetensi Dasar
Materi
Latihan Soal
2
Menu Utama
LOGIKA MATEMATIKA
Info Dosen
Diskripsi Mata Kuliah
Kompetensi Dasar
Materi
Latihan Soal
Selamat datang di
CD berprograma
Menu Utama
Info Dosen
Diskripsi
Mata Kuliah
Kompetensi Dasar
Materi
Latihan Soal
3
Info Dosen
Nama : Drs. Toto’ Bara Setiawan, M.Si
NIP : 131 624 470
Alamat : Jl. Karang Setra 24 Jember
Telpon : (0331) 321987
HP. : 081336795159
Program : Pendidikan Matematika
Jurusan : Pendidikan MIPA
Fakultas : Keguruan dan Ilmu Pendidikan
Universitas : Universitas Jember
Selamat datang di
CD berprograma
Menu Utama
Info Dosen
Diskripsi
Mata Kuliah
Kompetensi Dasar
Materi
Latihan Soal
4
Diskripsi Mata Kuliah
LOGIKA MATEMATIKA
(KPM1127 / 2 sks / semester I)
Ruang lingkup materi mata kuliah ini meliputi :

Proposisi dan negasinya, nilai kebenaran dari proposisi, tautologi,
ekuivalen, kontradiksi, kuantor, dan validitas pembuktian
Selamat datang di
CD berprograma
Menu Utama
Info Dosen
Diskripsi
Mata Kuliah
Kompetensi Dasar
Materi
Latihan Soal
5
Kompetensi Dasar
Pada akhir semester, setelah mempelajari Mata Kuliah Logika
Matematika, mahasiswa diharapkan dapat memahami cara
pengambilan keputusan berdasarkan logika matematika
Selamat datang di
CD berprograma
Menu Utama
Info Dosen
Diskripsi
Mata Kuliah
Kompetensi Dasar
Materi
Latihan Soal
6
Materi
BAB II
PERNYATAAN
BAB III
KATA HUBUNG KALIMAT
BAB IV
TAUTOLOGI EKUIVALEN
KONTRADIKSI
BAB I
PENGANTAR LOGIKA
BAB V
KUANTOR
BAB VI
VALIDITAS PEMBUKTIAN
Selamat datang di
CD berprograma
Menu Utama
Info Dosen
Diskripsi
Mata Kuliah
Kompetensi Dasar
Materi
Latihan Soal
7
BAB I
PENGANTAR LOGIKA
1. Konsep Logika
Apakah logika itu ?
Seringkali Logika didefinisikan sebagai ilmu untuk berfikir dan menalar dengan benar (sehingga didapatkan kesimpulan yang absah).
Manusia mampu mengembangkan pengetahuan karena mempunyai bahasa dan kemampuan menalar. Untuk dapat menarik
konklusi yang tepat, diperlukan kemampuan menalar. Kemampuan menalar adalah kemampuan untuk menarik konklusi yang tepat
dari bukti-bukti yang ada, dan menurut aturan-aturan tertentu.

2. Pentingnya Belajar Logika
Belajar logika (logika simbolik) dapat meningkatkan kemampuan menalar kita, karena dengan belajar logika :
a. Kita mengenali dan menggunakan bentuk-bentuk umum tertentu dari cara penarikan konklusi yang absah, dan
menghindari kesalahan-kesalahan yang bisa dijumpai.
b. Kita dapat memperpanjang rangkaian penalaran itu untuk menyelesaikan problem-problem yang lebih kompleks.

3. Sejarah Ringkas dan Perkembangan Logika
Manusia belajar logika sejak jaman Yunani Kuno. Aristoteles (384 - 322 SM) adalah seorang filsuf yang mengembangkan logika
pada jaman itu, yang pada waktu itu dikenal dengan sebutan logika tradisional.

Terdapat 5 aliran besar dalam logika, yaitu :
1. Aliran Logika Tradisional
Logika ditafsirkan sebagai suatu kumpulan aturan praktis yang menjadi petunjuk pemikiran.
2. Aliran Logika Metafisis
Susunan pikiran itu dianggap kenyataan, sehingga logika dianggap seperti metafisika. Tugas pokok logika adalah menafsirkan
pikiran sebagai suatu tahap dari struktur kenyataan. Sebab itu untuk mengetahui kenyataan, orang harus belajar logika lebih dahulu.
3. Aliran Logika Epistemologis
Dipelopori oleh Francis Herbert Bradley (1846 - 1924) dan Bernard Bosanquet (1848 - 1923). Untuk dapat mencapai pengetahuan
yang memadai, pikiran logis dan perasaan harus digabung. Demikian juga untuk mencapai kebenaran, logika harus dihubungkan
dengan seluruh pengetahuan lainnya.
8
4. Aliran Logika Instrumentalis (Aliran Logika Pragmatis)
Dipelopori oleh John Dewey (1859 - 1952). Logika dianggap sebagai alat (instrumen) untuk memecahkan masalah.
5. Aliran Logika Simbolis
Dipelopori oleh Leibniz, Boole dan De Morgan. Aliran ini sangat menekankan penggunaan bahasa simbol untuk
mempelajari secara terinci, bagaimana akal harus bekerja. Metode-metode dalam mengembangkan matematika banyak digunakan
oleh aliran ini, sehingga aliran ini berkembang sangat teknis dan ilmiah serta bercorak matematika, yang kemudian disebut Logika
Matematika (Mathematical Logic). G.W. Leibniz (1646 - 1716) dianggap sebagai matematikawan pertama yang mempelajari Logika
Simbolik.
Pada abad kesembilan belas, George Boole (1815 - 1864) berhasil mengembangkan Logika Simbolik. Bukunya yang berjudul Low
of Though mengembangkan logika sebagai sistem matematika yang abstrak. Logika Simbolik ini merupakan logika formal yang
semata-mata menelaah bentuk dan bukan isi dari apa yang dibicarakan.
Karena akan dibahas banyak mengenai Logika Simbolik maka berikut ini disampaikan dua pendapat tentang Logika Simbolik yang
merangkum keseluruhan maknanya.
1. Logika simbolik adalah ilmu tentang penyimpulan yang sah (absah), khususnya yang dikembangkan dengan penggunaan metode-
metode matematika dan dengan bantuan simbol-simbol khusus sehingga memungkinkan seseorang menghindarkan makna ganda dari
bahasa sehari-hari (Frederick B. Fitch dalam bukunya “Symbolic Logic”).
2. Pemakaian simbol-simbol matematika untuk mewakili bahasa. Simbol-simbol itu diolah sesuai dengan aturan-aturan matematika
untuk menetapkan apakah suatu pernyataan bernilai benar atau salah.
Studi tentang logika berkembang terus dan sekarang logika menjadi ilmu pengetahuan yang luas dan yang cenderung
mempunyai sifat teknis dan ilmiah. Aljabar Boole, salah satu topik yang merupakan perluasan logika (dan teori himpunan), sekarang
ini digunakan secara luas dalam mendesain komputer. Penggunaan simbol-simbol Boole dapat mengurangi banyak kesalahan dalam
penalaran.
Ketidakjelasan berbahasa dapat dihindari dengan menggunakan simbol-simbol, karena setelah problem diterjemahkan ke dalam
notasi simbolik, penyelesaiannya menjadi bersifat mekanis. Tokoh-tokoh terkenal lainnya yang menjadi pendukung perkembangan
logika simbolik adalah De Morgan, Leonard Euler (1707 - 1783), John Venn (1834 - 1923), Alfred North Whitehead dan Bertrand
Russell (1872 - 1970).
9
BAB II
PERNYATAAN
Sebelum membahas tentang pernyataan, akan kita bahas terlebih dahulu apa yang disebut kalimat. Kalimat adalah kumpulan kata
yang disusun menurut aturan tata bahasa. Kata adalah rangkaian huruf yang mengandung arti. Kalimat berarti rangkaian kata yang
disusun menurut aturan tata bahasa dan mengandung arti. Dalam logika matematika hanya dibicarakan kalimat-kalimat berarti yang
menerangkan (kalimat deklaratif/indicative sentences).
Contoh :
1. 4 kurang dari 5
2. Indonesia terdiri atas 33 propinsi
3. 2 adalah bilangan prima yang genap
4. 3 adalah bilangan genap
dan tidak akan dibicarakan kalimat-kalimat seperti :
5. Berapa umurmu ? (Kalimat tanya)
6. Bersihkan tempat tidurmu ! (Kalimat perintah)
7. Sejuk benar udara di sini ! (Kalimat ungkapan perasaan)
8. Mudah-mudahan terkabul cita-citamu. (Kalimat pengharapan)
Dari contoh-contoh di atas, terlihat bahwa kalimat 1, 2, dan 3, bernilai benar, sedang kalimat 4 bernilai salah. Kalimat 5, 7, dan 8,
tidak dapat ditentukan nilai benar atau salahnya. Nilai benar artinya ada kesesuaian antara yang dinyatakan oleh kalimat itu dengan
keadaan sesungguhnya (realitas yang dinyatakannya), yaitu benar dalam arti matematis.

1. Pernyataan
Definisi : Suatu pernyataan (statement) adalah suatu kalimat deklaratif yang bernilai benar saja, atau salah saja,
tetapi tidak sekaligus benar dan salah.
Contoh :
Kalimat 1, 2, 3, dan 4

Benar atau salahnya sebuah pernyataan disebut nilai kebenaran pernyataan itu.
10
Seperti telah kita ketahui, menurut jenisnya suatu kalimat secara sederhana dapat dibagi seperti di bawah ini






Bukan pernyataan (bukan kalimat deklaratif) contohnya : Kalimat 5, 6, 7, dan 8.
Sedang kalimat tak berarti contohnya :
9. Batu makan rumput
10. 3 melempari 5

Ada buku yang membedakan antara proposisi dan pernyataan. Yang membedakan antara proposisi dan pernyataan menganggap
bahwa contoh 9, dan 10, juga merupakan pernyataan walaupun tidak berarti (bermakna). Pernyataan yang diungkapkan oleh suatu
kalimat berarti disebut proposisi. Sehingga proposisi adalah pernyataan, sebaliknya suatu pernyataan belum tentu merupakan
proposisi. Suharto adalah presiden kita dengan Suharto is our presiden adalah dua kalimat yang berbeda, tetapi mempunyai arti yang
sama. Sehingga dikatakan bahwa kedua kalimat itu merupakan proposisi yang sama. Dalam buku ini kita mendefinisikan proposisi
sebagai pernyataan.

Kalimat pada contoh 1, 2, dan 4, disebut pernyataan sederhana (simple statement), yaitu pernyataan yang hanya menyatakan
pikiran tunggal dan tidak mengandung kata hubung kalimat. Sedangkan kalimat pada contoh 3, adalah pernyataan majemuk
(composite/compound statement), yang terdiri atas satu atau lebih pernyataan sederhana dengan bermacam-macam kata hubung
kalimat (connective/perangkai). Sedang pernyataan sederhana disebut juga pernyataan primer atau pernyataan atom.
Nilai kebenaran dari suatu pernyataan majemuk ditentukan oleh nilai kebenaran dari setiap pernyataan sederhana yang
dikandungnya dan cara menghubungkan pernyataan-pernyataan sederhana itu, dan bukan oleh keterkaitan isi pernyataan-pernyataan
sederhana tersebut. Suatu pernyataan umum disimbolkan dengan huruf abjad kecil, misalnya p, q, r, … dan seterusnya, sedang nilai
benar disimbolkan dengan “B” atau “1 (satu)” dan nilai salah disimbolkan dengan “S” atau “0 (nol)”.

Contoh :
p : Ada 12 bulan dalam setahun (B)
q : 4 + 5 = 8 (S)
Kalimat
Kalimat berarti
Kalimat tak berarti
Kalimat Deklaratif
Bukan Kalimat Deklaratif
bernilai benar
bernilai salah
11
2. Variabel dan Konstanta
Definisi : Variabel adalah simbol yang menunjukkan suatu anggota yang belum spesifik dalam semesta
pembicaraan.
Definisi : Konstanta adalah simbol yang menunjukkan anggota tertentu (yang sudah spesifik) dalam semesta
pembicaraan.

Perhatikan kalimat berikut ini :
a. Manusia makan nasi.
b. . . . memakai sepatu
c. 4 + x = 7
d. 4 + . . . = 7
e. p < 5

Ada yang mengatakan bahwa kalimat a benar, tetapi ada juga yang mengatakan bahwa kalimat itu salah, tergantung pada
kesesuaian kalimat itu dengan keadaan sesungguhnya. Kalimat seperti ini disebut pernyataan faktual.
Ada juga yang mengatakan bahwa kelima-kalimat di atas belum dapat dikatakan mempunyai nilai. Seperti telah kita ketahui, nilai
benar maupun nilai salah sebuah kalimat (baik kalimat sehari-hari maupun kalimat matematika), ditentukan oleh kebenaran atau
ketidakbenaran realita yang dinyatakan.
Jika kata “manusia” dalam kalimat a diganti “Yohana”, maka kalimat menjadi “Yohana makan nasi”. Kalimat ini jelas bernilai salah
saja atau bernilai benar saja; tergantung realitasnya. Kalimat ini disebut pernyataan faktual. Demikian pula jika “. . .” pada b diganti
“Hani”, maka kalimat ini menjadi “Hani memakai sepatu”. Kalimat (pernyataan) itupun menjadi jelas nilainya, yaitu salah saja atau
benar saja, tergantung realitanya.
Jika “x” pada c diganti “3” maka kalimat itu menjadi “4 + 3 = 7”. Kalimat (pernyataan) ini jelas bernilai benar saja. Jika “. . .”
pada d diganti “4”, maka kalimat itu menjadi “4 + 4 = 7”. Jelas pernyataan itu bernilai salah saja.
Jika “p” pada e diganti “0, 1, 2, 3, 4”, maka pernyataan “p < 5” menjadi bernilai benar, tetapi kalimat (pernyataan) itu menjadi
bernilai salah apabila “p” pada e diganti "5, 6, 7, . . ." dalam semesta pembicaraan himpunan bilangan cacah.
“Manusia”, “. . .”, “x”, “p” pada kalimat-kalimat di atas disebut variabel. Sedangkan pengganti-pengganti seperti “Yohana”, “Hani”,
“3”, “4”, dan “0, 1, 2, 3, 4” dan "5, 6, 7, . . ." disebut konstanta.
12
3. Kalimat Terbuka
Kalimat-kalimat seperti a sampai dengan e di atas disebut kalimat terbuka. Jika variabel dalam kalimat terbuka sudah diganti
dengan konstanta yang sesuai, maka kalimat yang terjadi dapat disebut kalimat tertutup.
Definisi : Kalimat terbuka adalah kalimat yang mengandung variabel, dan jika variabel tersebut diganti konstanta dari
semesta yang sesuai maka kalimat itu akan menjadi kalimat yang bernilai benar saja atau
bernilai salah saja (pernyataan).

Kalimat terbuka seperti c, d, dan e, disebut kalimat matematika (ada yang menyebut kalimat bilangan). Kalimat matematika yang
masih mengandung variabel dan menggunakan tanda “=” seperti kalimat c dan d disebut persamaan. Kalimat e yang menggunakan
tanda “<” disebut pertidaksamaan (sebutan ini juga berlaku untuk kalimat matematika yang masih mengandung variabel dan
menggunakan tanda ”>” atau “≠”
Jika variabel pada kalimat matematika itu sudah diganti dengan konstanta dan kalimat matematika itu menggunakan tanda “=”
maka kalimat yang terjadi disebut kesamaan. Sedang kalimat matematika yang tidak mengandung variabel dan menggunakan tanda
“<”, “>” atau “≠” disebut ketidaksamaan.
Di atas telah diberikan definisi-definisi dari pernyataan, variabel, konstanta, dan kalimat terbuka. Pernyataan yang menjelaskan
istilah-istilah di atas disebut kalimat definisi. Pada kalimat definisi tidak boleh terdapat kata-kata yang belum jelas artinya, apalagi kata
yang sedang didefinisikan.
13
BAB III
KATA HUBUNG KALIMAT
Pernyataan majemuk terdiri dari satu atau lebih pernyataan sederhana yang dihubungkan dengan kata hubung kalimat
(connective) tertentu. Dalam bahasa Indonesia kita sering menggunakan kata-kata “tidak”, “dan”, “atau”, “jika. . . maka. . .”, “jika dan
hanya jika”. Marilah sekarang kita memperhatikan penggunaan kata-kata itu dengan lebih cermat dalam matematika (dan
membandingkannya dengan penggunaan dalam percakapan sehari-hari). Kita pelajari sifat-sifatnya untuk memperjelas cara berpikir
kita dan terutama karena pentingnya kata-kata itu untuk melakukan pembuktian. Dalam pelajaran logika (matematika), kata-kata itu
disebut kata hubung kalimat, ada lima macam kata hubung kalimat yaitu negasi, konjungsi, disjungsi, kondisional, dan bikondisional.
Negasi tidak menghubungkan dua buah pernyataan sederhana, tetapi tetap dianggap sebagai kata hubung kalimat, yaitu
menegasikan pernyataan sederhana (ada yang menganggap bahwa negasi suatu pernyataan sederhana bukan pernyataan majemuk).

1. Negasi (Ingkaran, atau Penyangkalan)
Perhatikan pernyataan : “Sekarang hari hujan” bagaimana ingkaran pernyataan itu ? Anda dapat dengan mudah menjawab :
"Sekarang hari tidak hujan”. Jika pernyataan semula bernilai benar maka ingkaran pernyataan itu bernilai salah.
Sesungguhnya, penambahan "tidak" ke dalam kalimat semula tidaklah cukup. Coba anda pikirkan bagaimana negasi dari kalimat :
“Beberapa pemuda adalah atlit”.
Definisi : Ingkaran suatu pernyataan adalah pernyataan yang bernilai benar, jika pernyataan semula salah,
dan sebaliknya. Ingkaran pernyataan p ditulis ~ p
Contoh :
1. Jika p : Jakarta ibu kota RI (B)
maka ~ p : Tidak benar bahwa Jakarta ibu kota RI (S)
atau ~ p : Jakarta bukan ibu kota RI (S)
2. Jika q : Zainal memakai kaca mata
maka ~ q : Tidak benar bahwa Zainal memakai kaca mata
atau ~ q : Zaibal tidak memakai kaca mata
~ q akan bernilai salah jika Zainal benar-benar memakai kaca mata.
14
3. Jika r : 2 + 3 > 6 (S)
maka ~r : Tidak benar bahwa 2 + 3 > 6 (B)
atau ~ r : 2 + 3 ≤ 6 (B)
4. Jika s : Ada anak berkacamata di kelasku (B) (dimisalkan bahwa pernyataan ini benar)
maka ~ s : Tidak benar bahwa ada anak berkacamata di kelasku (S)
Perhatikan baik-baik cara membuat ingkaran di atas, jangan membuat ingkaran yang salah.
Membentuk ingkaran suatu pernyataan dapat dengan menambahkan kata-kata tidak benar bahwa di depan pernyataan aslinya,
atau jika mungkin dengan menambah bukan atau tidak di dalam pernyataan itu, tetapi untuk pernyataan-pernyataan tertentu tidak
demikian halnya.


Berdasarkan definisi di atas, dapat dibuat
Tabel Kebenaran untuk ingkaran seperti disamping :


2. Konjungsi (dan)
Perhatikan kalimat : “Aku suka sayur dan buah”, maka kalimat itu berarti : 1. “Aku suka sayur” dan 2. “Aku suka buah”. Jika
pernyataan semula bernilai benar maka sub pernyataan 1. atau 2. benar. Jika sub pernyataan 1 atau 2 salah maka pernyataan semula
bernilai salah, demikian pula jika kedua sub pernyataan itu salah.
Berdasarkan pengertian di atas, dua buah pernyataan yang dihubungkan dengan “dan” merupakan pernyataan majemuk yang
disebut konjungsi dari pernyataan-pernyataan semula. Penghubung “dan” diberi simbol “∧”. Konjungsi dari dua pernyataan p dan q
ditulis p ∧ q, dan dibaca p dan q. masing-masing p dan q disebut komponen (sub pernyataan). Pernyataan p ∧ q juga disebut sebagai
pernyataan konjungtif.

Contoh :
1. Jika r : Ima anak pandai, dan
s : Ima anak cekatan.
maka r ∧ s : Ima anak pandai dan cekatan
Pernyataan r ∧ s bernilai benar jika Ima benar-benar anak pandai dan benar-benar anak cekatan.
p
~p
B
S
S
B
15
2. Jika a : Bunga mawar berbau harum (B), dan
b : Bunga matahari berwarna biru (S)
maka a ∧ b : Bunga mawar berbau harum dan bungan matahari berwarna biru (S)

3. Jika p : 2 + 3 < 6 (B), dan
q : Sang Saka bendera RI (B)
maka p ∧ q : 2 + 3 < 6 dan Sang Saka bendera RI (B)
Definisi : Suatu konjungsi dari dua pernyataan bernilai benar hanya dalam keadaan kedua komponennya
bernilai benar.



Berdasarkan definisi di atas, dapat disusun tabel kebenaran untuk konjungsi
seperti disamping :



3. Disjungsi (atau)
Sekarang perhatikan pernyataan : “Tobing seorang mahasiswa yang cemerlang atau seorang atlit berbakat”.
Membaca pernyataan itu akan timbul tafsiran :
1. Tobing seorang mahasiswa yang cemerlang, atau seorang atlit yang berbakat, tetapi tidak kedua-duanya, atau
2. Tobing seorang mahasiswa yang cemerlang, atau seorang atlit yang berbakat, mungkin kedua-duanya.
Tafsiran pertama adalah contoh disjungsi eksklusif dan tafsiran kedua adalah contoh disjungsi inklusif.
Jika pernyataan semula benar, maka keduanya dari tafsiran 1 atau 2 adalah benar (untuk disjungsi inklusif), mungkin benar salah
satu (untuk disjungsi eksklusif), dan sebaliknya. Lebih dari itu, jika pernyataan semula salah, maka kedua tafsiran itu tentu salah
(untuk disjungsi inklusif dan eksklusif).
Berdasarkan pengertian di atas, dua buah pernyataan yang dihubungkan dengan ”atau” merupakan disjungsi dari kedua
pernyataan semula.
Dibedakan antara : 1. disjungsi inklusif yang diberi simbol “∨" dan
2. disjungsi eksklusif yang diberi simbol “∨”.
p q p ∧ q
B
B
S
S
B
S
B
S
B
S
S
S
16
Disjungsi inklusif dari dua pernyataan p dan q ditulis p ∨ q, dan disjungsi eksklusif dari dua pernyataan p dan q ditulis p ∨ q, dan
dibaca : p atau q. pernyataan p ∨ q juga disebut sebagai pernyataan disjungtif.

Contoh :
1. Jika p : Aku tinggal di Indonesia
q : Aku belajar Bahasa Inggris sejak SMP
maka p ∨ q : Aku tinggal di Indonesia atau belajar Bahasa Inggris sejak SMP
Pernyataan p ∨ q bernilai benar jika Aku benar-benar tinggal di Indonesia atau benar-benar belajar Bahasa Inggris sejak SMP.
2. Jika r : Aku lahir di Surabaya, dan
s : Aku lahir di Bandung,
maka r ∨ s : Aku lahir di Surabaya atau di Bandung.
Pernyataan r ∨ s bernilai benar jika Aku benar-benar lahir di salah saaatu kota Surabaya atau Bandung, dan tidak di kedua tempat
itu. Mustahil bukan bahwa aku lahir di dua kota ?
Definisi : Suatu disjungsi inklusif bernilai benar apabila paling sedikit satu komponennya bernilai benar.



Berdasarkan definisi di atas, dapat disusun tabel kebenaran untuk disjungsi inklusif
seperti disamping :



Definisi : Suatu disjungsi eksklusif bernilai benar apabila hanya salah saatu komponennya bernilai benar



Berdasarkan definisi di atas, dapat disusun tabel kebenaran untuk disjungsi eksklusif
seperti disamping :
p q p∨q
B
B
S
S
B
S
B
S
B
B
B
S
p q p∨ q
B
B
S
S
B
S
B
S
S
B
B
S
17
4. Kondisional (Implikasi atau Pernyataan Bersyarat)
Perhatikan pernyataan berikut ini: “Jika matahari bersinar maka udara terasa hangat”, jadi, bila kita tahu bahwa matahari
bersinar, kita juga tahu bahwa udara terasa hangat. Karena itu akan sama artinya jika kalimat di atas kita tulis sebagai:
“Bila matahari bersinar, udara terasa hangat”.
”Sepanjang waktu matahari bersinar, udara terasa hangat”.
“Matahari bersinar berimplikasi udara terasa hangat”.
“Matahari bersinar hanya jika udara terasa hangat”.
Berdasarkan pernyataan diatas, maka untuk menunjukkan bahwa udara tersebut hangat adalah cukup dengan menunjukkan bahwa
matahari bersinar atau matahari bersinar merupakan syarat cukup untuk udara terasa hangat.

Sedangkan untuk menunjukkan bahwa matahari bersinar adalah perlu dengan menunjukkan udara menjadi hangat atau udara terasa
hangat merupakan syarat perlu bagi matahari bersinar. Karena udara dapat menjadi hangat hanya bila matahari bersinar.

Perhatikan pula contoh berikut ini:
“Jika ABCD belah ketupat maka diagonalnya saling berpotongan ditengah-tengah”. Untuk menunjukkan bahwa diagonal segi
empat ABCD saling berpotongan ditengah-tengah adalah cukup dengan menunjukkan bahwa ABCD belah ketupat, atau ABCD belah
ketupat merupakan syarat cukup bagi diagonalnya untuk saling berpotongan ditengah-tengah. Dan untuk menunjukkan bahwa ABCD
belah ketupan perlu ditunjukkan bahwa diagonalnya saling berpotongan ditengah-tengah, atau diagonal-diagonal segi empat ABCD
saling berpotongan ditengah-tengah merupakan syarat perlu (tetapi belum cukup) untuk menunjukkan belah ketupat ABCD.
Mengapa ?
Karena diagonal-diagonal suatu jajaran genjang juga saling berpotongan ditengah-tengah, dan jajaran genjang belum tentu
merupakan belah ketupat.
Demikian pula syarat cukup tidak harus menjadi syarat perlu karena jika diagonal segi empat ABCD saling berpotongan ditengah
belum tentu segi empat ABCD belah ketupat.
Banyak pernyataan, terutama dalam matematika, yang berbentuk “jika p maka q”, pernyataan demikian disebut implikasi atau
pernyataan bersyarat (kondisional) dan ditulis sebagai p ⇒q. Pernyataan p ⇒q juga disebut sebagai pernyataan implikatif atau
pernyataan kondisional. Pernyataan p ⇒ q dapat dibaca:
a. Jika p maka q
b. p berimplikasi q
c. p hanya jika q
d. q jika p
18
Dalam implikasi p ⇒ q, p disebut hipotesa (anteseden) dan q disebut konklusi (konsekuen).
Bila kita menganggap pernyataan q sebagai suatu peristiwa, maka kita melihat bahwa “Jika p maka q” dapat diartikan sebagai
“Bilamana p terjadi maka q juga terjadi” atau dapat juga, diartikan sebagai “Tidak mungkin peristiwa p terjadi, tetapi peristiwa q tidak
terjadi”.

Definisi : Implikasi p ⇒ q bernilai benar jika anteseden salah atau konsekuen benar.

Berbeda dengan pengertian implikasi sehari-hari maka pengertian implikasi disini hanya ditentukan oleh nilai kebenaran dari
anteseden dan konsekuennya saja, dan bukan oleh ada atau tidak adanya hubungan isi antara anteseden dan konsekuen. Implikasi ini
disebut implikasi material. Sedang implikasi yang dijumpai dalam percakapan sehari-hari disebut implikasi biasa (ordinary implication).
Contoh:
1. jika p : burung mempunyai sayap (B), dan
q : 2 + 3 = 5 (B)
maka p ⇒ q : jika burung mempunyai sayap maka 2 + 3 = 5 (B)
2. jika r : x bilangan cacah (B), dan
s : x bilangan bulat positif (S)
maka p ⇒ q : jika x bilangan cacah maka x bilangan bulat positif (S).









5. Konvers, Invers, dan Kontraposisi
Andaikan pernyataan “Jika hari hujan, saya memakai jas hujan” bernilai benar, maka itu tidak berarti bahwa pernyataan “Saya
memakai jas hujan berarti hari hujan” juga bernilai benar; sebab mungkin saja saya memakai jas hujan walaupun hari tidak hujan.
Demikian pula pernyataan “Jika hari tidak hujan, saya tidak memakai jas hujan” belum tentu bernilai benar.
Sedangkan pernyataan “Jika saya tidak memakai jas hujan, hari tidak hujan” akan bernilai benar.
p q p⇒q
B
B
S
S
B
S
B
S
B
S
B
B
Berdasarkan definisi diatas dapat disusun tabel kebenaran untuk implikasi
seperti disamping.
19
Definisi : Konvers dari implikasi p ⇒ q adalah q ⇒ p
Invers dari implikasi p ⇒ q adalah ~ p ⇒ ~ q
Kontraposisi dari implikasi p ⇒ q adalah ~ q ⇒ ~ p

Hubungan antara implikasi, konvers, invers, dan kontraposisi dapat ditunjukkan dengan skema berikut ini:









6. Bikondisional (Biimplikasi Atau Pernyataan Bersyarat Ganda)
Perhatikan kalimat: ”Jika segi tiga ABC sama kaki maka kedua sudut alasnya sama besar”. Jelas implikasi ini bernilai benar.
Kemudian perhatikan: “Jika kedua sudut alas segi tiga ABC sama besar maka segi tiga itu sama kaki”. Jelas bahwa implikasi ini juga
bernilai benar. Sehingga segi tiga ABC sama kaki merupakan syarat perlu dan cukup bagi kedua alasnya sama besar, juga kedua sudut
alas sama besar merupakan syarat perlu dan cukup untuk segi tiga ABC sama kaki. Sehingga dapat dikatakan “Segi tiga ABC sama
kaki merupakan syarat perlu dan cukup untuk kedua sudut alasnya sama besar”.
Perhatikan kalimat: “Saya memakai mantel jika dan hanya jika saya merasa dingin”. Pengertian kita adalah “Jika saya memakai
mantel maka saya merasa dingin” dan juga “Jika saya merasa dingin maka saya memakai mantel”. Terlihat bahwa jika saya memakai
mantel merupakan syarat perlu dan cukup bagi saya merasa dingin, dan saya merasa dingin merupakan syarat perlu dan cukup bagi
saya memakai mantel. Terlihat bahwa kedua peristiwa itu terjadi serentak.
Dalam matematika juga banyak didapati pernyataan yang berbentuk “p bila dan hanya bila q” atau “p jika dan hanya jika q”.
Pertanyaan demikian disebut bikondisional atau biimplikasi atau pernyataan bersyarat ganda dan ditulis sebagai p ⇔ q, serta dibaca p
jika dan hanya jika q (disingkat dengan p jhj q atau p bhb q). Pernyataan p ⇔ q juga disebut sebagai pernyataan biimplikatif.
Pernyataan “p jika dan hanya jika q” berarti “jika p maka q dan jika q maka p”, sehingga juga berarti “p adalah syarat perlu dan cukup
bagi q” dan sebaliknya.
p⇒q Konvers q⇒p




~p⇒~q Konvers ~q⇒p
I
n
v
e
r
s
I
n
v
e
r
s

20
Definisi : Pernyataan bikondisional bernilai benar hanya jika komponen-komponennya bernilai sama.
Contoh:
1. Jika p : 2 bilangan genap (B)
q : 3 bilangan ganjil (B)
maka p ⇔ q : 2 bilangan genap jhj 3 bilangan ganjil (B)
2. Jika r : 2 + 2 = 5 (B)
s : 4 + 4 < 8 (S)
maka r⇔ s : 2 + 2 = 5 jhj 4 + 4 < 8 (S)
3. Jika a : Surabaya ada di jawa barat (S)
b : 23 = 6 (S)
maka a ⇔ b : Surabaya ada di jawa barat jhj 23 = 6 (B)








Apakah pernyataan berikut ini merupakan pernyataan bikondisional atau bukan?
a. Setiap segi tiga sama sisi merupakan segi tiga sama kaki.
b. Sudut-sudut segi tiga sama sisi sama besarnya.
c. Sepasang sisi yang berhadapan pada sebuah jajaran genjang sama panjangnya.
d. Sebuah segi tiga sama kaki mempunyai dua sisi yang sama panjang.
(Keempat kalimat diatas berkenaan dengan bangun-bangun geometri)
e. Seorang haji beragama islam
p q p⇔q
B
B
S
S
B
S
B
S
B
S
S
B
Berdasarkan definisi diatas dapat disusun tabel kebenaran untuk bimplikasi
seperti disamping.
21
7. Kesepakatan Penggunaan Kata Hubung Kalimat
Dalam penggunaan bahasa sehari-hari kita sering menjumpai pernyataan yang menggunakan banyak kata hubung kalimat,
seperti berikut ini:
“Saya akan berjalan kaki atau saya akan naik sepeda maka saya akan tidak terlambat mengikuti kuliah”.
Membaca kalimat diatas, ada yang menafsirkan: ”Jika saya berjalan kaki atau naik sepeda, saya akan tidak terlambat mengikuti
kuliah”. Ada juga yang menafsirkan sebagai: “Saya berjalan kaki atau, jika saya naik sepeda maka saya akan tidak terlambat
mengikuti kuliah”.
Untuk dapat mengerti pernyataan komposit diatas dengan benar (seperti apa yang dinyatakan) diperlukan kejelasan berbahasa
dengan menggunakan tanda baca-tanda baca yang diperlukan, misalnya: koma, dengan demikian kita dapat menterjemahkan
pernyataan diatas kepernyataan simbolik dengan benar.
Demikian pula halnya dengan pernyataan simbolik yang kita gunakan. Pernyataan ini harus jelas sehingga tidak menimbulkan
salah tafsir. Logika menggunakan tanda kurung untuk menunjukkan urutan pengerjaan. Tetapi untuk pernyataan yang banyak
menggunakan kata hubung kalimat, penggunaan tanda kurung dirasakan kurang effisien. Untuk itu disepakati penggunaan urutan
pengerjaan (urutan kuat ikat) seperti berikut ini:
1. negasi ~
2. konjungsi ∧ , disjungsi ∨
3. kondisional ⇒
4. bikondisional ⇔
Contoh :
1. ~ p ∨ q berarti (~ p) ∨ q merupaka kalimat disjungtif.
2. p ∧ q ⇒ r berarti (p ∧ q) ⇒ r merupakan kalimat kondisional.
3. p ⇔ q ⇒ r berarti p ⇔ (q ⇒ r) merupakan kalimat bikondisional.
22
BAB IV
TAUTOLOGI, EKIVALEN DAN KONTRADIKSI
1. Tautologi
Perhatikan bahwa beberapa pernyataan selalu bernilai benar. Contoh pernyataan: “Junus masih bujang atau Junus bukan
bujang” akan selalu bernilai benar tidak bergantung pada apakah junus benar-benar masih bujang atau bukan bujang.
Jika p : junus masih bujang, dan ~p : junus bukan bujang, maka pernyataan diatas berbentuk p ∨ ~p. (coba periksa nilai
kebenarannya dengan menggunakan tabel kebenaran). Setiap pernyataan yang bernilai benar, untuk setiap nilai kebenaran
komponen-komponennya, disebut tautologi.

2. Ekivalen
Perhatikan kalimat: “Guru pahlawan bangsa” dan “tidak benar bahwa guru bukan pahlawan bangsa”. Kedua kalimat ini akan
mempunyai nilai kebenaran yang sama, tidak perduli bagaimana nilai kebenaran dari pernyataan semula. (Coba periksa dengan
menggunakan tabel kebenaran).

Definisi : Dua buah pernyataan dikatakan ekivalen (berekivalensi logis) jika kedua pernyataan itu mempunyai
nilai kebenaran yang sama.

Pernyataan p ekivalen dengan pernyataan q dapat ditulis sebagai p ÷ q.
Berdasarkan definisi diatas, sifat-sifat pernyataan-pernyataan yang ekivalen (berekivalensi logis) adalah:
1. p ÷ p
2. jika p ÷ q maka q ÷ p
3. jika p ÷ q dan q ÷ r maka p ÷ r

Sifat pertama berarti bahwa setiap pernyataan selalu mempunyai nilai kebenaran yang sama dengan dirinya sendiri. Sifat kedua
berarti bahwa jika suatu pernyataan mempunyai nilai kebenaran yang sama dengan suatu pernyataan yang lain, maka tentu berlaku
sebaliknya. Sedangkan sifat ketiga berarti bahwa jika pernyataan pertama mempunyai nilai kebenaran yang sama dengan pernyataan
kedua dan pernyataan kedua mempunyai nilai kebenaran yang sama dengan pernyataan ketiga maka nilai kebenaran pernyataan
pertama adalah sama dengan nilai kebenaran pernyataan ketiga.
23
Jika pernyataan tertentu p ekivalen dengan pernyataan q, maka pernyataan p dan q dapat saling ditukar dalam pembuktian. Ingat
pada pernyataan “segi tiga sama sisi” yang ekivalen dengan “segi tiga yang sudutnya sama besar”. Dalam pembuktian pada geometri
sering kali kita menggunakan kedua pernyataan itu dengan maksud yang sama.

3. Kontradiksi
Sekarang perhatikan kalimat : “Pratiwi seorang mahasiswa dan bukan mahasiswa”. Pernyataan ini selalu bernilai salah, tidak
tergantung pada nilai kebenaran dari “Pratiwi seorang mahasiswa” maupun “Pratiwi bukan mahasiswa”.
Jika r : Pratiwi mahasiswa maka ~ r : Pratiwi bukan mahasiswa maka pernyataan di atas berbentuk r ∧ ~ r (Coba periksa nilai
kebenarannya dengan menggunakan tabel kebenaran).
Setiap pernyataan yang selalu bernilai salah, untuk setiap nilai kebenaran dari komponen-komponen disebut kontradiksi. Karena
kontradiksi selalu bernilai salah, maka kontradiksi merupakan ingkaran dari tautologi dan sebaliknya.
24
BAB V
KUANTOR
1. Fungsi Pernyataan

Definisi : Suatu fungsi pernyataan adalah suatu kalimat terbuka di dalam semesta pembicaraan (semesta
pembicaraan diberikan secara eksplisit atau implisit).

Fungsi pernyataan merupakan suatu kalimat terbuka yang ditulis sebagai p(x) yang bersifat bahwa p(a) bernilai benar atau salah
(tidak keduanya) untuk setiap a (a adalah anggota dari semesta pembicaraan). Ingat bahwa p(a) suatu pernyataan.

Contoh :
1. p(x) = 1 + x > 5
p(x) akan merupakan fungsi pernyataan pada A = himpunan bilangan asli. Tetapi p(x) bukan merupakan fungsi
pernyataan pada K = himpunan bilangan kompleks.
2. a. Jika p(x) = 1 + x > 5 didefinisikan pada A = himpunan bilangan asli, maka p(x) bernilai benar untuk x = 5, 6, 7, . . .
b. Jika q(x) = x + 3 < 1 didefinisikan pada A = himpunan bilangan asli, tidak ada x yang menyebabkan p(x) bernilai
benar.
c. Jika r(x) = x + 3 > 1 didefinisikan pada A = himpunan bilangan asli, maka r(x) bernilai benar untuk x = 1, 2, 3, .

Dari contoh di atas terlihat bahwa fungsi pernyataan p(x) yang didefinisikan pada suatu himpunan tertentu akan bernilai benar
untuk semua anggota semesta pembicaraan, beberapa anggota semesta pembicaraan, atau tidak ada anggota semesta pembicaraan
yang memenuhi.

2. Kuantor Umum (Kuantor Universal)
Simbol ¬ yang dibaca “untuk semua” atau “untuk setiap” disebut kuantor umum. Jika p(x) adalah fungsi proposisi pada suatu
himpunan A (himpunan A adalah semesta pembicaraannya) maka (¬x e A) p(x) atau ¬x, p(x) atau ¬x p(x) adalah suatu pernyataan
yang dapat dibaca sebagai “Untuk setiap x elemen A, p(x) merupakan pernyataan “Untuk semua x, berlaku p(x)”.
25
Contoh :
1. p(x) = x tidak kekal
p(manusia) = Manusia tidak kekal
maka ¬x, p(x) = ¬x e {manusia}, p(x) = semua manusia tidak kekal (Benar)
Perhatikan bahwa p(x) merupakan kalimat terbuka (tidak mempunyai nilai kebenaran). Tetapi ¬x p(x) merupakan
pernyataan (mempunyai nilai benar atau salah tetapi tidak kedua-duanya).

2. ¬x r(x) = ¬x (x + 3 > 1) pada A = {bilangan asli} bernilai benar.
3. ¬x q(x) = ¬x (x + 3 < 1) pada A = {bilangan asli} bernilai salah.

3. Kuantor Khusus (Kuantor Eksistensial)
Simbol - dibaca “ada” atau “untuk beberapa” atau “untuk paling sedikit satu” disebut kuantor khusus. Jika p(x) adalah fungsi
pernyataan pada himpunana tertentu A (himpunana A adalah semesta pembicaraan) maka (-x e A) p(x) atau -x! p(x) atau -x p(x)
adalah suatu pernyataan yang dibaca “Ada x elemen A, sedemikian hingga p(x) merupakan pernyataan” atau “Untuk beberapa x,
p(x)”. ada yang menggunakan simbol -! Untuk menyatakan “Ada hanya satu”.

Contoh :
1. p(x) = x adalah wanita
p(perwira ABRI) = Perwira ABRI adalah wanita
-x p(x) = -x! p(x) = -x e {perwira ABRI}, p(x) = ada perwira ABRI adalah wanita (Benar)
2. -x p(x) = -x (x + 1 < 5) pada A = {bilangan asli} maka pernyataan itu bernilai salah.
3. -x r(x) = -x (3 + x > 1) pada A = {bilangan asli} maka pernyataan itu bernilai salah.

4. Negasi Suatu Pernyatan yang Mengandung Kuantor
Negasi dari “Semua manusia tidak kekal” adalah “Tidak benar bahwa semua manusia tidak kekal” atau “Beberapa manusia kekal”.
Jika p(x) adalah manusia tidak kekal atau x tidak kekal, maka “Semua manusia adalah tidak kekal” atau ¬x p(x) bernilai benar, dan
“Beberapa manusia kekal” atau -x ~ p(x) bernilai salah. Pernyataan di atas dapat dituliskan dengan simbol :
~ [¬x p(x)] ÷ -x ~ p(x)

Jadi negasi dari suatu pernyataan yang mengandung kuantor universal adalah ekivalen dengan pernyataan yang mengandung kuantor
eksistensial (fungsi pernyataan yang dinegasikan) dan sebalinya :
~ [-x p(x) ÷ ¬x ~ p(x)
26
5. Fungsi Pernyataan yang Mengandung Lebih dari Satu Variabel
Didefinisikan himpunan A1, A2, A3, . . ., An, suatu fungsi pernyataan yang mengandung variabel pada himpunan A1 x A2 x A3 x .
. . x An merupakan kalimat terbuka p(x1, x2, x3, . . ., xn) yang mempunyai sifat p(a1, a2, a3, . . ., an) bernilai benar atau salah (tidak
keduanya) untuk (a1, a2, a3, . . ., an) anggota semesta A1 x A2 x A3 x . . . x An.
Contoh :
1. Diketahui P = {pria}, W = {wanita}. “x menikah dengan y” ÷ M(x,y) adalah fungsi pernyataan pada P x W.
2. Diketahu A = {bilangan asli}. “2x – y – 5z < 10” ÷ K(x,y,z) adalah fungsi pernyataan pada A x A x A.

Suatu fungsi pernyataan yang bagian depannya dibubuhi dengan kuantor untuk setiap variabelnya, seperti contoh berikut ini :
¬x -y p(x,y) atau -x -y ¬z p(x,y,z)
merupakan suatu pernyataan dan mempunyai nilai kebenaran.
Contoh :
1. P = {Nyoman, Agus, Darman} dan W = {Rita, Farida}, serta p(x,y) = x adalah kakak y.
Maka ¬x e P, -y e W, p(x,y) dibaca “Untuk setiap x di P ada y di W sedemikian hingga x adalah kakak y” berarrti
bahwa setiap anggota P adalah kakak dari Rita atau Farida.
Jika pernyataan itu ditulis sebagai -y e W ¬x e P p(x,y) dibaca “Ada y di W untuk setiap x di P sedemikian hingga x
adalah kakak y” berarti bahwa ada (paling sedikit satu) wanita di W mempunyai kakak semua anggota P.

Negasi dari pernyataan yang mengandung kuantor dapat ditentukan sebagai contoh berikut ini.
~ [-x {¬y p(x,y)}] ÷ ¬x ~ [¬y p(x,y)] ÷ ¬x -y ~ p(x,y)
Contoh :
P = {Nyoman, Agus, Darman} dan W = {Rita, Farida}, serta p(x,y) = x adalah kakak y.
Tuliskan negasi dari pernyataan : ¬x e P, -y e W, p(x,y)
Jawab :
~ [¬x e P {-y e W p(x,y)}] ÷ -x e P, ~ [Ey e W, p(x,y) ÷ -x e P, ¬y e W, ~ p(x,y)
Jika kita baca pernyataan semula adalah “Setiap anggota P adalah kakak dari paling sedikit satu anggota W”
Negasi dari pernyataan itu adalah “Tidak benar bahwa setiap anggota P adalah kakak dari paling sedikit satu anggota W” yang
ekivalen dengan “Ada anggota P yang bukan kakak dari semua anggota W”.
Coba bandingkan pernyataan verbal ini dengan bentuk simboliknya!
27
BAB VI
VALIDITAS PEMBUKTIAN
1. Premis dan Argumen
Logika berkenaan dengan penalaran yang dinyatakan dengan pernyataan verbal. Suatu diskusi atau pembuktian yang bersifat
matematik atau tidak, terdiri atas pernyataan-pernyataan yang saling berelasi. Biasanya kita memulai dengan pernyataan-pernyataan
tertentu yang diterima kebenarannya dan kemudian berargumentasi untuk sampai pada konklusi (kesimpulan) yang ingin dibuktikan.
Pernyataan-pernyataan yang digunakan untuk menarik suatu kesimpulan disebut premis, sehingga suatu premis dapat berupa
aksioma, hipotesa, definisi atau pernyataan yang sudah dibuktikan sebelumnya.
Sedang yang dimaksud dengan argumen adalah kumpulan kalimat yang terdiri atas satu atau lebih premis yang mengandung
bukti-bukti (evidence) dan suatu (satu) konklusi. Konklusi ini selayaknya (supposed to) diturunkan dari premis-premis.

2. Validitas Pembuktian (I)
Konklusi selayaknya diturunkan dari premis-premis atau premis-premis selayaknya mengimplikasikan konklusi, dalam argumentasi
yang valid, konklusi akan bernilai benar jika setiap premis yang digunakan di dalam argumen juga bernilai benar. Jadi validitas
argumen tergantung pada bentuk argumen itu dan dengan bantuan tabel kebenaran.
Bentuk kebenaran yang digeluti oleh para matematikawan adalah kebenaran relatif. Benar atau salahnya suatu konklusi hanya
dalam hubungan dengan sistem aksiomatik tertentu. Konklusi itu benar jika mengikuti hukum-hukum logika yang valid dari aksioma-
aksioma sistem itu, dan negasinya adalah salah.
Untuk menentukan validitas suatu argumen dengan selalu mengerjakan tabel kebenarannya tidaklah praktis. Cara yang lebih
praktis banyak bertumpu pada tabel kebenaran dasar dan bentuk kondisional. Bentuk argumen yang paling sederhana dan klasik
adalah Modus ponens dan Modus tolens.

Modus Ponen
Premis 1 : p ¬ q
Premis 2 : p
Konklusi : q
Cara membacanya : Apabila diketahui jika p maka q benar, dan p benar, disimpulkan q benar. (Notasi : Ada yang menggunakan tanda
untuk menyatakan konklusi, seperti p ¬ q, p q)
28
Contoh :
1. Premis 1 : Jika saya belajar, maka saya lulus ujian (benar)
Premis 2 : Saya belajar (benar)
Konklusi : Saya lulus ujian (benar)
Baris pertama dari tabel kebenaran kondisional (implikasi) menunjukkan validitas dari bentuk argumen modus ponen.

Modus Tolen :
Premis 1 : p ¬ q
Premis 2 : ~ q
Konklusi : ~ p

Contoh :
2. Premis 1 : Jika hari hujan maka saya memakai jas hujan (benar)
Premis 2 : Saya tidak memakai jas hujan (benar)
Konklusi : Hari tidak hujan (benar)
Perhatikan bahwa jika p terjadi maka q terjadi, sehingga jika q tidak terjadi maka p tidak terjadi.

Silogisma :
Premis 1 : p ¬ q
Premis 2 : q ¬ r
Konklusi : p ¬ r

Contoh :
3. Premis 1 : Jika kamu benar, saya bersalah (B)
Premis 2 : Jika saya bersalah, saya minta maaf (B)
Konklusi : Jika kamu benar, saya minta maaf (B)

Silogisma Disjungtif
Premis 1 : p v q
Premis 2 : ~ q
Konklusi : p

29
Jika ada kemungkinan bahwa kedua pernyataan p dan q dapat sekaligus bernilai benar, maka argumen di bawah ini tidak valid.
Premis 1 : p ∨ q
Premis 2 : q
Konklusi : ~ p
Tetapi jika ada kemungkinan kedua pernyataan p dan q tidak sekaligus bernilai benar (disjungsi eksklusif), maka sillogisma disjungtif
di atas adalah valid.
Contoh :
1. Premis 1 : Pengalaman ini berbahaya atau membosankan (B)
Premis 2 : Pengalaman ini tidak berbahaya (B)
Konklusi : Pengalaman ini membosankan (B)

2. Premis 1 : Air ini panas atau dingin (B)
Premis 2 : Air ini panas (B)
Konklusi : Air ini tidak dingin (B)

3. Premis 1 : Obyeknya berwarna merah atau sepatu
Premis 2 : Obyek ini berwarna merah
Konklusi : Obyeknya bukan sepatu (tidak valid)

Konjungsi
Premis 1 : p
Premis 2 : q
Konklusi : p . q
Artinya : p benar, q benar. Maka p . q benar.

Tambahan (Addition)
Premis 1 : p
Konklusi : p v q
Artinya : p benar, maka p v q benar (tidak peduli nilai benar atau nilai salah yang dimiliki q).
30
Dua bentuk argumen valid yang lain adalah Dilema Konstruktif dan Dilema Destruktif.

Dilema Konstruktif
Premis 1 : (p ¬ q) . (r ¬ s)
Premis 2 : p v r
Konklusi : q v s
Dilema konstruktif ini merupakan kombinasi dua argumen modus ponen (periksa argumen modus ponen).

Contoh :
Premis 1 : Jika hari hujan, aku akan tinggal di rumah; tetapi jika pacar datang, aku pergi berbelanja.
Premis 2 : Hari ini hujan atau pacar datang.
Konklusi : Aku akan tinggal di rumah atau pergi berbelanja.

Dilema Konstruktif :
Premis 1 : (p ¬ q) . (r ¬ s)
Premis 2 : ~ q v ~ s
Konklusi : ~ p v ~ r
Dilema destruktif ini merupakan kombinasi dari dua argumen modus tolens (perhatikan argumen modus tolen).

Contoh :
Premis 1 : Jika aku memberikan pengakuan, aku akan digantung; dan jika aku tutup mulut, aku akan ditembak
mati.
Premis 2 : Aku tidak akan ditembak mati atau digantung.
Konklusi : Aku tidak akan memberikan pengakuan, atau tidak akan tutup mulut.

2. Validitas Pembuktian (II)(Hanya untuk pengayaan)
Sekarang kita akan membicarakan pembuktian argumen yang lebih kompleks dengan menggunakan bentuk-bentuk argumen valid
di atas.

Contoh :
Diberikan argumen : (p . q) ¬ [p ¬ (s . t)]
(p . q) . r
s v t
Apakah argumen di atas valid ?
31
Jawab :
Berikut ini adalah langkah-langkah pembuktian yang dilakukan :
(p . q) ¬ [p ¬ (s . t) Premis
(p . q) . r Premis
p . q 2, Penyederhanaan
p ¬ (s . t) 1, 3, Modus Ponen
p 3, Penyederhanaan
s . t 4, 5, Modus Ponen
s 6, Penyederhanaan
s v t 7, Tambahan
Jadi argumen tersebut di atas adalah absah (valid).

Jika pengetahuan logika diperlukan atau pengetahuan aljabar diperlukan, maka semua orang akan belajar matematika. Pengetahuan
logika diperlukan dan pengetahuan geometri diperlukan. Karena itu semua mahasiswa akan belajar matematika. Validkah argumentasi
di atas ?
Jawab :
Kita akan menerjemahka argumen- argumen di atas ke bentuk simbol-simbol.
Misal : l = pengetahuan logika diperlukan,
a = pengetahuan aljabar diperlukan,
m = Semua orang akan belajar matematika,
g = pengetahuan geometri diperlukan.

Maka :
(l v a) ¬ m Premis
l . g Premis
l 2, Penyederhanaan
l v a 3, Tambahan
m 1, 4, Modus Ponen
Jadi argumen di atas adalah valid.

Demikianlah, kita dapat membuktikan argumen - argumen yang tampaknya berbelit-belit dengan menggunakan argumentasi valid
yang telah kita miliki. Perhatikan baik-baik cara menerjemahkan argumentasi itu menjadi simbol-simbol.

32
Pembuktian Tidak Langsung
Pembuktian-pembuktian yang telah kita bicarakan di atas, merupakan pembuktian yang langsung. Suatu argumen adalah valid
secara logis jika premis-premisnya bernilai benar dan konklusinya juga bernilai benar.
Berdasarkan pemikiran ini, jika premis-premis dalam suatu argumen yang valid membawa ke konklusi yang bernilai salah, maka
paling sedikit ada satu premis yang bernilai salah.
Cara pembuktian ini disebut pembuktian tidak langsung atau pembuktian dengan kontradiksi atau reductio ad absurdum.

Contoh :
Premis 1 : Semua manusia tidak hidup kekal (Benar)
Premis 2 : Chairil Anwar adalah manusia (Benar)
Buktikan bahwa “Chairil Anwar tidak hidup kekal” (premis 3) dengan melakukan pembuktian tidak langsung.
Bukti :
Kita misalkan bahwa : Chairil Anwar hidup kekal (premis 4) (dan kita anggap bernilai benar).
Maka berarti : Ada manusia hidup kekal (premis 5).
Tetapi premis 5 ini merupakan negasi dari premis 1. Yang sudah kita terima kebenarannya.
Oleh karena itu premis 5 ini pasti bernilai salah.
Karena premis 5 bernilai salah maka premis 4 juga bernilai salah. Sebab itu premis 3 bernilai benar.
Jadi terbukti bahwa “Chairil Anwar tidak hidup kekal”.

Ringkasannya, kita dapat membuktikan bahwa suatu pernyataan bernilai benar, dengan menunjukkan bahwa negasi dari pernyataan
itu salah. Ini dilakukan dengan menurunkan konklusi yang salah dari argumen yang terdiri dari negasi pernyataan itu dan pernyataan
atau pernyataan-pernyataan lain yang telah diterima kebenarannya.
33
Latihan Soal
BAB II
PERNYATAAN
BAB III
KATA HUBUNG KALIMAT
BAB IV
TAUTOLOGI EKUIVALEN
KONTRADIKSI
BAB I
PENGANTAR LOGIKA
BAB V
KUANTOR
BAB VI
VALIDITAS PEMBUKTIAN
Selamat datang di
CD berprograma
Menu Utama
Info Dosen
Diskripsi
Mata Kuliah
Kompetensi Dasar
Materi
Latihan Soal
34
SOAL BAB I
1. Kemampuan menalaar adalah
2. Logika adalah
3. Belajar logika adalah
4. Manusia belajar logika sejak jaman Junani Kuno. Aristoteles (filsuf atau ahli filsafat) merintis logika
tradisional yang semula disebut
5. Terdapat 5 aliran besar dalam logika, yaitu
6. G.W. Leibniz adalah

35
SOAL BAB II
1. Tentukan kalimat mana yang merupakan pernyataan !
a. Jakarta ibu kota RI
b. Silakan duduk !
c. Haati-hati menyeberang !
d. Semoga kalian lulus ujian
e. 7 < 6
f. Plato habis dibagi 11.
g. Udel jatuh dari sepeda.
h. (x + y)
i. (x – 1)
j. Saya seorang mahasiswa
k. 3p > 2p
l. 9x – 1 = 8
m. Berapa 9 dikurangi 7 ?
n. Manusia makan nasi.
Perhatikan jawabanmu untuk g dan n.

2. Kalimat-kalimat berikut ini merupakan pernyataan majemuk. Tentukan pernyataan-pernyataan sederhananya.
a. Baik kantor maupun bank tidak buka hari ini.
b. Hari sangat panas, rasanya aku ingin mandi.
c. Toni belum datang atau dia sudah berangkat sebelum kami tiba.
d. Nelayan melaut hanya jika bertiup angin darat.
e. Udara sudah terasa panas walaupun hari masih pagi.
f. Jika air dibubuhi garam, maka titik bekunya menurun.
g. Ayah pergi ke Jakarta naik pesawat terbang atau kamu pergi ke Surabaya naik bus malam (ada 4 pernyataan
sederhana).
h. Bila pembunuh itu diperiksa dan mengatakan yang sebenarnya, ia dinyatakan salah, dan jika ia tidak diperiksa, ia
dinyatakan salah juga.
36
3. Perhatikan kalimat-kalimat berikut ini :
a. Fransiska beragama Kristen.
b. Diagonal-diagonal sebuah bujur sangkar saling berpotongan dan tegak lurus satu sama lain.
c. Tiga adalah kurang dari lima.
d. x – 5 < 7
e. 4 > 10 – 8
f. Jika saya lapar maka saya tidak dapat belajar.
g. Agus kuliah di IKIP.
h. A ABC sama kaki.
i. Segi tiga sama sisi adalah segi tiga yang ketiga sisinya sama panjang.
j. Manusia berkaki dua.
k. Manakah yang merupakan kalimat terbuka?
l. Manakah yang merupakan kalimat matematika?
m. Manakah yang merupakan kalimat deklaratif?
o. Manakah yang merupakan kalimat definisi?
37
SOAL BAB III
1. Tulislah negasi dari pernyataan-pernyataan berikut ini !
a. Harga BBM naik
b. 2 = 3
c. Bajuku hitam
d. Semua jenis ikan bertelur
e. Beberapa astronot adalah wanita
2. Perhatikan pernyataan-pernyataan di bawah ini :
a. p : Bumi berbentuk bulat
b. q : Bumi bukan berbentuk bulat
c. r : Bumi berbentuk kubus
d. Apakah q negasi dari p ?
e. Apakah r negasi dari p ? Berikan alasanmu dengan mengingat definisi negasi suatu pernyataan.
3. Tentukan negasi dari pernyataan :
a. Mungkin akan hujan salju haari ini.
4. Untuk setiap nomor berikut ini diberikan dua buah pernyataan, tentukan apakah pernyataan kedua adalah ingkaran
pernyataan pertama.
a. Eileen seorang sarjana.
Eileen bukan sarjana.
b. Semua anak haus.
Seorang anak tidak haus.
c. Beberapa ekor kelinci berwarna putih.
Beberapa ekor kelinci berwarna hitam.
d. Semua mahasiswa berseragam abu-abu.
Beberapa mahasiswa berseragam putih-putih.
38
e. Semua alat pemadam kebakaran berwarna merah.
Semua alat pemadam kebakaran berwarna kuning.
f. Semua anak berbaju biru.
Semua anak berbaju hijau.
5. Tentukan negasi setiap kalimat berikut !
a. Semua kerbauku mandi di sungai.
b. Beberapa kambingku ada di padang rumput.
c. Hanya seekor itikku belum masuk kandang.
d. Tidak ada dua orang yang serupa.
e. Hari ini mendung.
6. Diketahui “p : pelaut itu gagah” dan “q : pelaut itu berbadan tinggi”. Nyatakan kalimat-kalimat berikut dalam bentuk
simbolik menggunakan p dan q !
a. Pelaut itu gagah dan tinggi badannya.
b. Meskipun pelaut itu gagah tetapi tidak tinggi badannya.
c. Pelaut itu tidak gagah tetapi tinggi badannya.
d.Pelaut itu tidak gagah juga tidak tinggi badannya.
e. Tidak benar bahwa pelaut itu gagah juga tinggi badannya.
7. Samakah nilai kebenaran pernyataan d. dan pernyataan e. ? Periksalah dengan menggunakan tabel kebenaran !
8. Tentukan disjungsi inklusif atau disjungsi eksklusifkah pernyataan majemuk berikut ini !
a. Pangeran Diponegoro dimakamkan di Sulawesi atau di Jawa.
b. Candi Borobudur dibuat dari batu atau terletak di Pulau Jawa.
c. Setiap pagi ia sarapan nasi atau roti.
d. Hari ini hari Minggu atau besok hari Senin.
e. Aku akan mendapaat nilai A atau B dalam mata kuliah ini.
9. Jika “p : gadis itu ramah” dan “q : gadis itu cantik”, tuliskan secara dimbolik pernyataan-pernyataan berikut ini !
a. Gadis itu tidak ramah atau cantik.
b. Gadis itu tidak cantik atau tidak ramah.
Samakah nilai kebenaran pernyataan b. dan pernyataan c. ? Periksalah dengan menggunakan tabel kebenaran !

39
10. Perhatikan pernyataan berikut ini !
a. Setiap bilangan bulat merupakan bilangan genap atau gasal.
b. Kemarin bukan hari Rabu, dan sekarang hari Kamis.
c. Kemarin bukan hari Selasa atau besok bukan haari Kamis.
d. Tidak benar bahwa gadis itu cantik atau ramah.
e. Aku akan lulus atau tidak lulus dalam ujian mendatang.
f. Hari ini cuaca cerah atau ramalan cuaca salah.
Tentukan nilai kebenarannya. (Pikirkan baik-baik).
11. Tentukan komponen-komponen dari pernyataan-pernyataan berikutini, dan tentukan kata hubung kalimat yang menghubungkan
komponen-komponen itu !
a. Wardan tidak senang juga tidak sedih mendengar berita itu.
b. Dia berputus asa atau tidak berputus asa mendengar keputusan itu.
c. Gadis itu sehat dan selamat sampai di rumah.
d.Tidak seorangpun hadir dalam pertemuan ini, tetapi dia tidak perduli.
e. Setiap sudut merupakan sudut runcing, atau sudut siku-siku, atau sudut tumpul, atau sudut lurus.
f. Tidak seorangpun dari Soleh atau Tati ingin pergi berkemah.
12. Buatlah tabel kebenaran untuk pernyataan komposit ~ p V q V r. perhatikan bahwa terdapat 3 pernyataan sederhana. Berapa
banyak kemungkinan kombinasi nilai kebenaran dari suatu pernyataan komposit yang mempunyai n pernyataan sederhana ?
13. Diketahui p : Ita ujian (B), dan
q : Ita mentraktir teman-temannya (B)
Tuliskan secara simbolik pernyataan-pernyataan berikut ini dan tentukan nilainya!
a. Ita lulus ujian tetapi tidak mentraktir teman-temannya.
b. Ita mentraktir teman-temannya asal saja dia lulus ujian.
c. Itta tidak akan lulus ujian hanya jika dia tidak mentraktir teman-temannya.
d. Ita tidak mentraktir teman-temannya jika dia tidak lulus ujian.
e. Tidak benar bahwa Ita mentraktir teman-temannya jika dia tidak lulus ujian.
14.Tentukan nilai kebenaran dari p ¬ q bila diketahui:
a. p : 23 = 6, dan q : Pancasila dasar negara kita.
b. p : Singaraja ada di Bali, dan q = - 3 < - 5
40
15. Ubahlah bentuk pernyataan-pernyataan berikut ini menjadi “Jika … maka …”!
a. Kamu akan memperolehnya jika kamu mencarinya.
b. Saya akan pergi hanya jika kamu mengusir saya.
c. Kita perlu makan untuk hidup.
d. Semua manusia yang bercita-cita tinggi suka bekerja keras.
e. Tidak seorang manusiapun dapat terbang.
f. Jika kamu melakukan perbuatan itu, kamu orang yang bodoh.
g. Bila aku melihat kamu, aku akan berteriak kuat-kuat.
h. Agar dua buah segi tiga sebangun, sudut-sudut yang bersesuaian dalam kedua segi tiga itu sama besarnya.
16. Jika p ¬ q sudah dinyatakan benar maka dapat juga dikatakan:
p adalah syarat cukup bagi p
q adalah syarat perlu bagi p
(Seperti telah dikemukakan diatas)
Perhatikan pertanyaan-pertanyaan berikut ini:
a. “Segi empat ABCD bujur sangkar”
“Diagonal-diagonal ABCD saling tegak lurus”
Tentukan implikasi yang bernilai benar dari kedua pertanyaan diatas (dengan memperlihatkan syarat perlu dan
syarat cukup).
b. “Ali beragama Islam”
“Aku seorang haji”
Ali beragama Islam adalah syarat … bagi Ali seorang haji.
Ali seorang haji adalah syarat … bagi ali beragama islam.
c. “Garis l dan garis m sejajar”
“Garis l dan garis m sebidang”
adalah syarat cukup bagi
d. adalah syarat cukup bagi
41
17.Tentukan nama syarat perlu dan syarat cukup untuk pertanyaan-pertanyaan berikut :
a. Saya akan datang jika tidak hujan.
b. Saya akan datang hanya jika tidak hujan.
c. Jika telepon berbunyi, saya langsung berlari untuk menjawabnya.
d. Semua manusia dapat membaca.(satu syarat adalah dapat membaca dan syarat lainnya adalah menjadi
manusia)
e. Manusia adalah binatang yang mempunyai akal budi, perhatikan soal 4.d. dan 4.e. dan bandingkan dengan soal
3.d. dan 3.e. pada latihan sebelumnya.
18. Tentukan konvers, invers, dan kontraposisi dari implikasi nomor 3a., 3b., dan 3c.

42
SOAL BAB IV
1. a. Buktikan Bahwa ~ (p A ~ q) adalah suatu tautologi
b. Apakah setiap dua tautologi berekivalensi logis ?
2. Buktikan setiap pernyataan berikut ini !
a. p ÷ (p A p)
b. p ÷ (p V p)
c. ~ (p V q) ÷ (~ p A ~ q) (hukum De Morgan)
d. ~ (p A q) ÷ (~ p V ~ q) (hukum De Morgan)
3. Buktikan bahwa p ¬ q tidak ekivalen dengan p A q
4. Buktikan bahwa p · q ekivalen dengan (p ¬ q) A (q ¬ p)
5. Buktikan bahwa (p A q) A ~ (p V q) merupakan kontradiksi.
6. Sederhanakan pernyataan-pernyataan berikut ini !
a. ~ (p V ~ q)
b. ~ (~ p ¬ q)
c. ~ (~ p ¬ q)
d. ~ (~ p · q)
7. Manakah diantara pernyataan berikut ini yang merupakan tautologi ?
a. p ¬ (p A q)
b. p ¬ (p V q)
c. (p q) ¬ p
d. (p V q) ¬ p
e. q ¬ (p ¬ q)
43
8. Buktikan setiap pernyataan berikut ini :
a. p ¬ q ÷ ~ (p A ~q)
b. p V (q V r) ÷ (p V q) V r (hukum assosiatif)
c. p A (q V r) ÷ (p A q) V (p A r) (hukum distributif)
d. p V (q A r) ÷ (p V q) A (p V r) (hukum distributif)
e. p ¬ (q A r) ÷ (p ¬ q) A (p ¬ r)
9. Buktikan bahwa p V q ~ (p V q) A ~ (p A q)
10. Buktikan bahwa p ~ q berlaku untuk setiap pernyataan berikut ini !
a. (p ¬ q) A (q ¬ p)
b. (p A q) A (~ p A ~ q)
11. Buktikan bahwa pernyataan [(p ¬ q) A (q ¬ r)] ¬ (p ¬ r) merupakan tautologi.
12. Jika p : “Dia kaya” dan q : “Dia bahagia”, tuliskan kalimat berikut ini dalam bentuk simbolik menggunakan p dan q.
a. Menjadi miskin adalah tidak bahagia.
b. Dia tidak dapat sekaligus menjadi kaya dan bahagia.
c. Jika dia tidak miskin dan bahagia maka dia kaya.
d. Menjadi miskin berarti berbahagia.
e. Adalah perlu untuk menjadi miskin agar bahagia.
13. Tuliskan ingkaran setiap pernyataan majemuk berikut ini dalam bentuk kalimat yang sederhana !
a. Dia tidak tampan dan tidak mempunyai kedudukan.
b. Jika terjadi devaluasi, banyak timbul pengangguran.
c. Rambutnya pirang jika dan hanya jika matanya biru.
d. Jika Ira kaya, maka Tuti dan Husein senang.
e. Baik Darwin maupun Darto mahasiswa yang baik.

44
SOAL BAB V
1. Misalakan p(x) menyatakan kalimat terbuka “x2 s x”. Apakah p(x) merupakan fungsi pernyataan pada setiap himpunan
berikut ini ?
a. A = {bilangan asli}
b. B = {-1, -2, -3, . . .}
c. K = {bilangan kompleks}
2. Tentukan nilai kebenaran dari setiap pernyataan berikut ini dalam semesta pembicaraan himpunan bilangan real.
a. -x (x2 = x) e. -x (x2 –2x + 1 = 0)
b. -x ( = 0) f. ¬x (x2 + 2x + 1 > 0)
c. ¬x (x < x + 1) g. -x ( > 0)
d. ¬x (x – 1 = x) h. ¬x (x2 – 3x + 2 = 0)
3. Tuliskan negasi pernyataan-pernyataan di atas !
4. Tuliskan pernyataan-pernyataan berikut ini dalam bentuk simbolik ! Kemudian tentukan negasinya.
a. Tidak semua pulau di Indonesia didiami oleh penduduk.
b. Di perguruan tinggiku ada profesor wanita.
c. Semua laki-laki dapat dipercaya.
d. Setiap bilangan kuadrat lebih besar atau sama dengan nol.
e. Ada segi tiga sama kaki yang bukan segi tiga sama sisi.
f. Tidak ada manusia yang hidup abadi.
5. Tentukan negasi pernyataan-pernyataan berikut ini !
a. -x (x + 3 = 5) dalam himpunan X = {1, 2, 3, . . .}
b. ¬n (2 + n > 5) dalam himpunan bilangan asli.
c. (¬x e R) (x2 > 0); R = {bilangan cacah}
d. -x = 0 dalam himpunan bilangan real.
e. (-x e R) (x2 > x); R = {bilangan real}.

45
6. Semesta pembicaraan pernyataan-pernyataan berikut ini adalah X = {1, 2, 3, 4, 5}.
Tentukan nilai kebenaran setiap pernyataan berikut ini, kemudian tentukan negasinya !
a. ¬x (4 + x < 10)
b. -x (4 + x = 7)
c. ¬x (4 + x s 7)
d. -x (4 + x > 8)
7. Tentukan negasi pernyataan-pernyataan berikut ini !
a. ¬x p(x) . ¬y q(y)
b. ¬x p(x) ¬ ¬y q(y)
c. ¬x p(x) v -y q(y)
d. -x p(x) ¬ -y ~ q(y)
8. Tentukan contoh lawan (counter example) dari setiap pernyataan berikut ini dalam himpunan B = {4, 5, 6, . . ., 10} !
a. ¬x (x bilangan prima)
b. ¬x (x + 4 < 13)
c. ¬x (x adalah bilangan genap)
d. ¬x (x9 > 100)
9. Tentukan nilai kebenaran dari setiap pernyataan berikut ini dengan semesta pembicaraan himpunan A {1, 2, 3}.
a. ¬x -y (x + y = 1) h. -x ¬y (x2 < y + 1)
b. -x ¬y (x + y = 1) i. ¬x ¬y (x2 + y2 < 20)
c. -x -y (x + y = 1) j. ¬x -y (x2 + y2 < 13)
d. ¬x -y (x2 < y + 1) k. -x ¬y (x2 + y2 < 13)
e. -x -y (x2 < y + 1) l. -x -y (x2 + y2 < 13)
f. -x -y ¬z (x2 + y2 < z2) m. ¬x ¬y -z (x2 + y2 < z2)
g. -x ¬y -z (x2 + y2 < z2) n. -x -y -z (x2 + y2 < z2)
10. Tentukan nilai kebenaran dari setiap pernyataan berikut ini dengan semesta pembicaraan himpunan bilangan real !
a. ¬x - y (x = y) c. -x ¬y (y = x)
b. ¬x ¬y (y = x) d. -x -y (y = x)
11. Diketahui himpunan A = {1, 2, 3, . . ., 10}.
Perhatikan bentuk-bentuk simbolik berikut ini :
a. ¬y (x + y < 14) c. ¬x -y (x + y < 14)
b. ¬x ¬y (x + y < 14) d. ¬x (x + y < 10)
Termasuk pernyataan atau kalimat terbukakah bentuk itu ? Jika termasuk pernyataan, tentukan nilai kebenarannya,
jika termasuk kalimat terbuka, tentukan himpunan penyelesaiannya.


46
12. Tentukan negasi dari pernyataan-pernyataan berikut ini !
a. ¬x ¬y p(x,y) d. ¬x ¬y [~ p(x) v q(y)]
b. ¬x -y p(x,y) e. -x ¬y [p(x) ¬ q(y)]
c. -x ¬y [p(x) . q(y)] f. ¬x ¬y -z p(x,y,z)
13. Kalimat berikut ini merupakan kalimat definisi dari barisan bilangan real a1, a2, a3, . . . yang mempunyai limit nol :
¬c > 0 -n0 e ¬n (n > n0) ¬ < c
Tentukan negasi dari pernyataan di atas.

47

Selamat datang di CD berprograma Menu Utama

Selamat datang di CD berprograma

Info Dosen Diskripsi Mata Kuliah Kompetensi Dasar

LOGIKA MATEMATIKA

Materi

Latihan Soal
2

Selamat datang di CD berprograma

Menu Utama
Menu Utama

LOGIKA MATEMATIKA
Info Dosen

Info Dosen Diskripsi Mata Kuliah Kompetensi Dasar

Diskripsi Mata Kuliah Kompetensi Dasar Materi Latihan Soal

Materi

Latihan Soal

3

Selamat datang di CD berprograma Menu Utama

Info Dosen
Nama NIP Alamat Telpon HP. Program Jurusan Fakultas Universitas : Drs. Toto’ Bara Setiawan, M.Si : 131 624 470 : Jl. Karang Setra 24 Jember : (0331) 321987 : 081336795159 : Pendidikan Matematika : Pendidikan MIPA : Keguruan dan Ilmu Pendidikan : Universitas Jember

Info Dosen Diskripsi Mata Kuliah Kompetensi Dasar

Materi

Latihan Soal
4

tautologi. kuantor. ekuivalen. kontradiksi. dan validitas pembuktian Materi Latihan Soal 5 .Selamat datang di CD berprograma Menu Utama Info Dosen Diskripsi Mata Kuliah Kompetensi Dasar Diskripsi Mata Kuliah LOGIKA MATEMATIKA (KPM1127 / 2 sks / semester I) Ruang lingkup materi mata kuliah ini meliputi : Proposisi dan negasinya. nilai kebenaran dari proposisi.

mahasiswa diharapkan dapat memahami cara pengambilan keputusan berdasarkan logika matematika Info Dosen Diskripsi Mata Kuliah Kompetensi Dasar Materi Latihan Soal 6 . setelah mempelajari Mata Kuliah Logika Matematika.Selamat datang di CD berprograma Menu Utama Kompetensi Dasar Pada akhir semester.

Selamat datang di CD berprograma Menu Utama Materi BAB I PENGANTAR LOGIKA BAB II PERNYATAAN BAB III KATA HUBUNG KALIMAT Info Dosen Diskripsi Mata Kuliah Kompetensi Dasar BAB IV TAUTOLOGI EKUIVALEN KONTRADIKSI BAB V KUANTOR BAB VI VALIDITAS PEMBUKTIAN Materi Latihan Soal 7 .

Aristoteles (384 . pikiran logis dan perasaan harus digabung. 3. 3. Untuk dapat menarik konklusi yang tepat.322 SM) adalah seorang filsuf yang mengembangkan logika pada jaman itu. Terdapat 5 aliran besar dalam logika. Kita mengenali dan menggunakan bentuk-bentuk umum tertentu dari cara penarikan konklusi yang absah. 8 . yang pada waktu itu dikenal dengan sebutan logika tradisional. Kemampuan menalar adalah kemampuan untuk menarik konklusi yang tepat dari bukti-bukti yang ada. Tugas pokok logika adalah menafsirkan pikiran sebagai suatu tahap dari struktur kenyataan. karena dengan belajar logika : a. Aliran Logika Metafisis Susunan pikiran itu dianggap kenyataan. logika harus dihubungkan dengan seluruh pengetahuan lainnya. Kita dapat memperpanjang rangkaian penalaran itu untuk menyelesaikan problem-problem yang lebih kompleks. dan menurut aturan-aturan tertentu. Demikian juga untuk mencapai kebenaran.BAB I PENGANTAR LOGIKA 1.1924) dan Bernard Bosanquet (1848 . Manusia mampu mengembangkan pengetahuan karena mempunyai bahasa dan kemampuan menalar. Konsep Logika Apakah logika itu ? Seringkali Logika didefinisikan sebagai ilmu untuk berfikir dan menalar dengan benar (sehingga didapatkan kesimpulan yang absah). 2. Pentingnya Belajar Logika Belajar logika (logika simbolik) dapat meningkatkan kemampuan menalar kita. dan menghindari kesalahan-kesalahan yang bisa dijumpai.1923). b. Untuk dapat mencapai pengetahuan yang memadai. Sebab itu untuk mengetahui kenyataan. orang harus belajar logika lebih dahulu. Aliran Logika Tradisional Logika ditafsirkan sebagai suatu kumpulan aturan praktis yang menjadi petunjuk pemikiran. sehingga logika dianggap seperti metafisika. Aliran Logika Epistemologis Dipelopori oleh Francis Herbert Bradley (1846 . Sejarah Ringkas dan Perkembangan Logika Manusia belajar logika sejak jaman Yunani Kuno. yaitu : 1. 2. diperlukan kemampuan menalar.

1716) dianggap sebagai matematikawan pertama yang mempelajari Logika Simbolik. Metode-metode dalam mengembangkan matematika banyak digunakan oleh aliran ini. George Boole (1815 . John Venn (1834 . bagaimana akal harus bekerja. Pemakaian simbol-simbol matematika untuk mewakili bahasa. G.1970).1864) berhasil mengembangkan Logika Simbolik. 5. Aliran ini sangat menekankan penggunaan bahasa simbol untuk mempelajari secara terinci. Tokoh-tokoh terkenal lainnya yang menjadi pendukung perkembangan logika simbolik adalah De Morgan. sekarang ini digunakan secara luas dalam mendesain komputer. khususnya yang dikembangkan dengan penggunaan metodemetode matematika dan dengan bantuan simbol-simbol khusus sehingga memungkinkan seseorang menghindarkan makna ganda dari bahasa sehari-hari (Frederick B. 9 .4. Aljabar Boole. Pada abad kesembilan belas.W. 2. Leonard Euler (1707 . 1. Aliran Logika Instrumentalis (Aliran Logika Pragmatis) Dipelopori oleh John Dewey (1859 . Logika dianggap sebagai alat (instrumen) untuk memecahkan masalah. Bukunya yang berjudul Low of Though mengembangkan logika sebagai sistem matematika yang abstrak. sehingga aliran ini berkembang sangat teknis dan ilmiah serta bercorak matematika. salah satu topik yang merupakan perluasan logika (dan teori himpunan). Ketidakjelasan berbahasa dapat dihindari dengan menggunakan simbol-simbol. Logika simbolik adalah ilmu tentang penyimpulan yang sah (absah). Karena akan dibahas banyak mengenai Logika Simbolik maka berikut ini disampaikan dua pendapat tentang Logika Simbolik yang merangkum keseluruhan maknanya. Leibniz (1646 .1783). Simbol-simbol itu diolah sesuai dengan aturan-aturan matematika untuk menetapkan apakah suatu pernyataan bernilai benar atau salah. Penggunaan simbol-simbol Boole dapat mengurangi banyak kesalahan dalam penalaran. Studi tentang logika berkembang terus dan sekarang logika menjadi ilmu pengetahuan yang luas dan yang cenderung mempunyai sifat teknis dan ilmiah. Fitch dalam bukunya “Symbolic Logic”). yang kemudian disebut Logika Matematika (Mathematical Logic). karena setelah problem diterjemahkan ke dalam notasi simbolik. Logika Simbolik ini merupakan logika formal yang semata-mata menelaah bentuk dan bukan isi dari apa yang dibicarakan.1952).1923). Boole dan De Morgan. penyelesaiannya menjadi bersifat mekanis. Alfred North Whitehead dan Bertrand Russell (1872 . Aliran Logika Simbolis Dipelopori oleh Leibniz.

Kalimat berarti rangkaian kata yang disusun menurut aturan tata bahasa dan mengandung arti. 4 kurang dari 5 2. Contoh : 1. tetapi tidak sekaligus benar dan salah. Dalam logika matematika hanya dibicarakan kalimat-kalimat berarti yang menerangkan (kalimat deklaratif/indicative sentences). Nilai benar artinya ada kesesuaian antara yang dinyatakan oleh kalimat itu dengan keadaan sesungguhnya (realitas yang dinyatakannya). Contoh : Kalimat 1. sedang kalimat 4 bernilai salah. dan 8. 2. yaitu benar dalam arti matematis. terlihat bahwa kalimat 1. atau salah saja. Pernyataan Definisi : Suatu pernyataan (statement) adalah suatu kalimat deklaratif yang bernilai benar saja. Sejuk benar udara di sini ! (Kalimat ungkapan perasaan) 8. bernilai benar. 7. 1. dan 4 Benar atau salahnya sebuah pernyataan disebut nilai kebenaran pernyataan itu. Kalimat adalah kumpulan kata yang disusun menurut aturan tata bahasa. 10 . 3. (Kalimat pengharapan) Dari contoh-contoh di atas. 2 adalah bilangan prima yang genap 4. tidak dapat ditentukan nilai benar atau salahnya. akan kita bahas terlebih dahulu apa yang disebut kalimat. Berapa umurmu ? (Kalimat tanya) 6. Mudah-mudahan terkabul cita-citamu. 2. Kalimat 5.BAB II PERNYATAAN Sebelum membahas tentang pernyataan. Indonesia terdiri atas 33 propinsi 3. Kata adalah rangkaian huruf yang mengandung arti. Bersihkan tempat tidurmu ! (Kalimat perintah) 7. 3 adalah bilangan genap dan tidak akan dibicarakan kalimat-kalimat seperti : 5. dan 3.

Sedang kalimat tak berarti contohnya : 9. Batu makan rumput 10. Dalam buku ini kita mendefinisikan proposisi sebagai pernyataan. dan 4. q. Sedang pernyataan sederhana disebut juga pernyataan primer atau pernyataan atom. Contoh : p : Ada 12 bulan dalam setahun (B) q : 4 + 5 = 8 (S) 11 . 7. Sehingga dikatakan bahwa kedua kalimat itu merupakan proposisi yang sama. Sedangkan kalimat pada contoh 3. Yang membedakan antara proposisi dan pernyataan menganggap bahwa contoh 9. tetapi mempunyai arti yang sama. r. 3 melempari 5 Ada buku yang membedakan antara proposisi dan pernyataan. Kalimat pada contoh 1. dan 8. yang terdiri atas satu atau lebih pernyataan sederhana dengan bermacam-macam kata hubung kalimat (connective/perangkai). sebaliknya suatu pernyataan belum tentu merupakan proposisi. Nilai kebenaran dari suatu pernyataan majemuk ditentukan oleh nilai kebenaran dari setiap pernyataan sederhana yang dikandungnya dan cara menghubungkan pernyataan-pernyataan sederhana itu. dan 10. juga merupakan pernyataan walaupun tidak berarti (bermakna). adalah pernyataan majemuk (composite/compound statement). dan bukan oleh keterkaitan isi pernyataan-pernyataan sederhana tersebut. misalnya p. menurut jenisnya suatu kalimat secara sederhana dapat dibagi seperti di bawah ini Kalimat berarti Kalimat tak berarti Kalimat Deklaratif Bukan Kalimat Deklaratif bernilai benar bernilai salah Kalimat Bukan pernyataan (bukan kalimat deklaratif) contohnya : Kalimat 5. 6. Suharto adalah presiden kita dengan Suharto is our presiden adalah dua kalimat yang berbeda.Seperti telah kita ketahui. Sehingga proposisi adalah pernyataan. sedang nilai benar disimbolkan dengan “B” atau “1 (satu)” dan nilai salah disimbolkan dengan “S” atau “0 (nol)”. Suatu pernyataan umum disimbolkan dengan huruf abjad kecil. disebut pernyataan sederhana (simple statement). 2. yaitu pernyataan yang hanya menyatakan pikiran tunggal dan tidak mengandung kata hubung kalimat. … dan seterusnya. Pernyataan yang diungkapkan oleh suatu kalimat berarti disebut proposisi.

Jika “p” pada e diganti “0. .2. . .” pada b diganti “Hani”. 3. . Jelas pernyataan itu bernilai salah saja. 1. 2. Sedangkan pengganti-pengganti seperti “Yohana”. Jika “. 4”. = 7 e. 3. maka kalimat menjadi “Yohana makan nasi”. Kalimat ini jelas bernilai salah saja atau bernilai benar saja. yaitu salah saja atau benar saja. Jika “x” pada c diganti “3” maka kalimat itu menjadi “4 + 3 = 7”. 6. Perhatikan kalimat berikut ini : a. 4 + . Kalimat seperti ini disebut pernyataan faktual. . Kalimat (pernyataan) ini jelas bernilai benar saja. 1. 12 ." dalam semesta pembicaraan himpunan bilangan cacah. 2. . “x”. . Manusia makan nasi. 7. . “Hani”. p < 5 Ada yang mengatakan bahwa kalimat a benar. tetapi kalimat (pernyataan) itu menjadi bernilai salah apabila “p” pada e diganti "5. Demikian pula jika “. Ada juga yang mengatakan bahwa kelima-kalimat di atas belum dapat dikatakan mempunyai nilai. b. memakai sepatu c. . maka kalimat itu menjadi “4 + 4 = 7”. tergantung realitanya. .” pada d diganti “4”. ditentukan oleh kebenaran atau ketidakbenaran realita yang dinyatakan. maka kalimat ini menjadi “Hani memakai sepatu”. “3”. : Konstanta adalah simbol yang menunjukkan anggota tertentu (yang sudah spesifik) dalam semesta pembicaraan. Kalimat (pernyataan) itupun menjadi jelas nilainya. maka pernyataan “p < 5” menjadi bernilai benar. . ." disebut konstanta. “4”. 7. tergantung realitasnya. “Manusia”. Jika kata “manusia” dalam kalimat a diganti “Yohana”. “. 6. . tergantung pada kesesuaian kalimat itu dengan keadaan sesungguhnya. Variabel dan Konstanta Definisi : Variabel adalah simbol yang menunjukkan suatu anggota yang belum spesifik dalam semesta Definisi pembicaraan. dan “0. Seperti telah kita ketahui.”. nilai benar maupun nilai salah sebuah kalimat (baik kalimat sehari-hari maupun kalimat matematika). 4 + x = 7 d. . Kalimat ini disebut pernyataan faktual. . tetapi ada juga yang mengatakan bahwa kalimat itu salah. . . “p” pada kalimat-kalimat di atas disebut variabel. 4” dan "5.

dan e. “>” atau “≠” disebut ketidaksamaan. Di atas telah diberikan definisi-definisi dari pernyataan. 13 . maka kalimat yang terjadi dapat disebut kalimat tertutup. disebut kalimat matematika (ada yang menyebut kalimat bilangan). dan kalimat terbuka. Pernyataan yang menjelaskan istilah-istilah di atas disebut kalimat definisi. Definisi : Kalimat terbuka adalah kalimat yang mengandung variabel. konstanta. d. Kalimat e yang menggunakan tanda “<” disebut pertidaksamaan (sebutan ini juga berlaku untuk kalimat matematika yang masih mengandung variabel dan menggunakan tanda ”>” atau “≠” Jika variabel pada kalimat matematika itu sudah diganti dengan konstanta dan kalimat matematika itu menggunakan tanda “=” maka kalimat yang terjadi disebut kesamaan. Kalimat Terbuka Kalimat-kalimat seperti a sampai dengan e di atas disebut kalimat terbuka. variabel. Kalimat terbuka seperti c. Pada kalimat definisi tidak boleh terdapat kata-kata yang belum jelas artinya.3. apalagi kata yang sedang didefinisikan. dan jika variabel tersebut diganti konstanta dari semesta yang sesuai maka kalimat itu akan menjadi kalimat yang bernilai benar saja atau bernilai salah saja (pernyataan). Sedang kalimat matematika yang tidak mengandung variabel dan menggunakan tanda “<”. Jika variabel dalam kalimat terbuka sudah diganti dengan konstanta yang sesuai. Kalimat matematika yang masih mengandung variabel dan menggunakan tanda “=” seperti kalimat c dan d disebut persamaan.

Ingkaran pernyataan p ditulis ~ p Contoh : 1. ada lima macam kata hubung kalimat yaitu negasi. dan bikondisional. kata-kata itu disebut kata hubung kalimat. Jika q : Zainal memakai kaca mata maka ~ q : Tidak benar bahwa Zainal memakai kaca mata atau ~ q : Zaibal tidak memakai kaca mata ~ q akan bernilai salah jika Zainal benar-benar memakai kaca mata. 1.”. Sesungguhnya. . “atau”. dan sebaliknya. maka. Marilah sekarang kita memperhatikan penggunaan kata-kata itu dengan lebih cermat dalam matematika (dan membandingkannya dengan penggunaan dalam percakapan sehari-hari). . Jika p : Jakarta ibu kota RI (B) maka ~ p : Tidak benar bahwa Jakarta ibu kota RI (S) atau ~ p : Jakarta bukan ibu kota RI (S) 2. jika pernyataan semula salah. . Negasi tidak menghubungkan dua buah pernyataan sederhana. Kita pelajari sifat-sifatnya untuk memperjelas cara berpikir kita dan terutama karena pentingnya kata-kata itu untuk melakukan pembuktian. tetapi tetap dianggap sebagai kata hubung kalimat. Definisi : Ingkaran suatu pernyataan adalah pernyataan yang bernilai benar. “jika dan hanya jika”. atau Penyangkalan) Perhatikan pernyataan : “Sekarang hari hujan” bagaimana ingkaran pernyataan itu ? Anda dapat dengan mudah menjawab : "Sekarang hari tidak hujan”. Negasi (Ingkaran. “dan”. “jika. disjungsi. Coba anda pikirkan bagaimana negasi dari kalimat : “Beberapa pemuda adalah atlit”. Dalam bahasa Indonesia kita sering menggunakan kata-kata “tidak”. penambahan "tidak" ke dalam kalimat semula tidaklah cukup. yaitu menegasikan pernyataan sederhana (ada yang menganggap bahwa negasi suatu pernyataan sederhana bukan pernyataan majemuk).BAB III KATA HUBUNG KALIMAT Pernyataan majemuk terdiri dari satu atau lebih pernyataan sederhana yang dihubungkan dengan kata hubung kalimat (connective) tertentu. Dalam pelajaran logika (matematika). kondisional. 14 . Jika pernyataan semula bernilai benar maka ingkaran pernyataan itu bernilai salah. . konjungsi.

“Aku suka buah”. Membentuk ingkaran suatu pernyataan dapat dengan menambahkan kata-kata tidak benar bahwa di depan pernyataan aslinya. Jika r : 2 + 3 > 6 (S) maka ~r : Tidak benar bahwa 2 + 3 > 6 (B) atau ~ r : 2 + 3 ≤ 6 (B) 4. masing-masing p dan q disebut komponen (sub pernyataan). Contoh : 1. tetapi untuk pernyataan-pernyataan tertentu tidak demikian halnya. jangan membuat ingkaran yang salah. Berdasarkan pengertian di atas. maka kalimat itu berarti : 1. demikian pula jika kedua sub pernyataan itu salah. dan dibaca p dan q. benar. Penghubung “dan” diberi simbol “∧”. dan : Ima anak cekatan. : Ima anak pandai dan cekatan s bernilai benar jika Ima benar-benar anak pandai dan benar-benar anak cekatan. dua buah pernyataan yang dihubungkan dengan “dan” merupakan pernyataan majemuk yang disebut konjungsi dari pernyataan-pernyataan semula. atau jika mungkin dengan menambah bukan atau tidak di dalam pernyataan itu. Konjungsi (dan) Perhatikan kalimat : “Aku suka sayur dan buah”. Jika pernyataan semula bernilai benar maka sub pernyataan 1. p B S ~p S B Berdasarkan definisi di atas. dapat dibuat Tabel Kebenaran untuk ingkaran seperti disamping : 2.3. Pernyataan p ∧ q juga disebut sebagai pernyataan konjungtif. 15 . Jika r s maka r ∧ s Pernyataan r ∧ : Ima anak pandai. Jika sub pernyataan 1 atau 2 salah maka pernyataan semula bernilai salah. atau 2. Jika s : Ada anak berkacamata di kelasku (B) (dimisalkan bahwa pernyataan ini benar) maka ~ s : Tidak benar bahwa ada anak berkacamata di kelasku (S) Perhatikan baik-baik cara membuat ingkaran di atas. “Aku suka sayur” dan 2. Konjungsi dari dua pernyataan p dan q ditulis p ∧ q.

Jika p q maka p ∧ q Definisi : Suatu konjungsi dari dua pernyataan bernilai benar hanya dalam keadaan kedua komponennya bernilai benar. Tafsiran pertama adalah contoh disjungsi eksklusif dan tafsiran kedua adalah contoh disjungsi inklusif. Dibedakan antara : 1. mungkin benar salah satu (untuk disjungsi eksklusif). disjungsi inklusif yang diberi simbol “∨" dan 2. maka kedua tafsiran itu tentu salah (untuk disjungsi inklusif dan eksklusif). Disjungsi (atau) Sekarang perhatikan pernyataan : “Tobing seorang mahasiswa yang cemerlang atau seorang atlit berbakat”. atau seorang atlit yang berbakat. maka keduanya dari tafsiran 1 atau 2 adalah benar (untuk disjungsi inklusif). jika pernyataan semula salah.2. Tobing seorang mahasiswa yang cemerlang. p∧q B S S S Berdasarkan definisi di atas. dan sebaliknya. mungkin kedua-duanya. Berdasarkan pengertian di atas. Tobing seorang mahasiswa yang cemerlang. atau seorang atlit yang berbakat. 16 . atau 2. dan b : Bunga matahari berwarna biru (S) maka a ∧ b : Bunga mawar berbau harum dan bungan matahari berwarna biru (S) : 2 + 3 < 6 (B). dapat disusun tabel kebenaran untuk konjungsi seperti disamping : p B B S S q B S B S 3. disjungsi eksklusif yang diberi simbol “∨”. tetapi tidak kedua-duanya. Jika a : Bunga mawar berbau harum (B). Membaca pernyataan itu akan timbul tafsiran : 1. dan : Sang Saka bendera RI (B) : 2 + 3 < 6 dan Sang Saka bendera RI (B) 3. dua buah pernyataan yang dihubungkan dengan ”atau” merupakan disjungsi dari kedua pernyataan semula. Lebih dari itu. Jika pernyataan semula benar.

2.Disjungsi inklusif dari dua pernyataan p dan q ditulis p ∨ q. dan tidak di kedua tempat itu. dan dibaca : p atau q. maka r ∨ s : Aku lahir di Surabaya atau di Bandung. dapat disusun tabel kebenaran untuk disjungsi eksklusif seperti disamping : 17 . p B B S S Definisi p B B S S q B S B S q B S B S p∨q B B B S Berdasarkan definisi di atas. dan disjungsi eksklusif dari dua pernyataan p dan q ditulis p ∨ q. pernyataan p ∨ q juga disebut sebagai pernyataan disjungtif. Jika p : Aku tinggal di Indonesia q : Aku belajar Bahasa Inggris sejak SMP maka p ∨ q : Aku tinggal di Indonesia atau belajar Bahasa Inggris sejak SMP Pernyataan p ∨ q bernilai benar jika Aku benar-benar tinggal di Indonesia atau benar-benar belajar Bahasa Inggris sejak SMP. dan s : Aku lahir di Bandung. dapat disusun tabel kebenaran untuk disjungsi inklusif seperti disamping : : Suatu disjungsi eksklusif bernilai benar apabila hanya salah saatu komponennya bernilai benar p∨ q S B B S Berdasarkan definisi di atas. Mustahil bukan bahwa aku lahir di dua kota ? Definisi : Suatu disjungsi inklusif bernilai benar apabila paling sedikit satu komponennya bernilai benar. Pernyataan r ∨ s bernilai benar jika Aku benar-benar lahir di salah saaatu kota Surabaya atau Bandung. Jika r : Aku lahir di Surabaya. Contoh : 1.

maka untuk menunjukkan bahwa udara tersebut hangat adalah cukup dengan menunjukkan bahwa matahari bersinar atau matahari bersinar merupakan syarat cukup untuk udara terasa hangat. Karena itu akan sama artinya jika kalimat di atas kita tulis sebagai: “Bila matahari bersinar. udara terasa hangat”. p hanya jika q d. Karena udara dapat menjadi hangat hanya bila matahari bersinar. “Matahari bersinar hanya jika udara terasa hangat”. Sedangkan untuk menunjukkan bahwa matahari bersinar adalah perlu dengan menunjukkan udara menjadi hangat atau udara terasa hangat merupakan syarat perlu bagi matahari bersinar. terutama dalam matematika.4. Banyak pernyataan. Demikian pula syarat cukup tidak harus menjadi syarat perlu karena jika diagonal segi empat ABCD saling berpotongan ditengah belum tentu segi empat ABCD belah ketupat. Dan untuk menunjukkan bahwa ABCD belah ketupan perlu ditunjukkan bahwa diagonalnya saling berpotongan ditengah-tengah. Perhatikan pula contoh berikut ini: “Jika ABCD belah ketupat maka diagonalnya saling berpotongan ditengah-tengah”. “Matahari bersinar berimplikasi udara terasa hangat”. Untuk menunjukkan bahwa diagonal segi empat ABCD saling berpotongan ditengah-tengah adalah cukup dengan menunjukkan bahwa ABCD belah ketupat. pernyataan demikian disebut implikasi atau pernyataan bersyarat (kondisional) dan ditulis sebagai p ⇒q. udara terasa hangat”. ”Sepanjang waktu matahari bersinar. Berdasarkan pernyataan diatas. q jika p 18 . yang berbentuk “jika p maka q”. Pernyataan p ⇒q juga disebut sebagai pernyataan implikatif atau pernyataan kondisional. dan jajaran genjang belum tentu merupakan belah ketupat. Mengapa ? Karena diagonal-diagonal suatu jajaran genjang juga saling berpotongan ditengah-tengah. Jika p maka q b. kita juga tahu bahwa udara terasa hangat. p berimplikasi q c. Kondisional (Implikasi atau Pernyataan Bersyarat) Perhatikan pernyataan berikut ini: “Jika matahari bersinar maka udara terasa hangat”. atau diagonal-diagonal segi empat ABCD saling berpotongan ditengah-tengah merupakan syarat perlu (tetapi belum cukup) untuk menunjukkan belah ketupat ABCD. atau ABCD belah ketupat merupakan syarat cukup bagi diagonalnya untuk saling berpotongan ditengah-tengah. Pernyataan p ⇒ q dapat dibaca: a. bila kita tahu bahwa matahari bersinar. jadi.

jika p : burung mempunyai sayap (B). Bila kita menganggap pernyataan q sebagai suatu peristiwa. Definisi : Implikasi p ⇒ q bernilai benar jika anteseden salah atau konsekuen benar. Sedang implikasi yang dijumpai dalam percakapan sehari-hari disebut implikasi biasa (ordinary implication). p B B S S q B S B S p⇒q B S B B Berdasarkan definisi diatas dapat disusun tabel kebenaran untuk implikasi seperti disamping. dan Kontraposisi Andaikan pernyataan “Jika hari hujan. hari tidak hujan” akan bernilai benar. dan s : x bilangan bulat positif (S) maka p ⇒ q : jika x bilangan cacah maka x bilangan bulat positif (S). Berbeda dengan pengertian implikasi sehari-hari maka pengertian implikasi disini hanya ditentukan oleh nilai kebenaran dari anteseden dan konsekuennya saja. 19 . Sedangkan pernyataan “Jika saya tidak memakai jas hujan. dan q : 2 + 3 = 5 (B) maka p ⇒ q : jika burung mempunyai sayap maka 2 + 3 = 5 (B) 2. Demikian pula pernyataan “Jika hari tidak hujan. Konvers. tetapi peristiwa q tidak terjadi”.Dalam implikasi p ⇒ q. sebab mungkin saja saya memakai jas hujan walaupun hari tidak hujan. maka kita melihat bahwa “Jika p maka q” dapat diartikan sebagai “Bilamana p terjadi maka q juga terjadi” atau dapat juga. saya memakai jas hujan” bernilai benar. Invers. dan bukan oleh ada atau tidak adanya hubungan isi antara anteseden dan konsekuen. p disebut hipotesa (anteseden) dan q disebut konklusi (konsekuen). saya tidak memakai jas hujan” belum tentu bernilai benar. Contoh: 1. diartikan sebagai “Tidak mungkin peristiwa p terjadi. jika r : x bilangan cacah (B). maka itu tidak berarti bahwa pernyataan “Saya memakai jas hujan berarti hari hujan” juga bernilai benar. Implikasi ini disebut implikasi material. 5.

Perhatikan kalimat: “Saya memakai mantel jika dan hanya jika saya merasa dingin”. Jelas bahwa implikasi ini juga bernilai benar. Bikondisional (Biimplikasi Atau Pernyataan Bersyarat Ganda) Perhatikan kalimat: ”Jika segi tiga ABC sama kaki maka kedua sudut alasnya sama besar”. Terlihat bahwa kedua peristiwa itu terjadi serentak. dan saya merasa dingin merupakan syarat perlu dan cukup bagi saya memakai mantel. Pengertian kita adalah “Jika saya memakai mantel maka saya merasa dingin” dan juga “Jika saya merasa dingin maka saya memakai mantel”. serta dibaca p jika dan hanya jika q (disingkat dengan p jhj q atau p bhb q). Terlihat bahwa jika saya memakai mantel merupakan syarat perlu dan cukup bagi saya merasa dingin. Pertanyaan demikian disebut bikondisional atau biimplikasi atau pernyataan bersyarat ganda dan ditulis sebagai p ⇔ q. sehingga juga berarti “p adalah syarat perlu dan cukup bagi q” dan sebaliknya. Jelas implikasi ini bernilai benar. juga kedua sudut alas sama besar merupakan syarat perlu dan cukup untuk segi tiga ABC sama kaki. Dalam matematika juga banyak didapati pernyataan yang berbentuk “p bila dan hanya bila q” atau “p jika dan hanya jika q”. konvers. 20 .Definisi : Konvers dari implikasi p ⇒ q adalah q ⇒ p Invers dari implikasi p ⇒ q adalah ~ p ⇒ ~ q Kontraposisi dari implikasi p ⇒ q adalah ~ q ⇒ ~ p Hubungan antara implikasi. dan kontraposisi dapat ditunjukkan dengan skema berikut ini: p⇒q Konvers q⇒p Invers ~p⇒~q Invers Konvers ~q⇒p 6. Sehingga segi tiga ABC sama kaki merupakan syarat perlu dan cukup bagi kedua alasnya sama besar. invers. Kemudian perhatikan: “Jika kedua sudut alas segi tiga ABC sama besar maka segi tiga itu sama kaki”. Pernyataan “p jika dan hanya jika q” berarti “jika p maka q dan jika q maka p”. Sehingga dapat dikatakan “Segi tiga ABC sama kaki merupakan syarat perlu dan cukup untuk kedua sudut alasnya sama besar”. Pernyataan p ⇔ q juga disebut sebagai pernyataan biimplikatif.

Jika r : 2 + 2  5 (B) s : 4 + 4 < 8 (S) maka r⇔ s : 2 + 2  5 jhj 4 + 4 < 8 (S) 3. Jika p : 2 bilangan genap (B) q : 3 bilangan ganjil (B) maka p ⇔ q : 2 bilangan genap jhj 3 bilangan ganjil (B) 2. Contoh: 1. d. c. Apakah pernyataan berikut ini merupakan pernyataan bikondisional atau bukan? a.Definisi : Pernyataan bikondisional bernilai benar hanya jika komponen-komponennya bernilai sama. (Keempat kalimat diatas berkenaan dengan bangun-bangun geometri) e. b. Sebuah segi tiga sama kaki mempunyai dua sisi yang sama panjang. Jika a : Surabaya ada di jawa barat (S) b : 23 = 6 (S) maka a ⇔ b : Surabaya ada di jawa barat jhj 23 = 6 (B) p B B S S q B S B S p⇔q B S S B Berdasarkan definisi diatas dapat disusun tabel kebenaran untuk bimplikasi seperti disamping. Sepasang sisi yang berhadapan pada sebuah jajaran genjang sama panjangnya. Seorang haji beragama islam 21 . Sudut-sudut segi tiga sama sisi sama besarnya. Setiap segi tiga sama sisi merupakan segi tiga sama kaki.

Membaca kalimat diatas. Untuk itu disepakati penggunaan urutan pengerjaan (urutan kuat ikat) seperti berikut ini: 1. p ⇔ q ⇒ r berarti p ⇔ (q ⇒ r) merupakan kalimat bikondisional. 3. misalnya: koma. Kesepakatan Penggunaan Kata Hubung Kalimat Dalam penggunaan bahasa sehari-hari kita sering menjumpai pernyataan yang menggunakan banyak kata hubung kalimat. jika saya naik sepeda maka saya akan tidak terlambat mengikuti kuliah”. konjungsi ∧ . Ada juga yang menafsirkan sebagai: “Saya berjalan kaki atau. penggunaan tanda kurung dirasakan kurang effisien. 22 . kondisional ⇒ 4. 2. Demikian pula halnya dengan pernyataan simbolik yang kita gunakan. Logika menggunakan tanda kurung untuk menunjukkan urutan pengerjaan. Untuk dapat mengerti pernyataan komposit diatas dengan benar (seperti apa yang dinyatakan) diperlukan kejelasan berbahasa dengan menggunakan tanda baca-tanda baca yang diperlukan. seperti berikut ini: “Saya akan berjalan kaki atau saya akan naik sepeda maka saya akan tidak terlambat mengikuti kuliah”. ~ p ∨ q berarti (~ p) ∨ q merupaka kalimat disjungtif. saya akan tidak terlambat mengikuti kuliah”. Tetapi untuk pernyataan yang banyak menggunakan kata hubung kalimat. negasi ~ 2. dengan demikian kita dapat menterjemahkan pernyataan diatas kepernyataan simbolik dengan benar. Pernyataan ini harus jelas sehingga tidak menimbulkan salah tafsir.7. p ∧ q ⇒ r berarti (p ∧ q) ⇒ r merupakan kalimat kondisional. disjungsi ∨ 3. ada yang menafsirkan: ”Jika saya berjalan kaki atau naik sepeda. bikondisional ⇔ Contoh : 1.

sifat-sifat pernyataan-pernyataan yang ekivalen (berekivalensi logis) adalah: 1. maka pernyataan diatas berbentuk p ∨ ~p. untuk setiap nilai kebenaran komponen-komponennya. Sedangkan sifat ketiga berarti bahwa jika pernyataan pertama mempunyai nilai kebenaran yang sama dengan pernyataan kedua dan pernyataan kedua mempunyai nilai kebenaran yang sama dengan pernyataan ketiga maka nilai kebenaran pernyataan pertama adalah sama dengan nilai kebenaran pernyataan ketiga. maka tentu berlaku sebaliknya. Definisi : Dua buah pernyataan dikatakan ekivalen (berekivalensi logis) jika kedua pernyataan itu mempunyai nilai kebenaran yang sama. EKIVALEN DAN KONTRADIKSI 1. dan ~p : junus bukan bujang. Setiap pernyataan yang bernilai benar. Contoh pernyataan: “Junus masih bujang atau Junus bukan bujang” akan selalu bernilai benar tidak bergantung pada apakah junus benar-benar masih bujang atau bukan bujang. Pernyataan p ekivalen dengan pernyataan q dapat ditulis sebagai p  q. (coba periksa nilai kebenarannya dengan menggunakan tabel kebenaran). jika p  q maka q  p 3. Ekivalen Perhatikan kalimat: “Guru pahlawan bangsa” dan “tidak benar bahwa guru bukan pahlawan bangsa”. disebut tautologi. Kedua kalimat ini akan mempunyai nilai kebenaran yang sama. Sifat kedua berarti bahwa jika suatu pernyataan mempunyai nilai kebenaran yang sama dengan suatu pernyataan yang lain. p  p 2. 23 . Tautologi Perhatikan bahwa beberapa pernyataan selalu bernilai benar. Jika p : junus masih bujang. Berdasarkan definisi diatas. 2.BAB IV TAUTOLOGI. tidak perduli bagaimana nilai kebenaran dari pernyataan semula. jika p  q dan q  r maka p  r Sifat pertama berarti bahwa setiap pernyataan selalu mempunyai nilai kebenaran yang sama dengan dirinya sendiri. (Coba periksa dengan menggunakan tabel kebenaran).

untuk setiap nilai kebenaran dari komponen-komponen disebut kontradiksi. Setiap pernyataan yang selalu bernilai salah. Karena kontradiksi selalu bernilai salah. Ingat pada pernyataan “segi tiga sama sisi” yang ekivalen dengan “segi tiga yang sudutnya sama besar”. Kontradiksi Sekarang perhatikan kalimat : “Pratiwi seorang mahasiswa dan bukan mahasiswa”. maka kontradiksi merupakan ingkaran dari tautologi dan sebaliknya. maka pernyataan p dan q dapat saling ditukar dalam pembuktian. Dalam pembuktian pada geometri sering kali kita menggunakan kedua pernyataan itu dengan maksud yang sama. Pernyataan ini selalu bernilai salah. tidak tergantung pada nilai kebenaran dari “Pratiwi seorang mahasiswa” maupun “Pratiwi bukan mahasiswa”. 3.Jika pernyataan tertentu p ekivalen dengan pernyataan q. 24 . Jika r : Pratiwi mahasiswa maka ~ r : Pratiwi bukan mahasiswa maka pernyataan di atas berbentuk r ∧ ~ r (Coba periksa nilai kebenarannya dengan menggunakan tabel kebenaran).

2. 25 . p(x) = 1 + x > 5 p(x) akan merupakan fungsi pernyataan pada A = himpunan bilangan asli. 2. a. beberapa anggota semesta pembicaraan. Contoh : 1. maka p(x) bernilai benar untuk x = 5. Jika r(x) = x + 3 > 1 didefinisikan pada A = himpunan bilangan asli. Kuantor Umum (Kuantor Universal) Simbol  yang dibaca “untuk semua” atau “untuk setiap” disebut kuantor umum. 2. Ingat bahwa p(a) suatu pernyataan. p(x) atau x p(x) adalah suatu pernyataan yang dapat dibaca sebagai “Untuk setiap x elemen A. c. Dari contoh di atas terlihat bahwa fungsi pernyataan p(x) yang didefinisikan pada suatu himpunan tertentu akan bernilai benar untuk semua anggota semesta pembicaraan. Jika p(x) adalah fungsi proposisi pada suatu himpunan A (himpunan A adalah semesta pembicaraannya) maka (x  A) p(x) atau x. p(x) merupakan pernyataan “Untuk semua x. . Tetapi p(x) bukan merupakan fungsi pernyataan pada K = himpunan bilangan kompleks. . . atau tidak ada anggota semesta pembicaraan yang memenuhi. maka r(x) bernilai benar untuk x = 1. b. berlaku p(x)”. Jika q(x) = x + 3 < 1 didefinisikan pada A = himpunan bilangan asli. Jika p(x) = 1 + x > 5 didefinisikan pada A = himpunan bilangan asli. . 7. Fungsi pernyataan merupakan suatu kalimat terbuka yang ditulis sebagai p(x) yang bersifat bahwa p(a) bernilai benar atau salah (tidak keduanya) untuk setiap a (a adalah anggota dari semesta pembicaraan).BAB V KUANTOR 1. tidak ada x yang menyebabkan p(x) bernilai benar. 3. Fungsi Pernyataan Definisi : Suatu fungsi pernyataan adalah suatu kalimat terbuka di dalam semesta pembicaraan (semesta pembicaraan diberikan secara eksplisit atau implisit). 6.

p(x) = x tidak kekal p(manusia) = Manusia tidak kekal maka x. sedemikian hingga p(x) merupakan pernyataan” atau “Untuk beberapa x. Tetapi x p(x) merupakan pernyataan (mempunyai nilai benar atau salah tetapi tidak kedua-duanya). p(x)”. ada yang menggunakan simbol ! Untuk menyatakan “Ada hanya satu”. p(x) = x  {manusia}. x p(x) = x (x + 1 < 5) pada A = {bilangan asli} maka pernyataan itu bernilai salah. x q(x) = x (x + 3 < 1) pada A = {bilangan asli} bernilai salah. p(x) = semua manusia tidak kekal (Benar) Perhatikan bahwa p(x) merupakan kalimat terbuka (tidak mempunyai nilai kebenaran). Kuantor Khusus (Kuantor Eksistensial) Simbol  dibaca “ada” atau “untuk beberapa” atau “untuk paling sedikit satu” disebut kuantor khusus. maka “Semua manusia adalah tidak kekal” atau x p(x) bernilai benar. 3. 3. 3. x r(x) = x (3 + x > 1) pada A = {bilangan asli} maka pernyataan itu bernilai salah. 4. x r(x) = x (x + 3 > 1) pada A = {bilangan asli} bernilai benar. Jika p(x) adalah fungsi pernyataan pada himpunana tertentu A (himpunana A adalah semesta pembicaraan) maka (x  A) p(x) atau x! p(x) atau x p(x) adalah suatu pernyataan yang dibaca “Ada x elemen A.Contoh : 1. 2. dan “Beberapa manusia kekal” atau x ~ p(x) bernilai salah. Contoh : 1. Jika p(x) adalah manusia tidak kekal atau x tidak kekal. Negasi Suatu Pernyatan yang Mengandung Kuantor Negasi dari “Semua manusia tidak kekal” adalah “Tidak benar bahwa semua manusia tidak kekal” atau “Beberapa manusia kekal”. p(x) = x adalah wanita p(perwira ABRI) = Perwira ABRI adalah wanita x p(x) = x! p(x) = x  {perwira ABRI}. Pernyataan di atas dapat dituliskan dengan simbol : ~ [x p(x)]  x ~ p(x) Jadi negasi dari suatu pernyataan yang mengandung kuantor universal adalah ekivalen dengan pernyataan yang mengandung kuantor eksistensial (fungsi pernyataan yang dinegasikan) dan sebalinya : ~ [x p(x)  x ~ p(x) 26 . p(x) = ada perwira ABRI adalah wanita (Benar) 2.

Fungsi Pernyataan yang Mengandung Lebih dari Satu Variabel Didefinisikan himpunan A1. .y) dibaca “Untuk setiap x di P ada y di W sedemikian hingga x adalah kakak y” berarrti bahwa setiap anggota P adalah kakak dari Rita atau Farida. seperti contoh berikut ini : x y p(x. . P = {Nyoman. Darman} dan W = {Rita.y)  x  P. . a3. y  W. x An merupakan kalimat terbuka p(x1. Coba bandingkan pernyataan verbal ini dengan bentuk simboliknya! 27 . Agus. “x menikah dengan y”  M(x. W = {wanita}... A2.y.y) = x adalah kakak y. a2. . .. Agus. x3. . x An. . . ~ [x {y p(x.y.y) atau x y z p(x. Diketahu A = {bilangan asli}. serta p(x. Suatu fungsi pernyataan yang bagian depannya dibubuhi dengan kuantor untuk setiap variabelnya.y) Contoh : P = {Nyoman. p(x. . Darman} dan W = {Rita. x2. ~ p(x.y) adalah fungsi pernyataan pada P x W. Contoh : 1. . Jika pernyataan itu ditulis sebagai y  W x  P p(x.y)}]  x ~ [y p(x. ~ [Ey  W. .y) dibaca “Ada y di W untuk setiap x di P sedemikian hingga x adalah kakak y” berarti bahwa ada (paling sedikit satu) wanita di W mempunyai kakak semua anggota P. Contoh : 1. Farida}. 2.y) Jawab : ~ [x  P {y  W p(x. Farida}. p(x. .z) adalah fungsi pernyataan pada A x A x A.y)]  x y ~ p(x. . an) anggota semesta A1 x A2 x A3 x . xn) yang mempunyai sifat p(a1. y  W. Tuliskan negasi dari pernyataan : x  P.y) Jika kita baca pernyataan semula adalah “Setiap anggota P adalah kakak dari paling sedikit satu anggota W” Negasi dari pernyataan itu adalah “Tidak benar bahwa setiap anggota P adalah kakak dari paling sedikit satu anggota W” yang ekivalen dengan “Ada anggota P yang bukan kakak dari semua anggota W”.5. Diketahui P = {pria}. . a3.z) merupakan suatu pernyataan dan mempunyai nilai kebenaran. suatu fungsi pernyataan yang mengandung variabel pada himpunan A1 x A2 x A3 x . y  W. serta p(x. . an) bernilai benar atau salah (tidak keduanya) untuk (a1. .y) = x adalah kakak y. “2x – y – 5z < 10”  K(x..y)}]  x  P. Negasi dari pernyataan yang mengandung kuantor dapat ditentukan sebagai contoh berikut ini. a2. p(x. Maka x  P. A3. An.

Konklusi ini selayaknya (supposed to) diturunkan dari premis-premis. Untuk menentukan validitas suatu argumen dengan selalu mengerjakan tabel kebenarannya tidaklah praktis. Cara yang lebih praktis banyak bertumpu pada tabel kebenaran dasar dan bentuk kondisional. sehingga suatu premis dapat berupa aksioma. dan negasinya adalah salah.BAB VI VALIDITAS PEMBUKTIAN 1. Premis dan Argumen Logika berkenaan dengan penalaran yang dinyatakan dengan pernyataan verbal. (Notasi : Ada yang menggunakan tanda  untuk menyatakan konklusi. seperti p  q. konklusi akan bernilai benar jika setiap premis yang digunakan di dalam argumen juga bernilai benar. Benar atau salahnya suatu konklusi hanya dalam hubungan dengan sistem aksiomatik tertentu. hipotesa. dalam argumentasi yang valid. Jadi validitas argumen tergantung pada bentuk argumen itu dan dengan bantuan tabel kebenaran. terdiri atas pernyataan-pernyataan yang saling berelasi. Biasanya kita memulai dengan pernyataan-pernyataan tertentu yang diterima kebenarannya dan kemudian berargumentasi untuk sampai pada konklusi (kesimpulan) yang ingin dibuktikan. Bentuk kebenaran yang digeluti oleh para matematikawan adalah kebenaran relatif. Validitas Pembuktian (I) Konklusi selayaknya diturunkan dari premis-premis atau premis-premis selayaknya mengimplikasikan konklusi. definisi atau pernyataan yang sudah dibuktikan sebelumnya. Bentuk argumen yang paling sederhana dan klasik adalah Modus ponens dan Modus tolens. Sedang yang dimaksud dengan argumen adalah kumpulan kalimat yang terdiri atas satu atau lebih premis yang mengandung bukti-bukti (evidence) dan suatu (satu) konklusi. dan p benar. Suatu diskusi atau pembuktian yang bersifat matematik atau tidak. 2. p  q) 28 . Konklusi itu benar jika mengikuti hukum-hukum logika yang valid dari aksiomaaksioma sistem itu. Modus Ponen Premis 1 :pq Premis 2 :p Konklusi :q Cara membacanya : Apabila diketahui jika p maka q benar. disimpulkan q benar. Pernyataan-pernyataan yang digunakan untuk menarik suatu kesimpulan disebut premis.

Premis 1 : Jika saya belajar. Premis 1 : Jika kamu benar. Silogisma : Premis 1 Premis 2 Konklusi :pq :qr :pr Contoh : 3.Contoh : 1. saya bersalah (B) Premis 2 : Jika saya bersalah. saya minta maaf (B) Konklusi : Jika kamu benar. sehingga jika q tidak terjadi maka p tidak terjadi. Premis 1 : Jika hari hujan maka saya memakai jas hujan (benar) Premis 2 : Saya tidak memakai jas hujan (benar) Konklusi : Hari tidak hujan (benar) Perhatikan bahwa jika p terjadi maka q terjadi. saya minta maaf (B) Silogisma Disjungtif Premis 1 :pq Premis 2 :~q Konklusi :p 29 . maka saya lulus ujian (benar) Premis 2 : Saya belajar (benar) Konklusi : Saya lulus ujian (benar) Baris pertama dari tabel kebenaran kondisional (implikasi) menunjukkan validitas dari bentuk argumen modus ponen. Modus Tolen : Premis 1 Premis 2 Konklusi :pq :~q :~p Contoh : 2.

maka p  q benar (tidak peduli nilai benar atau nilai salah yang dimiliki q). 30 . Tambahan (Addition) Premis 1 :p Konklusi :pq Artinya : p benar. maka sillogisma disjungtif di atas adalah valid. Premis 1 :p∨q Premis 2 Konklusi :q :~p Tetapi jika ada kemungkinan kedua pernyataan p dan q tidak sekaligus bernilai benar (disjungsi eksklusif). Premis 1 : Pengalaman ini berbahaya atau membosankan (B) Premis 2 : Pengalaman ini tidak berbahaya (B) Konklusi : Pengalaman ini membosankan (B) 2. Premis 1 : Air ini panas atau dingin (B) Premis 2 : Air ini panas (B) Konklusi : Air ini tidak dingin (B) 3.Jika ada kemungkinan bahwa kedua pernyataan p dan q dapat sekaligus bernilai benar. Premis 1 : Obyeknya berwarna merah atau sepatu Premis 2 : Obyek ini berwarna merah Konklusi : Obyeknya bukan sepatu (tidak valid) Konjungsi Premis 1 :p Premis 2 :q Konklusi :pq Artinya : p benar. Contoh : 1. q benar. Maka p  q benar. maka argumen di bawah ini tidak valid.

aku akan digantung. 2. Contoh : Premis 1 Premis 2 Konklusi : Jika hari hujan. : Aku tidak akan ditembak mati atau digantung. aku akan tinggal di rumah. dan jika aku tutup mulut. Dilema Konstruktif : Premis 1 : (p  q)  (r  s) Premis 2 :~q~s Konklusi :~p~r Dilema destruktif ini merupakan kombinasi dari dua argumen modus tolens (perhatikan argumen modus tolen). tetapi jika pacar datang. aku pergi berbelanja. aku akan ditembak mati. : Aku akan tinggal di rumah atau pergi berbelanja. : Aku tidak akan memberikan pengakuan. : Hari ini hujan atau pacar datang. Contoh : Premis 1 Premis 2 Konklusi : Jika aku memberikan pengakuan. Contoh : Diberikan argumen : (p  q)  [p  (s  t)] (p  q)  r s t Apakah argumen di atas valid ? 31 . Validitas Pembuktian (II)(Hanya untuk pengayaan) Sekarang kita akan membicarakan pembuktian argumen yang lebih kompleks dengan menggunakan bentuk-bentuk argumen valid di atas. Dilema Konstruktif Premis 1 : (p  q)  (r  s) Premis 2 :p r Konklusi :q s Dilema konstruktif ini merupakan kombinasi dua argumen modus ponen (periksa argumen modus ponen). atau tidak akan tutup mulut.Dua bentuk argumen valid yang lain adalah Dilema Konstruktif dan Dilema Destruktif.

Jika pengetahuan logika diperlukan atau pengetahuan aljabar diperlukan.argumen di atas ke bentuk simbol-simbol. Penyederhanaan s t 7. maka semua orang akan belajar matematika. g = pengetahuan geometri diperlukan. Perhatikan baik-baik cara menerjemahkan argumentasi itu menjadi simbol-simbol. 3. Tambahan 1.Jawab : Berikut ini adalah langkah-langkah pembuktian yang dilakukan : (p  q)  [p  (s  t) Premis (p  q)  r Premis p q 2. Misal : l = pengetahuan logika diperlukan. a = pengetahuan aljabar diperlukan.argumen yang tampaknya berbelit-belit dengan menggunakan argumentasi valid yang telah kita miliki. Validkah argumentasi di atas ? Jawab : Kita akan menerjemahka argumen. Penyederhanaan p  (s  t) 1. Penyederhanaan s t 4. Modus Ponen Demikianlah. Maka : (l  a)  m l g l la m Jadi argumen di atas adalah valid. Premis Premis 2. 5. m = Semua orang akan belajar matematika. kita dapat membuktikan argumen . Penyederhanaan 3. Modus Ponen p 3. 32 . Karena itu semua mahasiswa akan belajar matematika. 4. Tambahan Jadi argumen tersebut di atas adalah absah (valid). Pengetahuan logika diperlukan dan pengetahuan geometri diperlukan. Modus Ponen s 6.

33 . Maka berarti : Ada manusia hidup kekal (premis 5). Suatu argumen adalah valid secara logis jika premis-premisnya bernilai benar dan konklusinya juga bernilai benar. Ini dilakukan dengan menurunkan konklusi yang salah dari argumen yang terdiri dari negasi pernyataan itu dan pernyataan atau pernyataan-pernyataan lain yang telah diterima kebenarannya. Karena premis 5 bernilai salah maka premis 4 juga bernilai salah.Pembuktian Tidak Langsung Pembuktian-pembuktian yang telah kita bicarakan di atas. kita dapat membuktikan bahwa suatu pernyataan bernilai benar. Yang sudah kita terima kebenarannya. Contoh : Premis 1 : Semua manusia tidak hidup kekal (Benar) Premis 2 : Chairil Anwar adalah manusia (Benar) Buktikan bahwa “Chairil Anwar tidak hidup kekal” (premis 3) dengan melakukan pembuktian tidak langsung. Cara pembuktian ini disebut pembuktian tidak langsung atau pembuktian dengan kontradiksi atau reductio ad absurdum. maka paling sedikit ada satu premis yang bernilai salah. jika premis-premis dalam suatu argumen yang valid membawa ke konklusi yang bernilai salah. Ringkasannya. Sebab itu premis 3 bernilai benar. Bukti : Kita misalkan bahwa : Chairil Anwar hidup kekal (premis 4) (dan kita anggap bernilai benar). merupakan pembuktian yang langsung. Jadi terbukti bahwa “Chairil Anwar tidak hidup kekal”. Tetapi premis 5 ini merupakan negasi dari premis 1. Berdasarkan pemikiran ini. Oleh karena itu premis 5 ini pasti bernilai salah. dengan menunjukkan bahwa negasi dari pernyataan itu salah.

Selamat datang di CD berprograma Menu Utama Latihan Soal BAB I PENGANTAR LOGIKA BAB II PERNYATAAN BAB III KATA HUBUNG KALIMAT Info Dosen Diskripsi Mata Kuliah Kompetensi Dasar BAB IV TAUTOLOGI EKUIVALEN KONTRADIKSI BAB V KUANTOR BAB VI VALIDITAS PEMBUKTIAN Materi Latihan Soal 34 .

4. Aristoteles (filsuf atau ahli filsafat) merintis logika tradisional yang semula disebut 5. Terdapat 5 aliran besar dalam logika. Leibniz adalah 35 . G.W. Kemampuan menalaar adalah Logika adalah Belajar logika adalah Manusia belajar logika sejak jaman Junani Kuno.SOAL BAB I 1. 2. yaitu 6. 3.

36 . h. Hari sangat panas. 3p > 2p l. dan jika ia tidak diperiksa. Udel jatuh dari sepeda. Bila pembunuh itu diperiksa dan mengatakan yang sebenarnya. 7 < 6 f. Manusia makan nasi. Jakarta ibu kota RI b. (x + y) i. ia dinyatakan salah. Ayah pergi ke Jakarta naik pesawat terbang atau kamu pergi ke Surabaya naik bus malam (ada 4 pernyataan sederhana).SOAL BAB II 1. Udara sudah terasa panas walaupun hari masih pagi. Jika air dibubuhi garam. d. Tentukan pernyataan-pernyataan sederhananya. a. f. h. g. (x – 1) j. Baik kantor maupun bank tidak buka hari ini. Nelayan melaut hanya jika bertiup angin darat. Tentukan kalimat mana yang merupakan pernyataan ! a. b. c. Kalimat-kalimat berikut ini merupakan pernyataan majemuk. Saya seorang mahasiswa k. 2. ia dinyatakan salah juga. e. rasanya aku ingin mandi. maka titik bekunya menurun. Semoga kalian lulus ujian e. Plato habis dibagi 11. Perhatikan jawabanmu untuk g dan n. Berapa 9 dikurangi 7 ? n. g. Haati-hati menyeberang ! d. Silakan duduk ! c. Toni belum datang atau dia sudah berangkat sebelum kami tiba. 9x – 1 = 8 m.

Manakah yang merupakan kalimat definisi? 37 . b. Tiga adalah kurang dari lima. h. Jika saya lapar maka saya tidak dapat belajar. Manakah yang merupakan kalimat terbuka? l. Agus kuliah di IKIP.  ABC sama kaki. Diagonal-diagonal sebuah bujur sangkar saling berpotongan dan tegak lurus satu sama lain. Perhatikan kalimat-kalimat berikut ini : a.3. j. Fransiska beragama Kristen. Manakah yang merupakan kalimat deklaratif? o. k. Manakah yang merupakan kalimat matematika? m. i. x – 5 < 7 e. d. g. Manusia berkaki dua. Segi tiga sama sisi adalah segi tiga yang ketiga sisinya sama panjang. c. 4 > 10 – 8 f.

2 = 3 c. 38 . c. d. Harga BBM naik b. Perhatikan pernyataan-pernyataan di bawah ini : a. Untuk setiap nomor berikut ini diberikan dua buah pernyataan. Bajuku hitam d. Seorang anak tidak haus. q : Bumi bukan berbentuk bulat c. Eileen seorang sarjana. r : Bumi berbentuk kubus d. tentukan apakah pernyataan kedua adalah ingkaran pernyataan pertama. p : Bumi berbentuk bulat b. Apakah r negasi dari p ? Berikan alasanmu dengan mengingat definisi negasi suatu pernyataan. Semua mahasiswa berseragam abu-abu. Tulislah negasi dari pernyataan-pernyataan berikut ini ! a. Beberapa ekor kelinci berwarna putih. 3. Apakah q negasi dari p ? e. Beberapa astronot adalah wanita 2. Mungkin akan hujan salju haari ini. Semua anak haus. Eileen bukan sarjana. 4. a. Beberapa mahasiswa berseragam putih-putih. b. Beberapa ekor kelinci berwarna hitam. Tentukan negasi dari pernyataan : a.SOAL BAB III 1. Semua jenis ikan bertelur e.

e. c. Aku akan mendapaat nilai A atau B dalam mata kuliah ini. Jika “p : gadis itu ramah” dan “q : gadis itu cantik”. Samakah nilai kebenaran pernyataan d. Setiap pagi ia sarapan nasi atau roti. 6. Nyatakan kalimat-kalimat berikut dalam bentuk simbolik menggunakan p dan q ! a. Gadis itu tidak ramah atau cantik. Beberapa kambingku ada di padang rumput. e. 8. d. 9. Candi Borobudur dibuat dari batu atau terletak di Pulau Jawa. ? Periksalah dengan menggunakan tabel kebenaran ! 39 . Semua anak berbaju hijau. Hanya seekor itikku belum masuk kandang. dan pernyataan c. Tentukan negasi setiap kalimat berikut ! a. tuliskan secara dimbolik pernyataan-pernyataan berikut ini ! a. 7. Samakah nilai kebenaran pernyataan b. Hari ini hari Minggu atau besok hari Senin. Semua alat pemadam kebakaran berwarna merah. e. Diketahui “p : pelaut itu gagah” dan “q : pelaut itu berbadan tinggi”. b. Tidak benar bahwa pelaut itu gagah juga tinggi badannya. d. b.Pelaut itu tidak gagah juga tidak tinggi badannya. Meskipun pelaut itu gagah tetapi tidak tinggi badannya. Pelaut itu tidak gagah tetapi tinggi badannya. Hari ini mendung. Gadis itu tidak cantik atau tidak ramah. c. Semua kerbauku mandi di sungai. Semua anak berbaju biru. f. d.5. b. dan pernyataan e. b. Pangeran Diponegoro dimakamkan di Sulawesi atau di Jawa. Semua alat pemadam kebakaran berwarna kuning. ? Periksalah dengan menggunakan tabel kebenaran ! Tentukan disjungsi inklusif atau disjungsi eksklusifkah pernyataan majemuk berikut ini ! a. Tidak ada dua orang yang serupa. e. Pelaut itu gagah dan tinggi badannya. c.

dan sekarang hari Kamis. Tentukan nilai kebenarannya. b. f. Itta tidak akan lulus ujian hanya jika dia tidak mentraktir teman-temannya. e. dan q : Ita mentraktir teman-temannya (B) Tuliskan secara simbolik pernyataan-pernyataan berikut ini dan tentukan nilainya! a. b. atau sudut tumpul. Tentukan komponen-komponen dari pernyataan-pernyataan berikutini. Gadis itu sehat dan selamat sampai di rumah. Perhatikan pernyataan berikut ini ! a. 12. dan tentukan kata hubung kalimat yang menghubungkan komponen-komponen itu ! a. Tidak seorangpun dari Soleh atau Tati ingin pergi berkemah. tetapi dia tidak perduli. (Pikirkan baik-baik). c. Kemarin bukan hari Selasa atau besok bukan haari Kamis. 11. 14. Buatlah tabel kebenaran untuk pernyataan komposit ~ p V q V r. Hari ini cuaca cerah atau ramalan cuaca salah. e. Tidak benar bahwa Ita mentraktir teman-temannya jika dia tidak lulus ujian.Tidak seorangpun hadir dalam pertemuan ini. Setiap bilangan bulat merupakan bilangan genap atau gasal. p : 23 = 6. Dia berputus asa atau tidak berputus asa mendengar keputusan itu. atau sudut lurus. p : Singaraja ada di Bali. c. Ita lulus ujian tetapi tidak mentraktir teman-temannya. Diketahui p : Ita ujian (B). e. dan q : Pancasila dasar negara kita. d. Ita mentraktir teman-temannya asal saja dia lulus ujian. b. Ita tidak mentraktir teman-temannya jika dia tidak lulus ujian. Setiap sudut merupakan sudut runcing.5 40 .10. Berapa banyak kemungkinan kombinasi nilai kebenaran dari suatu pernyataan komposit yang mempunyai n pernyataan sederhana ? 13. Aku akan lulus atau tidak lulus dalam ujian mendatang.Tentukan nilai kebenaran dari p  q bila diketahui: a. atau sudut siku-siku. d. c. d.3 < . Kemarin bukan hari Rabu. dan q = . b. f. perhatikan bahwa terdapat 3 pernyataan sederhana. Tidak benar bahwa gadis itu cantik atau ramah. Wardan tidak senang juga tidak sedih mendengar berita itu.

16. “Garis l dan garis m sejajar” “Garis l dan garis m sebidang” adalah syarat cukup bagi d. Bila aku melihat kamu. aku akan berteriak kuat-kuat. f. Ubahlah bentuk pernyataan-pernyataan berikut ini menjadi “Jika … maka …”! a. b. Semua manusia yang bercita-cita tinggi suka bekerja keras. b. Tidak seorang manusiapun dapat terbang. e. Agar dua buah segi tiga sebangun. Jika kamu melakukan perbuatan itu. “Ali beragama Islam” “Aku seorang haji” Ali beragama Islam adalah syarat … bagi Ali seorang haji. Kamu akan memperolehnya jika kamu mencarinya. kamu orang yang bodoh. d. g. Ali seorang haji adalah syarat … bagi ali beragama islam. Kita perlu makan untuk hidup. h. Saya akan pergi hanya jika kamu mengusir saya. adalah syarat cukup bagi 41 . Jika p  q sudah dinyatakan benar maka dapat juga dikatakan: p adalah syarat cukup bagi p q adalah syarat perlu bagi p (Seperti telah dikemukakan diatas) Perhatikan pertanyaan-pertanyaan berikut ini: a. “Segi empat ABCD bujur sangkar” “Diagonal-diagonal ABCD saling tegak lurus” Tentukan implikasi yang bernilai benar dari kedua pertanyaan diatas (dengan memperlihatkan syarat perlu dan syarat cukup). c. c. sudut-sudut yang bersesuaian dalam kedua segi tiga itu sama besarnya.15.

d.e. dan kontraposisi dari implikasi nomor 3a. pada latihan sebelumnya. Saya akan datang hanya jika tidak hujan. dan bandingkan dengan soal 3. dan 3. 3b.e. 42 .17. Manusia adalah binatang yang mempunyai akal budi. Semua manusia dapat membaca. perhatikan soal 4. Jika telepon berbunyi..d. invers. c. dan 3c. b.Tentukan nama syarat perlu dan syarat cukup untuk pertanyaan-pertanyaan berikut : a. Saya akan datang jika tidak hujan.. dan 4.d. 18. saya langsung berlari untuk menjawabnya. Tentukan konvers.(satu syarat adalah dapat membaca dan syarat lainnya adalah menjadi manusia) e.

Buktikan setiap pernyataan berikut ini ! a. q  (p  q) 43 . Sederhanakan pernyataan-pernyataan berikut ini ! a. ~ (p V ~ q) b. p  (p  p) b. ~ (~ p  q) 7. ~ (p V q)  (~ p  ~ q) (hukum De Morgan) d. a.SOAL BAB IV 1. Apakah setiap dua tautologi berekivalensi logis ? 2. p  (p V q) c. (p V q)  p e. Manakah diantara pernyataan berikut ini yang merupakan tautologi ? a. Buktikan Bahwa ~ (p  ~ q) adalah suatu tautologi b. p  (p  q) b. 6. (p q)  p d. ~ (p  q)  (~ p V ~ q) (hukum De Morgan) 3. p  (p V p) c. Buktikan bahwa (p  q)  ~ (p V q) merupakan kontradiksi. ~ (~ p  q) c. Buktikan bahwa p  q ekivalen dengan (p  q)  (q  p) 5. ~ (~ p  q) d. Buktikan bahwa p  q tidak ekivalen dengan p  q 4.

Buktikan setiap pernyataan berikut ini : a. 13. 12. Menjadi miskin adalah tidak bahagia. Jika dia tidak miskin dan bahagia maka dia kaya. p V (q  r)  (p V q)  (p V r) (hukum distributif) e. p  (q  r)  (p  q)  (p  r) 9. Buktikan bahwa p ~ q berlaku untuk setiap pernyataan berikut ini ! a. d. Buktikan bahwa p V q ~ (p V q)  ~ (p  q) 10. banyak timbul pengangguran. Buktikan bahwa pernyataan [(p  q)  (q  r)]  (p  r) merupakan tautologi. tuliskan kalimat berikut ini dalam bentuk simbolik menggunakan p dan q. Jika Ira kaya. 44 . p  (q V r)  (p  q) V (p  r) (hukum distributif) d. c. p  q  ~ (p  ~q) b. e. b. b. e. Baik Darwin maupun Darto mahasiswa yang baik. Menjadi miskin berarti berbahagia. maka Tuti dan Husein senang. d. c. Dia tidak tampan dan tidak mempunyai kedudukan. Dia tidak dapat sekaligus menjadi kaya dan bahagia. p V (q V r)  (p V q) V r (hukum assosiatif) c. Rambutnya pirang jika dan hanya jika matanya biru. (p  q)  (~ p  ~ q) 11.8. Tuliskan ingkaran setiap pernyataan majemuk berikut ini dalam bentuk kalimat yang sederhana ! a. a. (p  q)  (q  p) b. Adalah perlu untuk menjadi miskin agar bahagia. Jika p : “Dia kaya” dan q : “Dia bahagia”. Jika terjadi devaluasi.

a. a. B = {-1. Di perguruan tinggiku ada profesor wanita. x (x2 – 3x + 2 = 0) 3. x (x < x + 1) g. Tentukan negasi pernyataan-pernyataan berikut ini ! a. A = {bilangan asli} b. -3. . R = {bilangan real}. Misalakan p(x) menyatakan kalimat terbuka “x2  x”. 45 . b. c. 2. (x  R) (x2  0). c. Setiap bilangan kuadrat lebih besar atau sama dengan nol.SOAL BAB V 1. n (2 + n > 5) dalam himpunan bilangan asli. -2. 3.} b. . Tentukan nilai kebenaran dari setiap pernyataan berikut ini dalam semesta pembicaraan himpunan bilangan real. .} c. K = {bilangan kompleks} 2. x (x2 + 2x + 1 > 0) c. x (  0) d. (x  R) (x2 > x). Tuliskan pernyataan-pernyataan berikut ini dalam bentuk simbolik ! Kemudian tentukan negasinya. . 5. . Tuliskan negasi pernyataan-pernyataan di atas ! 4. Tidak ada manusia yang hidup abadi. R = {bilangan cacah} d. x (x + 3 = 5) dalam himpunan X = {1. Ada segi tiga sama kaki yang bukan segi tiga sama sisi. d. x (x2 = x) e. e. Tidak semua pulau di Indonesia didiami oleh penduduk. x  0 dalam himpunan bilangan real. . x ( = 0) f. e. x (x – 1 = x) h. f. Semua laki-laki dapat dipercaya. Apakah p(x) merupakan fungsi pernyataan pada setiap himpunan berikut ini ? a. x (x2 –2x + 1 = 0) b.

. 4. x (4 + x = 7) c. 10}. x y (x + y < 14) b. 2. x y (x2 + y2 < 13) f. x (4 + x > 8) 7. 2. . Perhatikan bentuk-bentuk simbolik berikut ini : a. x  y (x = y) c. x y (x2 + y2 < 20) c. 5. . x y (x2 + y2 < 13) d. . x y (x + y < 14) d. . 3}. tentukan himpunan penyelesaiannya. . x y (x + y = 1) h. kemudian tentukan negasinya ! a. 46 . x y (y = x) 11. x (4 + x  7) d. y (x + y < 14) c. 5}. Diketahui himpunan A = {1. x y z (x2 + y2 < z2) m. x y z (x2 + y2 < z2) 10. Semesta pembicaraan pernyataan-pernyataan berikut ini adalah X = {1. Tentukan contoh lawan (counter example) dari setiap pernyataan berikut ini dalam himpunan B = {4. jika termasuk kalimat terbuka. 3. tentukan nilai kebenarannya. a. x y (x + y = 1) j. x y (y = x) b. x p(x)  y q(y) c. Tentukan nilai kebenaran dari setiap pernyataan berikut ini dengan semesta pembicaraan himpunan A {1. x (x + y < 10) Termasuk pernyataan atau kalimat terbukakah bentuk itu ? Jika termasuk pernyataan.6. 6. Tentukan nilai kebenaran setiap pernyataan berikut ini. x (x + 4 < 13) c. x y (x2 < y + 1) b. . Tentukan negasi pernyataan-pernyataan berikut ini ! a. x p(x)  y q(y) d. x y z (x2 + y2 < z2) n. 10} ! a. x y z (x2 + y2 < z2) g. x y (x2 + y2 < 13) e. Tentukan nilai kebenaran dari setiap pernyataan berikut ini dengan semesta pembicaraan himpunan bilangan real ! a. x (x adalah bilangan genap) d. x y (x + y = 1) i. x (4 + x < 10) b. x p(x)  y ~ q(y) 8. x (x bilangan prima) b. x y (y = x) d. x y (x2 < y + 1) l. x (x9  100) 9.. x y (x2 < y + 1) k. 3. 2. x p(x)  y q(y) b.

y. a2. Tentukan negasi dari pernyataan-pernyataan berikut ini ! a.y) d. x y [p(x)  q(y)] c. . . x y [p(x)  q(y)] f. a3. yang mempunyai limit nol :   0 n0  n (n  n0)    Tentukan negasi dari pernyataan di atas. x y [~ p(x)  q(y)] b. x y p(x. x y p(x.12.z) 13. x y z p(x. Kalimat berikut ini merupakan kalimat definisi dari barisan bilangan real a1. 47 .y) e. .

You're Reading a Free Preview

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