LTM SISTEM PAKAR

PERTEMUAN 6
_

1 .proporsi atau pernyataan yang selalu bernilai benar atau salah karena berdasarkan fakta, disebut: Premise.

2. proporsi atau pernyataan yang selalu bernilai benar atau salah karena berdasarkan fakta, disebut: Premise.

3.Serangkaian aksioma, yang berisi symbol untuk menunjukkan obyek dan jenis, dan operasi aljabar untuk memanipulasi symbol, disebut : Kontribusi Boole.

4. Definisi  fundamental  dari  system  logika  seperti  matematika  dan  logika  itusendiri.

Dengan hanya  menggunakan  aksioma dapat menghasilkan teori,disebut: Aksioma.

5. Pernyataan yang dapat dibuktikan dengan menunjukkan bagaimana teori tersebut diperoleh, yaitu dengan menggunakan aksioma, disebut: Teori.

6.Logika simbol untuk memanipulasi proporsi, khususnya yang berhubungan dengan manipulasi variabel logika yang mewakili atau menunjukkan suatu proporsi, disebut: proportional calculus.

7.Statement/sentence atau kalimat pada umumnya dapat diklasifikasikan menjadi 4 type, yaitu: Imperatif / perintah, Interogatif / pertanyaan, Kalimat seru, Deklaratif / pernyataan.

8.Digunakan untuk kalimat yang diberi kuantitas memiliki nilai kebenaran yang sama untuk semua pengganti / elemen dalam domain yang sama, disebut: Quantifier Universal (All : V)

9. Logika proporsional dihubungkan dengan kalimat-kalimat deklaratif yang dapat diklasifikasi sebagai pernyataan benar atau salah, disebut: statement/pernyataan atau proposition/proposisi.

10. Nilai kebenarannya tidak perlu dipertanyakan lagi, disebut: closed sentence