Semakan pada 21:00, 2 Februari 2009 sunting 130.87.53.224 (bincang) →‎Logik usulan ← Suntingan sebelumnya		Semakan pada 21:02, 2 Februari 2009 sunting batalkan 130.87.53.224 (bincang) →‎Logik predikat Suntingan berikutnya →
Baris 34: ''aksiom'': seperti untuk logik usulan ditambah A4: ((∀''t'')''B''(''t''))⊃''B''(''u'') A5: ((∀''t'')(''w''1⊃<sub>1</sub>⊃''w''<sub>2</sub>))⊃(''w''1⊃<sub>1</sub>⊃(∀''t'')''w''<sub>2</sub>) dgn ''t'' bukan pembolehubah bebas dlm ''w''<sub>1</sub> ''hukum'': modus ponens ditambah ''w''<sub>1</sub> → ((∀''t'')''w''<sub>1</sub>) dgn ''t'' pembolehubah bebas dlm ''w''<sub>1</sub> (penyeluruhan) Boleh diterbitkan pengkuantiti wujudan ∃ : (∃''x'')''B''(''x'') ≡ ¬((∀''x'')¬''B''(''x'')). Logik predikat dikatakan ~~ogik~~logik peringkat pertama kerana ∀,∃ bertindak hanya ke atas pembolehubah, dan bukan ke atas predikat. Logik predikat menjadi asas untuk [[pengaturcaraan logik]].

Logik: Perbezaan antara semakan