สมมูลและนิเสธของประโยคที่มีตัวบ่งปริมาณ

สมมูลและนิเสธ

สารบัญ

Add LINE friends for one click to find article. Add LINE friends for one click to find article.

“สมมูลและนิเสธ” ของประโยคที่มีตัวบ่งปริมาณ

สมมูลและนิเสธ เราเคยเรียนกันไปแล้วก่อนหน้านี้ แต่เป็นของประพจน์ p, q, r แต่ในบทความนี้จะเป็นสมมูลและนิเสธของประโยคที่มีตัวบ่งปริมาณ ซึ่งก็จะเอาเนื้อหาก่อนหน้ามาปรับใช้กับประโยคที่มีตัวบ่งปริมาณ สิ่งที่เราจะต้องรู้และจำให้ได้ก็คือ การสมมูลกันของประพจน์ เพราะจะได้ใช้ในบทนี้แน่นอนน ใครที่ยังไม่แม่นสามารถไปอ่านได้ที่ บทความรูปแบบของประพจน์ที่สมมูลกัน 

นิเสธของตัวบ่งปริมาณ

เมื่อเราเติมนิเสธลงไปในประโยคที่มีตัวบ่งปริมาณ ข้อความต่อไปนี้จะสมมูลกัน

กรณี 1 ตัวแปร

∀x[P(x)] ≡ ∃x[∼P(x)]

∼∃x[P(x)] ≡ ∀x[∼P(x)]

กรณี 2 ตัวแปร

∼[∀x∃x [P(x, y)]] ≡ ∃x∀x[∼P(x, y)]

∼[∃x∀x[P(x, y)]] ≡ ∀x∃x [∼P(x, y)]

∼[∃x∃x[P(x, y)]] ≡ ∀x∀x [∼P(x, y)]

∼[∀x∀x [P(x, y)]] ≡ ∃x∃x[∼P(x, y)]

**การเติมนิเสธลงไปในประโยคที่มีตัวบ่งปริมาณเอกภพสัมพัทธ์จะยังคงเดิม เช่น ถ้าเอกภพสัมพัทธ์เป็น \mathbb{R} เมื่อเติมนิเสธลงไป เอกภพสัมพัทธ์ก็ยังเป็น \mathbb{R} เหมือนเดิม

ข้อสังเกต จะเห็นว่าเมื่อเติมนิเสธลงไป สิ่งที่เปลี่ยนไปคือตัวบ่งปริมาณ เช่น ถ้าตอนแรกเป็น ∀ เติมนิเสธไปจะกลายเป็น ∃ และเครื่องหมาย ∼ จากที่อยู่หน้าตัวบ่งปริมาณก็จะไปอยู่หน้า P(x) แทน

**แล้วถ้าหน้า P(x) มีเครื่องหมาย ∼ อยู่แล้วล่ะ??

เรามาดูตัวอย่างกัน  ∼∃x[∼ P(x)] ≡ ∀x[∼(∼ P(x))] ≡ ∀x[ P(x)]

จะเห็นว่าตัวอย่างข้างต้นก็เหมือนประพจน์ทั่วไปค่ะ เช่น ∼(∼p) ≡ p เห็นไหมคะว่าไม่ต่างกันเลยแค่มีตัวบ่งปริมาณเพิ่มมา

จากที่เรารู้จักนิเสธแล้วเรามาทำตัวอย่างกันเลยค่ะ

ตัวอย่าง “สมมูลและนิเสธ” ของตัวบ่งปริมาณ

1.) นิเสธของข้อความ ∀x∃y[(xy = 0 ∧ x ≠ 0 ) → y = 0] สมมูลกับข้อความ ∃x∀y[( xy = 0 ∧ x ≠ 0) ∧ y ≠ 0]

สมมูลและนิเสธ

สรุปได้ว่า ข้อความทั้งสองสมมูลกัน

**เราสมมติ p q r เพื่อให้มองได้ง่ายขึ้นไม่สับสน

2.) นิเสธของข้อความ ∃x∀y[xy < 0 → (x < 0 ∨ y < 0)] คือ

∀x∃y[(xy < 0) ∧(x ≥ 0 ∧ y ≥ 0)] 

วิธีตรวจสอบ

ดังนั้น ข้อความข้างต้นเป็นจริง

3.) นิเสธของข้อความ ∃x[(∼P(x)) ∧ Q(x) ∧ (∼R(x))] คือข้อความ ∀x[Q(x) → (P(x) ∨ R(x))]

วิธีตรวจสอบ

สรุป

สมมูลและนิเสธในบทความนี้จะคล้ายๆกับรูปแบบการสมมูลของประพจน์ที่เราเคยเรียนก่อนหน้า แค่เพิ่มตัวบ่งปริมาณเข้าไป วิธีการตรวจสอบว่าเป็นนิเสธหรือไม่เราก็จะเอาการสมมูลของประพจน์เข้ามาช่วยแค่นั้นเอง

 

 

 

NockAcademy คือโรงเรียนออนไลน์สำหรับเด็ก โดยแอปฯ และเว็บไซต์ นักเรียนสามารถเรียนรู้ผ่านคลิปบทเรียนวิชา คณิตศาสตร์ ภาษาอังกฤษ และภาษาไทย
มากไปกว่านั้น เรายังมีคอร์สเรียนออนไลน์ การสอนพิเศษ การติวนอกสถานที่โดยติวเตอร์ที่แน่นไปด้วยความรู้ อีกด้วย

Add LINE friends for one click to find article. Add LINE friends for one click to find article.
ครูผู้สอน NockAcademy

แค่ 10 นาที ก็เข้าใจได้

สามารถดูคลิปบทเรียนวิชา คณิตศาสตร์ ภาษาอังกฤษ และภาษาไทย ที่มีมากกว่า 2,000+ คลิป และยังสามารถทำแบบทดสอบที่มีมากกว่า 4000+ ข้อ

แนะนำ

แชร์

NokAcademy_ ม.4Gerund

Gerund

  สวัสดีค่ะนักเรียนชั้นม.4 ที่น่ารักทุกคน วันนี้เราจะไปเรียนเรื่อง “Gerund” และฝึกวิเคราะห์โจทย์ข้อสอบเข้ามหาวิทยาลัยกันจร้า พร้อมแล้วก็ไปลุยกันโลดเด้อ   ความหมายของ Gerund   อธิบายแบบง่ายๆ เลยว่า Gerund หรือ Ing-form ในบริติชอิงลิช ที่จริงแล้ว มันก็คือ คำกริยาเติม ing (V-ing) แล้วหน้าที่เป็นคำนาม ในภาษาไทยถูกนำมาใช้ในไวยากรณ์เรียกว่า กริยานาม

การแก้ระบบสมการเชิงเส้นสองตัวแปร โดยใช้กราฟ

การแก้ระบบสมการเชิงเส้นสองตัวแปร โดยใช้กราฟ

การแก้ระบบสมการเชิงเส้นสองตัวแปร โดยใช้กราฟ บทความนี้ได้รวบรวมความรู้เรื่อง การแก้ระบบสมการเชิงเส้นสองตัวแปร โดยใช้กราฟ ทำได้โดยนำตัวเลขแทนค่าตัวแปร แล้วจะได้กราฟของสมการเชิงเส้นสองตัวแปรเป็นกราฟเส้นตรง สังเกตกราฟที่ได้ว่าตัดกัน ขนานกัน หรือทับกัน ลักษณะกราฟจะบอกคำตอบของระบบสมการ ซึ่งก่อนที่จะเรียนเรื่องนี้ น้องๆสามารถศึกษาเรื่อง กราฟของสมการเชิงเส้นสองตัวแปร สามารถศึกษาเพิ่มเติมได้ที่  ⇒⇒ กราฟของสมการเชิงเส้นสองตัวแปร ⇐⇐ สมการเชิงเส้นสองตัวแปร  คือ สมการที่มีตัวแปรสองตัว  เลขชี้กำลังของตัวแปรแต่ละตัวเป็น 1 และไม่มีการคูณกันของตัวแปร  เช่น 2x +

Imperative Sentence

Imperative Sentence: การใช้ประโยคคำสั่ง คำขอร้อง และคำแนะนำง่ายๆ

สวัสดีครับน้องๆ 🙂 วันนี้เราจะมาเรียนรู้เรื่องประโยคคำสั่ง คำขอร้อง และคำแนะนำในภาษาอังกฤษ หรือที่เรียกว่า “Imperative Sentence” กันครับ

Adjective

คำคุณศัพท์และการเรียงคำคุณศัพท์

สวัสดีน้องๆ ป. 6 ทุกคนนะครับ วันนี้เราจะมาเรียนรู้เกี่ยวกับคำคุณศัพท์และการเรียงคำคุณศัพท์ในภาษาอังกฤษกัน ถ้าพร้อมแล้วไปลุยกันเลยครับ

การสะท้อน

ในบทความนี้เราจะได้เรียนรู้ภาพที่ได้จากการสะท้อน ( Reflection ) ไปตามแนวแกนต่างๆ หวังว่าน้องๆ จะสามารถนำความรู้ที่ได้จากบทความนี้ ไปประยุกต์ใช้ในห้องเรียนและในชีวิตประจำวันได้อย่างแท้จริง

ค่าสัมบูรณ์

ค่าสัมบูรณ์

ค่าสัมบูรณ์ ค่าสัมบูรณ์  หรือ Absolute คือค่าของระยะทางจากศูนย์ไปยังจุดที่เราสนใจ เช่น ระยะทางจากจุด 0 ถึง -5 มีระยะห่างเท่ากับ 5 เนื่องจากค่าสัมบูรณ์เอาไว้บอกระยะห่าง ดังนั้นค่าสัมบูรณ์จะมีค่าเป็นบวกหรือศูนย์เท่านั้น ไม่สามารถเป็นลบได้ นิยามของค่าสัมบูรณ์ ให้ a เป็นจำนวนจริงใดๆ จะได้ว่า และ   น้องๆอาจจะงงๆใช่ไหมคะ ลองมาดูตัวอย่างสักนิดนึงดีกว่าค่ะ เช่น เพราะ

โลโก้ NockAcademy

ทดลองฟรี!

เข้าใจได้ทันที NockAcademy ไลฟ์สดอันดับ 1 

โลโก้ NockAcademy

ทดลองฟรี!

เข้าใจได้ทันที NockAcademy ไลฟ์สดอันดับ 1