LTM SISTEM PAKAR

PERTEMUAN 10
_

 Metode Inferensi :Logika Deduktif & Sylogisme

1. Metode yang digunakan untuk menggambarkan inferensi adalah …………………
jawab:Logika Deduktif.

2. Satu type argumen logika, yang memiliki dua premises dan satu conclusion adalah ………………..
jawab:Sylogisme.

3. Dalam argumen, premises digunakan sebagai bukti untuk mendukung conclusion (kesimpulan), dimana Premises disebut……………..
jawab:Antecedent dan Consequent.

4. Dalam argumen, premises digunakan sebagai bukti untuk mendukung conclusion (kesimpulan), dimana Premises disebut
jawab:Antecedent dan Consequent.

5. Simbol dibawah
 digunakan untuk menyatakan:…………
jawab;Berarti/jadi (therefor).



6.Simbol disamping ====================== digunakan untuk memisahkan dari premises:
jawab:Conclusion,

7. Apa yang dimaksud dengan minor term disebut…
jawab:Subject Pada Conclusion (S).

8. Apa yang dimaksud dengan mayor term disebut ………..
jawab:Predikat Pada Conclusion (P).

9. Argumen deduktif yang valid yang mempunyai dua premises dan satu conclusion disebut:
jawab:Syllogism.

10. Suatu metode mekanik umum atau algoritma yang dapat menentukan validitas secara otomatis serta dipakai sebagai pembuktikan validitas argumen sylogisme, menggunakan:
jawab:Validitas Argumen.