MATERI SISTEM CERDAS MINGGU 9 - 12
Inferensi dalam Logika Order Pertama 9.1 Mengubah Inferensi Order Pertama Menjadi Proporsi (First Order Predicate Logic) • Representasi 4 kategori silogisme menggunakan logika predikat Kaidah Universal Instatiation merupakan state dasar, dimana suatu individual dapat digantikan (disubsitusi) ke dalam sifat universal. • Contoh : Misal, φ merupakan fungsi proposisi : ( ∀ x) φ(x) ∴ φ(a) merupakan bentuk yang valid, dimana a menunjukkan spesifik individual, sedangkan x adalah suatu variabel yang berada dalam jangkauan semua individu (universal) • Contoh lain : ( ∀ x) H(x) ∴ H(Socrates) • Berikut ini adalah contoh pembuktian formal silogisme All men are mortal Socrates is a man Therefore, Socrates is mortal Misal : H = man, M = mortal, s = Socrates 1. ( ∀ x) (H (x) -> M(x)) 2. H(s) / ∴ M(s) 3. H(s) -> M(s) 1 Universal Instatiation 4. M(s)