Semakan pada 20:53, 2 Februari 2009 sunting 130.87.53.224 (bincang) →‎Logik predikat ← Suntingan sebelumnya		Semakan pada 20:56, 2 Februari 2009 sunting batalkan 130.87.53.224 (bincang) →‎Logik predikat Suntingan berikutnya →
Baris 29: Dari segi sistem formal, logik predikat ialah sistem formal dengan ''abjad'': pemalar; fungsi; pembolehubah; predikat; pengkuantiti semesta ∀ (‘untuk semua’) ''perkataan'': seperti untuk logik usulan ditambah predikat & pengkuantiti semesta ''aksiom'': seperti untuk logik usulan ditambah A4: ((∀t∀''t'')''B''(''t''))⊃B⊃''B''(''u'') A5: ((∀t∀''t'')(~~w1⊃w2~~''w''1⊃''w''2))⊃(~~w1⊃~~''w''1⊃(∀t∀''t'')w2''w''2) dgn ''t'' bukan pembolehubah bebas dlm w1''w''1 ''hukum'': modus ponens ditambah w1''w''1 → ((∀t∀''t'')w1''w''1) dgn ''t'' pembolehubah bebas dlm w1''w''1 (penyeluruhan) Boleh diterbitkan pengkuantiti wujudan ∃ : (∃x∃''x'')''B''(''x'') ≡ ¬((∀x∀''x'')¬''B''(''x'')). Logik predikat dikatakan ogik peringkat pertama kerana ∀,∃ bertindak hanya ke atas pembolehubah, dan bukan ke atas predikat. Baris 45: {{stub}} [[af:Logika]]

Logik: Perbezaan antara semakan