15
untuk menampilkan berbagai proposisi, premis, atau
kesimpulan. Contoh:
Pernyataan
A
:
Hasan
pergi
kuliah
setiap
hari
Selasa
dan Sabtu
Pernyataan B : Hari ini adalah hari Senin
Kesimpulan
: Hasan tidak pergi kuliah pada hari ini.
b. Logika Predikat
Logika predikat merupakan bentuk logika yang lebih
kompleks dimana konsep dan aturan yang digunakan
sama
dengan
logika
proposisi. Logika predikat
digunakan untuk merepresentasikan hal-hal yang tidak
dapat
direpresentasikan dengan
menggunakan
logika
preposisi. Pada logika predikat kita dapat
merepresentasikan fakta-fakta sebagai suatu
pernyataan yang disebut dengan wff (well-formed
formula).
Contoh
diketahui
fakta
–
fakta
sebagai
berikut :
Andi adalah seorang laki – laki : A
Ali adalah seorang laki – laki : B
Amir adalah seorang laki –
laki
: C
Anto adalah seorang laki – laki : D
Agus adalah seorang laki – laki
: E
Fakta tersebut dapat ditulis : Laki2 (x)
 |