เซต

เซต เป็นคำที่ไม่ให้ให้นิยาม (Undefined Term) เรามักใช้เซตแทนสิ่งที่อยู่ร่วมกัน ซึ่งหมายถึงกลุ่มของสิ่งต่างๆ ที่เราสามารถกำหนดสมาชิกได้ชัดเจน (Well-Defined) หรือก็คือความหมายของเซตนั่นเอง

การเขียนเซต

1. เขียนแบบแจกแจงสมาชิก (Tabular Form) เป็นการเขียนเซตโดยบรรจุสมาชิกทั้งหมดของเซตลงในวงเล็บปีกกา และระหว่างสมาชิกแต่ละตัวคั่นด้วยเครื่องหมายจุลภาค (,)

เช่น {A,B,C} หรือ {1, 2, 3} เป็นต้น

(หมายเหตุ: ถ้าเซตมีจำนวนสมาชิกมากมาย เราใช้ “…” แทนสมาชิกที่เหลือ)

2. เขียนสับเซตแบบบอกเงื่อนไขของสมาชิกในสับเซต (Set builder form)

มีหลักการ คือ แทนสมาชิกของเซตด้วยตัวแปรแล้วกำหนดเงื่อนไขเกี่ยวกับตัวแปรนั้น เพื่อแสดงว่ามีสิ่งใดบ้างที่เป็นสมาชิกของเซต

วิธีเขียนเซตโดยวิธีนี้ คือ เขียนตัวแปรและสิ่งที่กำหนดเงื่อนไขเกี่ยวกับตัวแปรลงในวงเล็บปีกกาและคั้นตัวแปรกับสิ่งที่กำหนดเงื่อนไขเกี่ยวกับตัวแปรด้วยเครื่องหมาย “|” หรือ “:”

 3. การเขียนเซตด้วยวิธีอื่นๆ เช่น แบบบรรยาย, แบบใช้แผนภาพเวนน์อ่านเพิ่มเติม

การให้เหตุผล

การให้เหตุผลทางคณิตศาสตร์ (หรือการอ้างเหตุผล) คือ กระบวนการคิดของมนุษย์ และสื่อความหมายกับผู้อื่นด้วยภาษา ซึ่งประกอบด้วยข้อความ หรือประโยคกลุ่มหนึ่งที่ยกขึ้นมาเพื่อสนับสนุนให้ได้ข้อความ หรือประโยคตามมา มักจะแสดงในส่วนของ เหตุ เราเรียกข้อความกลุ่มแรกนี้ว่า ข้ออ้าง (Premisses) และข้อความอีกชุดหนึ่งที่แสดงในส่วนของ ผล จะถูกเรียกว่า ข้อสรุป (Conclusion)

เช่น    เหตุ    ช้างเป็นสัตว์เลี้ยงลูกด้วยนม
สัตว์เลี้ยงลูกด้วยนมต้องกินอาหาร      (เรียกว่า ข้ออ้าง)

ผล      ช้างต้องกินอาหาร                            (เรียกว่า ข้อสรุป)

ข้อความแต่ละข้อความของการให้เหตุผล จะอยู่ในรุปข้อความที่แสดงความคิดเห็น เพื่อเป็นการยืนยัน หรือปฎิเสธ ซึ่งจะมีค่าความจริงเป็น จริง หรือ เท็จ อย่างใดอย่างหนึ่ง

การให้เหตุผลแบ่งออกเป็นสองแบบคือ

1. การให้เหตุผลแบบอุปนัย (Inductive Reasoning)

นิยาม:   การให้เหตุผลแบบอุปนัย หมายถึง วิธีการสรุปในการค้นคว้าความจริงจากการสังเกตหรือทดลองหลายครั้งจากกรณีย่อยๆแล้วนำมาสรุปเป็นความรู้แบบทั่วไปอ่านเพิ่มเติม

ระบบจำนวนจริง 

ระบบจำนวนจริง จะประกอบไปด้วย

1.จำนวนอตรรกยะ หมายถึง จำนวนที่ไม่สามารถเขียนให้อยู่ในรูปเศษส่วนของจำนวนเต็ม หรือทศนิยมซ้ำได้ ตัวอย่างเช่น √2 , √3, √5, -√2, - √3, -√5 หรือ ¶ ซึ่งมีค่า 3.14159265...

2. จำนวนตรรกยะ หมายถึง จำนวนที่สามารถเขียนให้อยู่ในรูปเศษส่วนของจำนวนเต็มหรือทศนิยมซ้ำได้ 

ระบบจำนวนตรรกยะ

จำนวนตรรกยะยังสามารถแบ่งเป็น 2 ประเภท คือ

จำนวนตรรกยะที่ไม่ใช่จำนวนเต็ม หมายถึง จำนวนที่สามารถเขียนให้อยู่ในรูปเศษส่วนหรือทศนิยมซ้ำได้ แต่ไม่เป็นจำนวนเต็มอ่านเพิ่มเติม

 

ความสัมพันธ์และฟังก์ชัน

คู่อันดับ (Order Pair) เป็นการจับคู่สิ่งของโดยถือลำดับเป็นสำคัญ เช่น คู่อันดับ a, b จะเขียนแทนด้วย (a, b) เรียก a ว่าเป็นสมาชิกตัวหน้า และเรียก b ว่าเป็นสมาชิกตัวหลัง

(การเท่ากับของคู่อันดับ) (a, b) = (c, d) ก็ต่อเมื่อ a = c และ b = d

ผลคูณคาร์ทีเชียน (Cartesian Product) ผลคูณคาร์ทีเซียนของเซต A และเซต B คือ เซตของคู่อันดับ (a, b) ทั้งหมด โดยที่ a เป็นสมาชิกของเซต A และ b เป็นสมาชิกของเซต Bอ่านเพิ่มเติม