ตรรกศาสตร์ภาคแสดงและตัวบ่งปริมาณ-คณิตศาสตร์ม.ปลาย

ตรรกศาสตร์ ภาคแสดงและตัวบ่งปริมาณ (Predicate Logic and Quantifiers)

เราจะกำหนดให้ P(x) เป็นประโยคเปิดใดๆ

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

ประโยคเปิด คือประโยคบอกเล่าหรือปฏิเสธที่ติดค่าตัวแปรที่ยัง “ไม่รู้ว่าเป็นจริงหรือเท็จ” โดยตัวแปรนั้นเป็นสมาชิกของเอกภพสัมพัทธ์ (Universe : U)

“ประพจน์” ได้ 2 วิธี คือ

1. นำสมาชิกในเอกภพสัมพัทธ์ แทนค่าตัวแปรลงไป

เช่น x มากกว่า 3 โดยเอกภพสัมพัทธ์ คือ จำนวนเต็ม

จะเห็นว่า ถ้าเราให้ x เท่ากับ 2 (ซึ่ง 2 เป็นสมาชิกของเอกภพสัมพัทธ์) เราจะได้ว่า ประโยค 2 มากกว่า 3 เป็นเท็จ ดังนั้น ประโยคดังกล่าวจึงเป็นประพจน์

2.) เติม “ตัวบ่งปริมาณ” ซึ่งมีอยู่ 2 ชนิด คือ

2.1) ∀x (อ่านว่า for all x) ใช้แทนคำว่า “สำหรับ x ทุกตัว” คำที่มีความหมายเดียวกับ ∀x ที่เราเห็นกันบ่อยๆ เช่น สำหรับ x ใดๆ, สำหรับ x แต่ละตัว

2.2) ∃x (อ่านว่า for some x)ใช้แทนคำว่า “มี x บางตัว” คำที่เรามักเจอและมีความหมายเหมือน ∃x เช่น มี x อย่างน้อย 1 ตัว

เราจะให้ P(x) แทนประโยคเปิด เราจะใช้สัญลักษณ์ ∀xP(x) และ ∃xP(x)

สมมติถ้าให้ P(x) แทน x+2 ≥ 2 และให้ U ∈ $\mathbb{R}$ เมื่อ $\mathbb{R}$ เป็นเซตของจำนวนจริง

จะได้ ∀x[x+2 ≥ 2] อ่านว่า สำหรับ x ทุกตัว ที่ x+2 ≥ 2

และจะได้ ∃x[x+2 ≥ 2] อ่านว่า มี x บางตัว ที่ x+2 ≥ 2

ตรรกศาสตร์

-ขอบคุณข้อมูลจาก https://nockacademy.com/