Semakan pada 20:56, 2 Februari 2009 sunting 130.87.53.224 (bincang) →‎Logik predikat ← Suntingan sebelumnya		Semakan pada 21:00, 2 Februari 2009 sunting batalkan 130.87.53.224 (bincang) →‎Logik usulan Suntingan berikutnya →
Baris 16: jika ''w'' perkataan, (''w'') juga perkataan; jika ''w'' perkataan, ¬''w'' juga perkataan; jika ''w''<sub>1</sub>, ''w''<sub>2</sub> perkataan, ''w''1⊃<sub>1</sub>⊃''w''<sub>2</sub> juga perkataan. ''aksiom'' – A1: (''w''1⊃<sub>1</sub>⊃(''w''2⊃<sub>2</sub>⊃''w''<sub>1</sub>)) A2: (''w''1⊃<sub>1</sub>⊃(''w''2⊃<sub>2</sub>⊃''w''<sub>3</sub>))⊃((''w''1⊃<sub>1</sub>⊃''w''<sub>2</sub>)⊃(''w''1⊃<sub>1</sub>⊃''w''<sub>3</sub>)) A3: (¬''w''2⊃<sub>2</sub>⊃¬''w''<sub>1</sub>)⊃(''w''1⊃<sub>1</sub>⊃''w''<sub>2</sub>) ''hukum'' – hukum pemisahan / modus ponens : (''w''<sub>1</sub>) & (''w''1⊃<sub>1</sub>⊃''w''<sub>2</sub>) → (''w''<sub>2</sub>) == Logik predikat ==

Logik: Perbezaan antara semakan