LTM SISTEM PAKAR PERTEMUAN 10

Nama: Andri Dwi

Nim : 12170394

Kelas : 12.6A.11


PERTEMUAN 10 : METODE INFERENSI : LOGIKA  DEDUKTIF & SYLOGISME 
Jawablah  Soal-soal Ini  dengan  Singkat  dan Benar 

1.  Metode  yang  digunakan  untuk  menggambarkan  inferensi  adalah  ....  deductive  logic (logika deduktif)  

2.  Satu  type  argumen  logika,  yang  memiliki  dua  premises  dan  satu  conclusion  adalah  .... sylogisme  

3.  Dalam  argumen,  premises  digunakan  sebagai  bukti  untuk  mendukung  conclusion (kesimpulan),  di mana  Premises  disebut  .... antecedent  

4.  Dalam  argumen,  premises  digunakan  sebagai  bukti  untuk  mendukung  conclusion (kesimpulan),  di mana  Premises  disebut  .... antecedent  

5.  Simbol            di samping  digunakan  untuk  menyatakan  .... berarti/jadi 

6.  Simbol  di  samping  digunakan  untuk  memisahkan  .... conclusion dari premises  

7.  Apa  yang  dimaksud  dengan  minor  term?  Minor  term  adalah  subjek  yang  terdapat pada conclusion  

8.  Apa  yang  dimaksud  dengan  mayor  term?  Mayor  term  adalah  premis  yang  berisi minor term  

9.  Argumen  deduktif  yang  valid,  yang  mempunyai  dua  premises  dan  satu  conclusion disebut  .... sylogisme 

10. Suatu  metode  mekanik  umum  atau  algoritma  yang  dapat  menentukan  validitas  secara otomatis  serta  dipakai  sebagai  pembuktian  validitas  argument  sylogisme,  menggunakan .... dicision procedure