Discrete

1. ตรรกศาสตร์

1.1. บอกความเท็จจริง แสดงความเชื่อ ความคิด ทัศนคติ สามารถระบุได้ว่าเป็นเท็จจริง เรียกว่า "ประพงน์"

1.1.1. -พระอาทิตย์สีส้ม

1.1.2. สมชายไม่เชื่อว่ามีมนุษย์ต่างดาวอยู่จริง

1.2. การสมมูลเชิงตรรกะ

1.2.1. ประพจน์ที่มีค่าความจริงเหมือนกันทุกจำนวนในทุกๆ กรณี

1.2.2. ประพจน์p และ q สมมูลกันเชิงตรรกะ เมื่อ p↔q เป็นสัจจะนิรันดร์

1.3. ความสมเหตุสมผลของอ้างเหตุผล

1.3.1. ลําดับของประพจน์ ที่ต้องประกอบด้วย ข้อตั้ง และ ข้อสรุป

1.3.2. หากประพจน์ที่เป็นข้อตั้งคือ p1, p2, …, pn ส่วนประพจน์ที่เป็นข้อสรุปคือ q จากนิยาม การอ้างเหตุผลนี้จะเป็นอย่าง สมเหตุสมผล

1.4. กฎการอนุมาน

1.4.1. รูปแบบการอ้างเหตุผล (Argument Form) คือ การอ้างเหตุผลซึ่งประพจน์ในการอ้างเหตุผลนั้นติดตัวแปรเชิงตรรกะ

2. เซต

2.1. เซต (Set) เป็นโครงสร้างดิสครีตที่เรียบง่ายที่สุดอย่างหนึ่ง ซึ่งถูกนิยามไว้เพื่อบ่งบอกความเป็นกลุ่มเดียวกันของ สมาชิก (Element)

2.2. แผนภาพเวนน์ - ออยเลอร์

3. ทฤษฎีเซต

3.1. การศึกษาเกี่ยวกับวัตถุ

4. จำนวนเต็ม

4.1. ผลบวก

4.2. ผลบวกหลายชั้น

4.3. การจัดการผลบวก