Semakan pada 21:07, 2 Februari 2009 sunting 130.87.53.224 (bincang) →‎Logik usulan ← Suntingan sebelumnya		Semakan pada 21:08, 2 Februari 2009 sunting batalkan 130.87.53.224 (bincang) →‎Logik usulan Suntingan berikutnya →
Baris 24: Dengan itu, boleh dibuktikan bahawa * Logik usulan tak bertentangan (''F'' dan ¬''F'' tak boleh dibuktikan serentak) * Logik usulan lengkap * Logik usulan sahih * Logik usulan bolehputus == Logik predikat ==

Logik: Perbezaan antara semakan