Mathematical Logic · Unit 03Logika Matematika · Unit 03
Reading proofs actively: reorder a scrambled proof, choose the strategy before writing a line, hunt the step that is not valid, and run induction as a row of dominoes.Membaca bukti secara aktif: menyusun ulang baris yang teracak, memilih strategi sebelum menulis, berburu langkah yang tidak sah, dan menjalankan mesin induksi domino.
Mathematical logic · 5 labsLogika matematika · 5 lab 01 Propositional01 Proposisional 02 Predicate02 Predikat 03 Proofs03 Pembuktian 04 Sets04 Himpunan 05 Algebra05 Aljabar
Every line is correct — only the order is scrambled. Reordering forces you to read the logical flow instead of copying it. Drag the lines, or use the arrow buttons.Semua barisnya benar — hanya urutannya kacau. Menyusun ulang memaksa pembacaan alur logika, bukan sekadar menyalin. Seret barisnya, atau pakai tombol panah.
Before writing a single line, a prover picks a road. This drill trains that one decision — quick, and usable as an oral quiz in class.Sebelum menulis satu baris pun, seorang pembukti memilih jalan. Latihan ini melatih keputusan itu saja — cepat, dan bisa dipakai sebagai kuis lisan di kelas.
Every proof below concludes something false. Click the line where the mistake first happens — not the line with the strange result, but the line whose step is invalid.Setiap bukti di bawah ini menyimpulkan sesuatu yang salah. Klik baris tempat kesalahannya pertama kali terjadi — bukan baris yang hasilnya aneh, melainkan baris yang langkahnya tidak sah.
The base case knocks over the first domino; the induction step makes sure each domino knocks over the next. Switch one of them off and see for yourself how much is actually proved.Basis menjatuhkan domino pertama; langkah induksi memastikan setiap domino menjatuhkan yang berikutnya. Matikan salah satunya dan lihat sendiri berapa banyak yang benar-benar terbukti.