Semakan pada 21:37, 26 September 2009 sunting JAnDbot (bincang \| sumb.) Bot 52,181 suntingan k bot menambah: ur:منطق ← Suntingan sebelumnya		Semakan pada 04:02, 26 Disember 2009 sunting batalkan Hanief (bincang \| sumb.) 267 suntingan →‎Logik predikat Suntingan berikutnya →
Baris 34: == Logik predikat == Juga disebut '''kalkulus predikat'''. '''Logik peringkat pertama''', di mana pembolehubah dibolehkan di dalam predikat-predikat yang menggantikan atom-atom usulan. Suatu predikat ''A'' dengan ariti ''k'' ditulis ''A''(''x''<sub>1</sub>, ''x''<sub>2</sub>,…, ''x<sub>k</sub>''). Baris 57 ⟶ 56: Logik predikat menjadi asas untuk [[pengaturcaraan logik]]. == Lihat juga == * [[Aras logik]] [[Kategori:Logik\| ]]

Logik: Perbezaan antara semakan