Minggu, 11 Mei 2014

HIMPUNAN BILANGAN BULAT DAN RIIL BESERTA SKEMANYA

HIMPUNAN BILANGAN BULAT DAN RIIL BESERTA SKEMANYA


BILANGAN BULAT DAN BILANGAN RIIL
SKEMA
MACAM-MACAM BILANGAN
1. BILANGAN RIIL (BILANGAN NYATA)
Himpunan bilangan riil adalah himpunan yang anggota-anggotanya merupakan gabungan dari himpunan bilangan rasional dan irasional.
Contoh: {log 10, 5/8, -3, 0, 3,}

2. BILANGAN RASIONAL
Himpunan bilangan rasional adalah himpunan bilangan yang anggota-anggonya merupakan bilangan yang dapat dinyatakan sebagai:
a/b dimana a dan b adalah bilangan bulat dan b 0.
Contoh: {0,-2, 2/7, 5, 2/11,…}

3. BILANGAN IRRASIONAL
Himpunan bilangan irasional adalah himpunan bilangan yang anggota-anggotanya tidak dapat dinyatakan dalam pembagian bilangan bulat.
Contoh: {log 3, log 2,…}

4. BILANGAN BULAT
Bilangan bulat adalah bagian dari Bilangan Riil. Bilangan Bulat disebut juga bilangan utuh. Bilangan bulat terdiri dari bilangan bulat, baik negatif, nol, dan positif.
Contoh = {...,-3,-2,-1,0,1,2,3,...}

5. BILANGAN ASLI
Himpunan bilangan asli adalah himpunan bilangan yang anggota-anggotanya merupakan bilangan bulat positif.
Contoh = {1,2,3,4,5,6,......}
6. BILANGAN PRIMA
Himpunan bilangan prima adalah himpunan bilangan-bilangan asli yang hanya dapat dibagi dirinya sendiri dan satu, kecuali angka 1.
Contoh = {2,3,5,7,11,13,....}
(1 bukan bilangan prima karena hanya mempunyai satu faktor saja)

7. BILAGAN CACAH
Himpunan bilangan cacah adalah himpunan bilangan yang anggota-anggotanya merupakan bilangan bulat positif digabung dengan nol.
Contoh = {0,1,2,3,4,5,6,....}

8. BILANGAN IMAJINER (BILANGAN KHAYAL)
Himpunan bilangan imajiner adalah himpunan bilangan yang anggota-anggotanya merupakan i (satuan imajiner) dimana i merupakan lambang bilangan baru yang bersifat i² = -1
Contoh: i, 4i, 5i

9. BILANGAN KOMPLEKS
Himpunan bilangan kompleks adalah himpunan bilangan yang anggota-anggotanya (a + bi) dimana a, b adalah bilangan Riil , i² = -1, dengan a bagian riil dan b bagian imajiner.
Contoh: 2-3i, 8+2

10. BILANGAN KOMPOSIT
Bilangan Komposit adalah bilangan yang bukan 0, bukan 1 dan bukan bilangan prima.
Contoh: {4, 6, 8, 9, 10, 12, ….}

Sumber:

LOGIKA

16.LOGIKA
Pengertian Logika
Logika berasal dari kata Yunani kuno λόγος (logos) yang berarti hasil pertimbangan akal pikiran yang diutarakan lewat kata dan dinyatakan dalam bahasa. Logika adalah salah satu cabang filsafat.
Sebagai ilmu, logika disebut dengan logike episteme (Latin: logica scientia) atau ilmu logika (ilmu pengetahuan) yang mempelajari kecakapan untuk berpikir secara lurus, tepat, dan teratur.
Ilmu di sini mengacu pada kemampuan rasional untuk mengetahui dan kecakapan mengacu pada kesanggupan akal budi untuk mewujudkan pengetahuan ke dalam tindakan. Kata logis yang dipergunakan tersebut bisa juga diartikan dengan masuk akal.

Logika sebagai ilmu pengetahuan
Logika merupakan sebuah ilmu pengetahuan di mana obyek materialnya adalah berpikir (khususnya penalaran/proses penalaran) dan obyek formal logika adalah berpikir/penalaran yang ditinjau dari segi ketepatannya.
Logika sebagai cabang filsafat
Logika adalah sebuah cabang filsafat yang praktis. Praktis di sini berarti logika dapat dipraktekkan dalam kehidupan sehari-hari.
Logika lahir bersama-sama dengan lahirnya filsafat di Yunani. Dalam usaha untuk memasarkan pikiran-pikirannya serta pendapat-pendapatnya, filsuf-filsuf Yunani kuno tidak jarang mencoba membantah pikiran yang lain dengan menunjukkan kesesatan penalarannya.
Logika digunakan untuk melakukan pembuktian. Logika mengatakan yang bentuk inferensi yang berlaku dan yang tidak. Secara tradisional, logika dipelajari sebagai cabang filosofi, tetapi juga bisa dianggap sebagai cabang matematika. logika tidak bisa dihindarkan dalam proses hidup mencari kebenaran

Dasar-dasar Logika
Konsep bentuk logis adalah inti dari logika. Konsep itu menyatakan bahwa kesahihan (validitas) sebuah argumen ditentukan oleh bentuk logisnya, bukan oleh isinya. Dalam hal ini logika menjadi alat untuk menganalisis argumen, yakni hubungan antara kesimpulan dan bukti atau bukti-bukti yang diberikan (premis). Logika silogistik tradisional Aristoteles dan logika simbolik modern adalah contoh-contoh dari logika formal.
Dasar penalaran dalam logika ada dua, yakni deduktif dan induktif.
Penalaran deduktif, kadang disebut logika deduktif adalah penalaran yang membangun atau mengevaluasi argumen deduktif. Argumen dinyatakan deduktif jika kebenaran dari kesimpulan ditarik atau merupakan konsekuensi logis dari premis-premisnya. Argumen deduktif dinyatakan valid atau tidak valid, bukan benar atau salah. Sebuah argumen deduktif dinyatakan valid jika dan hanya jika kesimpulannya merupakan konsekuensi logis dari premis-premisnya.
Contoh argumen deduktif:
  1. Setiap mamalia punya sebuah jantung
  2. Semua kuda adalah mamalia
  3. Setiap kuda punya sebuah jantung
Penalaran induktif, kadang disebut logika induktif—adalah penalaran yang berangkat dari serangkaian fakta-fakta khusus untuk mencapai kesimpulan umum.
Contoh argumen induktif:
  1. Kuda Sumba punya sebuah jantung
  2. Kuda Australia punya sebuah jantung
  3. Kuda Amerika punya sebuah jantung
  4. Kuda Inggris punya sebuah jantung
  5. Setiap kuda punya sebuah jantung
Tabel di bawah ini menunjukkan beberapa ciri utama yang membedakan penalaran induktif dan deduktif.
Deduktif
Induktif
Jika semua premis benar maka kesimpulan pasti benar
Jika premis benar, kesimpulan mungkin benar, tapi tak pasti benar.
Semua informasi atau fakta pada kesimpulan sudah ada, sekurangnya secara implisit, dalam premis.
Kesimpulan memuat informasi yang tak ada, bahkan secara implisit, dalam premis.

Sejarah Logika
  1. Masa Yunani Kuno
Logika dimulai sejak Thales (624 SM - 548 SM), filsuf Yunani pertama yang meninggalkan segala dongeng, takhayul, dan cerita-cerita isapan jempol dan berpaling kepada akal budi untuk memecahkan rahasia alam semesta.
Thales mengatakan bahwa air adalah arkhe (Yunani) yang berarti prinsip atau asas utama alam semesta. Saat itu Thales telah mengenalkan logika induktif.
Aristoteles kemudian mengenalkan logika sebagai ilmu, yang kemudian disebut logica scientica. Aristoteles mengatakan bahwa Thales menarik kesimpulan bahwa air adalah arkhe alam semesta dengan alasan bahwa air adalah jiwa segala sesuatu.
Dalam logika Thales, air adalah arkhe alam semesta, yang menurut Aristoteles disimpulkan dari:
  • Air adalah jiwa tumbuh-tumbuhan (karena tanpa air tumbuhan mati)
  • Air adalah jiwa hewan dan jiwa manusia
  • Air jugalah uap
  • Air jugalah es
Jadi, air adalah jiwa dari segala sesuatu, yang berarti, air adalah arkhe alam semesta.
Sejak saat Thales sang filsuf mengenalkan pernyataannya, logika telah mulai dikembangkan. Kaum Sofis beserta Plato (427 SM-347 SM) juga telah merintis dan memberikan saran-saran dalam bidang ini.
Pada masa Aristoteles logika masih disebut dengan analitica , yang secara khusus meneliti berbagai argumentasi yang berangkat dari proposisi yang benar, dan dialektika yang secara khusus meneliti argumentasi yang berangkat dari proposisi yang masih diragukan kebenarannya. Inti dari logika Aristoteles adalah silogisme.
Buku Aristoteles to Oraganon (alat) berjumlah enam, yaitu:
  1. Categoriae menguraikan pengertian-pengertian
  2. De interpretatione tentang keputusan-keputusan
  3. Analytica Posteriora tentang pembuktian.
  4. Analytica Priora tentang Silogisme.
  5. Topica tentang argumentasi dan metode berdebat.
  6. De sohisticis elenchis tentang kesesatan dan kekeliruan berpikir.
Pada 370 SM - 288 SM Theophrastus, murid Aristoteles yang menjadi pemimpin Lyceum, melanjutkan pengembangn logika.
Istilah logika untuk pertama kalinya dikenalkan oleh Zeno dari Citium 334 SM - 226 SM pelopor Kaum Stoa. Sistematisasi logika terjadi pada masa Galenus (130 M - 201 M) dan Sextus Empiricus 200 M, dua orang dokter medis yang mengembangkan logika dengan menerapkan metode geometri.
    • Porohyus (232 - 305) membuat suatu pengantar (eisagoge) pada Categoriae, salah satu buku Aristoteles.
    • Boethius (480-524) menerjemahkan Eisagoge Porphyrius ke dalam bahasa Latin dan menambahkan komentar- komentarnya.
    • Johanes Damascenus (674 - 749) menerbitkan Fons Scienteae.
  1. Abad pertengahan dan logika modern
Pada abad 9 hingga abad 15, buku-buku Aristoteles seperti De Interpretatione, Eisagoge oleh Porphyus dan karya Boethius masih digunakan.
Thomas Aquinas 1224-1274 dan kawan-kawannya berusaha mengadakan sistematisasi logika.
Lahirlah logika modern dengan tokoh-tokoh seperti:
  • Petrus Hispanus (1210 - 1278)
  • Roger Bacon (1214-1292)
  • Raymundus Lullus (1232 -1315) yang menemukan metode logika baru yang dinamakan Ars Magna, yang merupakan semacam aljabar pengertian.
  • William Ocham (1295 - 1349)
Pengembangan dan penggunaan logika Aristoteles secara murni diteruskan oleh Thomas Hobbes (1588 - 1679) dengan karyanya Leviatan dan John Locke (1632-1704) dalam An Essay Concerning Human Understanding
Francis Bacon (1561 - 1626) mengembangkan logika induktif yang diperkenalkan dalam bukunya Novum Organum Scientiarum.
J.S. Mills (1806 - 1873) melanjutkan logika yang menekankan pada pemikiran induksi dalam bukunya System of Logic
Lalu logika diperkaya dengan hadirnya pelopor-pelopor logika simbolik seperti:
  • Gottfried Wilhelm Leibniz (1646-1716) menyusun logika aljabar berdasarkan Ars Magna dari Raymundus Lullus. Logika ini bertujuan menyederhanakan pekerjaan akal budi dan lebih mempertajam kepastian.
  • George Boole (1815-1864)
  • John Venn (1834-1923)
  • Gottlob Frege (1848 - 1925)
Lalu Chares Sanders Peirce (1839-1914), seorang filsuf Amerika Serikat yang pernah mengajar di John Hopkins University,melengkapi logika simbolik dengan karya-karya tulisnya. Ia memperkenalkan dalil Peirce (Peirce's Law) yang menafsirkan logika selaku teori umum mengenai tanda (general theory of signs)
Puncak kejayaan logika simbolik terjadi pada tahun 1910-1913 dengan terbitnya Principia Mathematica tiga jilid yang merupakan karya bersama Alfred North Whitehead (1861 - 1914) dan Bertrand Arthur William Russel (1872 - 1970).
Logika simbolik lalu diteruskan oleh Ludwig Wittgenstein (1889-1951), Rudolf Carnap (1891-1970), Kurt Godel (1906-1978), dan lain-lain.

Logika sebagai matematika murni
Logika masuk ke dalam kategori matematika murni karena matematika adalah logika yang tersistematisasi. Matematika adalah pendekatan logika kepada metode ilmu ukur yang menggunakan tanda-tanda atau simbol-simbol matematik (logika simbolik). Logika tersistematisasi dikenalkan oleh dua orang dokter medis, Galenus (130-201 M) dan Sextus Empiricus (sekitar 200 M) yang mengembangkan logika dengan menerapkan metode geometri.
Puncak logika simbolik terjadi pada tahun 1910-1913 dengan terbitnya Principia Mathematica tiga jilid yang merupakan karya bersama Alfred North Whitehead (1861 - 1914) dan Bertrand Arthur William Russel (1872 - 1970).

Kegunaan logika
  1. Membantu setiap orang yang mempelajari logika untuk berpikir secara rasional, kritis, lurus, tetap, tertib, metodis dan koheren.
  2. Meningkatkan kemampuan berpikir secara abstrak, cermat, dan objektif.
  3. Menambah kecerdasan dan meningkatkan kemampuan berpikir secara tajam dan mandiri.
  4. Memaksa dan mendorong orang untuk berpikir sendiri dengan menggunakan asas-asas sistematis
  5. Meningkatkan cinta akan kebenaran dan menghindari kesalahan-kesalahan berpkir, kekeliruan, serta kesesatan.
  6. Mampu melakukan analisis terhadap suatu kejadian.
  7. Terhindar dari klenik , gugon-tuhon ( bahasa Jawa )
  8. Apabila sudah mampu berpikir rasional,kritis ,lurus,metodis dan analitis sebagaimana tersebut pada butir pertama maka akan meningkatkan citra diri seseorang.

Macam-macam logika
  1. Logika alamiah
Logika alamiah adalah kinerja akal budi manusia yang berpikir secara tepat dan lurus sebelum dipengaruhi oleh keinginan-keinginan dan kecenderungan-kecenderungan yang subyektif. Kemampuan logika alamiah manusia ada sejak lahir. Logika ini bisa dipelajari dengan memberi contoh penerapan dalam kehidupan nyata.
  1. Logika ilmiah
Logika ilmiah memperhalus, mempertajam pikiran, serta akal budi.
Logika ilmiah menjadi ilmu khusus yang merumuskan azas-azas yang harus ditepati dalam setiap pemikiran. Berkat pertolongan logika ilmiah inilah akal budi dapat bekerja dengan lebih tepat, lebih teliti, lebih mudah, dan lebih aman. Logika ilmiah dimaksudkan untuk menghindarkan kesesatan atau, paling tidak, dikurangi.

Sumber :

PROPOSISI

PROPOSISI
Pengertian Proposisi
Proposisi ialah kalimat logika yang merupakan pernyataan tentang hubungan antara dua atau beberapa hal yang dapat dinilai benar atau salah. Dengan kata lain, Proporsisi sebagai pernyataan yang didalamnya manusia mengakui atau mengingkari sesuatu tentang sesuatu yang lain.

Unsur – Unsur  Proposisi
Setiap proposisi akan mengandung undur-unsur berikut ini, yaitu:
(a) Term subyek     :  hal yang tentangnya pengakuan atau pengingkaran ditujukan. Term subyek dalam sebuah proposisi disebut subyek logis. Ada perbedaan antara subyek logis dengan subyek dalam sebuah kalimat. Tentang subyek logis harus ada penegasan/pengingkaran sesuatu tentangnya.
(b) Term predikat   :  isi pengakuan atau pengingkaran itu sendiri (apa yang diakui atau diingkari). Term predikat dalam sebuah proposisi adalah predikat logis yaitu apa yang ditegaskan/diingkari tentang subyek.
(c) Kopula             :  penghubung antara term subyek dan term predikat dan sekaligus memberi bentuk (pengakuan atau pengingkaran) pada hubungan yang terjadi. Jadi fungsi kopula ada tiga:
- Untuk menghubungkan subyek dan predikat
- Untuk menyatakan subyek itu sungguh-sungguh berada/exist
- Untuk menyatakan cara mana subyek berada.
.
Jenis-Jenis Proposisi
Proposisi dapat dibagi ke dalam 4 aspek, yaitu:
1. Berdasarkan bentuk
2. Berdasarkan sifat
3. Berdasarkan kualitas
4. Berdasarkan kuantitas

Gbr1.  Skema Jenis-Jenis Proposisi
Berdasarkan bentuknya, proposis dapat dibagi atas 2 jenis, yaitu:
a) Proposisi tunggal adalah proposisi yang terdiri dari satu subjek dan satu predikat.






Contoh:
-  Semua mahluk hidup pasti bernapas.
-  Semua orang terlihat bahagia hari ini.
b) Proposisi majemuk atau jamak adalah proposisi yang terdiri dari d=satu subjek dan lebih dari satu predikat.
Contoh:
-  Setiap barang harus disusun dan ditata dengan rapi.
-  Pakaian ini dicuci dan dijemurkan oleh kakak.
Berdasarkan sifat, proporsis dapat dibagi ke dalam 2 jenis, yaitu:
a) Proposisi kategorial adalah proposisi yang hubungan antara subjek dan predikatnya tidak membutuhkan / memerlukan syarat apapun.
Contoh:
-  Setiap mahasiswa memiliki KTM sebagai identitasnya.
-  Semua wajib pajak wajib membayar pajak.
b) Proposisi kondisional adalah proposisi yang membutuhkan syarat tertentu di dalam hubungan subjek dan predikatnya. Proposisi dapat dibedakan ke dalam 2 jenis, yaitu: proposisi kondisional hipotesis dan disjungtif.
Contoh proposisi kondisional hipotesis:
-  Jika hari ini tidak hujan, dia pasti akan menepati janjinya.
-  Jika waktu dapat terulang kembali, aku pasti lebih berusaha lagi.
Contoh proposisi kondisional disjungtif (mempunyai 2 pilihan alternatif):
-  Dia tidak jadi datang karena sibuk atau malas.
-  David Beckham adalah seorang pemain bola atau model.
Berdasarkan kualitasnya, proposisi juga dapat dibedakan menjadi 2 jenis, yaitu:
a)  Proposisi positif merupakan proposisi yang memiliki persesuaian antara subjek dan predikatnya.
Contoh:
-  Semua manusia adalah mahluk hidup.
-  Harimau adalah hewan buas.
-  Semua insinyur adalah orang pintar.
b) Proposisi negatif merupakan kebalikan dari proposisi positif, dimana tidak ada terdapat kesesuaian antara subjek dan predikatnya.
Contoh:
-  Tidak ada seorang lelaki pun yang mengenakan jilbab.
-  Semua aves bukanlah omnivora.
-  Tidak ada tumbuhan yang dapat berjalan.
Aspek terakhir adalah berdasarkan kuantitas. Berdasarkan aspek ini, proposisi dapat dibedakan ke dalam 2 jenis, yaitu:
a) Proposisi umum atau universal adalah proposisi yang pada umumnya diawali dengan kata semua atau seluruh.
Contoh:
-  Semua warga negara Indonesia wajib memiliki KTP sebagai identitasnya.
-  Semua mahasiswa harus mengerjakan tugas yang diberikan dosen.
b) Proposisi khusus atau spesifik adalah proposisi yang pada uumnya diawali dengan kata sebagian dan beberapa.
Contoh:
-  Sebagian kendaraan bermotor diparkir di halaman belakang.
-  Sebagian mahasiswa pulang ke kampung halaman untuk menghabiskan liburannya.
-  Beberapa pelajar pergi ke sekolah dengan berjalan kaki.

FUNGSI, DOMAIN, KODOMAIN, DAN RANGE

  1. FUNGSI
Pengertian Fungsi
Fungsi f adalah suatu relasi yang menghubungkan setiap anggota x dalam suatu himpunan yang disebut daerah asal (Domain) dengan suatu nilai tunggal f(x) dari suatu himpunan kedua yang disebut daerah kawan (Kodomain).Fungsi, dalam istilah matematika adalah pemetaan setiap anggota sebuah himpunan (dinamakan sebagai domain) kepada anggota himpunan yang lain (dinamakan sebagai kodomain). Istilah ini berbeda pengertiannya dengan kata yang sama yang dipakai sehari-hari, seperti “alatnya berfungsi dengan baik.” Konsep fungsi adalah salah satu konsep dasar dari matematika dan setiap ilmu kuantitatif. Istilah "fungsi", "pemetaan", "peta", "transformasi", dan "operator" biasanya dipakai secara sinonim.
Anggota himpunan yang dipetakan dapat berupa apa saja (kata, orang, atau objek lain), namun biasanya yang dibahas adalah besaran matematika seperti bilangan riil. Contoh sebuah fungsi dengan domain dan kodomain himpunan bilangan riil adalah y=f(2x), yang menghubungkan suatu bilangan riil dengan bilangan riil lain yang dua kali lebih besar. Dalam hal ini kita dapat menulis f(5)=10.

  1. DOMAIN, KODIMAIN, RANGE
Pengertian Domain, Kodomain, Range
Domain disebut juga dengan daerah asal, kodomain daerah kawan sedangkan range adalah daerah hasil.
contoh : Diketahui himpunan P = { 1,2,3,4 } dan himpunan Q = { 2,4,6,8,10,12 }

Relasi dari himpunan P ke himpunan Q dinyatakan dengan " setengah dari ".
Jika relasi tersebut dinyatakan dengan himpunan pasangan berurutan menjadi :
{ (1,2),(2,4),(3,6),(4,8) }.
Relasi di atas merupakan suatu fungsi karena setiap anggota himpunan P mempunyai tepat satu kawan anggota himpunan Q.

Dari fungsi di atas maka :
Domain/daerah asal = himpunan P = { 1,2,3,4 }
Kodomain/daerah kawan = himpunan Q = { 2,4,6,8,10,12 }
Range/daerah hasil = { 2,4,6,8 }
Jika A = {2, 3, 6} B = {2, 4, 6, 8, 10, 11}. Relasi dari himpunan A ke B adalah “
Faktor dari “, nyatakanlah relasi tersebut dengan :
a. Diagram Panah
b. Diagram Cartesius
c. Himpunan pasangan berurutan.
Jawab:
c. Himpunan pasangan berurutannya :{(2, 2), (2,4), (2, 6), (2, 8), (2, 10), (4, 4),
(4, 8),(6, 6)}

Domain, Kodomain dan Range
Pada relasi dari himpunan A ke B, himpunan A disebut Domain (daerah asal) himpunan B disebut Kodomain (daerah kawan) dan semua anggota B yang mendapat pasangan dari A disebut Range (derah hasil).
Contoh 3 :
Tuliskan Domain, Kodomain dan Range dari relasi Contoh 2 di atas :
Jawab:
Domain = {2, 4, 6}
Kodomain = {2, 4, 6, 8, 10, 11}
Range = { 2, 4, 6, 8, 10}

Contoh 4
Tentukanlah domain, kodomain dan range dari relasi di bawah ini:
Jawab:
a. Domain = { 3, 5 }
Kodomain = { 1, 2, 6, 8, 9}
Range = { 1, 2, 8}
b. Domain = { 3, 5, 7, 8}
Kodomain = { 1, 2, 3, 4, 7, 8}
Range = { {1, 2, 3, 4, 7, 8}

Sumber :

MATEMATIKA OPERASI ANTAR HIMPUNAN DAN DIAGRAM VENN

MATEMATIKA OPERASI ANTAR HIMPUNAN DAN DIAGRAM VENN
Dalam matematika, himpunan adalah segala koleksi benda-benda tertentu yang dianggap sebagai satu kesatuan. Walaupun hal ini merupakan ide yang sederhana, tidak salah jika himpunan merupakan salah satu konsep penting dan mendasar dalam matematika modern, dan karenanya, studi mengenai struktur kemungkinan himpunan dan teori himpunan, sangatlah berguna.

 Irisan dari dua himpunan yang dinyatakan dengan diagram Venn
Teori himpunan, yang baru diciptakan pada akhir abad ke-19, sekarang merupakan bagian yang tersebar dalam pendidikan matematika yang mulai diperkenalkan bahkan sejak tingkat sekolah dasar. Teori ini merupakan bahasa untuk menjelaskan matematika modern. Teori himpunan dapat dianggap sebagai dasar yang membangun hampir semua aspek dari matematika dan merupakan sumber dari mana semua matematika diturunkan.
A. Anggota Himpunan
a.     Untuk menyatakan suatu benda (objek) yang merupakan anggota himpunan dilambangkan " " dan jika bukan anggota dilambangkan " ".
b.Himpunan terhingga dan tak terhingga Himpunan terhingga adalah himpunan yang anggotanya tertentu. Himpunan tak terhingga adalah himpunan yang anggotanya tak terbatas jumlahnya.

B. Himpunan Kosong
Himpunan kosong adalah himpunan yang tidak mempunyai anggota Notasi himpunan kosong adalah { } atau {0} bukan himpunan kosong karena mempunyai anggota yaitu “nol”.


C. Himpunan bagian
A himpunan bagian dari B jika setiap anggota A merupakan anggota himpunan B dan ditulis "A( B". Jika banyaknya anggota suatu himpunan A adalah n(A), maka banyaknya himpunan bagian dari A adalah 2n(A)

D. Himpunan semesta
adalah himpunan yang memuat semua obyek yang dibicarakan. notasi "S".

E. Diagram Venn
digunakan untuk menyatakan suatu himpunan atau hubungan antar himpunan.

F.Menyatakan suatu Himpunan
  1.    Dengan kata-kata
Dengan cara menyebutkan semua syarat/sifat keanggotaannya.
Contoh: P adalah himpunan bilangan prima antara 10 dan 40, ditulis P = {bilangan prima antara 10 dan 40}.
2.     Dengan notasi pembentuk himpunan
Sama seperti menyatakan himpunan dengan kata-kata, pada cara ini disebutkan semua syarat/sifat keanggotannya. Namun, anggota himpunan dinyatakan dengan suatu peubah. Peubah yang biasa digunakan adalah x atau y. Contoh: P : {bilangan prima antara 10 dan 40}. Dengan notasi pembentuk himpunan, ditulis P = {10 < x < 40, x €bilangan prima}.
3.     Dengan mendaftar anggota-anggotanya
Dengan cara menyebutkan anggota-anggotanya, menuliskannya dengan menggunakan kurung kurawal, dan anggotaanggotanya dipisahkan dengan tanda koma. Contoh: P = {11, 13, 17, 19, 23, 29, 31, 37} 
G.Operasi Antar Himpunan dan Diagram Venn-nya
1.     Irisan himpunan
A irisan B ditulis A ∩ B = {x | x A dan x B}
2.     Gabungan Himpunan
A gabungan B ditulis A B = {x | x A atau x B}
3.     Komplemen himpunan
Komplemen A ditulis A1 atau Ac = {x | x S dan x A}
H. Operasi Pada Himpunan
Jika S adalah himpunan semesta dan himpunan A Ì S , komplemen dari A , ditulis A’ , adalah himpunan dari semua anggota S yang bukan merupakan anggota A .
A’ = { x | x ÏA }

Gabungan (union) himpunan A dan himpunan B, ditulis sebagai A È B, adalah sebuah himpunan yang anggotanya merupakan anggota A atau anggota B atau anggota keduanya.
A È B = { x | x ÎA atau x ÎB }

Irisan (interseksi) himpunan A dan himpunan B, ditulis sebagai A Ç B, adalah sebuah himpunan yang anggotanya merupakan anggota bersama dari himpunan A dan B.
A Ç B = { x | x ÎA dan x ÎB }

Selisih (difference) dari himpunan A dengan himpunan B, ditulis sebagai A - B, adalah sebuah himpunan yang anggotanya merupakan anggota himpunan A yang bukan merupakan anggota himpunan B.
A - B = { x | x ÎA dan x ÏB }.
Jelas bahwa
B - A = { x | x ÎB dan x ÏA }.

Selisih simetri (symetric difference) dari himpunan A dengan himpunan B, ditulis sebagai A D B, adalah sebuah himpunan yang anggotanya merupakan anggota gabungan himpunan A dan B, tetapi bukan merupakan anggota irisan himpunan A dan B.
A D B = ( A È B ) – ( A Ç B )
atau
A D B = ( A – B ) È ( B - A ).
Sumber: http://budysantoso40.blogspot.com/2012/09/relasi.html.com