Ingkaran Kalimat Berkuantor

Slides:



Advertisements
Presentasi serupa
BAHAN AJAR TEORI BILANGAN BAHAN AJAR TEORI BILANGAN
Advertisements

Bahan Kuliah Matematika Diskrit
Kalimat Matematika.
1.2. Logika Predikat Pada pembahasan pasal sebelumnya kita telah
MATEMATIKA BISNIS HIMPUNAN.
Kalimat Berkuantor Matematika Diskrit.
Matematika Informatika 1
TOPIK 1 LOGIKA.
1.2. Logika Predikat Pada pembahasan pasal sebelumnya kita telah
Bahan kuliah IF2120 Matematika Diskrit
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
Pernyataan Berkuantor
Matematika Diskrit Logika Matematika Heru Nugroho, S.Si., M.T.
DPH1A3-Logika Matematika
Logical Connectives – Penghubung Logika / Operator Logika
Dosen Pembimbing Gisoesilo Abudi
Bahan kuliah Matematika Diskrit
Sabtu, 27 Januari 2018 Kalimat Matematika Oleh : Choirudin, M.Pd.
MATEMATIKA DISKRIT PERTEMUAN KE 2 SAFITRI JAYA, S.Kom, M.T.I
LogikA MATEMATIKA.
KALIMAT BERKUANTOR.
Bahan kuliah Matematika Diskrit
BAB II HIMPUNAN.
LOGIKA MATEMATIKA.
COUNTER EXAMPLE & KUANTOR DUA-VARIABEL ATAU LEBIH
Rinaldi Munir/IF2120 Matematika Diskrit
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
Grace Lusiana Beeh, S. Kom.
TOPIK 1 LOGIKA M. A. INEKE PAKERENG, M.KOM.
HIMPUNAN MATEMATIKA EKONOMI 1.
Logika Matematika Pernyataan.
Latihan Soal Logika Matematika
TOPIK 1 LOGIKA.
Matematika diskrit Logika Proposisi
BILANGAN CACAH, BILANGAN GENAP, BILANGAN GANJIL
BILANGAN CACAH, BILANGAN GENAP, BILANGAN GANJIL
JENIS - JENIS BILANGAN BULAT
LOGIKA INFORMATIKA Kuantor.
Prinsip dasar perhitungan
IF34220 Matematika Diskrit Nelly Indriani W. S.Si., M.T
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
Oleh : PURWANTO,S.Pd.,MM. SMK MA’ARIF SEMANU 2017
QUANTIFIER (KUANTOR) dan Induksi matematika
Mata Kuliah: MATEMATIKA DISKRIT Harni Kusniyati
KALKULUS PREDIKAT/ KALIMAT BERKUANTOR
Himpunan Ripai, S.Pd., M.Si.
Matematika Diskrit TIF (4 sks) 3/9/2016.
LOGIKA LOGIKA MAJEMUK KUANTOR
LOGIKA MATEMATIKA Disusun Oleh : 2.Emi Suryani ( ) 5A4
MATEMATIKA DISKRIT PERTEMUAN KE 7 SAFITRI JAYA, S.Kom, M.T.I
LOGIKA MATEMATIKA 9/12/2018.
Matematika Diskrit Logika Matematika Dani Suandi,S.Si.,M.Si.
Matematika Diskrit TIF (4 sks).
TOPIK 1 LOGIKA.
SISTEM BILANGAN REAL.
MATEMATIKA FAKULTAS SAINS DAN TEKNOLOGI UNIVESITAS JAMBI 2017
CCM110 MATEMATIKA DISKRIT Pertemuan-9, Metode Pembuktian
Latihan Buatlah algoritma untuk menentukan status kelulusan mahasiswa pada satu matakuliah. Mahasiswa dinyatakan lulus apabila nilai >= 60. Input : nilai.
Heru Nugroho, S.Si., M.T. No Tlp : Semester Ganjil TA
LOGIKA MATEMATIKA OLEH LASMI, S.S.I, M.PD.
POLA BILANGAN Pada Bilangan Bulat.
KALKULUS I Himpunan Bilangan
KALKULUS II TEKNIK INTEGRASI
Contoh 1 Kalimat (p → q) → r bernilai benar Jika
BAB 1 HIMPUNAN.
BAB 1 HIMPUNAN.
Materi Kuliah Matematika Diskrit
Quantifier (Kuantor) dan Induksi matematika
1 Himpunan Bahan kuliah Matematika Diskrit. 2 Definisi Himpunan (set) adalah kumpulan objek-objek yang berbeda. Objek di dalam himpunan disebut elemen,
QUANTIFIER (KUANTOR) dan Induksi matematika
Transcript presentasi:

1.2.3 Ingkaran Kalimat Berkuantor Misal terdapat pernyataan “Semua mahasiswa lulus ujian Matematika Diskrit”. Pernyataan tersebut mempunyai nilai kebenaran yang salah jika setidak-tidaknya terdapat satu mahasiswa yang tidak lulus ujian Matematika Diskrit. Perlu diingat bahwa nilai kebenaran yang salah merupakan ingkaran dari nilai kebenaran yang benar. Jadi ingkaran dari “Semua mahasiswa lulus ujian Matematika Diskrit” adalah “Ada mahasiswa yang tidak lulus ujian Matematika Diskrit”.

Jika semesta pembicaraan sudah jelas, bisanya tidak Jika p : Semua mahasiswa lulus ujian Matematika Diskrit dan p(x) : “x lulus ujian Matematika Diskrit”, maka dalam bentuk simbolik pernyataan tersebut dapat kita tulis menjadi xmahasiswa, p(x). Sedangkan “Ada mahasiswa yang tidak lulus ujian Matematika Diskrit” dapat ditulis dalam bentuk simbol menjadi xmahasiswa, p(x). Jika semesta pembicaraan sudah jelas, bisanya tidak dicantumkan lagi pada penulisannya. Jadi xmahasiswa, p(x) sering ditulis dalam bentuk yang lebih sederhana seperti : x, p(x).

Secara umum ingkaran dari kalimat berkuantor adalah sebagai berikut: x, p(x)  x, p(x) x, p(x)  x, p(x) Contoh 1.47 Tulis ingkaran dari kalimat-kalimat berikut : a) Semua orang sukses rajin bekerja b) Sebagian ahli matematika adalah orang malas c) Ada bilangan ril merupakan bilangan rasional. Penyelesaian:

Misal p(x) : “x rajin bekerja”. Maka kalimat a) dapat kita tulis dalam bentuk simbol : xorang sukses, p(x) atau x, p(x). Ingkaran x, p(x) adalah x, p(x)  x, p(x) b) Misal q(x) : “x adalah orang malas”. Maka kalimat b) dapat ditulis dalam bentuk simbol menjadi : xahli matematika, q(x) atau x, q(x). Ingkaran x, q(x) adalah x, q(x)  x, q(x) . c) Misal r(x) : “x merupakan bilangan rasional”. Kalimat tersebut dapat ditulis dalam bentuk simbol menjadi : xbilangan ril, r(x) atau x, r(x). Ingkaran x, q(x)  x, r(x)

Contoh 1.48 Tulis kalimat-kalimat berikut dengan menggunakan simbol-simbol, kemudian tulis ingkarannya (semestanya adalah himpunan bilangan bulat). Untuk setiap x, jika x bilangan ganjil maka x2 + 1 bilangan ganjil juga. b) Ada beberapa x sedemikian sehingga x merupakan bilangan genap dan x merupakan bilangan ganjil.

Ada beberapa bilangan bulat x yang merupakan bilangan ganjil, tetapi (x2 + 1) bukan merupakan bilangan ganjil. Penyelesaian a) Misal p(x) : x bilangan ganjil q(x) : x2 + 1 bilangan ganjil x, (p(x)  q(x)) Ingkarannya : x, (p(x)  q(x))

b) Misal r(x) : x bilangan ganjil s(x) : x2 + 1 bilangan ganjil Kalimat semula x, (r(x)  s(x)) Ingkarannya x, (r(x)  s(x)) adalah x, (r(x)  s(x))  x, (r(x)  s(x))  x, (r(x)  s(x)) Semua bilangan x bukan merupakan bilangan genap atau bukan merupakan merupakan bilangan ganjil

1.2.4 Kalimat Berkuantor Ganda Kalimat berkuantor ganda adalah kalimat yang menggunakan lebih dari satu kuantor. Secara umum ekiovalensi dari kalimat berkuantor ganda adalah sebagai berikut: x y p(x,y)  y x p(x,y) x y p(x,y)  y x p(x,y) x y p(x,y)  y x p(x,y) Sedangkan ekivalensi dari ingkarannya adalah: x y p(x,y)  x y p(x,y) x y p(x,y)  x y p(x,y)

Contoh 1.49 Nyatakan kalimat berikut ke dalam simbol logika. Setiap bilangan genap sama dengan 2 kali bilangan bukat. Jika setiap dosen bermutu maka semua mahasiswa antusia belajar. Penyelesaian: Misal p(x,y) : x sama dengan 2 kali y x  bilangan genap y bilangan bulat p(x,y) atau disingkat x y p(x,y) b) Misal p(x,y) : Jika x maka y xdosen bermutu ymahasiswa antusias belajar p(x,y), atau dapat disingkat x y p(x,y)