umum sama dengan x = y berarti x dan ymewakili hal = kesamaan atau nilai yang sama. tidak sama x ≠ y berarti x dan ytidak mewakili ≠ Ketidaksamaan dengan hal atau nilai yang sama. Pengelompokkan Laksanakan operasi di dalam tanda () lebih dulu kurung terlebih dulu teori urutan lebih kecil < x < y berarti x lebih kecil dari y. ketidaksamaan dari; lebih > x > y berarti x lebih besar dari y. besar dari lebih kecil dari x ≤ y berarti x lebih kecil dari atau atau sama ≤ sama dengan y. ketidaksamaan dengan, lebih ≥ x ≥ y berarti x lebih besar dari atau besar dari atau sama dengan y. sama dengan aritmatika + tambah tambah 4 + 6 berarti jumlah antara 4 dan 6. − kurang kurang 9 − 4 berarti 9 dikurangi 4. – tanda negatif negatif −3 berarti negatif dari angka 3. × Perkalian kali 3 × 4 berarti perkalian 3 oleh 4. ÷ bagi pembagian 6 ÷ 3 atau 6/3 berarti 6 dibagi 3. / Jumlah atas … ∑ jumlahan dari … sampai ∑k=1n ak berarti a1 +a2 + … + an. … Produk atas … produk atau jumlah ∏ dari … ∏k=1n ak berartia1a2···an. kali sampai… teori Gabungan tak Gabungan tak A1 + A2 berarti gabungan tak himpunan ∪ beririsan dari beririsan beririsan dari himpunan A1 dan A2. … dan … minus; tanpa A − B berarti himpunan yang Komplemen teori – mempunyai semua anggota himpunan dari A yang tidak terdapat pada B. x Produk Cartesius Produk X×Y berarti himpunan semua Cartesius dari pasangan terurut dengan elemen … dan …; pertama dari tiap pasangan dipilih produk dari X dan elemen kedua dipilih dari langsung dari Y. … dan … Himpunan dari {a,b,c} berarti himpunan terdiri {,} Kurung kurawal … daria, b, dan c. Himpunan dari {x : P(x)} berarti himpunan dari { :} notasi pembangun … sedemikian semuax dimana P(x) benar. { | } himpunan sehingga … {x | P(x)} adalah sama seperti {x :P(x)}. himpunan ∅ berarti himpunan yang tidak ∅ himpunan kosong kosong memiliki elemen. {} juga berarti hal {} yang sama. Adalah A ⊆ B berarti setiap elemen ⊆ Himpunan bagian himpunan dari A juga elemen dari B. ⊂ bagian dari A ⊂ B berarti A ⊆ Btetapi A ≠ B. Adalah A ⊇ B berarti setiap elemen ⊇ superset superset dari dari B juga elemen dari A. ⊃ A ⊃ B berarti A ⊇ Btetapi A ≠ B. gabungan dari A ∪ B berarti himpunan yang berisi Gabungan teori ∪ … dan …; semua elemens dari Adan juga himpunan gabungan semua dariB, tetapi tidak selainnya. Beririsan A ∩ B berarti himpunan yang berisi Irisan teori ∩ dengan; irisan semua elemen yang Adan B punya himpunan bersama. minus; tanpa A \ B berarti himpunan yang berisi komplemen teori \ semua elemen dari Ayang tidak ada himpunan di B. dari f(x) berarti nilai fungsif pada () Terapan fungsi elemen x. dari … ke f: X → Y berarti fungsif memetakan f:X→Y fungsi panah himpunan X ke dalam himpunan Y. Komposisi fog adalah fungsi, sedemikian o Komposisi fungsi dengan sehingga (fog)(x) = f(g(x)). Produk kartesius dari; ∏i=0nYi berarti himpunan dari semua ∏ Produk kartesius produk (n+1)-tuples (y0,…,yn). langsung dari Aljabar kali u × v berarti hasil kali silang dari × hasil kali silang vektor vektor u dan v bilangan real akar kuadrat √x berarti bilangan positif yang √ Akar kuadrat kuadratnya x. Bilangan akar kuadrat jika z = r exp(iφ) direpresentasikan akar kuadrat kompleks √ kompleks dari; di koordinat kutub dengan -π < φ ≤ kompleks akar kuadrat π, maka √z = √rexp(iφ/2). Bilangan nilai mutlak |x| berarti jarak di garis real (atau || Nilai mutlak dari bidang kompleks) antara xdan nol. Nℕ Bilangan asli N N berarti {0,1,2,3,…}, Zℤ Bilangan bulat Z Z berarti {…,−3,−2,−1,0,1,2,3,…}. Qℚ Bilangan rasional Q Q berarti {p/q : p,q∈ Z, q ≠ 0}. R R berarti {limn→∞ an: ∀ n ∈ N: an ∈ Rℝ Bilangan real Q, the limit exists}. Cℂ Bilangan kompleks C C berarti {a + bi : a,b∈ R}. Tak hingga ∞ adalah elemen dari perluasan garis bilangan yang lebih besar dari ∞ ketakhinggaan semua bilangan real; ini sering terkadi di limit. kombinatorik faktorial ! faktorial n! adalah hasil dari 1×2×…×n. a statistika mempunyai X ~ D, berarti peubah distribusi ~ distribusi acak X mempunyai distribusi kemungkinan kemungkinan D. Logika mengakibatkan A ⇒ B berarti jika Abenar proposisi ; jika .. maka maka B juga benar; jika A salah maka tiada bisa dikatakan tentang B. → bisa berarti sama seperti ⇒, atau ⇒→⊃ material implication itu bisa berarti untuk fungsi diberikan di bawah. ⊃ bisa berarti sama seperti ⇒, atau itu bisa berarti untuk superset diberikan di bawah. ⇔ material jika dan hanya A ⇔ B berarti A benar jika B benar ↔ equivalence jika; iff dan Asalah jika B salah. tidak Pernyataan ¬A benar jika dan hanya jika Asalah. ¬˜ Logika ingkaran Tanda slash ditempatkan melalui operator lain sama seperti “¬” ditempatkan di depan. Logika dan Pernyataan A ∧ Bbenar logika konjungsi proposisi, ∧ jika A dan Bkeduanya benar; selain atau meet di lattice teori lattice itu salah. atau The pernyataan A ∨ Bbenar logical disjunction jika A atau B(atau keduanya) benar; ∨ or join in a lattice jika keduanya salah, pernyataan salah. Logika xor pernyataan A ⊕ Bbenar bila A atau proposisi, ⊕⊻ exclusive or B, tetapi tidak keduanya, aljabar benar. A ⊻ B berarti sama. boolean Logika untuk semua; predikat universal untuk ∀ x: P(x) berarti P(x) benar untuk ∀ quantification sebarang; semua x. untuk setiap ∃ existential terdapat ∃ x: P(x) berarti terdapat sedikitnya quantification satu x sedemikian sehingga P(x) benar. Terdapat ∃! x: P(x) berarti terdapat tepat uniqueness ∃! dengan tepat satu xsedemikian sehinggaP(x) quantification satu benar. Dimanapun Didefinisikan x := y atau x ≡ yberarti x didefinisika sebagai n menjadi nama lain untuk y (tetapi := catat bahwa ≡ dapat juga berarti definisi ≡:⇔ sesuatu lain, misalnya kongruensi). P :⇔ Q berarti Pdidefinisikan secara logika ekivalen ke Q. dimanapun, Adalah elemen a ∈ S berarti a elemen dari ∈ Keanggotaan teori dari; bukan himpunan S; a ∉S berarti a bukan ∉ himpunan himpunan elemen dari elemen dari S. geometri pi π berarti perbandingan (rasio) antara Euclidean π pi keliling lingkaran dengan diameternya. Aljabar linear norma dari; ||x|| adalah norma elemen x dari || || norma panjang dari ruang vektor bernorma. kalkulus … prima; f ‘(x) adalah turunan dari ‘ turunan turunan dari … fungsi f pada titikx, yaitu, kemiringan dari garis singgung. Integral tak Integral tak tentu tentu dari …; ∫ f(x) dx berarti fungsi dimana ∫ atau antiturunan antiturunan turunannya adalah f. dari … integral dari … b ∫ f(x) dx berarti area ditandai antara sampai … dari a ∫ integral tentu sumbu x dan grafik … berkenaan fungsi f antara x = adan x = b. dengan del, nabla, ∇f (x1, …, xn) adalah vektor dari ∇ gradien gradien dari turunan parsial (df / dx1, …, df/ dxn). Turunan dengan f (x1, …, xn), ∂f/∂xi adalah parsial dari turunan dari f berkenaan dengan xi, ∂ Turunan parsial dengan semua variabel lainnya tetap konstan. topologi ∂ batas Batas dari ∂M berarti batas dariM geometri Adalah tegak x ⊥ y berarti x tegak lurus dengan y; ⊥ Tegak lurus lurus dengan atau secara umum xortogonal ke y. Teori lattice elemen dasar x = ⊥ berarti x adalah elemen ⊥ elemen dasar terkecil. Teori model mengikuti A ⊧ B berarti kalimat Amengikuti Perikutan/entailmen |= kalimat B, bahwa setiap model t dimana A benar, Bjuga benar. Logika Menyimpulkan proposisi, atau diturunkan |- inferensi x ⊢ y berarti yditurunkan dari x. logika dari predikat Teori grup adalah subgrup N ◅ G berarti bahwa Nadalah ◅ subgrup normal normal dari subgrup normal dari grup G. mod G/H berarti kosien dari / Grup kosien grup G modulo itu adalah subgrup H. isomorfik ke G ≈ H berarti bahwa grup ≈ isomorfisma isomorphic ke group
Simbol Cara Membaca Simbol Cara Membaca
= Sama dengan ⊃ Superset dari ≠ Tidak sama dengan ∪ Union, gabungan < Lebih kecil dari ∩ Intersect, irisan > Lebih besar dari ∞ Tak hingga ≤ Lebih kecil atau sama dengan ∫ Integral ≥ Lebih besar atau sama dengan ⊥ Tegak lurus, siku-siku + Ditambah, plus (posistif) λ lamda − Dikurang, min (minus) ρ rho × Kali µ mu (myu) ÷ Dibagi / per ± plus-minus / Dibagi / per ʊ upsilon √ Akar (akar kuadrat) π phi % Persen Φ phi || Nilai mutlak Ψ psi ! Faktorial Ω omega ⇒ Maka (jika - maka) α alpha → Maka (jika - maka) β beta ⇔ Jika dan hanya jika γ gamma ↔ Jika dan hanya jika δ delta ¬ Not, negasi ε epsilon ˜ Not, negasi ζ zeta ~ Not, negasi η eta {,} Himpunan θ teta {} Himpinan kosong κ kappa ∅ Himpunan kosong ν nu ∈ Elemen dari ξ xi ∉ Bukan elemen dari ∑ Sigma ⊆ Subset dari σ sigma ⊂ Subset dari τ tau ⊇ Superset dari