[ NotebooK ] บันทึกการเรียน

ลำดับตอนที่ #5 : ตรรกศาสตร์ 3

การอ้างเหตุผล คือ การอ้างว่า "สำหรับเหตุการณ์ P1, P2,..., Pn ชุดหนึ่ง สามารถสรุปผลที่ตามมา C ได้"
	การอ้างเหตุผลประกอบด้วย 2 ส่วน คือ
	1. เหตุ หรือสิ่งที่กำหนดให้
	2. ผล หรือสิ่งที่ตามมา
สำหรับการพิจารณาว่า การอ้างเหตุผลนั้นสมเหตุสมผลหรือไม่นั้นพิจารณาได้จากประพจน์ ( P1 ∧ P2 ∧ ... Pn) → C ถ้าประพจน์ดังกล่าวมีค่าความจริงเป็นจริงเสมอ (เป็นสัจนิรันดร์) เราสามารถสรุปได้ว่าการอ้างเหตุผลดังกล่าวเป็นการอ้างที่สมเหตุสมผล
	ตัวอย่างเช่น	เหตุ	1. p → q
			2. p
		ผล	q

http://www.thaigoodview.com/library/contest2551/math04/07/2/BasicMathForM4/logi_rea.html

http://www.snr.ac.th/m4html/y4html/1.htm

http://siamclassview.edu.chula.ac.th/cudsmaths47/view.php?Page=1248417335400723&msite=cudsmaths47