Presentasi sedang didownload. Silahkan tunggu

Presentasi sedang didownload. Silahkan tunggu

Core Jurusan Teknik Informatika Kode MK/SKS : TIF 01 0 2 05/2 131/12/2011Revisi 03 Logika Informatika.

Presentasi serupa


Presentasi berjudul: "Core Jurusan Teknik Informatika Kode MK/SKS : TIF 01 0 2 05/2 131/12/2011Revisi 03 Logika Informatika."— Transcript presentasi:

1 Core Jurusan Teknik Informatika Kode MK/SKS : TIF /2 131/12/2011Revisi 03 Logika Informatika

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

3  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. VALIDITAS DAN INVALIDITAS ARGUMEN 331/12/2011Revisi 03 Logika Informatika

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

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

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

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

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

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

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

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

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


Download ppt "Core Jurusan Teknik Informatika Kode MK/SKS : TIF 01 0 2 05/2 131/12/2011Revisi 03 Logika Informatika."

Presentasi serupa


Iklan oleh Google