Mathematical Logic · Unit 01Logika Matematika · Unit 01

Propositional LogicLogika Proposisional

Truth tables assembled column by column, so you can see how they are built — not just the final answer. Compose your own formula, test equivalence, and find the row where two statements disagree.Tabel kebenaran yang tersusun kolom demi kolom, sehingga terlihat cara membangunnya — bukan hanya hasil akhirnya. Susun rumusmu sendiri, uji ekuivalensi, dan cari baris yang membedakan dua pernyataan.

¬ negation · ~ !negasi · ~ ! ∧ conjunction · &konjungsi · & ∨ disjunction · |disjungsi · | → implication · ->implikasi · -> ↔ biconditional · <->biimplikasi · <->

Mathematical logic · 5 labsLogika matematika · 5 lab 01 Propositional01 Proposisional 02 Predicate02 Predikat 03 Proofs03 Pembuktian 04 Sets04 Himpunan 05 Algebra05 Aljabar

Build a truth tableBangun tabel kebenaran

Type any formula. Every subformula gets a column of its own, in the order it is assembled — so you see how the table is built, not just how it ends.Ketik rumus apa pun. Setiap sub-rumus mendapat kolomnya sendiri, dalam urutan pembentukan — jadi terlihat bagaimana tabel disusun, bukan hanya hasil akhirnya.

Fill in the final columnIsi kolom terakhir

Click each cell to set a truth value. Click again to change it. Good for a quick five-minute drill at the start of class.Klik setiap sel untuk mengisi nilai kebenaran. Klik sekali lagi untuk mengganti. Cocok untuk latihan cepat 5 menit di awal kelas.

Correct 0 of 0Benar 0 dari 0

The island of knights and knavesPulau ksatria dan penipu

Knights always tell the truth. Knaves always lie. Every puzzle below has exactly one consistent answer — and every answer can be proved with a truth table.Ksatria selalu berkata benar. Penipu selalu berbohong. Setiap teka-teki di bawah punya tepat satu jawaban konsisten — dan setiap jawaban bisa dibuktikan dengan tabel kebenaran.

From sentence to formulaDari kalimat ke rumus

Write the formula. Answers are checked by logical equivalence, not by matching letters — so any equivalent form is accepted.Tulis rumusnya. Jawaban diperiksa berdasarkan ekuivalensi logis, bukan kecocokan huruf — jadi bentuk lain yang setara tetap diterima.

Correct 0Benar 0