Mathematical Logic · Unit 04Logika Matematika · Unit 04

Set TheoryTeori Himpunan

Venn diagrams you shade yourself, and set identities traced back to the truth tables of unit 01.Diagram Venn yang bisa diarsir sendiri, dan identitas himpunan yang dilacak balik ke tabel kebenaran unit 01.

∪ uniongabungan ∩ intersectionirisan − differenceselisih △ symmetric differenceselisih simetris A' complementkomplemen S ∅ universe, emptysemesta, kosong

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

Venn diagrams, both directionsDiagram Venn dua arah

In show mode, type an expression and watch which regions get shaded. In challenge mode, shade the regions yourself to match the expression given — click any region on the diagram.Pada mode tampilkan, ketik ekspresi dan lihat daerah mana yang terarsir. Pada mode tantangan, arsir sendiri daerahnya untuk mencocokkan ekspresi yang diberikan — klik daerah mana pun pada diagram.

Test a set identityUji identitas himpunan

Two expressions are equal when membership agrees in every case. Because membership is only a matter of "in or not", a question about sets turns into a question of propositional logic — and the table below is a truth table from unit 01.Dua ekspresi sama bila keanggotaannya sama untuk setiap kemungkinan. Karena keanggotaan hanya soal "di dalam atau tidak", pertanyaan himpunan berubah menjadi pertanyaan logika proposisional — dan tabel di bawah adalah tabel kebenaran dari unit 01.

Compute with concrete setsHitung pada himpunan konkret

A fresh question is generated each time. Answers may be written {1, 3, 5} or 1 3 5 — order and repetition are ignored, as they should be for a set.Soal dibangkitkan acak setiap kali. Jawaban boleh ditulis {1, 3, 5} atau 1 3 5 — urutan dan pengulangan diabaikan, sebagaimana himpunan seharusnya.

Question 0Soal 0 Correct 0 of 0Benar 0 dari 0

∈ or ⊆∈ atau ⊆

The longest-lived confusion in all of set theory. The key is a single sentence: ∈ links a member to its set, while ⊆ links two sets.Kekeliruan paling awet di seluruh teori himpunan. Kuncinya satu kalimat: ∈ menghubungkan sebuah anggota dengan himpunannya, sedangkan ⊆ menghubungkan dua himpunan.

Correct 0Benar 0