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

Ukuran: px
Mulai penontonan dengan halaman:

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

Transkripsi

1 Jurusan Informatika FMIPA Unsyiah September 26, 2012

2 Cara menentukan nilai kebenaran pernyataan majemuk dengan menggunakan tabel kebenaran, yaitu dengan membagi beberapa bagian (kolom). Nilai kebenarannya terletak pada kolom yang terdapat operasi logika yang terakhir dan akan diberi tanda *. Banyaknya baris yang tersedia tergantung banyaknya pernyataan yang ada dengan menggunakan rumus 2 n, dimana n adalah banyaknya pernyataan tunggal yang menyusun pernyataan majemuk tersebut. Pernyataan yang pertama diisi dengan setengah B dan setengah S. Pernyataan kedua diisi dengan seperempat B dan berselang-seling dengan seperempat S dan seterusnya.

3 Contoh Tentukan nilai kebenaran dari pernyataan ((p q) p) q. Jawab : Karena ada 2 pernyataan yaitu p dan q maka terdapat 2 2 = 4 baris. Tabel kebenarannya : ((p q) p) q B B B S S S S B S S B S B B S S B B B B S S S S B B B B

4 Dua pernyataan majemuk p dan q dikatakan ekuivalen dan ditulis p q jika dan hanya jika p dan q mempunyai nilai kebenaran yang sama. Untuk itu membuktikannya dengan menggunakan tabel kebenaran.

5 Contoh Tunjukkan dengan tabel kebenaran bahwa (p (q r)) = ((p q) r) (p (q r)) = ((p q) r) B B B B B B B B B B B S B S S B B B S S B B S B B B S S B B B B S B S B S S B S S B B B B S S B B B S B B S S S S B B S S B S B B S S S B B S B S B S S S S B S Karena nilai kebenaran ruas kiri dan kanan sama yaitu BSBBBBBB maka keduanya ekuivalen.

6 dari suatu implikasi mempunyai ketentuan sebagai berikut : Jika suatu implikasi p q maka : Konversnya : q p Inversnya : p q Kontraposisinya : q p Catatan: Implikasi ekuivalen dengan kontraposisi Konvers ekuivalen dengan invers.

7 Contoh Tentukan konvers, invers dan kontraposisi dari implikasi Jika hari libur maka anak-anak tidak masuk sekolah Jawab: Konversnya : Jika anak-anak tidak masuk sekolah maka hari libur Inversnya : Jika hari tidak libur maka anak-anak masuk sekolah Kontraposisinya : Jika anak-anak masuk sekolah maka hari tidak libur

8 Definisi adalah suatu pernyataan majemuk yang bernilai benar untuk setiap kemungkinan. Kontradiksi adalah suatu pernyataan majemuk yang bernilai salah untuk setiap kemungkinan. Kontingensi adalah suatu pernyataan majemuk yang bukan termasuk tautologi dan bukan juga kontradiksi., kontradiksi dan kontigensi dapat dibuktikan menggunakan tabel kebenaran ataupun sifat-sifat logika. Contoh: 1 [(p q) q] p (tautologi) 2 p p (kontradiksi) 3 p q (kontigensi)

9 Ada tiga metode atau cara yang digunakan dalam penarikan kesimpulan, yaitu: Modus Ponens Modus Tollens Silogisme. dilakukan dari beberapa pernyataan yang diketahui nilai kebenarannya yang disebut premis. Kemudian, dengan menggunakan prinsip-prinsip logika diperoleh pemyataan baru yang disebut kesimpulan / konklusi yang diturunkan dari premis yang ada. seperti itu sering juga disebut argumentasi.

10 Prinsip-prinsip logika yang dipakai dalam penarikan kesimpulan adalah sebagai berikut. 1 Argumentasi dikatakan sah : Konjungsi dari premis-premis yang diketahui diimplikasikan dengan konklusi hasilnya tautologi 2 Argumentasi dikatakan tidak sah: Konjungsi dari premis-premis yang diketahui diimplikasikan dengan konklusi hasilnya bukan tautologi Jadi suatu argumentasi dikatakan sah jika premis-premisnya benar maka konklusinya juga benar.

11 Modus Ponens Jika diketahui premis-premisnya p q dan p maka dapat diambil konklusi q. seperti itu disebut Modus Ponens atau Kaidah Pengasingan. Modus Ponens disajikan dalam susunan sebagai berikut. premis 1: p q premis 2: p konklusi : q

12 Modus Tollens Jika diketahui premis-premisnya p q dan q maka dapat diambil konklusi p. seperti itu disebut Modus Tollens atau Kaidah Penolakan. Modus Tollens disajikan dalam susunan sebagai berikut. premis 1: p q premis 2: q konklusi : p

13 Silogisme Jika diketahui premis-premisnya p q dan q r maka dapat diambil konklusi p r. seperti itu disebut Silogisme. Silogisme menggunakan sifat menghantar atau transitif dari pemyataan implikasi. Silogisme disajikan dalam susunan sebagai berikut. premis 1: p q premis 2: q r konklusi : p r

14 Contoh Modus tollens premis 1: premis 2: konklusi : Jika seseorang sudah berumur 17 tahun maka ia boleh me Ali belum mempunyai KTP (B) Ali belum berumur 17 tahun (B) Silogisme premis 1: premis 2: konklusi : Jika rajin belajar maka ia naik kelas (B) Jika naik kelas maka ia dibelikan sepeda (B)) Jika rajin belajar maka ia dibelikan sepeda (B)

15 Kuantor Misalkan p(x) adalah pernyataan yang menyangkut variabel x dan D adalah sebuah himpunan, maka p adalah fungsi proposisi jika untuk setiap x D berlaku p(x) adalah sebuah proposisi. INF-104 Matematika Diskrit

16 Kuantor Contoh 1 Misalkan p(x) adalah pernyataan dengan x adalah sebuah bilangan genap bulat. Misalkan D adalah himpunan bilangan bulat positif. Maka fungsi proposisi p(x) dapat ditulis: Jika x = 1 maka proposisinya 1 adalah bilangan bulat genap (F) Jika x = 2 maka proposisinya 2 adalah bilangan bulat genap (T) dan seterusnya. Jadi dapat kita lihat ada sejumlah (kuantitas) proposisi yang benar. Untuk menyatakan kuantitas suatu objek dalam proposisi tersebut digunakan notasi-notasi yang disebut kuantor. INF-104 Matematika Diskrit

17 Jenis-jenis kuantor Kuantor Jenis-jenis kuantor yang sering digunakan dalam proposisi: 1 Untuk setiap x, p(x) disebut kuantor universal dan simbol yang digunakan. 2 Untuk beberapa (paling sedikit satu) x, p(x) disebut kuantor existensial simbol yang digunakan. INF-104 Matematika Diskrit

18 Kuantor Contoh 2 Misalkan x himpunan warga negara Indonesia, p predikat membayar pajak, r predikat membeli printer, maka 1 xp(x) artinya: Semua warga negara membayar pajak. 2 xr(x)p(x) artinya: Ada beberapa warga negara pembeli printer membayar pajak. 3 xr(x) p(x) artinya: Setiap warga negara jika membeli printer maka membayar pajak. 4 xr(x) p(x) artinya: Ada warga negara membeli printer dan tidak membayar pajak. INF-104 Matematika Diskrit

19 Negasi Kuantor Kuantor x = x x = x maka 1 ( xp(x)) = x( p(x)) 2 ( xp(x)) = x( p(x)) 3 ( xp(x) q(x)) = x (p(x) q(x)) = x(p(x) ( q(x))) 4 ( xp(x) q(x)) = x (p(x) q(x)) = x (p(x) q(x)) INF-104 Matematika Diskrit

BAB 6 LOGIKA MATEMATIKA

BAB 6 LOGIKA MATEMATIKA A 6 LOGIKA MATEMATIKA A RINGKAAN MATERI 1. Pengertian Logika adalah suatu metode yang diciptakan untuk meneliti ketepatan penalaran (bentuk pemikiran yang masuk akal). Pernyataan adalah kalimat yang hanya

Lebih terperinci

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

Logika. Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si. Logika Arum Handini Primandari, M.Sc. Ayundyah Kesumawati, M.Si. Logika Matematika Kalimat Terbuka dan Tertutup Kalimat terbuka adalah kalimat yang tidak mengandung nilai kebenaran Contoh: Semoga kamu

Lebih terperinci

6. LOGIKA MATEMATIKA

6. LOGIKA MATEMATIKA 6. LOGIKA MATEMATIKA A. Negasi (Ingkaran) Negasi adalah pengingkaran terhadap nilai kebenaran suatu pernyataan. ~ p : tidak p p ~ p B S S B B. Operator Logika 1) Konjungsi adalah penggabungan dua pernyataan

Lebih terperinci

RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN

RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN RUMUS LOGIKA MATEMATIKA DAN TABEL KEBENARAN Updated by Admin of Bahan Belajar Logika matematika merupakan salah satu materi pelajaran matematika dan cabang logika yang mengandung kajian matematis logika.

Lebih terperinci

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

LOGIKA MATEMATIKA. LA - WB (Lembar Aktivitas Warga Belajar) MATEMATIKA PAKET C TINGKAT V DERAJAT MAHIR 1 SETARA KELAS X LA - WB (Lembar Aktivitas Warga Belajar) LOGIKA MATEMATIKA Oleh: Hj. ITA YULIANA, S.Pd, M.Pd MATEMATIKA PAKET C TINGKAT V DERAJAT MAHIR 1 SETARA KELAS X Created By Ita Yuliana 37 Logika Matematika Kompetensi

Lebih terperinci

LOGIKA. Arum Handini Primandari

LOGIKA. Arum Handini Primandari LOGIKA Arum Handini Primandari LOGIKA MATEMATIKA KALIMAT TERBUKA DAN TERTUTUP Kalimat terbuka adalah kalimat yang tidak mengandung nilai kebenaran Contoh: Apakah kamu tahu pencipta lagu PPAP? Semoga ujian

Lebih terperinci

4. LOGIKA MATEMATIKA

4. LOGIKA MATEMATIKA 4. LOGIKA MATEMATIKA A. Negasi (Ingkaran) Negasi adalah pengingkaran terhadap nilai kebenaran suatu pernyataan. ~ p : tidak p p ~ p B S S B B. Operator Logika 1) Konjungsi adalah penggabungan dua pernyataan

Lebih terperinci

BAB I LOGIKA MATEMATIKA

BAB I LOGIKA MATEMATIKA BAB I LOGIKA MATEMATIKA A. Ringkasan Materi 1. Pernyataan dan Bukan Pernyataan Pernyataan adalah kalimat yang mempunyai nilai benar atau salah, tetapi tidak sekaligus benar dan salah. (pernyataan disebut

Lebih terperinci

LOGIKA MATEMATIKA (Pendalaman Materi SMA)

LOGIKA MATEMATIKA (Pendalaman Materi SMA) LOGIKA MATEMATIKA (Pendalaman Materi SMA) Disampaikan Pada MGMP Matematika SMA Provinsi Bengkulu Tahun Ajaran 2007/2008 Oleh: Supama Widyaiswara LPMP Bengkulu DEPARTEMEN PENDIDIKAN NASIONAL DIREKTORAT

Lebih terperinci

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

Pernyataan adalah kalimat yang bernilai benar atau salah tetapi tidak sekaligus benar dan salah. LOGIKA MATEMATIKA 1. Pernyataan Pernyataan adalah kalimat yang bernilai benar atau salah tetapi tidak sekaligus benar dan salah. Pernyataan dilambangkan dengan huruf kecil, misalnya p, q, r dan seterusnya.

Lebih terperinci

NAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG

NAMA LAMBANG KATA PERNYATAAN LOGIKANYA PENGHUBUNG LOGIKA MATEMATIKA A. PERNYATAAN DAN KALIMAT TERBUKA Kalimat terbuka adalah kalimat yang belum dapat ditentukan nilai kebenarannya (benar dan salah). 1. Gadis itu cantik. 2. Bersihkan lantai itu. 3. Pernyataan/kalimat

Lebih terperinci

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

LOGIKA MATEMATIKA. Tabel kebenarannya sbb : p ~ p B S S B LOGIKA MATEMATIKA A. Pernyataan, kalimat terbuka, dan ingkaran pernyataan. 1. Pernyataan Pernyataan adalah kalimat yang mengandung nilai benar atau salah tetapi tidak sekaligus kedua-duanya. a. Hasil kali

Lebih terperinci

Pertemuan 2. Proposisi Bersyarat

Pertemuan 2. Proposisi Bersyarat Pertemuan 2 Proposisi ersyarat Proposisi ersyarat Definisi 4 Misalkan p dan q adalah proposisi. Proposisi majemuk jika p, maka q disebut proposisi bersyarat (implikasi dan dilambangkan dengan p q Proposisi

Lebih terperinci

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT

MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT MODUL PERKULIAHAN EDISI 1 MATEMATIKA DISKRIT Penulis : Nelly Indriani Widiastuti S.Si., M.T. JURUSAN TEKNIK INFORMATIKA UNIVERSITAS KOMPUTER INDONESIA BANDUNG 2011 DAFTAR ISI Daftar Isi. 2 Bab 1 LOGIKA

Lebih terperinci

LOGIKA MATEMATIKA I. PENDAHULUAN

LOGIKA MATEMATIKA I. PENDAHULUAN LOGIKA MATEMATIKA I. PENDAHULUAN Logika adalah dasar dan alat berpikir yang logis dalam matematika dan pelajaran-pelajaran lainnya, sehingga dapat membantu dan memberikan bekal tambahan untuk menyampaikan

Lebih terperinci

LOGIKA Matematika Industri I

LOGIKA Matematika Industri I LOGIKA TIP FTP UB Pokok Bahasan Pengertian Logika Pernyataan Matematika Nilai Kebenaran Operasi Uner Operasi Biner Tabel kebenaran Pernyataan Tautologi, Kontradiksi dan Kontingen Pernyataan-pernyataan

Lebih terperinci

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

Logika Matematika. Logika Matematika. Jurusan Informatika FMIPA Unsyiah. September 26, 2012 Jurusan Informatika FMIPA Unsyiah September 26, 2012 yang diharapkan Dasar: Menggunakan logika matematika. Indikator Esensial: 1 Mengidentifikasi suatu tautologi 2 Menentukan ingkaran suatu pernyataan

Lebih terperinci

Matematika Industri I

Matematika Industri I LOGIKA MATEMATIKA TIP FTP - UB Pokok Bahasan Proposisi dan negasinya Nilai kebenaran dari proposisi Tautologi Ekuivalen Kontradiksi Kuantor Validitas pembuktian Pokok Bahasan Proposisi dan negasinya Nilai

Lebih terperinci

BAHAN AJAR LOGIKA MATEMATIKA

BAHAN AJAR LOGIKA MATEMATIKA 1 BAHAN AJAR LOGIKA MATEMATIKA DI SUSUN OLEH : DRS. ABD. SALAM,MM KELAS X BM & PAR SMK NEGERI 1 SURABAYA LOGIKA MATEMATIKA Standar Kompetensi : Menerapkan logika matematika dalam pemecahan masalah yang

Lebih terperinci

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

BAB I PENDAHULUAN. a. Apa sajakah hukum-hukum logika dalam matematika? b. Apa itu preposisi bersyarat? BAB I PENDAHULUAN 1.1 LATAR BELAKANG Secara etimologi, istilah Logika berasal dari bahasa Yunani, yaitu logos yang berarti kata, ucapan, pikiran secara utuh, atau bisa juga ilmu pengetahuan. Dalam arti

Lebih terperinci

KATA PENGANTAR UCAPAN TERIMA KASIH ABSTRAK DAFTAR ISI DAFTAR TABEL DAFTAR BAGAN

KATA PENGANTAR UCAPAN TERIMA KASIH ABSTRAK DAFTAR ISI DAFTAR TABEL DAFTAR BAGAN DAFTAR ISI KATA PENGANTAR...i UCAPAN TERIMA KASIH...ii ABSTRAK.iii DAFTAR ISI.iv DAFTAR TABEL.vi DAFTAR BAGAN ix DAFTAR GAMBAR...x DAFTAR LAMPIRAN.xi BAB I PENDAHULUAN... 1 A. Latar Belakang Masalah..

Lebih terperinci

I. PERNYATAAN DAN NEGASINYA

I. PERNYATAAN DAN NEGASINYA 1 I. PERNYATAAN DAN NEGASINYA A. Pernyataan. Pernyataan adalah suatu kalimat yang mempunyai nilai benar atau salah, tetapi tidak sekaligus keduanya. Benar atau salahnya suatu pernyataan dapat ditunjukkan

Lebih terperinci

Modul Matematika X Semester 2 Logika Matematika

Modul Matematika X Semester 2 Logika Matematika Modul Matematika X Semester 2 Logika Matematika Oleh : Markus Yuniarto, S.Si Tahun Pelajaran 2014 2015 SMA Santa Angela Jl. Merdeka No. 24 Bandung LOGIKA MATEMATIKA A. Standar Kompetensi : Menggunakan

Lebih terperinci

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. d. 6 + a > -4 e. 7 adalah faktor dari 63. c. 4 x 6 2. Tentukan variabel dan himpunan penyelesaian dari: a. LOGIKA MATEMATIKA A. Definisi 1). Pernyataan Pernyataan adalah suatu kalimat yang bernilai benar atau salah, tetapi tidak sekaligus benar dan salah. Air laut rasanya asin, adalah bilangan prima, urabaya

Lebih terperinci

BAB IV LOGIKA A. Pernyataan B. Operasi uner

BAB IV LOGIKA A. Pernyataan B. Operasi uner BAB IV LOGIKA A. Pernyataan Pernyataan adalah kalimat matematika tertutup yang benar atau yang salah, tetapi tidak kedua-duanya pada saat yang bersamaan. Pernyataan biasa dilambangkan dengan p, q, r,...

Lebih terperinci

VARIASI MODEL SILOGISME UNTUK PENGAMBILAN KESIMPULAN DALAM PEMBELAJARAN MATEMATIKA DI SEKOLAH DASAR

VARIASI MODEL SILOGISME UNTUK PENGAMBILAN KESIMPULAN DALAM PEMBELAJARAN MATEMATIKA DI SEKOLAH DASAR 98 VARIASI MODEL SILOGISME UNTUK PENGAMBILAN KESIMPULAN DALAM PEMBELAJARAN MATEMATIKA DI SEKOLAH DASAR Elly s Mersina Mursidik Program Studi Pendidikan Guru Sekolah Dasar Fakultas Ilmu Pendidikan IKIP

Lebih terperinci

LOGIKA MATEMATIKA Menuju TKD 2014

LOGIKA MATEMATIKA Menuju TKD 2014 LOGIKA MATEMATIKA Menuju TKD 2014 A. PERNYATAAN MAJEMUK Jenis-jenis pernyataan majemuk: 1. Konjungsi (^ = dan ) A: Hari ini Jowoki kampanye B: Hari ini Jowoki Umroh Konjungsi (A ^ B): Hari ini Jowoki kampanye

Lebih terperinci

Jadi penting itu baik, tapi jadi baik jauh lebih penting

Jadi penting itu baik, tapi jadi baik jauh lebih penting LOGIKA MATEMATIKA Logika Matematika - Pernyataan, Nilai Kebenaran, dan Kalimat Terbuka - Pernyataan Majemuk - Konvers, Invers, dan Kontraposisi - Kuantor Universal dan Kuantor Eksistensial - Ingkaran dari

Lebih terperinci

LOGIKA MATEMATIKA. Pernyataan

LOGIKA MATEMATIKA. Pernyataan LOGIKA MATEMATIKA 1 PERNYATAAN DAN UKAN PERNYATAAN A Pengertian logika Matematika Logika adalah ilmu untuk berpikir dan menalar dengan benar. Logika matematika (logika simbolik) adalah ilmu tentang penyimpulan

Lebih terperinci

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

LOGIKA MATEMATIKA LOGIKA. Altien Jonathan Rindengan, S.Si, M.Kom LOGIKA MATEMATIKA LOGIKA Altien Jonathan Rindengan, S.Si, M.Kom Pendahuluan Untuk menemukan suatu gagasan baru dari informasi dan gagasan yang telah ada, diperlukan proses berpikir. Proses ini dikenal

Lebih terperinci

Silabus. Kegiatan Pembelajaran Instrumen

Silabus. Kegiatan Pembelajaran Instrumen NAMA SEKOLAH : MATA PELAJARAN : Matematika KELAS : XI STANDAR KOMPETENSI : Menerapkan logika matematka dalam pemecahan masalah yang berkaitan dengan pernyataan majemuk dan pernyataan berkuantor KODE KOMPETENSI

Lebih terperinci

LOGIKA. Logika Nilai kebenaran pernyataan majemuk Ingkaran suatu pernyataan Penarikan kesimpulan. A. Pernyataan, Kalimat Terbuka, Ingkaran.

LOGIKA. Logika Nilai kebenaran pernyataan majemuk Ingkaran suatu pernyataan Penarikan kesimpulan. A. Pernyataan, Kalimat Terbuka, Ingkaran. LOGIKA Standar Kompetensi Lulusan (SKL) Memahami pernyataan dalam matematika dan ingkarannya, menentukan nilai kebenaran pernyataan majemuk, serta mampu menggunakan prinsip logika matematika dalam pemecahan

Lebih terperinci

LOGIKA. /Nurain Suryadinata, M.Pd

LOGIKA. /Nurain Suryadinata, M.Pd Nama Mata Kuliah Kode Mata Kuliah/SKS Program Studi Semester Dosen Pengampu : Matematika Diskrit : MAT-3615/ 3 sks : Pendidikan Matematika : VI (Enam) : Nego Linuhung, M.Pd /Nurain Suryadinata, M.Pd Referensi

Lebih terperinci

BAB VI. LOGIKA MATEMATIKA

BAB VI. LOGIKA MATEMATIKA BAB VI. LOGIKA MATEMATIKA Ingkaran, Disjungsi, Konjungsi, Implikasi, Biimplikasi : Konvers, Invers, Kontraposisi : Tabel Kebenaran : p q ~ p ~ q p q p q p q p q B B S S B B B B B S S B B S S S S B B S

Lebih terperinci

PERTEMUAN KE 3 F T T F T F T F

PERTEMUAN KE 3 F T T F T F T F PEREMUAN KE 3 E. DISJUNGSI EKSLUSI (Exclusive OR) Misalkan p dan q adalah proposisi. Exclusive or p dan q, dinyatakan dengan notasi, adalah proposisi yang bernilai benar bila hanya salah satu dari p dan

Lebih terperinci

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1

Pusat Pengembangan Pendidikan Universitas Gadjah Mada 1 2. ALJABAR LOGIKA 2.1 Pernyataan / Proposisi Pernyataan adalah suatu kalimat yang mempunyai nilai kebenaran (benar atau salah), tetapi tidak keduanya. Contoh 1 : P = Tadi malam BBM mulai naik (memiliki

Lebih terperinci

Logika Matematika. ILFA STEPHANE, M.Si. September Teknik Sipil dan Geodesi Institut Teknologi Padang

Logika Matematika. ILFA STEPHANE, M.Si. September Teknik Sipil dan Geodesi Institut Teknologi Padang ILFA STEPHANE, M.Si September 2012 Teknik Sipil dan Geodesi Institut Teknologi Padang Definisi 1 Logika adalah usaha dalam memutuskan ya atau tidaknya (whether or not) suatu keputusan yang sah. Oleh karena

Lebih terperinci

Modul Ilmu Mantiq/Logika. Dosen: Ahmad Taufiq MA

Modul Ilmu Mantiq/Logika. Dosen: Ahmad Taufiq MA Modul Ilmu Mantiq/Logika Dosen: Ahmad Taufiq MA C. PROPOSISI Unsur Dasar Proposisi Proposisi kategorik adalah suatu pernyataan yang terdiri atas hubungan 2 term sebagai subjek dan predikat serta dapat

Lebih terperinci

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

PENGERTIAN. Proposisi Kalimat deklaratif yang bernilai benar (true) atau salah (false), tetapi tidak keduanya. Nama lain proposisi: kalimat terbuka. BAB 2 LOGIKA PENGERTIAN Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang

Lebih terperinci

LOGIKA MATEMATIKA. Oleh : Siardizal, S.Pd., M.Kom

LOGIKA MATEMATIKA. Oleh : Siardizal, S.Pd., M.Kom LOGIKA MATEMATIKA Oleh : iardizal,.pd., M.Kom elamat datang di CD berprogram Menu Utama Info Guru Diskripsi Materi Pelajaran LOGIKA MATEMATIKA Kompetensi Dasar Materi Latihan oal 2 elamat datang di CD

Lebih terperinci

Berdasarkan tabel 1 diperoleh bahwa p q = q p.

Berdasarkan tabel 1 diperoleh bahwa p q = q p. PEMAHAAN 1. Pengertian Kata LOGIKA mengacu pada suatu metode atau cara yang sistematis dalam berpikir (reasoning), dan terdapat dua sistem khusus yaitu : suatu metode dasar yang disebut dengan Kalkulus

Lebih terperinci

5. 1 Mendeskripsikan pernyataan dan bukan pernyataan (kalimat terbuka)

5. 1 Mendeskripsikan pernyataan dan bukan pernyataan (kalimat terbuka) Sumber: Art and Gallery Standar Kompetensi 5. Menerapkan logika matematika dalam pemecahan masalah yang berkaitan dengan pernyataan majemuk dan pernyataan berkuantor Kompetensi Dasar 5. 1 Mendeskripsikan

Lebih terperinci

SILABUS. Menyimak pemahaman tentang bentuk pangkat, akar dan logaritma beserta keterkaitannya. Mendefinisikan bentuk pangkat, akar dan logaritma.

SILABUS. Menyimak pemahaman tentang bentuk pangkat, akar dan logaritma beserta keterkaitannya. Mendefinisikan bentuk pangkat, akar dan logaritma. SILABUS Nama Sekolah : SMA PGRI 1 AMLAPURA Mata Pelajaran : MATEMATIKA Kelas/Program : X Semester : 1 STANDAR KOMPETENSI: 1. Memecahkan masalah yang berkaitan dengan bentuk pangkat, akar, dan logaritma.

Lebih terperinci

MATEMATIKA DISKRIT. Logika

MATEMATIKA DISKRIT. Logika MATEMATIKA DISKRIT Logika SILABUS KULIAH 1. Logika 2. Himpunan 3. Matriks, Relasi dan Fungsi 4. Induksi Matematika 5. Algoritma dan Bilangan Bulat 6. Aljabar Boolean 7. Graf 8. Pohon REFERENSI Rinaldi

Lebih terperinci

RENCANA PELAKSANAAN PEMBELAJARAN (RPP) Nama Sekolah : SMK... Mata Pelajaran : Matematika Kelas : XI Program Keahlian : Akuntansi dan Penjualan

RENCANA PELAKSANAAN PEMBELAJARAN (RPP) Nama Sekolah : SMK... Mata Pelajaran : Matematika Kelas : XI Program Keahlian : Akuntansi dan Penjualan RENCANA PELAKSANAAN PEMBELAJARAN (RPP) Nama Sekolah : SMK... Mata Pelajaran : Matematika Kelas : XI Program Keahlian : Akuntansi dan Penjualan Standar Kompetensi Kompetensi Dasar Indikator Alokasi Waktu

Lebih terperinci

VARIASI MODEL SILOGISME UNTUK PENGAMBILAN KESIMPULAN DALAM PEMBELAJARAN MATEMATIKA DI SEKOLAH DASAR

VARIASI MODEL SILOGISME UNTUK PENGAMBILAN KESIMPULAN DALAM PEMBELAJARAN MATEMATIKA DI SEKOLAH DASAR 64 VARIASI MODEL SILOGISME UNTUK PENGAMBILAN KESIMPULAN DALAM PEMBELAJARAN MATEMATIKA DI SEKOLAH DASAR Elly s Mersina Mursidik * Abstract Logical argumentations are required in communication and interactions

Lebih terperinci

SUMBER BELAJAR PENUNJANG PLPG 2017 MATA PELAJARAN/PAKET KEAHLIAN MATEMATIKA BAB IX LOGIKA MATEMATIKA

SUMBER BELAJAR PENUNJANG PLPG 2017 MATA PELAJARAN/PAKET KEAHLIAN MATEMATIKA BAB IX LOGIKA MATEMATIKA SUMBER BELAJAR PENUNJANG PLPG 2017 MATA PELAJARAN/PAKET KEAHLIAN MATEMATIKA BAB IX LOGIKA MATEMATIKA Dr. Djadir, M.Pd. Dr. Ilham Minggi, M.Si Ja faruddin,s.pd.,m.pd. Ahmad Zaki, S.Si.,M.Si Sahlan Sidjara,

Lebih terperinci

PEMBUKTIAN MATEMATIKA

PEMBUKTIAN MATEMATIKA PEMBUKTIAN MATEMATIKA LOGIKA INFERENSIA Altien Jonathan Rindengan, S.Si, M.Kom Pendahuluan Kata inferensia digunakan untuk menyatakan sekumpulan premis yang diikuti dengan kesimpulan. Infrensia yang sahih

Lebih terperinci

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

LOGIKA MATEMATIKA. MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM. proposisi conjungsi tautologi inferensi LOGIKA MATEMATIKA MATEMATiKA DISKRET S1-SISTEM INFORMATIKA STMIK AMIKOM Definisi Proposisi adalah suatu kalimat yang bernilai benar atau salah dan tidak keduanya Proposisi Kalimat Deklaratif Proposisi

Lebih terperinci

Argumen premis konklusi jika dan hanya jika Tautolog

Argumen premis konklusi jika dan hanya jika Tautolog INFERENSI LOGIKA Argumen adalah suatu pernyataan tegas yang diberikan oleh sekumpulan proposisi P 1, P 2,...,P n yang disebut premis (hipotesa/asumsi) dan menghasilkan proposisi Q yang lain yang disebut

Lebih terperinci

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

Logika Proposisi 1. Definisi 1. (Proposisi) Proposisi adalah kalimat yang bernilai benar atau salah, tetapi tidak keduanya sekaligus. Logika Proposisi 1 I. Logika Proposisi Logika adalah bagian dari matematika, tetapi pada saat yang sama juga merupakan bahasa matematika. Pada akhir abad ke-19 dan awal abad ke-20, ada kepercayaan bahwa

Lebih terperinci

INGKARAN DARI PERNYATAAN

INGKARAN DARI PERNYATAAN HAND-OUT Student Name : Subject : Matematika Wajib Grade/Class : / Toic : Logika Matematika Date : Teacher(s) : Mr. Daniel Kristanto Semester : 2 Parent s Signature : LOGIKA MATEMATIKA Kalimat logika matematika

Lebih terperinci

SILABUS. Menyimak pemahaman tentang bentuk pangkat, akar dan logaritma beserta keterkaitannya. Mendefinisikan bentuk pangkat, akar dan logaritma.

SILABUS. Menyimak pemahaman tentang bentuk pangkat, akar dan logaritma beserta keterkaitannya. Mendefinisikan bentuk pangkat, akar dan logaritma. SILABUS Nama Sekolah : SMA NEGERI 6 PONTIANAK Mata Pelajaran : MATEMATIKA Kelas/Program : X Semester : 1 STANDAR KOMPETENSI: 1. Memecahkan masalah yang berkaitan dengan bentuk pangkat, akar, dan logaritma.

Lebih terperinci

Logika Matematika. Cece Kustiawan, FPMIPA, UPI

Logika Matematika. Cece Kustiawan, FPMIPA, UPI Logika Matematika 1. Pengertian Logika 2. Pernyataan Matematika 3. Nilai Kebenaran 4. Operasi Uner 5. Operasi Biner 6. Tabel kebenaran Pernyataan 7. Tautologi, Kontradiksi dan Kontingen 8. Pernyataan-pernyataan

Lebih terperinci

50. Mata Pelajaran Matematika Kelompok Akuntansi dan Pertanian untuk Sekolah Menengah Kejuruan (SMK)/Madrasah Aliyah Kejuruan (MAK) A.

50. Mata Pelajaran Matematika Kelompok Akuntansi dan Pertanian untuk Sekolah Menengah Kejuruan (SMK)/Madrasah Aliyah Kejuruan (MAK) A. 50. Mata Pelajaran Matematika Kelompok Akuntansi dan Pertanian untuk Sekolah Menengah Kejuruan (SMK)/Madrasah Aliyah Kejuruan (MAK) A. Latar Belakang Matematika merupakan ilmu universal yang mendasari

Lebih terperinci

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

EKUIVALENSI LOGIS. Dr. Julan HERNADI & (Asrul dan Enggar) Pertemuan 3 FONDASI MATEMATIKA. Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Program Studi Pendidikan Matematika FKIP Unmuh Ponorogo Pertemuan 3 FONDASI MATEMATIKA Variasi bentuk implikasi Berangkat dari implikasi p q kita dapat membentuk tiga pernyataan implikasi relevan yang

Lebih terperinci

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

1. Memahami pengertian proposisi dan predikat. 3. Memahami penggunaan penghubung dan tabel kebenaran Modul 1 Logika Matematika Pendahuluan Pada Modul ini akan dibahas materi yang berkaitan dengan logika proposisi dan logika predikat, serta berbagai macam manipulasi didalamnya. Tujuan Instruksional Umum

Lebih terperinci

MODUL LOGIKA MATEMATIKA

MODUL LOGIKA MATEMATIKA PERENCANAAN PEMBELAJARAN MATEMATIKA MODUL LOGIKA MATEMATIKA AUTHOR: Navel Mangelep UNIVERSITAS NEGERI MANADO FAKULTAS MATEMATIKA & ILMU PENGETAHUAN ALAM JURUSAN MATEMATIKA KATA PENGANTAR Salah satu penunjang

Lebih terperinci

RENCANA PELAKSANAAN PEMBELAJARAN

RENCANA PELAKSANAAN PEMBELAJARAN RENCANA PELAKSANAAN PEMBELAJARAN Materi Pelajaran : Matematika Kelas/ Semester : X / 2 Pertemuan ke : 1,2 Alokasi Waktu : 5 x 45 menit Standar Kompetensi : Menerapkan logika matematika dalam pemecahan

Lebih terperinci

Tingkat 2 ; Semester 3 ; Waktu 44 menit

Tingkat 2 ; Semester 3 ; Waktu 44 menit MK Negeri 3 Jakarta tandar Kompetensi H Menerapkan Logika Matematika Dalam Pemecahan Dalam Pemecahan Masalah Yang erkaitan Dengan Pernyataan Majemuk Dan Pernyataan erkuantor. Tingkat 2 ; emester 3 ; Waktu

Lebih terperinci

CBT Psikotes CBT UN SMA IPA SBMPTN. FPM Matematika. Tes Buta Warna

CBT Psikotes CBT UN SMA IPA SBMPTN. FPM Matematika. Tes Buta Warna GENTA GROUP in PLAY STORE CBT UN SMA IPA Aplikasi CBT UN SMA IPA android dapat di download di play store dengan kata kunci genta group atau gunakan qr-code di bawah. CBT Psikotes Aplikasi CBT Psikotes

Lebih terperinci

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

LOGIKA SIMBOLIK. Bagian II. September 2005 Pengantar Dasar Matematika 1 LOGIKA IMOLIK agian II eptember 2005 Pengantar Dasar Matematika 1 LOGIKA Realitas Kalimat/ Pernyataan Logis LOGIKA eptember 2005 Pengantar Dasar Matematika 2 Apakah logika itu? Logika: Ilmu untuk berpikir

Lebih terperinci

LOGIKA MATEMATIKA SOAL DAN PENYELESAIAN Logika, Himpunan, Relasi, Fungsi JONG JEK SIANG Kita menjalani hidup dari apa yang kita dapatkan Tetapi kita menikmati hidup dari apa yang kita berikan Jong Jek

Lebih terperinci

PENARIKAN KESIMPULAN/ INFERENSI

PENARIKAN KESIMPULAN/ INFERENSI PENARIKAN KESIMPULAN/ INFERENSI Proses penarikan kesimpulan dari beberapa proposisi disebut inferensi (inference). Argumen Valid/Invalid Kaidah-kaidah Inferensi Modus Ponens Modus Tollens Silogisme Hipotesis

Lebih terperinci

Contoh : 1..Buktikan bahwa untuk semua bilangan bulat n, jika n adalah bilangan ganjil, maka n 2 adalah bilangan ganjil! Jawab :

Contoh : 1..Buktikan bahwa untuk semua bilangan bulat n, jika n adalah bilangan ganjil, maka n 2 adalah bilangan ganjil! Jawab : PEMBUKTIAN LANGSUNG Untuk menunjukan pernyataan (p=>q) benar dapat dilakukan dengan menggunakan premis p untuk mendapatkan konklusi q. Metode pembuktian yang termasuk bukti langsung antara lain modus ponens,

Lebih terperinci

KATA PENGANTAR. Assalamu alaikum Wr. Wb.

KATA PENGANTAR. Assalamu alaikum Wr. Wb. KATA PENGANTAR Assalamu alaikum Wr. Wb. Matematika tidak dapat terlepas dalam kehidupan manusia sehari-hari, baik saat mempelajari matematika itu sendiri maupun mata kuliah lainnya. Mata kuliah Pengantar

Lebih terperinci

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

Modul ke: Logika Matematika. Proposisi & Kuantor. Fakultas FASILKOM BAGUS PRIAMBODO. Program Studi SISTEM INFORMASI. Modul ke: 5 Logika Matematika Proposisi & Kuantor Fakultas FASILKOM BAGUS PRIAMBODO Program Studi SISTEM INFORMASI http://www.mercubuana.ac.id Materi Pembelajaran Kalkulus Proposisi Konjungsi Disjungsi

Lebih terperinci

Silogisme Hipotesis Ekspresi Jika A maka B. Jika B maka C. Diperoleh, jika A maka C

Silogisme Hipotesis Ekspresi Jika A maka B. Jika B maka C. Diperoleh, jika A maka C MSH1B3 Logika Matematika Dosen: Aniq A Rohmawati, M.Si Kalkulus Proposisi [Definisi] Metode yang digunakan untuk meninjau nilai kebenaran suatu proposisi atau kalimat Jika Anda belajar di Tel-U maka Anda

Lebih terperinci

KISI KISI LOMBA KOMPETENSI SISWA SMK TINGKAT PROVINSI JAWA TIMUR 2014

KISI KISI LOMBA KOMPETENSI SISWA SMK TINGKAT PROVINSI JAWA TIMUR 2014 LKS SMK 214 Bidang : Matematika Teknologi KISI KISI LOMBA KOMPETENSI SISWA SMK TINGKAT PROVINSI JAWA TIMUR 214 1 Memecahkan masalah berkaitan dengan konsep aljabar memaham, mengaplikasikan, menganalisai

Lebih terperinci

SILABUS MATAKULIAH. Indikator Pokok Bahasan/ Materi Aktifitas Pembelajaran

SILABUS MATAKULIAH. Indikator Pokok Bahasan/ Materi Aktifitas Pembelajaran SILABUS MATAKULIAH Revisi : 2 Tanggal Berlaku : September 2014 A. Identitas 1. Nama Matakuliah : A11.54406/ Logika Informatika 2. Program Studi : Teknik Informatika-S1 3. Fakultas : Ilmu Komputer 4. Bobot

Lebih terperinci

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

- Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat LOGIKA Tujuan umum : - Mahasiswa memahami dan mampu membuat kalimat, mengevaluasi kalimat dan menentukan validitas suatu kalimat Tujuan Khusus: - mahasiswa diharapkan dapat : 1. memahami pengertian proposisi,

Lebih terperinci

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

Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Logika (logic) 1 Logika Logika merupakan dasar dari semua penalaran (reasoning). Penalaran didasarkan pada hubungan antara proposisi atau pernyataan (statements). Proposisi Kalimat deklaratif yang bernilai

Lebih terperinci

untuk mempelajari matematika lebih lanjut. Untuk menunjang kemampuankemampuan tersebut diharapkan Anda dapat menguasai beberapa kompetensi khusus

untuk mempelajari matematika lebih lanjut. Untuk menunjang kemampuankemampuan tersebut diharapkan Anda dapat menguasai beberapa kompetensi khusus ix S Tinjauan Mata Kuliah elamat bertemu, selamat belajar, dan selamat berdiskusi dalam mata kuliah Matematika Dasar 1. Mata kuliah PEMA4102/Matematika Dasar 1 dengan bobot 3 sks ini sering pula dinamakan

Lebih terperinci

KISI - KISI SOAL UJIAN SEKOLAH TAHUN PELAJARAN 2010/2011

KISI - KISI SOAL UJIAN SEKOLAH TAHUN PELAJARAN 2010/2011 YAYASAN INSAN INDONESIA MANDIRI SEKOLAH MENENGAH KEJURUAN SMK WIJAYA PUTRA Kompetensi Keahlian : Akuntansi, Multimedia, Teknik Kendaraan Ringan STATUS : TERAKREDITASI A Jalan Raya Benowo 1-3, (031) 7413061,

Lebih terperinci

LOGIKA MATEMATIKA Talisadika Maifa

LOGIKA MATEMATIKA Talisadika Maifa 22 BAB II LOGIKA MATEMATIKA Talisadika Maifa A. PENDAHULUAN Pembahasan mengenai logika sudah ada sejak lama bahkan sebelum manusia mengenal istilah logika itu sendiri. Menilik kembali kepada sejarahnya,

Lebih terperinci

Logika Matematika. Bab 1

Logika Matematika. Bab 1 Bab 1 Sumber: pkss.co.id Pada bab ini, Anda akan diajak untuk memecahkan masalah yang ber - hubungan dengan konsep, di antaranya mendeskripsikan pernyataan dan bukan pernyataan (kalimat terbuka), mendeskripsikan

Lebih terperinci

LOGIKA DAN PEMBUKTIAN

LOGIKA DAN PEMBUKTIAN BAB I LOGIKA DAN PEMBUKTIAN A. PENGANTAR Prinsip dari logika matematika memiliki korelasi dengan pembuktian kebenaran yang dilakukan menggunakan tabel kebenaran ataupun tanpa menggunakan tabel kebenaran

Lebih terperinci

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

1.3 Pembuktian Tautologi dan Kontradiksi. Pernyataan majemuk yang selalu bernilai benar bagaimanapun nilai proposisi 1.3 Pembuktian 1.3.1 Tautologi dan Kontradiksi Pernyataan majemuk yang selalu bernilai benar bagaimanapun nilai proposisi yang membentuknya disebut toutologi, sedangkan proposisi yang selalu bernilai salah

Lebih terperinci

RENCANA PELAKSANAAN PEMBELAJARAN (RPP)

RENCANA PELAKSANAAN PEMBELAJARAN (RPP) Kurikulim MK Negeri 1 urabaya RENCANA PELAKANAAN PEMELAJARAN (RPP) Nama ekolah : MK Negeri 1 urabaya Program Keahlian : Mata Pelajaran : Matematika Kelas / emester : tandar Kompetensi : Menerapkan logika

Lebih terperinci

PERNYATAAN MAJEMUK & NILAI KEBENARAN

PERNYATAAN MAJEMUK & NILAI KEBENARAN PERNYATAAN MAJEMUK & NILAI KEBENARAN 1. Pernyataan Majemuk Perhatikan pernyataan hari ini hujan dan aku berjalan-jalan. Pernyataan tersebut terdiri dari dua pernyataan pokok/tunggal (prime sentence), yaitu

Lebih terperinci

LOGIKA MATEMATIKA. Materi SMA/SMK/MA. kelas X

LOGIKA MATEMATIKA. Materi SMA/SMK/MA. kelas X LOGIKA MATEMATIKA Materi SMA/SMK/MA kelas X Orang yang paling sempurna bukanlah orang dengan otak yang sempurna, melainkan orang yang dapat mempergunakan sebaiknya-baiknya dari bagian otaknya yang kurang

Lebih terperinci

KRITERIA KETUNTASAN MINIMAL ( KKM ) MATA PELAJARAN MATEMATIKA KELAS X ( 1 ) SEMESTER I

KRITERIA KETUNTASAN MINIMAL ( KKM ) MATA PELAJARAN MATEMATIKA KELAS X ( 1 ) SEMESTER I KRITERIA KETUNTASAN MINIMAL ( KKM ) MATA PELAJARAN MATEMATIKA KELAS X ( 1 ) SEMESTER I KRITERIA KETUNTASAN MINIMAL ( KKM ) MATA PELAJARAN: MATEMATIKA Sekolah : SMA/MA... Kelas : X Semester : I (SATU) KKM

Lebih terperinci

PETA PERKULIAHAN MATA KULIAH : LOGIKA MATEMATIKA KODE MATA KULIAH : GD 321. SEMESTER : GANJIL (5) DOSEN : MAULANA, S.Pd., M.Pd.

PETA PERKULIAHAN MATA KULIAH : LOGIKA MATEMATIKA KODE MATA KULIAH : GD 321. SEMESTER : GANJIL (5) DOSEN : MAULANA, S.Pd., M.Pd. Doc Logika Matematika PGSD Maulana 1 PETA PERKULIAHAN MATA KULIAH : LOGIKA MATEMATIKA KODE MATA KULIAH : GD 321 BOBOT SKS : 2 (DUA) TAHUN AKADEMIK : 2007/2008 PROGRAM : PGSD S-1 KELAS SEMESTER : GANJIL

Lebih terperinci

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit

DASAR-DASAR LOGIKA. Pertemuan 2 Matematika Diskrit DASAR-DASAR LOGIKA Pertemuan 2 Matematika Diskrit 25-2-2013 Materi Pembelajaran 1. Kalimat Deklaratif 2. Penghubung kalimat 3. Tautologi dan Kontradiksi 4. Konvers, Invers, dan Kontraposisi 5. Inferensi

Lebih terperinci

UNDANG-UNDANG REPUBLIK INDONESIA NOMOR 19 TAHUN 2002 TENTANG HAK CIPTA PASAL 72 KETENTUAN PIDANA SANKSI PELANGGARAN

UNDANG-UNDANG REPUBLIK INDONESIA NOMOR 19 TAHUN 2002 TENTANG HAK CIPTA PASAL 72 KETENTUAN PIDANA SANKSI PELANGGARAN Logika Matematika 0 UNDANG-UNDANG REPUBLIK INDONESIA NOMOR 19 TAHUN 2002 TENTANG HAK CIPTA PASAL 72 KETENTUAN PIDANA SANKSI PELANGGARAN 1. Barangsiapa dengan sengaja dan tanpa hak mengumumkan atau memperbanyak

Lebih terperinci

kusnawi.s.kom, M.Eng version

kusnawi.s.kom, M.Eng version Propositional Logic 3 kusnawi.s.kom, M.Eng version 1.0.0.2009 Adalah sifat-sifat yang dimiliki oleh kalimat logika. Ada 3 sifat logika yaitu : - Valid(Tautologi) - Kontradiksi - Satisfiable(Contingent).

Lebih terperinci

BAB I DASAR-DASAR LOGIKA

BAB I DASAR-DASAR LOGIKA BAB I DASAR-DASAR LOGIKA 11 Pendahuluan Logika adalah suatu displin yang berhubungan dengan metode berpikir Pada tingkat dasar, logika memberikan aturan-aturan dan teknik-teknik untuk menentukan apakah

Lebih terperinci

RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS)

RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS) RENCANA PROGRAM KEGIATAN PERKULIAHAN SEMESTER (RPKPS) Kode / Nama Mata Kuliah : A11.54406/ Logika Informatika Revisi 2 Satuan Kredit Semester : 3 SKS Tgl revisi : Agustus 2014 Jml Jam kuliah dalam seminggu

Lebih terperinci

SOAL PILIHAN GANDA Pilihlah salah satu jawaban yang paling benar antara pilihan a, b, c, d, atau e!

SOAL PILIHAN GANDA Pilihlah salah satu jawaban yang paling benar antara pilihan a, b, c, d, atau e! OAL PILIHAN GANDA Pilihlah salah satu jawaban yang paling benar antara pilihan a, b, c, d, atau e! 1. Ordo dari matriks A = ( ) adalah. a. 2 x 2 d. 4 b. 2 x 3 e. 6 3 x 2 2. ila ( ) ( ), maka nilai dari

Lebih terperinci

Silabus. Tugas individu, tugas kelompok, kuis.

Silabus. Tugas individu, tugas kelompok, kuis. Silabus Nama Sekolah : SMK Mata Pelajaran : MATEMATIKA Kelas / Program : X / TEKNOLOGI, KESEHATAN, DAN PERTANIAN Semester : GANJIL Sandar Kompetensi: 1. Memecahkan masalah berkaitan dengan konsep operasi

Lebih terperinci

51. Mata Pelajaran Matematika Kelompok Teknologi, Kesehatan dan Pertanian untuk Sekolah Menengah Kejuruan (SMK)/Madrasah Aliyah Kejuruan (MAK) A.

51. Mata Pelajaran Matematika Kelompok Teknologi, Kesehatan dan Pertanian untuk Sekolah Menengah Kejuruan (SMK)/Madrasah Aliyah Kejuruan (MAK) A. 51. Mata Pelajaran Matematika Kelompok Teknologi, Kesehatan dan Pertanian untuk Sekolah Menengah Kejuruan (SMK)/Madrasah Aliyah Kejuruan (MAK) A. Latar Belakang Matematika merupakan ilmu universal yang

Lebih terperinci

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

Selamat datang di Perkuliahan LOGIKA MATEMATIKA Logika Matematika Teori Himpunan Teori fungsi 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.

Lebih terperinci

MATEMATIKA. Sekolah Menengah Kejuruan (SMK) Kelas XI. To ali. Kelompok Penjualan dan Akuntansi. Pusat Perbukuan Departemen Pendidikan Nasional

MATEMATIKA. Sekolah Menengah Kejuruan (SMK) Kelas XI. To ali. Kelompok Penjualan dan Akuntansi. Pusat Perbukuan Departemen Pendidikan Nasional i MATEMATIKA Sekolah Menengah Kejuruan (SMK) Kelas XI Kelompok Penjualan dan Akuntansi To ali Pusat Perbukuan Departemen Pendidikan Nasional ii Hak Cipta pada Departemen Pendidikan Nasional Dilindungi

Lebih terperinci

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

Definisi : predikat (first order) adalah suatu Kata (simbol) yg jika di berikan pada kalimat terbuka, dapat berubah menjadi kalimat tertutup. LOGIKA MATEMATIKA Definisi : predikat (first order) adalah suatu Kata (simbol) yg jika di berikan pada kalimat terbuka, dapat berubah menjadi kalimat tertutup. Beberapa hal yang digunakan dalam logika

Lebih terperinci

B. Tujuan Mata pelajaran Matematika bertujuan agar peserta didik memiliki kemampuan sebagai berikut.

B. Tujuan Mata pelajaran Matematika bertujuan agar peserta didik memiliki kemampuan sebagai berikut. 49. Mata Pelajaran Matematika Kelompok Seni, Pariwisata, Sosial, Administrasi Perkantoran, dan Teknologi Kerumahtanggaan untuk Sekolah Menengah Kejuruan (SMK)/Madrasah Aliyah Kejuruan (MAK) A. Latar Belakang

Lebih terperinci

1.6 RULES OF INFERENCE

1.6 RULES OF INFERENCE 1.6 RULES OF INFERENCE 1 Argumen Argumen dalam logika adalah kumpulan sejumlah proposisi. Seluruh proposisi dalam suatu argumen, kecuali proposisi terakhir, disebut premis. Sedangkan proposisi terakhir

Lebih terperinci

SILABUS ALOKASI WAKTU T M P S P D SUMBER BELAJAR MATERI PEMBELAJARAN KOMPETENSI DASAR INDIKATOR MODEL KURIKULUM TINGKAT SATUAN PENDIDIKAN

SILABUS ALOKASI WAKTU T M P S P D SUMBER BELAJAR MATERI PEMBELAJARAN KOMPETENSI DASAR INDIKATOR MODEL KURIKULUM TINGKAT SATUAN PENDIDIKAN SILABUS KELAS / SEMESTER : X / 1 STANDAR : Memecahkan masalah berkaitan dengan konsep operasi bilangan riil KODE : D.9 : 44 x 45 menit 1. Menerapkan operasi pada bilangan riil Dua atau lebih bilangan bulat

Lebih terperinci

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

Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Logika Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Iwan Setiawan Tahun Ajaran 2013/2014 Logika Klasik Matematika Diskret (TKE132107) - Program Studi Teknik

Lebih terperinci

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

PERTEMUAN 2 TABEL KEBENARAN DADANG MULYANA. TABEL KEBENARAN (TB) digunakan untuk menyajikan hubungan antara nilai kebenaran sejumlah proposisi. PEREMUAN 2 ABEL KEBENARAN DADANG MULYANA ABEL KEBENARAN (B) digunakan untuk menyajikan hubungan antara nilai kebenaran sejumlah proposisi. ABEL 1 : B untuk proposisi dan negasinya p p MASALAH LOGIKA 1

Lebih terperinci

Program Studi Teknik Informatika STMIK Tasikmalaya

Program Studi Teknik Informatika STMIK Tasikmalaya Materi Kuliah Logika Matematika Oleh: Dadang Mulyana Program Studi Teknik Informatika STMIK Tasikmalaya dadang mulyana 2013 1 Info Dosen Nama : Dadang Mulyana Alamat : Ciamis HP. :- E-mail tugas : dadangstmik@gmail.com

Lebih terperinci