การให้เหตุผลแบบปรนัย

การให้เหตุผลแบบนิรนัย (อังกฤษ: Deductive reasoning) หรือ การให้เหตุผลจากบนลงล่าง (อังกฤษ: top-down logic) เป็นการนำความรู้พื้นฐานซึ่งอาจเป็นกฎ ข้อตกลง ความเชื่อ หรือบทนิยาม ซึ่งเป็นสิ่งที่รู้มาก่อน และยอมรับว่าเป็นความจริงเพื่อหาเหตุผลนำไปสู่ข้อสรุปอ่านเพิ่มเติม

การให้เหตุผลแบบอุปนัย

การให้เหตุผลแบบอุปนัย (อังกฤษ: Inductive reasoning) หรือ การให้เหตุผลจากล่างขึ้นบน (อังกฤษ: bottom-up logic) เป็นวิธีการสรุปผลมาจากการค้นหาความจริงจากการสังเกตหรือการทดลองหลายครั้ง แล้วนำมาสรุปเป็นความรู้แบบทั่วไปอ่านเพิ่มเติม

เวนน์ ออยเลอร์

แผนภาพออยเลอร์ (อังกฤษ: Euler diagram) เป็นแผนภาพที่ใช้ในการอธิบายความสัมพันธ์ของเซตต่าง ๆ โดยให้วงกลมแต่ละวงแทนแต่ละเซต และแสดงความสัมพันธ์ของแต่ละเซตด้วย การครอบซึ่งแสดงความเป็นสับเซตอ่านเพิ่มเติม

เอกภพสัมพัทธ์

เอกภพสัมพัทธ์ (Relative Universe)

เอกภพสัมพัทธ์ คือ เซตที่กำหนดขอบเขตของสิ่งที่ต้องการศึกษา ซึ่งถือว่าเป็นเซตที่ใหญ่ที่สุด โดยมีข้อตกลงว่า ต่อไปจะกล่าวถึงสมาชิกของเซตนี้เท่านั้นอ่านเพิ่มเติม

เซตกำลัง powersets

ตามหลักวิชาคณิตศาสตร์ เซตกำลัง หรือ เพาเวอร์เซต (อังกฤษ: power set) ของเซต S ใดๆ เขียนแสดงด้วยสัญลักษณ์ {\displaystyle {\mathcal {P}}(S)} {\displaystyle {\mathcal {P}}(S)}, P(S), ℙ(S), ℘(S) หรือ 2S เป็นเซตของเซตย่อยทั้งหมดของ S รวมทั้งเซตว่างอ่านเพิ่มเติม

อินเตอร์เซกชั่น

อินเตอร์เซกชัน (อังกฤษ: intersection) หรือ ส่วนร่วม คือการดำเนินการของเซต เป็นการสร้างเซตใหม่ซึ่งเป็นผลจากการหาสมาชิกทั้งหมดที่เหมือนกันในเซตต้นแบบ เขียนแทนด้วยสัญลักษณ์ ∩ (คล้ายอักษรตัวใหญ่ U กลับหัว)อ่านเพิ่มเติม

ยูเนียน Union

ยูเนียน (อังกฤษ: union) หรือ ส่วนรวม คือการดำเนินการของเซต เป็นการสร้างเซตใหม่ซึ่งเป็นผลจากการรวมสมาชิกทั้งหมดของเซตต้นแบบเข้าด้วยกัน เขียนแทนด้วยสัญลักษณ์ ∪ (คล้ายอักษรตัวใหญ่ U)อ่านเพิ่มเติม