LOGIKA MATEMATIKA (Pernyataan Majemuk)

Slides:



Advertisements
Presentasi serupa
PERNYATAAN DAN BUKAN PERNYATAAN
Advertisements

BAB 1. LOGIKA MATEMATIK 1.1 PROPOSISI Definisi: [Proposisi]
LOGIKA MATEMATIKA PROGRAM STUDI TEKNIK INFORMATIKA
Logika.
Oleh : LUFVIANA LIKKU TRIMINTARUM A
LOGIKA MATEMATIKA.
Materi ini dapat diunduh di LOGIKA MATEMATIKA By GISOESILO ABUDI Materi ini dapat diunduh di
Logika Matematika Matematika SMK Kelas/Semester: II/2
LOGIKA MATEMATIKA SMA Kristen 7 Penabur Jakarta
LOGIKA LOGIKA LOGIKA.
Tautologi dan Kontradiksi
MATEMATIKA DISKRIT By DIEN NOVITA.
MATEMATIKA DISKRIT By DIEN NOVITA.
Assalamu’alaikum Wr. Wb.
Bahan Ajar MATEMATIKA “Bersungguh-sungguhlah dlm mencari ilmu”
Penarikan Kesimpulan Ekivalensi Ekspresi Logika
BAB 4 Logika Matematika Standar Kompetensi: Kompetensi Dasar:
BAB 1. LOGIKA MATEMATIK 1.1 PROPOSISI Definisi: [Proposisi]
Oleh : Siardizal, S.Pd., M.Kom
Matematika Diskrit Logika Matematika Heru Nugroho, S.Si., M.T.
Pertemuan ke 1.
LOGIKA MATEMATIKA.
Kalimat berkuantor (logika matematika)
LOGIKA Logika mempelajari hubungan antar pernyataan-pernyataan yang berupa kalimat-kalimat atau rumus-rumus, sehingga dapat menentukan apakah suatu pernyataan.
PROPOSISI Citra N, S.Si, MT.
Matematika Diskrit Bab 1-logika.
Logika (logic).
PENALARAN MATEMATIKA OLEH KELOMPOK 1 Nama:
Logika Semester Ganjil TA
BAB 2 LOGIKA
ZULFA ROHMATUL MUBAROKAH ( /4A)
Sabtu, 27 Januari 2018 Kalimat Matematika Oleh : Choirudin, M.Pd.
LOGIKA MATEMATIKA.
PROPOSITION AND NOT PROPOSITION
LogikA MATEMATIKA.
LOGIKA MATEMATIKA.
DASAR-DASAR MATEMATIKA DAN SAINS
LOGIKA MATEMATIKA.
LOGIKA TATAP MUKA 2 FKIP UNIVERSITAS PANCA MARGA.
IMPLIKASI (Proposisi Bersyarat)
Kelompok 6 Logika Matematika.
F. Metode Inferensi Teknik untuk mendapatkan konklusi yang valid berdasarkan premise yang ada tanpa menggunakan Tabel Kebenaran Ada beberapa Metode antara.
TOPIK 1 LOGIKA.
PENDIDIKAN MATEMATIKA UNIVERSITAS PGRI YOGYAKARTA
Oleh : Devie Rosa Anamisa
Konvers, Invers, dan Kontraposisi Suatu Implikasi
Oleh : PURWANTO,S.Pd.,MM. SMK MA’ARIF SEMANU 2017
Matakuliah Pengantar Matematika
LOGIKA MATEMATIKA Pertemuan II.
EKUIVALEN LOGIS.
Logika (logic).
NEGASI PERNYATAAN MAJEMUK
LOGIKA MATEMATIKA Penerbit erlangga.
logika matematika Standar Kompetensi:
Aljabar Logika. 1. Kalimat Deklarasi. 2. Penghubung Kalimat. 3
Adalah cabang dari matematika yang mengkaji objek-objek diskrit.
LOGIKA LOGIKA MAJEMUK KUANTOR
Proposisi Lanjut Hukum Ekuivalensi Logika
INFERENSI LOGIKA.
1.1 Proposisi & Proposisi Majemuk
LOGIKA MATEMATIKA Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif.
Matematika Diskrit Logika Matematika Dani Suandi,S.Si.,M.Si.
Tabel Kebenaran Dan Proposisi Majemuk
TOPIK 1 LOGIKA.
BAB 2 LOGIKA MATEMATIKA.
LOGIKA MATEMATIKA Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif.
Contoh 1 Kalimat (p → q) → r bernilai benar Jika
LOGIKA MATEMATIKA.
INFERENSI LOGIKA.
LOGIKA MATEMATIKA.
Transcript presentasi:

LOGIKA MATEMATIKA (Pernyataan Majemuk) Dasar Dasar Matematika aderismanto01.wordpress.com

PERNYATAAN MAJEMUK Pernyataan majemuk adalah pernyataan yang dibentuk dari beberapa pernyataan tunggal (componen) yang dirangkai dengan menggunakan kata hubung logika. Contoh pernyataan majemuk: 2. 1. Contoh: Tentukan nilai kebenaran dari Untuk menentukan nilai kebenaran, biasanya menggunakan tabel kebenaran B S q P Jadi nilai kebenaran dari adalah B,B,B,S aderismanto01.wordpress.com aderismanto01.wordpress.com

TAUTOLOGI TAUTOLOGI Tautologi adalah sebuah pernyataan majemuk yang selalu benar untuk semua kemungkinan nilai kebenaran dari pernyataan-pernyataan komponennya. Contoh: Tunjukkan bahwa pernyataan majemuk adalah sebuah tautologi Tabel p q (pvq) B S B S B Jadi pernyataan merupakan tautologi KONTRADIKSI Kontradiksi adalah sebuah pernyataan majemuk yang selalu salah untuk semua kemungkinan nilai kebenaran dari pernyataan-pernyataan komponennya. aderismanto01.wordpress.com

PERNYATAAN MAJEMUK Ekuivalen DUA BUAH PERNYATAAN MAJEMUK YANG EKUIVALEN Dua buah penyataan majemuk dikatakan ekuivalen, jika kedua pernyataan majemuk itu memiliki nilai kebenaran yang sama untuk semua kemungkinan nilai kebenaran pernyataan komponen-komponennya Lambang dari dua buah pernyataan majemuk yang equivalen adalah Ekuivalen aderismanto01.wordpress.com

PERNYATAAN MAJEMUK Lanjutan p : Mama mengantar adik , q : Saya belajar (p V q) : Mama mengantar adik atau saya belajar ~(p V q) : (~p~q) =Mama tidak mengantar adik dan saya tidak belajar p : Saya naik kelas , q : Saya dapat hadiah pq : Jika Saya naik kelas maka Saya dapat hadiah ~(pq) =(p~q) : Saya naik kelas dan Saya tidak dapat hadiah aderismanto01.wordpress.com

Distributif konjungsi terhadap disjungsi Pada disjungsi dan konjungsi berlaku sifat komutatif, asososiatif dan ditributif Sifat Komutatif Sifat Asosiatif Sifat Distributif Distributif konjungsi terhadap disjungsi Distibutif konjungsi terhadap disjungsi aderismanto01.wordpress.com

. HUBUNGAN KONVERS, INVERS, DAN KONTRAPOSISI DENGAN IMPLIKASI , maka kita bisa membuat beberapa buah implikasi yang lain, yaitu Jika kita mempunyai sebuah implikasi , disebut konvers dari implikasi , disebut invers dari implikasi , disebut kontraposisi dari implikasi p q ~p ~q pq ~q~p qp ~p~q B S B S S B S B B S B S B S B S ≡ Implikasi ekuivalen dengan kontraposisinya ≡ Konvers ekuivalen dengan invers aderismanto01.wordpress.com

KUANTOR UNIVERSAL KUANTOR UNIVERSAL Semua Mahasiswa Semester Satu pandai. Kata semua atau setiap merupakan kuantor universal (umum) Lambang dari kuator universal adalah: dibaca, untuk semua x berlakulah p(x) atau dibaca, untuk semua x anggota S berlakulah p(x) aderismanto01.wordpress.com

Lanjutan KUANTOR EKSISTENSIAL Beberapa Mahasiswa STAI pandai. Kata beberapa atau ada merupakan kuantor eksistensial (khusus) Misalkan: U=himpunan semua Mahasiswa STAI di Rangkas A=himpunan semua Mahasiswa STAI LM B=himpunan semua Mahasiswa STAI yang pandai Pernyataan “Mahasiswa STAI yang pandai”, dapat ditulis dengan lambang berikut: dibaca: Beberapa Mahasiswa STAI yang pandai, atau Sekurang-kurangnya ada seorang ada seorang Mahasiswa STAI yang pandai. aderismanto01.wordpress.com

INGKARAN PERNYATAAN BERKUANTOR Contoh: p : Semua Mahasiswa Semester Satu rajin belajar ~p : Ada Mahasiswa Semester Satu yang tidak rajin belajar q : Ada Mahasiswa Semester Satu yang rumahnya di Kelapa Gading ~q : Semua Mahasiswa SemesterSatu rumahnya tidak di Kelapa Gading r : Jika semua Mahasiswa Semester satu lulus maka Saya senang ~r : Semua Mahasiswa Semester satu lulus dan Saya tidak senang ~r : Semua Mahasiswa Semester satu lulus tetapi Saya tidak senang aderismanto01.wordpress.com

Penarikan kesimpulan Penarikan kesimpulan Proses penarikan kesimpulan terdiri atas beberapa pernyataan yang diketahui nilai kebenarannya disebut premis Kemudian dengan menggunakan prinsip logika dapat diturunkan pernyataan baru (kesimpulan/ konklusi) Penarikan kesimpulan tersebut sering juga disebut argumentasi Suatu argumentasi dikatakan sah jika premis-premisnya benar, maka konklusinya juga benar aderismanto01.wordpress.com

Penarikan kesimpulan Lanjutan Contoh: 1. SILLOGISME kesimpulan/konklusi premis 1 premis 2 Contoh: Jika hari ini hujan, maka saya tidak berangkat ke sekolah premis 1 Jika saya tidak berangkat sekolah, maka ayah akan marah premis 2 Maka konklusinya adalah: Jika hari ini hujan, maka ayah akan marah aderismanto01.wordpress.com

Penarikan kesimpulan 2. Modus ponen Contoh: premis 1 premis 2 kesimpulan/konklusi Contoh: Jika saya punya uang banyak, maka saya akan membeli rumah premis 1 Saya punya uang banyak premis 2 Maka konklusinya adalah Saya akan membeli rumah aderismanto01.wordpress.com

Penarikan kesimpulan 3. Modus tollens Contoh: premis 1 premis 2 kesimpulan/konklusi Contoh: Jika hari ini cuaca cerah , maka saya datang ke pestamu premis 1 Saya tidak datang ke pestamu premis 2 Maka konklusinya adalah Hari ini cuaca tidak cerah Suatu argumentasi dikatakan sah jika konjungsi dari premis-premisnya berimplikasi dengan konklusinya merupakan TAUTOLOGI aderismanto01.wordpress.com

Belajarlah sepanjang hayat No Lazy Man! Or Belajarlah sepanjang hayat aderismanto01.wordpress.com

Kumpulkan Minggu depan!! Lengkapi tabel berikut 1 2 3 4 5 6 7 8 9 10 p q p  q ~(p  q) p  q ~(p  q) ~p ~q ~p  ~q ~p  ~q B S aderismanto01.wordpress.com