Semakan pada 13:46, 4 Ogos 2010 sunting TobeBot (bincang \| sumb.) Bot 8,540 suntingan k bot menambah: ckb:لۆژیک ← Suntingan sebelumnya		Semakan pada 00:24, 4 September 2010 sunting batalkan Xqbot (bincang \| sumb.) 79,100 suntingan k bot menambah: pnb:منطق; perubahan kosmetik Suntingan berikutnya →
Baris 28: Boleh dibuktikan bahawa * Logik usulan tak bertentangan (''F'' dan ¬''F'' tak boleh dibuktikan serentak) * Logik usulan lengkap * Logik usulan sahih Baris 47: ''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 logik peringkat pertama kerana ∀,∃ bertindak hanya ke atas pembolehubah, dan bukan ke atas predikat. Baris 120: [[oc:Logica]] [[uz:Mantiq]] [[pnb:منطق]] [[nds:Logik]] [[pl:Logika]]

Logik: Perbezaan antara semakan