Discrete
por kanyarat buasang
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) คือ การอ้างเหตุผลซึ่งประพจน์ในการอ้างเหตุผลนั้นติดตัวแปรเชิงตรรกะ