Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2

Presentasi berjudul: "Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2"— Transcript presentasi:

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

2 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

3 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

4 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

5 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

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

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

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

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

10 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

11 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

12 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