PENDAHULUAN
Tulisan ini di buat untuk memenuhi nilai tugas LOGIKA INFORMATIKA
Jurusan : SISTEM INFORMASI ( STMIK MERCUSUAR )
Dosen Pengajar : Bapak Slamet Sucipto, M.Kom
Tulisan ini di buat untuk memenuhi nilai tugas LOGIKA INFORMATIKA
Jurusan : SISTEM INFORMASI ( STMIK MERCUSUAR )
Dosen Pengajar : Bapak Slamet Sucipto, M.Kom
Sebuah kalimat A adalah: satisfiable jika S | = A untuk beberapa struktur S; (logis) yang valid, dinotasikan | = A, jika S | = A untuk setiap struktur S; difalsifikasi, jika tidak logis valid, yaitu jika memiliki counter-model. Satisfiability dan validitas dari setiap formula orde pertama Sebuah orde pertama formula A adalah: A adalah … Continue reading SATISFIABILITY, VALIDITY DAN CONSEQUENT
Dua atau lebih pernyataan majemuk yang mempunyai nilai kebenaran sama disebut ekuivalensi logika dengan notasi “ dua buah pernyataan majemuk dikatakan ekuivalen, jika kedua pernyataan majemuk itu mempunyai nilai kebenaran yang sama untuk semua kemungkinan nilai kebenaran pernyataan-pernyataan komponen-komponennya. Contoh ekuivalen: ~(p v q) ≡ ~p ʌ ~q tabel kebenaran pernyataan ekuivalen ~(p v q) … Continue reading EKUIVALENSI
Kontradiksi adalah kebalikan dari tautologi yaitu suatu bentuk pernyataan yang hanya mempunyai contoh substansi yang salah, atau sebuah pernyataan majemuk yang salah dalam segala hal tanpa memandang nilai kebenaran dari komponen-komponennya. Untuk membuktikan apakah suatu pernyataan tersebut kontradiksi, maka ada dua cara yang digunakan. Cara pertama dengan menggunakan tabel kebenaran, yaitu jika semua pilihan bernilai … Continue reading KONTRADIKSI
Tautologi adalah pernyataan majemuk yang selalu benar untuk semua kemungkinan nilai kebenaran dari pernyataan-pernyataan komponennya. Sebuah Tautologi yang memuat pernyataan Implikasi disebut Implikasi Logis. Untuk membuktikan apakah suatu pernyataan Tautologi, maka ada dua cara yang digunakan. Cara pertama dengan menggunakan tabel kebenaran, yaitu jika semua pilihan bernilai B (benar) maka disebut Tautologi, dan cara kedua … Continue reading TAUTOLOGI