LTM SISTEM PAKAR

PERTEMUAN 11
_

1. Notasi untuk skema modus ponens yang digunakan sebagai pemisahkan premise, adalah :
Jawab:Koma.

2. Notasi untuk skema modus ponens yang digunakan sebagai pemisahkan conclusion, adalah.......
Jawab:Titik Koma.

3. Bentuk khusus dari sylogisme, jika untuk kedua premise bernilai benar (T) maka nilai conclusion juga benar (T), disebut:...
Jawab:Modu Ponens Valid

4. Apa yang dimaksud dengan Hukum Kontra Positif , sebutkan rumusnya
Jawab::Pernyataan Implikasi dan Kontra posisinya mempunyai nilai yang sama
Rumus = p -> q
               -----------
              ' .' ~q -> ~p

5. Apa yang dimaksud dengan Hukum data skema, sebutkan rumusnya
Jawab:

6. Apa yang dimaksud dengan Hukum Kontra Positif, sebutkan rumusnya
Jawab:Pernyataan Implikasi dan Kontra posisinya mempunyai nilai yang sama
Rumus = p -> q
               -----------
              ' .' ~q -> ~p

7. Apa yang dimaksud dengan Hukum Modus Tollen, sebutkan rumusnya
Jaawab:Bekerja berdasarkan premise dengan mengambil kesimpulan, jika tidak q maka tidak p.
Rumus: p -> q
             ~q
             ---------
             ' .' ~p

8. Apa yang dimaksud dengan Hukum inferensi disjunletif sebutkan rumus
Jawab::Bekerja berdasarkan premise dengan mengambil kesimpulan, jika tidak q maka tidak p,dan jika tidak q maka q
Rumus =  p v q  p v q
                ~p      ~q
                 ----    ------
                '.' p     '.' p

9. Apa yang dimaksud dengan Hukum negasi ganda sebutkan rumusnya
Jawab:Jika tidak dan tidak p maka p
Rumus: ~(~p)
             -----------
                 '.' p

10. Dalam logika tanda titik koma (;) diatas setara dengan notasi ::.................
Jawab: Then (jika)