Sifat-sifat Kalimat Tutik Khotimah, M.Kom. Tujuan Instruksional Tautologi Sifat Kalimat Kontradiksi Contingent.

Slides:



Advertisements
Presentasi serupa
Metode Pengujian Perangkat Lunak (White Box) Pertemuan 10 Febriyanno Suryana, S.Kom, MM SI Cont…..
Advertisements

Fakultas Ilmu Komputer, Universitas Narotama
Lecture #3 LOGIKA PROPOSISI
PEMBUKTIAN VALIDITAS KALIMAT LOGIKA
MATA KULIAH BERSAMA FMIPA UGM MATEMATIKA KONTEKSTUAL
BAB 3 BENTUK NORMAL DARI KALIMAT LOGIKA
Kuliah matematika diskrit Program Studi Teknik Elektro
LOGIKA MATEMATIKA Guru mapel : Niniek wakhyu i PUSTAKA : Kenneth H Rossen, Discrete mathematics and its applications, sixth edition.
Pertemuan 3 Viska armalina, st.,m.eng
Latihan Kalkulus Predikat Part.2
PENARIKAN KESIMPULAN/ INFERENSI
TABEL KEBENARAN.
Tabel Kebenaran LOGIKA INFORMATIKA Program Studi TEKNIK INFORMATIKA
TAUTOLOGI DAN EKUIVALEN LOGIS
Ekuivalen Logis.
Ekuivalensi Logika.
LOGIKA LOGIKA LOGIKA.
A.KONTRADIKSI Definisi dari kontradiksi: Merupakan sebuah pernyataan (proposisi) jika pernyataan tersebut selalu bernilai salah untuk semua kemungkinan.
TAUTOLOGI, KONTRADIKSI, DAN CONTINGENT
Tautologi dan Kontradiksi
LOGIKA MATEMATIKA EKUIVALENSI,TAUTOLOGI,KONTRADIKSI,DAN KONTINGENSI
PERNYATAAN IMPLIKASI DAN BIIMPLIKASI
LOGIKA MATEMATIKA Menu Utama KATA BIJAK Diskripsi Mata Kuliah
Kuliah matematika diskrit Program Studi Teknik Elektro
MATEMATIKA DISKRIT By DIEN NOVITA.
Tautologi
ILMU KOM PUTER FAK MIPA UGM.
LOGIKA INFORMATIKA I Gusti Ayu Agung Diatri Indradewi, S. Kom
LOGIKA MATEMATIKA PERTEMUAN 5 KALKULUS PROPOSISI
BAB 10 ALJABAR PROPOSISI KALIMAT DEKLARATIF(Statements)
Proposisi. Pengantar  Pokok bahasan logika, atau objek dari logika adalah pernyataan-pernyataan atau kalimat yang memiliki arti tertentu dan memiliki.
BAB 1 KALKULUS PROPOSISI
LOGIKA Purbandini, S.Si, M.Kom.
LOGIKA INFORMATIKA I Gusti Ayu Agung Diatri Indradewi, S. Kom
Bina Nusantara Logika Proposisi Pertemuan 1: Matakuliah:K0144/Matematika Diskrit Tahun:2008.
Pertemuan Ke-1 Oleh: Vindo Feladi, ST, M.Pd
Pertemuan 2 LOGIKA (PROPOSISI).
Pertemuan ketiga Oleh : Fatkur Rhohman
Tautologi, Ekivalen Dan Kontradiksi
Inferensi Penarikan kesimpulan dari beberapa proposisi Kaidah :
LOGIKA Logika mempelajari hubungan antar pernyataan-pernyataan yang berupa kalimat-kalimat atau rumus-rumus, sehingga dapat menentukan apakah suatu pernyataan.
Matematika Informatika 2
Logika dan Pembuktian.
PROPOSISI Citra N, S.Si, MT.
Logika (logic).
BAB 2 LOGIKA
LogikA MATEMATIKA.
IMPLIKASI (Proposisi Bersyarat)
LOGIKA dan ALGORITMA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta
ALGORITMA DAN PEMROGRAMAN
Latihan Soal Logika Matematika
PENARIKAN KESIMPULAN/ INFERENSI
Matematika diskrit Logika Proposisi
LOGIKA DAN ALGORITMA HANIF AL FATTA M.KOM AMIKOM Yogyakarta 2006
PRESENTASI PERKULIAHAN
LOGIKA MATEMATIKA Logika matematika pada hakekatnya adalah suatu metode dalam komputasi menggunakan proposisi atau kalimat deklaratif. Kalimat deklaratif.
Matematika Diskrit TIF (4 sks).
Penggunaan Decission (keputusan ) pada C
M. A. INEKE PAKERENG, S.Kom., M.Kom.
Representasi Pengetahuan Logika Proposisi
KONVERS, INVERS, KONTRAPOSISI TAUTOLOGI & KONTRADIKSI
Fungsi Logika Ms Excel PKTI 2A pertemuan 3 Dwi Setyasih.
Asrul Sani, ST. M.Kom MT Pertemuan 3 Asrul Sani, ST M.Kom MT - Logika 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.
Materi Kuliah IF2091 Struktur Diskrit
IMPLIKASI DAN BIIMPLIKASI
TAUTOLOGI Pertemuan ke-5 Ridwan, S.T., M.Eng. Mengevaluasi Validitas Argumen Tabel kebenaran digunakan untuk pembuktian validitas argument. Sebelum mengevaluasi.
Materi Kuliah Matematika Diskrit
LOGIKA MATEMATIKA.
Transcript presentasi:

Sifat-sifat Kalimat Tutik Khotimah, M.Kom

Tujuan Instruksional Tautologi Sifat Kalimat Kontradiksi Contingent

Sifat-sifat Kalimat Tautologi (valid) Kalimat yang bernilai true untuk setiap interpretasi dari proposisi-proposisi yang ada di dalamnya Kontradiksi Kalimat yang bernilai false untuk setiap interpretasi dari proposisi-proposisi yang ada di dalamnya Contingent Kalimat yang mempunyai nilai true dan nilai false untuk setiap interpretasi dari proposisi-proposisi yang ada di dalamnya

Tautologi Contoh A = Saya belajar matematika Saya belajar matematika atau saya tidak belajar matematika A A∼AA v ∼A TFT FTT v ∼A

Kontradiksi Contoh A = Saya belajar matematika Saya belajar matematika dan saya tidak belajar matematika A A∼AA ^ ∼A TFF FTF ^ ∼A

Contingent Contoh A = Saya belajar matematika B = Saya suka matematika Saya belajar matematika meski pun saya tidak suka matematika. A AB∼BA ^ ∼B TTFF TFTT FTFF FFTF ^∼B

Latihan Sifat Kalimat 1. (A ↔ B) ^ {(A  ~ B)^B} 2. (~A ^ B)  (A v ~B) 3. {(A  ~B) ^ ~ A} v B 4. { (~A v B) ^ ~B }  A 5. {(A  B) ↔ ~A} ^ ~B 6. A v {(~B ↔ ~A)  B} 7. {~A  {(~B v A) ^ B} } ↔ A 8. {~A ↔ {( A  ~B ) ^ B} } V ~B Tentukan sifat kalimat di bawah ini.