Core Jurusan Teknik Informatika Kode MK/SKS : TIF 01 0 2 05/2 ARGUMEN dan VALIDITAS Core Jurusan Teknik Informatika Kode MK/SKS : TIF 01 0 2 05/2 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika ARGUMEN Argumen adalah rangkaian kalimat-kalimat Kumpulan pernyataan yang disebut premis–premis dan diikuti oleh kesimpulan yang selaras dengan premis – premisnya. 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika VALIDITAS DAN INVALIDITAS ARGUMEN Premis – premis yang diikuti oleh kesimpulan yang berasal dari premis –premisnya. Suatu pernyataan disebut valid jika dan hanya jika pernyataan tersebut adalah tautologi. Pernyataan disebut invalid jika dan hanya jika tidak valid. 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika PEMBUKTIAN VALIDITAS Semua yang tergolong tautologi pasti valid. Semua ekspresi yang terbukti bahwa tautologi, pasti valid. 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika INKONSISTENSI & KONSISTEN Suatu pernyataan disebut inkonsisten jika dan hanya jika pernyataan tersebut kontradiksi. Dan pernyataan disebut konsisten jika dan hanya jika tidak inkonsistensi. 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika INFERENCE METHOD Teknik untuk menurunkan kesimpulan berdasarkan hipotesa . Tanpa menggunakan tabel kebenaran. 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika INFERENCE METHOD Modus Ponens : p  q p q 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika INFERENCE METHOD Modus Tollens : p  q ~q ~ p 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika INFERENCE METHOD Modus Sylogisme Hipotetis: p  q q r p r 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika INFERENCE METHOD Penambahan Disjungtif p q p  q p  q Penyederhanaan Konjungtif p  q p  q p q 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika INFERENCE METHOD Silogisma Disjungtif p  q p  q ~ p ~ q q p Konjungsi p q p  q 31/12/2011 Revisi 03 Logika Informatika

Revisi 03 Logika Informatika INFERENCE METHOD Dilema (Pembagian dalam beberapa kasus) p  q p  q q  r r 31/12/2011 Revisi 03 Logika Informatika