เซต ตรรกศาสตร์ และการพิสูจน์

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

เมื่อพูดถึงคณิตศาสตร์ คนจำนวนมากอาจจะมองว่ามันเป็นวิชาที่ว่าด้วยการคำนวณ จัดรูป หรือแก้สมการ ซึ่งเป็นภาพจำที่เกิดมาจากเนื้อหาคณิตศาสตร์ขั้นพื้นฐานที่เรียนกันในชั้นประถมหรือมัธยม แต่ถ้ามาดูสิ่งที่นักเรียนสาขาคณิตศาสตร์เรียนกันจริง ๆ ในระดั

แผนภาพเวนน์? แผนภาพออยเลอร์? อ่าว มันไม่ใช่อันเดียวกันแล้วเรียกว่าแผนภาพเวนน์-ออยเลอร์หรอ

"เห้ยแกรรรรรรร วันนี้ฉันสวยมั้ยยย" "เอ่อออ ก็สวยอยู่วววววว" ก็สวยอยู่แปลว่าสวยหรือไม่สวย บางคนบอกว่าก็สวยอยู่คือไม่สวย เพราะถ้าสวยต้องไม่มีคำว่าอยู่ ก็สวยอยู่คือไม่ถึงกับสวย แต่ก็ไม่ถึงกับไม่สวย ในตรรกศาสตร์ที