Selamat datang di Perkuliahan LOGIKA MATEMATIKA Logika Matematika Teori Himpunan Teori fungsi

dokumen-dokumen yang mirip
PERTEMUAN 2 TABEL KEBENARAN DADANG MULYANA. TABEL KEBENARAN (TB) digunakan untuk menyajikan hubungan antara nilai kebenaran sejumlah proposisi.

Modul ke: Logika Matematika. Proposisi & Kuantor. Fakultas FASILKOM BAGUS PRIAMBODO. Program Studi SISTEM INFORMASI.

PROPOSISI MATEMATIKA SISTEM INFORMASI 1

Logika. Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si.

KALIMAT MAJEMUK DAN KONEKTIVITAS

LOGIKA. Arum Handini Primandari

EKUIVALENSI LOGIS. Dr. Julan HERNADI & (Asrul dan Enggar) Pertemuan 3 FONDASI MATEMATIKA. Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo

FONDASI MATEMATIKA Dasar berfikir deduktif dalam matematika. Julan HERNADI

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit

FONDASI MATEMATIKA Dasar berfikir deduktif dalam matematika. Julan HERNADI

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

Selamat Datang. MA 2151 Matematika Diskrit. Semester I 2008/2009

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

Selamat Datang. MA 2151 Matematika Diskrit. Semester I, 2012/2013. Rinovia Simanjuntak & Edy Tri Baskoro

LOGIKA MATEMATIKA LOGIKA. Altien Jonathan Rindengan, S.Si, M.Kom

FONDASI MATEMATKA. Julan HERNADI. October 15, BUKU TEKS WAJIB Pada Program Studi Pendidikan Matematika FKIP UNMUH PONOROGO

MATEMATIKA DISKRIT LOGIKA

FONDASI MATEMATIKA. Julan HERNADI. December 13, 2011 BUKU TEKS WAJIB. (Dasar berpikir deduktif dalam matematika)

FONDASI MATEMATIKA. Julan HERNADI. September 9, 2012 BUKU TEKS WAJIB. (Dasar berpikir deduktif dalam matematika)

MATEMATIKA DISKRIT. Logika

BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat?

Berpikir Komputasi. Sisilia Thya Safitri, MT Citra Wiguna, M.Kom. 3 Logika Proposisional (I)

LOGIKA & PEMBUKTIAN. Anita T. Kurniawati, MSi LOGIKA

LOGIKA MATEMATIKA I. PENDAHULUAN

Selamat Datang. MA 2251 Matematika Diskrit. Semester II, 2016/2017. Rinovia Simanjuntak & Saladin Uttunggadewa

Matematika Industri I

EKSKLUSIF OR (XOR) DEFINISI

LOGIKA MATEMATIKA. MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM. proposisi conjungsi tautologi inferensi

BAB 4 PROPOSISI. 1. Pernyataan dan Nilai Kebenaran

BAB 6 EKUIVALENSI LOGIS

LOGIKA. /Nurain Suryadinata, M.Pd

LOGIKA DAN PEMBUKTIAN

Konvers, Invers dan Kontraposisi

Berdasarkan tabel 1 diperoleh bahwa p q = q p.

Logika Proposisi 1. Definisi 1. (Proposisi) Proposisi adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya sekaligus.

Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed

LOGIKA MATEMATIKA (Pendalaman Materi SMA)

Materi 4: Logika. I Nyoman Kusuma Wardana. STMIK STIKOM Bali

Pernyataan adalah kalimat yang bernilai benar atau salah tetapi tidak sekaligus benar dan salah.

- Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat

Unit 5 PENALARAN/LOGIKA MATEMATIKA. Wahyudi. Pendahuluan

BAB I LOGIKA MATEMATIKA

6. LOGIKA MATEMATIKA

LOGIKA PROPOSISI 3.1 Proposisi logika proposisional. Contoh : tautologi yaitu proposisi-proposisi yang nilainya selalu benar. Contoh 3.

RUMUS-RUMUS TAUTOLOGI. (Minggu ke-5 dan 6)

I. PERNYATAAN DAN NEGASINYA

MATEMATIKA DASAR (Ekivalensi dan Kuantifikasi)

LOGIKA MATEMATIKA. LA - WB (Lembar Aktivitas Warga Belajar) MATEMATIKA PAKET C TINGKAT V DERAJAT MAHIR 1 SETARA KELAS X

Unit 6 PENALARAN MATEMATIKA. Clara Ika Sari Budhayanti. Pendahuluan. Selamat belajar, semoga Anda sukses.

Logika Matematika. Logika Matematika. Jurusan Informatika FMIPA Unsyiah. September 26, 2012

KONSEP DASAR LOGIKA MATEMATIKA. Riri Irawati, M.Kom Logika Matematika - 3 sks

Pengantar Logika - 2

PERTEMUAN TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT

Pertemuan 2. Proposisi Bersyarat

Logika & Himpunan 2013 LOGIKA MATEMATIKA. Oleh NUR INSANI, M.SC. Disadur dari BUDIHARTI, S.Si.

Contoh 1.36 Diberikan pernyataan Tidak benar bahwa dia belajar Algoritma tetapi tidak belajar Matematika.

1. Memahami pengertian proposisi dan predikat. 3. Memahami penggunaan penghubung dan tabel kebenaran

BAB 7 PENYEDERHANAAN

LOGIKA (LOGIC) Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataanpernyataan

TABEL KEBENARAN. Liduina Asih Primandari, S.Si.,M.Si. P a g e 8

BAB II TAUTOLOGI DAN PRINSIP-PRINSIP PEMBUKTIAN

PERNYATAAN MAJEMUK & NILAI KEBENARAN

BAB 6 LOGIKA MATEMATIKA


RENCANA PROGRAM KEGIATAN PEMBELAJARAN SEMESTER (RPKPS) DAN BUKU DIKTAT PENGANTAR LOGIKA MATEMATIKA DAN HIMPUNAN. Budi Surodjo

1.3 Pembuktian Tautologi dan Kontradiksi. Pernyataan majemuk yang selalu bernilai benar bagaimanapun nilai proposisi

LOGIKA MATEMATIKA Talisadika Maifa

NAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG

PENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka.

Proposition Logic. (Logika Proposisional) Bimo Sunarfri Hantono

Jadi penting itu baik, tapi jadi baik jauh lebih penting

Teori Dasar Himpunan. Julan HERNADI. December 27, Program Studi Pendidikan Matematika Universitas Muhammadiyah, Ponorogo

PERNYATAAN (PROPOSISI)

BAB I TAUTOLOGI DAN PRINSIP-PRINSIP PEMBUKTIAN

STMIK Banjarbaru EKUIVALENSI LOGIKA. 10/15/2012 H. Fitriyadi & F. Soesianto

LOGIKA Matematika Industri I

LOGIKA MATEMATIKA. Tabel kebenarannya sbb : p ~ p B S S B

Logika Matematika. Logika Matematika. Jurusan Informatika FMIPA Unsyiah. September 26, 2012

Mahasiswa memahami kuantifikasi dan simbolisme logika. 2) Mahasiswa dapat menyebutkan hubungan antara kuantor eksistensial dan kuantor

BAB I DASAR-DASAR LOGIKA

Materi Kuliah IF2091 Struktur Diskrit. Pengantar Logika. Oleh: Rinaldi Munir. Program Studi Informatika STEI - ITB

LOGIKA PROPOSISI. Bagian Keempat : Logika Proposisi

Pengantar Logika - 2

MATERI 1 PROPOSITIONAL LOGIC

Pengantar Logika. Didin Astriani Prasetyowati, M.Stat UIGM

INGKARAN DARI PERNYATAAN

Matematika Diskrit. Nelly Indriani Widiastuti S.Si., M.T Prodi Teknik Informatika UNIKOM

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements).

Logika. Apakah kesimpulan dari argumen di atas valid? Alat bantu untuk memahami argumen tsb adalah Logika

LOGIKA SIMBOLIK. Bagian II. September 2005 Pengantar Dasar Matematika 1

LOGIKA INFORMATIKA. Bahan Ajar

Hukum-hukum Logika 2/8/ Hukum komutatif: p q q p p q q p. 8. Hukum asosiatif: p (q r) (p q) r p (q r) (p q) r

PTI 206 Logika. Semester I 2007/2008. Ratna Wardani

Representasi Kalimat Logika ke dalam Matriks Trivia

4. LOGIKA MATEMATIKA

LOGIKA MATEMATIKA. d. 6 + a > -4 e. 7 adalah faktor dari 63. c. 4 x 6 2. Tentukan variabel dan himpunan penyelesaian dari: a.

Logika Matematika. Bab 1

PERTEMUAN KE 3 F T T F T F T F

Definisi : predikat (first order) adalah suatu Kata (simbol) yg jika di berikan pada kalimat terbuka, dapat berubah menjadi kalimat tertutup.

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara pernyataan (statements).

Transkripsi:

Selamat datang di Perkuliahan LOGIKA MAEMAIKA Logika Matematika eori Himpunan eori fungsi Dosen : Dr. Julan HERNADI PUSAKA : Kenneth H Rossen, Discrete mathematics and its applications, fifth edition.

LOGIKA MAEMAIKA 1.Mempelajari prinsip dan teknik beralasan 2.Dasar untuk memberikan pembenaran pada matematika dan ilmu pengetahuan lainnya. 3. Mempunyai banyak penerapan praktis, diantaranya untuk : - perancangan mesin komputasi, - kecerdasan buatan, - pemrograman komputer dan - bidang lainnya pada ilmu komputer.

Materi kuliah LOGIKA MAEMAIKA 1. Proposisi dan nilai kebenarannya 2. Ingkaran proposisi. 3. Konektivitas atau operator logika 4. Ekuivalensi logis 5. Predikat dan kuantifikasi 6. Metoda inferensi

PROPOSISI PERNYAAAN adalah kalimat deklaratif, umumnya mempunyai pola S-P-O-K PROPOSISI adalah pernyataan yang sudah dapat dipastikan benar, atau salah tetapi tidak keduanya sekaligus. NILAI KEBENARAN suatu pernyataan didasarkan pada fakta ilmiah atau kesepakatan umum. NILAI KEBENARAN : BENAR (=rue) dan SALAH (=alse). Dalam dunia digital nilai kebenaran biasanya dinyatakan oleh 1 untuk benar dan 0 untuk salah. CONOH : Semua pernyataan berikut adalah proposisi 1. Jakarta adalah ibukota negara Republik Indonesia 2. Ponorogo terletak di propinsi Jawa engah 3. 1 + 2 = 3 4. 2 + 2 = 5 Proposisi 1 dan 3 bernilai benar () Proposisi 2 dan 4 bernilai salah ()

CONOH : Perhatikan kalimat berikut 1. Jam berapakah sekarang? 2. Silahkan masuk ke ruangan! 3. x + 2 = 3 4. x + y = z Kalimat 1 bukan pernyataan, tapi pertanyaan. Jadi ia bukan proposisi. Kalimat 2 bukan pernyataan, tapi permintaan. Jadi ia bukan proposisi. Kalimat 3 adalah pernyataan, tetapi nilai kebenarannya masih bergantung pada nilai x yang diberikan. Bila x=1 ia bernilai benar (), namun bila x=2 ia bernilai salah (). Karena nilai kebenarannya tidak pasti maka ia bukan proposisi. Pernyataan yang nilai kebenarannya belum pasti disebut kalimat terbuka. COBA ANALISA KALIMA 4, KEMUDIAN SIMPULKAN APAKAH IA PROPOSISI AAU BUKAN!

NOASI UNUK PROPOSISI : p, q, r, s,... Misalkan p suatu proposisi. Proposisi yang menyatakan bukan p disebut NEGASI atau ingkaran dari pernyataan p, dan disimbolkan oleh p. CONOH : PROPOSISI INGKARAN Hari ini adalah hari Senin 2 adalah bilangan genap 3 lebih dari 2 Hari ini adalah bukan hari Senin 2 adalah bilangan ganjil 3 kurang dari atau sama dengan 2 INGA : Jika suatu proposisi bernilai maka ingkarannya bernilai, begitu juga sebaliknya.

ABEL KEBENARAN (B) digunakan untuk menyajikan hubungan antara nilai kebenaran sejumlah proposisi. ABEL 1 : B untuk proposisi dan negasinya p p MASALAH LOGIKA 1 Pada suatu komunitas mahasiswa baru terbagi dua kelompok, yaitu kelompok pembohong yaitu mhs yang selalu berkata salah dan kelompok penjujur yaitu mhs yang selalu berkata benar.

MASALAH LOGIKA 1 (Lanjutan) Suatu ketika seorang dosen bertemu dengan tiga orang mahasiswa yang sedang duduk di tangga; sebut saja mereka dengan A, B dan C. Dosen tersebut bertanya kepada A, apakah A penjujur atau pembohong. A menjawab dengan muka tertunduk sehingga jawabannya tidak jelas. Kemudian sang dosen bertanya kepada B : apa yang dikatakan A tadi? B menjawab bahwa A seorang penjujur. Eh, si C nyeletuk dan mengatakan bahwa B seorang pembohong DAPAKAH ANDA MEMASIKAN SIAPA PENJUJUR DAN SIAPA PEMBOHONG DIANARA MEREKA BERIGA? Petunjuk : Cukup dianalisa dengan menggunakan pernyataan dan negasinya.

OPERAOR LOGIKA Proposisi p Proposisi p Proposisi p, q Proposisi r Operator logika digunakan untuk membentuk proposisi baru dari satu atau lebih proposisi yang sudah ada. Operator logika disebut juga konektivitas. BEBERAPA KONEKIVIAS: 1. Negasi 2. Konjungsi 3. Disjungsi 4. Disjungsi eksklusif 5. Implikasi 6. Implikasi dua arah

KONJUNGSI DEINISI : Misalkan p dan q adalah proposisi. Proposi p dan q ditulis p q adalah proposisi yang bernilai benar jika kedua p dan q benar dan bernilai salah untuk kasus lainnya. Proposisi p q disebut konjungsi dari p dan q. ABEL 2 : B Konjungsi p q p q

CONOH : 1. Misalkan p : Hari ini Jumat, q : Hari ini hujan. maka p q : Hari ini Jumat dan hujan. Bagaimana nilai kebenarannya. Sangat tentatif, tergantung pada keadaan disaat pernyataan ini diungkapkan. 2. Misalkan p : Ada 7 hari dalam seminggu, q : 2+2 = 4, maka p q : Ada 7 hari dalam seminggu dan 2+2 = 4. Proposisi ini yang bernilai benar.

DISJUNGSI DEINISI : Misalkan p dan q adalah proposisi. Proposi p atau q ditulis p q adalah proposisi yang bernilai salah jika kedua p dan q salah dan bernilai benar untuk kasus lainnya. ABEL 3. B Disjungsi p q p q

CONOH : Diperhatikan proposisi berikut : Mahasiswa yang sudah mengambil kuliah kalkulus atau kuliah algoritma pemrograman boleh mengambil kuliah metoda numerik. Sesungguhnya kita mempunyai bentuk disjungsi p q, dimana p : Mhs yang sudah kuliah kalkulus boleh ambil numerik q : Mhs yang sudah ambil algoritma boleh ambil numerik Beberapa kemungkinan mhs yang boleh ambil numerik : 1. Mhs yang sudah mengambil kuliah kalkulus saja 2. Mhs yang sudah mengambil kuliah algoritma saja 3. Mhs yang sudah mengambil keduanya.

EKSKLUSI OR (XOR) DEINISI : Misalkan p dan q adalah proposisi. Proposisi salah satu p atau q ditulis p q adalah proposisi yang bernilai benar jika tepat satu diantara p atau q BENAR, dan bernilai salah untuk kasus lainnya. ABEL 4 : B Eksklusif OR p q p q

IMPLIKASI DEINISI : Misalkan p dan q adalah proposisi. Proposi jika p maka q ditulis p q adalah proposisi yang bernilai salah jika p benar tetapi q salah dan bernilai benar untuk kasus lainnya. ABEL 5. B Impilkasi p q p q

IMPLIKASI (Lanjutan) p q p q Diperhatikan B implikasi : apapun nilai kebenaran q, asalkan p bernilai salah maka implikasinya bernilai benar. PENYEBUAN LAIN UNUK p q : 1. p berimplikasi q 2. p berakibat q 3. q hanya jika p 4. p adalah syarat cukup q 5. q adalah syarat perlu p

Contoh menarik Misalkan p : soal ujian yang diberikan oleh guru q : jawaban yang diberikan oleh siswa Nilai kebenaran dari p q diilustrasikan sbg penilaian guru : 1. Bila soal ujian benar, jawaban juga benar maka nilainya lulus 2. Bila soal ujian benar, jawaban salah maka nilainya harus gagal 3. Bila soal ujiannya salah, dijawab benar maka nilainya lulus 4. Bila soal ujiannya salah, dijawab salah maka nilainya lulus. CONOH : Diperhatikan kalimat implikasi berikut : Jika belanja anda melebihi 1 juta rupiah maka akan diberikan diskon 2%. oko hanya memberikan perlakuan terhadap pelanggan dengan nilai belanja melebihi 1 juta tetapi tidak membahas belanja yang kurang dari 1 juta rupiah. CONOH : Jika hari ini Senin maka 2 + 3 = 5 merupakan proposisi yang benar walaupun kedua proposisi aslinya tidak berhubungan.

Bentuk Jika. Maka Dalam pemrograman komputer Diperhatikan pernyataan berikut : Jika x < 3 maka x = x + 1 Bila sebelum pernyataan ini diberikan x = 2 maka akan dihasilkan nilai x yang baru, yaitu x = 2 + 1 = 3 Bila sebelumnya diberikan x = 4 maka tidak ada pembaharuan (updating) nilai x. Hasilnya tetap, yaitu x = 4. Coba analisa pernyataan berikut : Jika 2+2=4 maka x = x^2+1. Berapa hasilnya jika diberikan x=1, 2, 4. Dalam banyak pemrograman komputer, bentuk jika maka biasanya muncul dalam bentuk berlapis, seperti jika (jika..(jika..maka. )..maka).maka.

BI-IMPLIKASI DEINISI : Misalkan p dan q adalah proposisi. Proposi p jika hanya jika q ditulis p q adalah proposisi yang bernilai benar jika p dan q keduanya benar atau keduanya bernilai salah. ABEL 6. B bi-implikasi p q p q

Masalah praktis Logika Dikarenakan masalah mesin, sang pilot membuat pendaratan darurat di pantai suatu pulau terpecil. Pulau ini didiami oleh 2 kelompok, katakan saja kelompok bangsawan yang selalu berkata jujur dan kelompok awam yang selalu berkata bohong. Sang pilot memutuskan menuju kota untuk mencari bantuan tapi tidak tahu harus ke arah mana. Ketika sedang berjalan sendiri sampai di suatu persimpangan (ada jalan ke kiri dan jalan ke kanan), dan bertemu dua orang, katakan A dan B. Sang pilot bertanya pada A tentang jalan mana yang harus diambil agar sampai di kota. Si A menjawab sbb : kota ada di gunung, atau jalan ke kanan menuju kota. Berbeda dengan A, Si B memberikan statmen kota ada di gunung, dan jalan ke kanan menuju kota. Sambil mengangkat bahu, si A mengatakan bahwa si B pembohong. Selanjutnya si B memberikan argumentasi dalam pernyataan berikut jika kota ada di gunung maka jalan ke kanan menuju kota. Dapatkah sang pilot mengambil jalan yang benar? Bagaimana?

Penterjemahan bahasa Indonesia Kedalam bentuk Logika Contoh 1: Anda dapat mengakses internet dari kampus hanya jika anda jurusan informatika atau anda bukan mhs baru. Penyelesaian : ada banyak cara untuk menyajikan klm ini dalam bentuk logika, salah satunya sbb: Misalkan p : anda dapat mengakses internet dari kampus q : anda mahasiswa jurusan informatika r : anda mahasiswa baru Maka kalimat di atas dapat disajikan dalam simbol logika sbb : q ( r ) p Contoh 2 : Anda tidak diperbolehkan naik roller coaster jika tinggi anda Kurang dari 120 cm, kecuali anda sudah berumur di atas 15 tahun. Untuk latihan, coba ubah ke simbol logika.

Logika dan Operasi Bit pada sistem Komputer Bit berupa angka 1 dan 0. String merupakan barisan atau susunan beberapa bit. Komputer menggunakan sistem basis dua, yaitu ia menyajikan informasi dengan menggunakan bit 1 dan 0. Bit 1 digunakan untuk menyakjikan nilai benar (), dan bit 0 digunakan untuk menyajikan nilai salah (). Operasi bit berupa konektivitas pada logika, yaitu : : dan, : atau, : ekslusif OR Dua string dapat dioperasikan jika mereka mempunyai panjang yang sama.

Logika dan Operasi Bit pada sistem Komputer (Lanjutan) CONOH : Diberikan dua string x dan y sbb : x = 01 1011 0110 dan y = 11 0001 1101. entukan hasil dari x y, x y dan x y. PENYELESAIAN : x = 01 1011 0110 x = 01 1011 0110 y = 11 0001 1101 y = 11 0001 1101 x y = 01 0001 0100 x y = 11 1011 1111 x = 01 1011 0110 y = 11 0001 1101 x y = 10 1010 1011

Konvers, invers dan kontraposisi Diperhatikan implikasi p q : Konvers : q p Invers : p q Kontraposisi : q p Coba buat tabel kebenaran untuk konjungsi, disjungsi, XOR, implikasi, konvers, invers dan kontraposisi. Selidikilah apa saja pasangan proposisi yang mempunyai nilai kebenaran yang sama. EKUIVALENSI PROPOSISI

autologi dan Kontradiksi Gabungan dua proposisi yang selalu bernilai benar, tidak bergantung pada nilai kebenaran masing-masing proposisi disebut tautologi. Gabungan dua proposisi yang selalu bernilai salah, tidak bergantung pada nilai kebenaran masing-masing propo- Sisi disebut kontradiksi. Contoh : p p : autologi p p : Kontradiksi Besok akan turun hujun atau tidak turun hujan tautologi 2 adalah bilangan genap dan bilangan ganjil kontradiksi

DEINISI : Dua proposisi m dan n dikatakan ekuivalen logis jika m n merupakan suatu tautologi. EKUIVALEN LOGIS Notasi m n : untuk menyatakan bahwa m dan n ekuivalen secara logis. CONOH : 1. implikasi p q ekuivalen logis dengan kontraposisinya 2. (p q) p q Bukti : Gunakan tabel kebenaran. Berikut untuk contoh 1, contoh 2 diberikan sebagai latihan.

p q p q p q q p sama Dalam penerapannya, kebenaran proposisi yang berupa implikasi kadangkala dibuktikan melalui kontraposisinya.

BEBERAPA BENUK EKUIVALENSI LOGIS Misalkan proposisi yang selalu bernilai benar dan propoisi Yang selalu bernilai salah. 1. Hukum Identitas : p p dan p p 2. Hukum Dominasi : p dan p 3. Hukum Idempoten : p p p dan p p p 4. Hukum negasi ganda : ( p) p 5. Hukum Komutatif : p q q p dan p q q p 6. Hukum Asosiatif : (p q) r p (q r) (p q) r p (q r) 7. Hukum Distributif : p (q r) (p q) (p r) p (q r) (p q) (p r) 8. Hukum De Morgan : (p q) p q (p q) p q

PREDIKA dan UNGSI PROPOSISIONAL Diperhatikan kalimat yang memuat variabel x < 2. Subjek : x Predikat : kurang dari 2 Pernyataan x kurang dari 2 dinyatakan dengan P(x), dimana P merujuk sifat kurang dari 2 dan x variabel. P disebut juga fungsi proposisional dimana P(x) adalah nilai fungsi P di x. Nilai P(x) hanya dua macam, yaitu benar () atau salah (). CONOH : 1. Bila P(x) : x < 2 maka P(1) benar, P(2) salah, P(3/2) benar, dst 2. ungsi proposisional dengan beberapa varibel : Q(x,y) : x^2 + y^2 = 25 Q(3,4), Q(4,3) bernilai benar, Q(1,2), Q(5,3) salah, dst.

Contoh penggunaan fungsi proposisional pada program komputer Misalkan perintah berikut : jika x > 0 maka x = x+1 dimasukkan pada suatu program. ungsi proposisi P(x): x >0. Bila P(x) benar maka perintah x = x + 1 dieksekusi, tetapi bila P(x) salah maka nilai x yang dimasukkan tidak berubah. x = 1 P(1) benar x = 1 + 1 = 2 x = 2 P(0) salah x = 2

Misalkan P(x) suatu fungsi proposisional, x berasal dari suatu domain yang disebut semesta pembicaraan. DEINISI : Kuantifikasi universal adalah proposisi yang berbentuk x, P(x). dibaca: untuk setiap x dalam semesta pembicaraan berlaku P(x) Notasi KUANOR disebut kuantor universal. CONOH : Nyatakan kalimat berikut dalam kuantifikasi universal semua mhs di kelas ini mengambil kuliah kalkulus Penyelesaian : Misal P(x) : x mengambil kuliah kalkulus, x varibel mhs. Diperoleh x, P(x). Bentuk lainnya : misalkan S(x): x yang ada di kelas ini, maka pernyataan Di atas dapat juga disajikan sebagai x, [ S(x) P(x)]

DEINISI : Kuantifikasi eksistensial adalah proposisi sbb : terdapat (ada) x dalam semesta pembicaraan sehingga berlaku P(x) ditulis x, P(x). Notasi KUANOR (Lanjutan) disebut kuantor eksistensial. Pengertian terdapat berarti paling tidak ada satu x dalam semesta Pembicaraan sehingga P(x) benar. CONOH : Diberikan pernyataan P(x): x^2 = 1. entukan nilai kebenaran x, P(x). Penyelesaian : Karena x = 1 dan x = -1 membuat persamaan x^2 = 1 benar maka kuantifikasi eksistensial ini bernilai benar. Bila Q(x,y) : x^2+y^2 < 0 maka kuantifikasi eksistensial benilai salah. (x,y), Q(x,y)