Tautologi dan Kontradiksi

Slides:



Advertisements
Presentasi serupa
Kuliah matematika diskrit Program Studi Teknik Elektro
Advertisements

DASAR-DASAR LOGIKA Septi Fajarwati, S.Pd..
LOGIKA MATEMATIKA BAG 1: PROPOSISI.
LOGIKA MATEMATIKA Pertemuan III.
Himpunan dan Relasi Fuzzy
Bab 1 Logika Matematika Matematika Diskrit.
TAUTOLOGI DAN EKUIVALEN LOGIS
EKUIVALENSI LOGIKA PERTEMUAN KE-7 OLEH: SUHARMAWAN, S.Pd., S.Kom.
Negasi dari Konvers, Invers, dan Kontraposisi
LOGIKA LOGIKA LOGIKA.
MATEMATIKA DISKRIT By DIEN NOVITA.
Kuliah matematika diskrit Program Studi Teknik Elektro
MATEMATIKA DISKRIT By DIEN NOVITA.
Konvers , Invers, Kontraposisi
PROPORSI (LOGIKA MATEMATIKA)
MATEMATIKA DISKRIT MATEMATIKA DISKRIT ADALAH CABANG MATEMATIKA YANG MEMPELAJARI OBJEK-OBJEK DISKRIT OBJEK DISKRIT ADALAH SEJUMLAH BERHINGGA ELEMEN-ELEMEN.
BAB 1 KALKULUS PROPOSISI
LOGIKA Purbandini, S.Si, M.Kom.
TOPIK 1 LOGIKA.
Logika Proposisional [Kalkulus Proposisi]
BAB II HIMPUNAN.
Penarikan Kesimpulan Ekivalensi Ekspresi Logika
BAB 4 Logika Matematika Standar Kompetensi: Kompetensi Dasar:
Pertemuan 7 HIMPUNAN (Hukum Himpunan).
Kecerdasan Buatan #3 Logika Proposisi.
BAB 1. LOGIKA MATEMATIK 1.1 PROPOSISI Definisi: [Proposisi]
Pertemuan ke 1.
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.
Agiska Ria Supriyatna, S.Si, MTI
Logika Semester Ganjil TA
PROPOSITION AND NOT PROPOSITION
LogikA MATEMATIKA.
IMPLIKASI (Proposisi Bersyarat)
Kelompok 6 Logika Matematika.
TAUTOLOGI, KONTRADIKSI DAN EKIVALENSI
ALGORITMA DAN PEMROGRAMAN
PENDIDIKAN MATEMATIKA UNIVERSITAS PGRI YOGYAKARTA
Oleh : Devie Rosa Anamisa
Matematika diskrit Logika Proposisi
Pertemuan 9 Aljabar Boolean.
Konvers, Invers, dan Kontraposisi Suatu Implikasi
Aljabar Boolean Agiska Ria Supriyatna, S.Si, MTI
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
PRESENTASI PERKULIAHAN
EKUIVALEN LOGIS.
SPB 1.4 KUANTOR SPB 1.5 TAUTOLOGI, KONTRADIKSI DAN EKIVALENSI
NEGASI PERNYATAAN MAJEMUK
logika matematika Standar Kompetensi:
Aljabar Logika. 1. Kalimat Deklarasi. 2. Penghubung Kalimat. 3
LOGIKA MATEMATIKA (Pernyataan Majemuk)
Semantik II Oleh : Dani Suandi, M.Si. KELOMPOK I.
Matematika Diskrit TIF (4 sks) 3/9/2016.
Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2
Adalah cabang dari matematika yang mengkaji objek-objek diskrit.
Proposisi Lanjut Hukum Ekuivalensi Logika
1.1 Proposisi & Proposisi Majemuk
Hukum Proposisi.
LOGIKA MATEMATIKA Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif.
KONVERS, INVERS, KONTRAPOSISI TAUTOLOGI & KONTRADIKSI
Himpunan (part II) Hukum-hukum himpunan
LOGIKA MATEMATIS Program Studi Teknik Informatika
Asrul Sani, ST. M.Kom MT Pertemuan 4 Asrul Sani, ST M.Kom MT - Logika Informatika.
LOGIKA MATEMATIKA Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif.
BAB 3 ALJABAR BOOLEAN.
Penyederhanaan Ekspresi Logika
Materi Kuliah Matematika Diskrit
HIMPUNAN MATEMATIKA DISKRIT.
LOGIKA MATEMATIKA.
Transcript presentasi:

Tautologi dan Kontradiksi Created by : Eva roliza (130384202007) Tautologi & Kontradiksi 12-Dec-2014 Eva Roliza

Tautologi Suatu bentuk kalimat atau rumus yang selalu bernilai benar untuk semua nilai pernyataan komponennya dan disimbolkan dengan (B) Tautologi & Kontradiksi 12-Dec-2014 Eva Roliza

Kontradiksi Suatu bentuk kalimat yang selalu bernilai salah untuk semua nilai pernyataan komponennya dan disimbolkan dengan (S). Tautologi & Kontradiksi 12-Dec-2014 Eva Roliza

Kontingensi Sebuah pernyataan majemuk yang bukan suatu tautologi maupun kontradiksi yang memiliki nilai kebenaran yang benar dan salah Tautologi & Kontradiksi 12-Dec-2014 Eva Roliza

Contoh Tentukan Pernyataan ini manakah yang merupakan tautologi, kontradisi dan kontingensi a. ( ~p  q ) v ( q  p ) b. (p v q) → r c. (~p ˄ q) ˄ (~p ˄ ~q) Tautologi & Kontradiksi 12-Dec-2014 Eva Roliza

Ekuivalensi Logika Jika kedua pernyataan majemuk mempunyai nilai kebenaran yang sama untuk semua kemungkinan nilai kebenaran pernyataan-pernyataan komponen-komponennya. Ekuivalen ditulis dengan tanda ≡ Tautologi & Kontradiksi 12-Dec-2014 Eva Roliza

Hukum –Hukum Ekuivalensi Logika Hukum Komutatif Hukum Asosiatif Hukum Distributif Hukum identitas Hukum ikatan (dominasi) Tautologi & Kontradiksi 12-Dec-2014 Eva Roliza

Hukum negasi ganda (involusi) de Morgan Hukum idempoten Hukum T dan F Hukum penyerapan (absorpsi) Tautologi & Kontradiksi 12-Dec-2014 Eva Roliza

Konvers, Kontraposisi dan Invers Jika suatu bentuk implikasi p  q diubah menjadi q  p disebut konvers Jika suatu bentuk implikasi p  q diubah menjadi ~ q  ~ p disebut kontraposisi Jika suatu bentuk implikasi p  q diubah menjadi ~ p  ~ q disebut invers Eva Roliza Tautologi & Kontradiksi 12-Dec-2014

Terima Kasih Tautologi & Kontradiksi 12-Dec-2014 Eva Roliza