SlideShare a Scribd company logo
1 of 14
LOGIKA MATEMATIKA
KALKULUS PROPOSISI
Definisi (Proposisi)
Sebuah proposisi(proposition) atau statement ialah sebuah kalimat
deklaratif yang memiliki tepat satu nilai kebenaran, yaitu: ”Benar”(B)
atau ”Salah”(S).
Kalkulus proposisi (propotional calculus) merupakan metode untuk
kalkulasi menggunakan proposisi/kalimat. Dalam kalkulus proposisi
yang ditinjau adalah nilai kalimat deklaratif (true/false), metode
penggabungan kalimat dan penarikan kesimpulan (kalimat)
berdasarkan kalimat tersebut.
Suatu proposisi adalah sebuah variabel logika p, q, r, ... atau sebuah
ungkapan yang dibangun dari variabel-variabel ini dan hubungan
dengan logika (, , ).
Tabel kebenaran dari proposisi terdiri dari kolom-kolom dalam variabel
-variabel dan kolom-kolom dalam proposisi.
Beberapa contoh proposisi dan bukan proposisi:
1. Jakarta adalah ibu kota Republik Indonesia.
2. 7 merupakan sebuah bilangan prima.
3. Manusia adalah salah satu jenis makluk di Bumi.
4. Taufik Hidayat pandai main bulu tangkis atau tennes.
5. Jika 10 habis dibagi dengan 4, maka juga habis dibagi dengan 2.
6. Mudah-mudahan anda berhasil dalam meniti karier.
7. Berolahragalah secara teratur!
8. Pergi kamu!
9. Ke Bogor.
10. Apa yang kamu lakukan?
• Kalimat deklaratif pertama, kedua dan ketiga dalam tidak memuat
penghubung disebut proposisi primitip(primitif ), dan dilambangkan
dengan huruf kecil: p, q, r, s.
• Kalimat deklaratif keempat dan kelima memuat penghubung ”atau” dan
”jika...maka...” disebut proposisi majemuk(composite). Kalimat keenam,
ketujuh, kedelapan, kesembilan, dan sepuluh bukan proposisi.
• Sebuah statemen (pernyataan) adalah suatu koleksi simbolik yang bernilai
benar atau salah tetapi tidak keduanya. Kebenaran atau kesalahan dari
sebuah statemen disebut nilai kebenaran.
Penghubung atau
konektif(connective)
Dalam logika matematika dikenal sebanyak
5 penghubung, yaitu:
• Konjungsi(Conjunction)
• Disjungsi(Disjunction)
• Negasi(Negation)
• Implikasi(Implication)
• Ekuivalensi(Equivalence)
• Konjungsi / AND / 
Konjungsi p dan q dinyatakan dengan, p  q,
adalah sebuah proposisi yang bernilai benar jika
proposisi p dan q keduanya bernilai benar.
Pernyataan ”p DAN q” dapat ditulis p  q
Contoh:
• p = Bumi adalah satu-satunya planet di jagat raya yang mempunyai
kehidupan. (B)
• q = Satu dekade sama dengan 10 tahun. (B)
• p  q = Bumi adalah satu-satunya planet di jagat raya yang
mempunyai kehidupan dan satu dekade sama dengan 10 tahun.
Tabel kebenaran:
• Disjungsi / OR / 
Disjungsi p dan q dinyatakan dengan, p  q,
adalah proposisi yang bernilai salah jika
proposisi p dan q keduanya bernilai salah.
Pernyataan ”p ATAU q” dapat ditulis p  q
Contoh:
• p = Blaise Pascal menemukan mesin hitung.
• q = Taufik hidayat pandai bermain bulu tangkis.
• p  q = Blaise Pascal menemukan mesin hitung atau Taufik
hidayat pandai bermain bulu tangkis
Tabel kebenaran:
• Negasi / NOT / 
Untuk sembarang proposisi, p, yang memiliki nilai
kebenaran, B=S, maka negasinya ditulis sebagai, p,
memiliki nilai kebenaran lawannya  p, S=B
 p = bukan p / tidak p/ tidak benar bahwa a
 p adalah benar bilamana p salah, dan  p adalah
salah bilaman p benar. Nilai kebenaran dari negasi
suatu pernyataan selalu berlawanan dengan nilai
kebenaran pernyataan aslinya.
Contoh:
• p = Komputer digital elektronik pertama dirakit pada abad ke
dua puluh.
•  p = Komputer digital elektronik tidak dirakit pada abad ke
dua puluh
Tabel Kebenarannya:
• Implikasi / 
Implikasi dari p ke q dinyatakan dengan, p  q,
ialah proposisi yang bernilai salah jika dan hanya
jika p bernilai benar dan q bernilai salah.
Proposisi p disebut anteseden(premis/hipotesa)
dan proposisi q disebut
konsekuen(konklusi/kesimpulan)
Pernyataan ”Jika p maka q” ditulis dengan notasi p  q
Contoh:
• p = Bunga mawar berwarna merah.
• q = Manusia memiliki rambut.
• p  q = Jika Bunga mawar berwarna merah maka manusia memili
rambut.
Tabel kebenaran:
• Bi - Implikasi / 
Proposisi bersyarat penting lainnya adalah berbentuk “p
jika dan hanya jika q” yang dinamakan bi-implikasi.
Ekivalensi dari p dan q dinyatakan dengan, p  q, adalah
proposisi yang bernilai benar jika proposisi p dan q
mempunyai nilai kebenaran sama. Pernyataan ”jika p dan
hanya jika q” ditulis dengan notasi p  q
Contoh:
• p = Saya pergi ke Puncak.
• q = Mobil berada di rumah.
• p  q = Saya pergi ke Puncak jika dan hanya jika mobil berada di
rumah.
Tabel kebenaran:
Contoh soal
1. Misalkan p adalah ”Dia tinggi” dan q adalah ”Dia tampan”. Tuliskan setiap
pernyataan berikut dalam bentuk simbolik dengan menggunakan p dan q
(Asumsikan bahwa ”Dia rendah” berarti ”Dia tidak tinggi”.)
• Dia tinggi dan tampan.
• Dia tinggi tetapi tidak tampan.
• Salah bahwa dia rendah atu tampan.
• Dia tidak tinggi maupun tampan.
JAWAB:
• p  q c.  ( p  q)
• p   q d.  p   q
2. Misalkan p adalah ”Sam orang kaya” dan q adalah ”Sam bahagia”. Berikan
sebuah kalimat verbal sederhana yang menggambarkan setiap pernyataan
berikut:
a. p  q c. p   q
b.  p   q d.  p  (p   q)
JAWAB:
• Sam orang miskin tetapi bahagia.
• Saya tidak kaya maupun bahagia.
• Sam orang kaya atau tidak bahagia.
• Sam orang miskin atau juga dia orang kaya dan tidak bahagia.
3. Misalkan p adalah ”Audi berbicara bahasa
Perancis” dan q adalah ” Audi berbicara bahasa
Mandarin. Tuliskan setiap pernyataan berikut
dalam bentuk simbolik.
• Audi berbicara bahasa Perancis atau Mandarin.
• Audi berbicara bahasa Perancis dan Mandarin.
• Audi berbicara bahasa Perancis tetapi tidak Mandarin.
• Audi tidak berbicara bahasa Perancis atau dia tidak berbicara bahasa
Mandarin.
JAWAB:
a. p  q c. p   q
b. p  q d. p   q
4. Buatlah tabel kebenaran dari  (p  q)!
JAWAB:
Tabel kebenaran untuk (p  q)
5. Buat tabel kebenaran untuk:
– p   q
–  p   q
JAWAB:
a. Tabel kebenaran untuk p   q
b. Tabel kebenaran untuk  p   q
TAUTOLOGI DAN KONTRADIKSI
• Sebuah proposisi disebut tautologi jika ia benar
untuk semua kasus, proposisi tautologi dicirikan
pada kolom terakhir pada tabel kebenarannya
hanya memuat B (benar).
• Sebuah proposisi disebut kontradiksi jika ia
salah untuk semua kasus, proposisi tautologi
dicirikan pada kolom terakhir pada tabel
kebenarannya hanya memuat S (salah).
• Contoh Tautologi:
– Buktikan bahwa proposisi p   (p  q) adalah sebuah
tautologi. Buatlah tabel kebenarannya!
• Jawab:
Karena nilai kebenaran dari p   (p  q) adalah B (benar) untuk semua
nilai p dan q maka proposisi adalah sebuah Tautologi.
Contoh Kontradiksi:
1. Buktikan bahwa proposisi (pq)   (pq) adalah sebuah Kontradiksi.
Jawab
Tabel kebenaran:
Karena nilai kebenaran dari (pq)   (pq) adalah S (salah) untuk semua nilai p
dan q maka proposisi adalak sebuah kontradiksi.

More Related Content

What's hot

proposisi majemuk & Tautologi
 proposisi majemuk & Tautologi proposisi majemuk & Tautologi
proposisi majemuk & Tautologi
Huzairi Zairi
 
Logika matematika 1
Logika matematika 1Logika matematika 1
Logika matematika 1
Neon Cinta
 

What's hot (20)

Soal pilihan ganda tautologi, ekivalen dan kontradiksi
Soal pilihan ganda tautologi, ekivalen dan kontradiksiSoal pilihan ganda tautologi, ekivalen dan kontradiksi
Soal pilihan ganda tautologi, ekivalen dan kontradiksi
 
Operator logika dan proposisi majemuk
Operator logika dan proposisi majemukOperator logika dan proposisi majemuk
Operator logika dan proposisi majemuk
 
Logika lanjutan
Logika lanjutanLogika lanjutan
Logika lanjutan
 
tabel kebenaran&hukum
 tabel kebenaran&hukum tabel kebenaran&hukum
tabel kebenaran&hukum
 
Implikasi dan biimplikasi
Implikasi dan biimplikasiImplikasi dan biimplikasi
Implikasi dan biimplikasi
 
proposisi majemuk & Tautologi
 proposisi majemuk & Tautologi proposisi majemuk & Tautologi
proposisi majemuk & Tautologi
 
Logika matematika 1
Logika matematika 1Logika matematika 1
Logika matematika 1
 
Logika dasr
Logika dasrLogika dasr
Logika dasr
 
Bab 3 logika matematika
Bab 3 logika matematikaBab 3 logika matematika
Bab 3 logika matematika
 
02.logika
02.logika02.logika
02.logika
 
Pengertian Logika Informatika
Pengertian Logika InformatikaPengertian Logika Informatika
Pengertian Logika Informatika
 
Sistem Pakar Certainty factor
Sistem Pakar Certainty factor Sistem Pakar Certainty factor
Sistem Pakar Certainty factor
 
Merge sort
Merge sortMerge sort
Merge sort
 
MIS BAB 6 Sistem Pakar
MIS BAB 6 Sistem PakarMIS BAB 6 Sistem Pakar
MIS BAB 6 Sistem Pakar
 
Proposisi Logika Matematika
Proposisi Logika MatematikaProposisi Logika Matematika
Proposisi Logika Matematika
 
Bab 2 logika predikat ta 2019
Bab 2 logika predikat ta 2019Bab 2 logika predikat ta 2019
Bab 2 logika predikat ta 2019
 
Matematika Logika - Kalkulus Proposisi bagian 1 Oleh Yeni Fatman, ST
Matematika Logika - Kalkulus Proposisi bagian 1 Oleh Yeni Fatman, STMatematika Logika - Kalkulus Proposisi bagian 1 Oleh Yeni Fatman, ST
Matematika Logika - Kalkulus Proposisi bagian 1 Oleh Yeni Fatman, ST
 
Matematika Diskrit - 06 relasi dan fungsi - 03
Matematika Diskrit - 06 relasi dan fungsi - 03Matematika Diskrit - 06 relasi dan fungsi - 03
Matematika Diskrit - 06 relasi dan fungsi - 03
 
5 penyederhanaan logis
5    penyederhanaan logis5    penyederhanaan logis
5 penyederhanaan logis
 
Iii Representasi Pengetahuan
Iii   Representasi PengetahuanIii   Representasi Pengetahuan
Iii Representasi Pengetahuan
 

Similar to P4 kalkulus proposisi

Rs11 g kelompok 12_ira fajriani yulitasari_292011356(2)
Rs11 g kelompok 12_ira fajriani yulitasari_292011356(2)Rs11 g kelompok 12_ira fajriani yulitasari_292011356(2)
Rs11 g kelompok 12_ira fajriani yulitasari_292011356(2)
lena6712
 
Rs11 g kelompok 12_ira fajriani yulitasari_292011356(2)...
Rs11 g kelompok 12_ira fajriani yulitasari_292011356(2)...Rs11 g kelompok 12_ira fajriani yulitasari_292011356(2)...
Rs11 g kelompok 12_ira fajriani yulitasari_292011356(2)...
lena6712
 

Similar to P4 kalkulus proposisi (20)

5. Proposisi.pdf
5. Proposisi.pdf5. Proposisi.pdf
5. Proposisi.pdf
 
Kelas x bab 7
Kelas x bab 7Kelas x bab 7
Kelas x bab 7
 
Kelas x bab 7
Kelas x bab 7Kelas x bab 7
Kelas x bab 7
 
Kelas x bab 7
Kelas x bab 7Kelas x bab 7
Kelas x bab 7
 
Logika Matematika
Logika MatematikaLogika Matematika
Logika Matematika
 
Rs11 g kelompok 12_ira fajriani yulitasari_292011356(2)
Rs11 g kelompok 12_ira fajriani yulitasari_292011356(2)Rs11 g kelompok 12_ira fajriani yulitasari_292011356(2)
Rs11 g kelompok 12_ira fajriani yulitasari_292011356(2)
 
Rs11 g kelompok 12_ira fajriani yulitasari_292011356(2)...
Rs11 g kelompok 12_ira fajriani yulitasari_292011356(2)...Rs11 g kelompok 12_ira fajriani yulitasari_292011356(2)...
Rs11 g kelompok 12_ira fajriani yulitasari_292011356(2)...
 
Modul matematika Mahasiswa Pendidikan Matematika Universitas Sriwijaya 2015
Modul matematika Mahasiswa Pendidikan Matematika Universitas Sriwijaya 2015Modul matematika Mahasiswa Pendidikan Matematika Universitas Sriwijaya 2015
Modul matematika Mahasiswa Pendidikan Matematika Universitas Sriwijaya 2015
 
KAPITA SELEKTA MATEMATIKA
KAPITA SELEKTA MATEMATIKAKAPITA SELEKTA MATEMATIKA
KAPITA SELEKTA MATEMATIKA
 
Logika
LogikaLogika
Logika
 
2. logika
2. logika 2. logika
2. logika
 
Logika matematika1
Logika matematika1Logika matematika1
Logika matematika1
 
Matematika-Logika revisi
Matematika-Logika revisiMatematika-Logika revisi
Matematika-Logika revisi
 
Pp. matek new
Pp. matek newPp. matek new
Pp. matek new
 
logika-matematika.ppt
logika-matematika.pptlogika-matematika.ppt
logika-matematika.ppt
 
Mathematicallogic
MathematicallogicMathematicallogic
Mathematicallogic
 
Mathematicallogic
MathematicallogicMathematicallogic
Mathematicallogic
 
Logika
LogikaLogika
Logika
 
logika matematika
logika matematikalogika matematika
logika matematika
 
Logika inf
Logika infLogika inf
Logika inf
 

More from said zulhelmi

More from said zulhelmi (12)

P2 logika pernyataan dan nilai kebenaran
P2 logika pernyataan dan nilai kebenaranP2 logika pernyataan dan nilai kebenaran
P2 logika pernyataan dan nilai kebenaran
 
Logika Matematika - Wahyu Fuadi, ST, M.IT
Logika Matematika - Wahyu Fuadi, ST, M.ITLogika Matematika - Wahyu Fuadi, ST, M.IT
Logika Matematika - Wahyu Fuadi, ST, M.IT
 
Makalah Kegunaan Matematika Diskrit pada Teknik Informatika
Makalah Kegunaan Matematika Diskrit pada Teknik InformatikaMakalah Kegunaan Matematika Diskrit pada Teknik Informatika
Makalah Kegunaan Matematika Diskrit pada Teknik Informatika
 
Linked List
Linked ListLinked List
Linked List
 
Ilmu negara
Ilmu negaraIlmu negara
Ilmu negara
 
Pohon(tree) matematika diskrit
Pohon(tree) matematika diskritPohon(tree) matematika diskrit
Pohon(tree) matematika diskrit
 
Pengantar sistem basis data
Pengantar sistem basis dataPengantar sistem basis data
Pengantar sistem basis data
 
Sistem manajemen basis data
Sistem manajemen basis dataSistem manajemen basis data
Sistem manajemen basis data
 
Orkom p1-sejarah kom
Orkom p1-sejarah komOrkom p1-sejarah kom
Orkom p1-sejarah kom
 
Array Dimensi banyak struktur data pertemuan ke 3
Array Dimensi banyak struktur data pertemuan ke 3Array Dimensi banyak struktur data pertemuan ke 3
Array Dimensi banyak struktur data pertemuan ke 3
 
Pertemuan 3 organisasi_komputer_logika_digital
Pertemuan 3 organisasi_komputer_logika_digitalPertemuan 3 organisasi_komputer_logika_digital
Pertemuan 3 organisasi_komputer_logika_digital
 
Pertemuan 2 orkomr_struktur__fungsi_komputer
Pertemuan 2 orkomr_struktur__fungsi_komputerPertemuan 2 orkomr_struktur__fungsi_komputer
Pertemuan 2 orkomr_struktur__fungsi_komputer
 

Recently uploaded

Bab 7 - Perilaku Ekonomi dan Kesejahteraan Sosial.pptx
Bab 7 - Perilaku Ekonomi dan Kesejahteraan Sosial.pptxBab 7 - Perilaku Ekonomi dan Kesejahteraan Sosial.pptx
Bab 7 - Perilaku Ekonomi dan Kesejahteraan Sosial.pptx
ssuser35630b
 
SEJARAH PERKEMBANGAN KEPERAWATAN JIWA dan Trend Issue.ppt
SEJARAH PERKEMBANGAN KEPERAWATAN JIWA dan Trend Issue.pptSEJARAH PERKEMBANGAN KEPERAWATAN JIWA dan Trend Issue.ppt
SEJARAH PERKEMBANGAN KEPERAWATAN JIWA dan Trend Issue.ppt
AlfandoWibowo2
 
Membuat Komik Digital Berisi Kritik Sosial.docx
Membuat Komik Digital Berisi Kritik Sosial.docxMembuat Komik Digital Berisi Kritik Sosial.docx
Membuat Komik Digital Berisi Kritik Sosial.docx
NurindahSetyawati1
 
bab 6 ancaman terhadap negara dalam bingkai bhinneka tunggal ika
bab 6 ancaman terhadap negara dalam bingkai bhinneka tunggal ikabab 6 ancaman terhadap negara dalam bingkai bhinneka tunggal ika
bab 6 ancaman terhadap negara dalam bingkai bhinneka tunggal ika
AtiAnggiSupriyati
 

Recently uploaded (20)

Salinan dari JUrnal Refleksi Mingguan modul 1.3.pdf
Salinan dari JUrnal Refleksi Mingguan modul 1.3.pdfSalinan dari JUrnal Refleksi Mingguan modul 1.3.pdf
Salinan dari JUrnal Refleksi Mingguan modul 1.3.pdf
 
MODUL P5 KEWIRAUSAHAAN SMAN 2 SLAWI 2023.pptx
MODUL P5 KEWIRAUSAHAAN SMAN 2 SLAWI 2023.pptxMODUL P5 KEWIRAUSAHAAN SMAN 2 SLAWI 2023.pptx
MODUL P5 KEWIRAUSAHAAN SMAN 2 SLAWI 2023.pptx
 
Modul Ajar Bahasa Inggris - HOME SWEET HOME (Chapter 3) - Fase D.pdf
Modul Ajar Bahasa Inggris - HOME SWEET HOME (Chapter 3) - Fase D.pdfModul Ajar Bahasa Inggris - HOME SWEET HOME (Chapter 3) - Fase D.pdf
Modul Ajar Bahasa Inggris - HOME SWEET HOME (Chapter 3) - Fase D.pdf
 
Stoikiometri kelas 10 kurikulum Merdeka.ppt
Stoikiometri kelas 10 kurikulum Merdeka.pptStoikiometri kelas 10 kurikulum Merdeka.ppt
Stoikiometri kelas 10 kurikulum Merdeka.ppt
 
PPT AKSI NYATA KOMUNITAS BELAJAR .ppt di SD
PPT AKSI NYATA KOMUNITAS BELAJAR .ppt di SDPPT AKSI NYATA KOMUNITAS BELAJAR .ppt di SD
PPT AKSI NYATA KOMUNITAS BELAJAR .ppt di SD
 
MODUL AJAR BAHASA INDONESIA KELAS 6 KURIKULUM MERDEKA.pdf
MODUL AJAR BAHASA INDONESIA KELAS 6 KURIKULUM MERDEKA.pdfMODUL AJAR BAHASA INDONESIA KELAS 6 KURIKULUM MERDEKA.pdf
MODUL AJAR BAHASA INDONESIA KELAS 6 KURIKULUM MERDEKA.pdf
 
KELAS 10 PERUBAHAN LINGKUNGAN SMA KURIKULUM MERDEKA
KELAS 10 PERUBAHAN LINGKUNGAN SMA KURIKULUM MERDEKAKELAS 10 PERUBAHAN LINGKUNGAN SMA KURIKULUM MERDEKA
KELAS 10 PERUBAHAN LINGKUNGAN SMA KURIKULUM MERDEKA
 
MODUL AJAR IPAS KELAS 6 KURIKULUM MERDEKA
MODUL AJAR IPAS KELAS 6 KURIKULUM MERDEKAMODUL AJAR IPAS KELAS 6 KURIKULUM MERDEKA
MODUL AJAR IPAS KELAS 6 KURIKULUM MERDEKA
 
RENCANA & Link2 Materi Pelatihan_ "Teknik Perhitungan TKDN, BMP, Preferensi H...
RENCANA & Link2 Materi Pelatihan_ "Teknik Perhitungan TKDN, BMP, Preferensi H...RENCANA & Link2 Materi Pelatihan_ "Teknik Perhitungan TKDN, BMP, Preferensi H...
RENCANA & Link2 Materi Pelatihan_ "Teknik Perhitungan TKDN, BMP, Preferensi H...
 
Kontribusi Islam Dalam Pengembangan Peradaban Dunia - KELOMPOK 1.pptx
Kontribusi Islam Dalam Pengembangan Peradaban Dunia - KELOMPOK 1.pptxKontribusi Islam Dalam Pengembangan Peradaban Dunia - KELOMPOK 1.pptx
Kontribusi Islam Dalam Pengembangan Peradaban Dunia - KELOMPOK 1.pptx
 
Kanvas BAGJA prakarsa perubahan Ahyar.pdf
Kanvas BAGJA prakarsa perubahan Ahyar.pdfKanvas BAGJA prakarsa perubahan Ahyar.pdf
Kanvas BAGJA prakarsa perubahan Ahyar.pdf
 
Bab 7 - Perilaku Ekonomi dan Kesejahteraan Sosial.pptx
Bab 7 - Perilaku Ekonomi dan Kesejahteraan Sosial.pptxBab 7 - Perilaku Ekonomi dan Kesejahteraan Sosial.pptx
Bab 7 - Perilaku Ekonomi dan Kesejahteraan Sosial.pptx
 
SEJARAH PERKEMBANGAN KEPERAWATAN JIWA dan Trend Issue.ppt
SEJARAH PERKEMBANGAN KEPERAWATAN JIWA dan Trend Issue.pptSEJARAH PERKEMBANGAN KEPERAWATAN JIWA dan Trend Issue.ppt
SEJARAH PERKEMBANGAN KEPERAWATAN JIWA dan Trend Issue.ppt
 
DAFTAR PPPK GURU KABUPATEN PURWOREJO TAHUN 2024
DAFTAR PPPK GURU KABUPATEN PURWOREJO TAHUN 2024DAFTAR PPPK GURU KABUPATEN PURWOREJO TAHUN 2024
DAFTAR PPPK GURU KABUPATEN PURWOREJO TAHUN 2024
 
Membuat Komik Digital Berisi Kritik Sosial.docx
Membuat Komik Digital Berisi Kritik Sosial.docxMembuat Komik Digital Berisi Kritik Sosial.docx
Membuat Komik Digital Berisi Kritik Sosial.docx
 
AKSI NYATA BERBAGI PRAKTIK BAIK MELALUI PMM
AKSI NYATA BERBAGI PRAKTIK BAIK MELALUI PMMAKSI NYATA BERBAGI PRAKTIK BAIK MELALUI PMM
AKSI NYATA BERBAGI PRAKTIK BAIK MELALUI PMM
 
Intellectual Discourse Business in Islamic Perspective - Mej Dr Mohd Adib Abd...
Intellectual Discourse Business in Islamic Perspective - Mej Dr Mohd Adib Abd...Intellectual Discourse Business in Islamic Perspective - Mej Dr Mohd Adib Abd...
Intellectual Discourse Business in Islamic Perspective - Mej Dr Mohd Adib Abd...
 
PPT Mean Median Modus data tunggal .pptx
PPT Mean Median Modus data tunggal .pptxPPT Mean Median Modus data tunggal .pptx
PPT Mean Median Modus data tunggal .pptx
 
bab 6 ancaman terhadap negara dalam bingkai bhinneka tunggal ika
bab 6 ancaman terhadap negara dalam bingkai bhinneka tunggal ikabab 6 ancaman terhadap negara dalam bingkai bhinneka tunggal ika
bab 6 ancaman terhadap negara dalam bingkai bhinneka tunggal ika
 
Refleksi Mandiri Modul 1.3 - KANVAS BAGJA.pptx.pptx
Refleksi Mandiri Modul 1.3 - KANVAS BAGJA.pptx.pptxRefleksi Mandiri Modul 1.3 - KANVAS BAGJA.pptx.pptx
Refleksi Mandiri Modul 1.3 - KANVAS BAGJA.pptx.pptx
 

P4 kalkulus proposisi

  • 2. Definisi (Proposisi) Sebuah proposisi(proposition) atau statement ialah sebuah kalimat deklaratif yang memiliki tepat satu nilai kebenaran, yaitu: ”Benar”(B) atau ”Salah”(S). Kalkulus proposisi (propotional calculus) merupakan metode untuk kalkulasi menggunakan proposisi/kalimat. Dalam kalkulus proposisi yang ditinjau adalah nilai kalimat deklaratif (true/false), metode penggabungan kalimat dan penarikan kesimpulan (kalimat) berdasarkan kalimat tersebut. Suatu proposisi adalah sebuah variabel logika p, q, r, ... atau sebuah ungkapan yang dibangun dari variabel-variabel ini dan hubungan dengan logika (, , ). Tabel kebenaran dari proposisi terdiri dari kolom-kolom dalam variabel -variabel dan kolom-kolom dalam proposisi.
  • 3. Beberapa contoh proposisi dan bukan proposisi: 1. Jakarta adalah ibu kota Republik Indonesia. 2. 7 merupakan sebuah bilangan prima. 3. Manusia adalah salah satu jenis makluk di Bumi. 4. Taufik Hidayat pandai main bulu tangkis atau tennes. 5. Jika 10 habis dibagi dengan 4, maka juga habis dibagi dengan 2. 6. Mudah-mudahan anda berhasil dalam meniti karier. 7. Berolahragalah secara teratur! 8. Pergi kamu! 9. Ke Bogor. 10. Apa yang kamu lakukan? • Kalimat deklaratif pertama, kedua dan ketiga dalam tidak memuat penghubung disebut proposisi primitip(primitif ), dan dilambangkan dengan huruf kecil: p, q, r, s. • Kalimat deklaratif keempat dan kelima memuat penghubung ”atau” dan ”jika...maka...” disebut proposisi majemuk(composite). Kalimat keenam, ketujuh, kedelapan, kesembilan, dan sepuluh bukan proposisi. • Sebuah statemen (pernyataan) adalah suatu koleksi simbolik yang bernilai benar atau salah tetapi tidak keduanya. Kebenaran atau kesalahan dari sebuah statemen disebut nilai kebenaran.
  • 4. Penghubung atau konektif(connective) Dalam logika matematika dikenal sebanyak 5 penghubung, yaitu: • Konjungsi(Conjunction) • Disjungsi(Disjunction) • Negasi(Negation) • Implikasi(Implication) • Ekuivalensi(Equivalence)
  • 5. • Konjungsi / AND /  Konjungsi p dan q dinyatakan dengan, p  q, adalah sebuah proposisi yang bernilai benar jika proposisi p dan q keduanya bernilai benar. Pernyataan ”p DAN q” dapat ditulis p  q Contoh: • p = Bumi adalah satu-satunya planet di jagat raya yang mempunyai kehidupan. (B) • q = Satu dekade sama dengan 10 tahun. (B) • p  q = Bumi adalah satu-satunya planet di jagat raya yang mempunyai kehidupan dan satu dekade sama dengan 10 tahun. Tabel kebenaran:
  • 6. • Disjungsi / OR /  Disjungsi p dan q dinyatakan dengan, p  q, adalah proposisi yang bernilai salah jika proposisi p dan q keduanya bernilai salah. Pernyataan ”p ATAU q” dapat ditulis p  q Contoh: • p = Blaise Pascal menemukan mesin hitung. • q = Taufik hidayat pandai bermain bulu tangkis. • p  q = Blaise Pascal menemukan mesin hitung atau Taufik hidayat pandai bermain bulu tangkis Tabel kebenaran:
  • 7. • Negasi / NOT /  Untuk sembarang proposisi, p, yang memiliki nilai kebenaran, B=S, maka negasinya ditulis sebagai, p, memiliki nilai kebenaran lawannya  p, S=B  p = bukan p / tidak p/ tidak benar bahwa a  p adalah benar bilamana p salah, dan  p adalah salah bilaman p benar. Nilai kebenaran dari negasi suatu pernyataan selalu berlawanan dengan nilai kebenaran pernyataan aslinya. Contoh: • p = Komputer digital elektronik pertama dirakit pada abad ke dua puluh. •  p = Komputer digital elektronik tidak dirakit pada abad ke dua puluh Tabel Kebenarannya:
  • 8. • Implikasi /  Implikasi dari p ke q dinyatakan dengan, p  q, ialah proposisi yang bernilai salah jika dan hanya jika p bernilai benar dan q bernilai salah. Proposisi p disebut anteseden(premis/hipotesa) dan proposisi q disebut konsekuen(konklusi/kesimpulan) Pernyataan ”Jika p maka q” ditulis dengan notasi p  q Contoh: • p = Bunga mawar berwarna merah. • q = Manusia memiliki rambut. • p  q = Jika Bunga mawar berwarna merah maka manusia memili rambut. Tabel kebenaran:
  • 9. • Bi - Implikasi /  Proposisi bersyarat penting lainnya adalah berbentuk “p jika dan hanya jika q” yang dinamakan bi-implikasi. Ekivalensi dari p dan q dinyatakan dengan, p  q, adalah proposisi yang bernilai benar jika proposisi p dan q mempunyai nilai kebenaran sama. Pernyataan ”jika p dan hanya jika q” ditulis dengan notasi p  q Contoh: • p = Saya pergi ke Puncak. • q = Mobil berada di rumah. • p  q = Saya pergi ke Puncak jika dan hanya jika mobil berada di rumah. Tabel kebenaran:
  • 10. Contoh soal 1. Misalkan p adalah ”Dia tinggi” dan q adalah ”Dia tampan”. Tuliskan setiap pernyataan berikut dalam bentuk simbolik dengan menggunakan p dan q (Asumsikan bahwa ”Dia rendah” berarti ”Dia tidak tinggi”.) • Dia tinggi dan tampan. • Dia tinggi tetapi tidak tampan. • Salah bahwa dia rendah atu tampan. • Dia tidak tinggi maupun tampan. JAWAB: • p  q c.  ( p  q) • p   q d.  p   q 2. Misalkan p adalah ”Sam orang kaya” dan q adalah ”Sam bahagia”. Berikan sebuah kalimat verbal sederhana yang menggambarkan setiap pernyataan berikut: a. p  q c. p   q b.  p   q d.  p  (p   q) JAWAB: • Sam orang miskin tetapi bahagia. • Saya tidak kaya maupun bahagia. • Sam orang kaya atau tidak bahagia. • Sam orang miskin atau juga dia orang kaya dan tidak bahagia.
  • 11. 3. Misalkan p adalah ”Audi berbicara bahasa Perancis” dan q adalah ” Audi berbicara bahasa Mandarin. Tuliskan setiap pernyataan berikut dalam bentuk simbolik. • Audi berbicara bahasa Perancis atau Mandarin. • Audi berbicara bahasa Perancis dan Mandarin. • Audi berbicara bahasa Perancis tetapi tidak Mandarin. • Audi tidak berbicara bahasa Perancis atau dia tidak berbicara bahasa Mandarin. JAWAB: a. p  q c. p   q b. p  q d. p   q 4. Buatlah tabel kebenaran dari  (p  q)! JAWAB: Tabel kebenaran untuk (p  q)
  • 12. 5. Buat tabel kebenaran untuk: – p   q –  p   q JAWAB: a. Tabel kebenaran untuk p   q b. Tabel kebenaran untuk  p   q
  • 13. TAUTOLOGI DAN KONTRADIKSI • Sebuah proposisi disebut tautologi jika ia benar untuk semua kasus, proposisi tautologi dicirikan pada kolom terakhir pada tabel kebenarannya hanya memuat B (benar). • Sebuah proposisi disebut kontradiksi jika ia salah untuk semua kasus, proposisi tautologi dicirikan pada kolom terakhir pada tabel kebenarannya hanya memuat S (salah). • Contoh Tautologi: – Buktikan bahwa proposisi p   (p  q) adalah sebuah tautologi. Buatlah tabel kebenarannya! • Jawab:
  • 14. Karena nilai kebenaran dari p   (p  q) adalah B (benar) untuk semua nilai p dan q maka proposisi adalah sebuah Tautologi. Contoh Kontradiksi: 1. Buktikan bahwa proposisi (pq)   (pq) adalah sebuah Kontradiksi. Jawab Tabel kebenaran: Karena nilai kebenaran dari (pq)   (pq) adalah S (salah) untuk semua nilai p dan q maka proposisi adalak sebuah kontradiksi.