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

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

สารบัญ

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+ ข้อ

แนะนำ

แชร์

สมบัติของการเท่ากัน

สมบัติของการเท่ากัน

          การหาคำตอบของสมการนั้น ต้องใช้สมบัติการเท่ากันมาช่วยในการหาคำตอบ จะรวดเร็วกว่าการแทนค่าตัวแปรในสมการซึ่งสมบัติการเท่ากันที่ใช้ในการแก้สมการได้แก่ สมบัติสมมาตร สมบัติถ่ายทอด สมบัติการบวก และสมบัติการคูณ เรามาทำความรู้จักสมบัติเหล่านี้กันค่ะ สมบัติสมมาตร ถ้า a = b แล้ว b = a เมื่อ a และ

โจทย์ปัญหาแผนภูมิรูปวงกลม

ในบทความนี้เราจะได้เรียนรู้หลักการแก้โจทย์ปัญหาแผนภูมิรูปวงกลมที่จะนำไปใช้ได้ในชีวิตประจำวนและสามารถเข้าใจได้ง่าย

NokAcademy_ ม4 Passive Modals (2)

Passive Modals คืออะไร

สวัสดีค่านักเรียนชั้นม.4 ที่น่ารักทุกคน วันนี้เราจะไปดู ” Passive Modals“ ที่ใช้บ่อยพร้อมเทคนิคการใช้งานง่ายๆกันค่า Let’s go! ไปลุยกันเลยเด้อ ทบทวนสักหน่อย   ก่อนอื่นเราจะต้องทบทวนเรื่อง Modal verbs หรือ Modal Auxiliaries กันก่อนจร้า แล้วจากนั้นเราจะไปลงลึกเรื่อง Passive voice หรือโครงสร้างประธานถูกกระทำที่คุ้นหูกันหากใครที่ลืมแล้วก็ไม่เป็นไรน๊า มาเริ่มใหม่ทั้งหมดกันเลยจร้า กลุ่มของ

การใช้ตัวเชื่อม (Connective words): First,… Second,… Third,… Fourth,… Finally,…

 การใช้ตัวเชื่อม (Connective words) สวัสดีค่ะนักเรียน ม.2 ทุกคน วันนี้ครูมีเทคนิคที่จะทำให้ทุกคนนำไปปรับใช้กับงานเขียนด้วย  การใช้ตัวเชื่อม (connective words) ในภาษาอังกฤษกันค่ะ โดยปรกติแล้วงานเขียนแบ่งออกออกเป็นสองรูปแบบหลักๆคือ เรียงความ (Essay Writing) กับ พารากราฟ (Paragraph Writing) ขอสรุปสั้นๆง่ายๆ ให้ทุกคนเข้าใจว่า Essay คือเรียงความเพราะฉะนั้นจะยาวกว่า Paragraph ที่เป็นเพียงย่อหน้าหนึ่งเท่านั้นนั่นเองค่ะ 

เรียนรู้ตัวบทเด่นของบทละครพูดคำฉันท์เรื่องดัง มัทนะพาธา

มัทนะพาธา เป็นบทละครพูดคำฉันท์ที่ประพันธ์โดยรัชกาลที่ 6 ซึ่งพระองค์ทรงคิดขึ้นเองไม่ได้แปลหรือดัดแปลงมาจากเรื่องใด จากการศึกษาความเป็นมาในบทเรียนคราวที่แล้วทำให้เราได้รู้ที่มา ลักษณะคำประพันธ์รวมไปถึงเรื่องย่อของเรื่องกันไปแล้ว บทเรียนในวันนี้เราจะศึกษาตัวบทเด่น ๆ ของเรื่องกันนะคะว่ามีบทใดที่ได้ชื่อว่าเป็นวรรคทอง ถอดความ พร้อมทั้งเรียนรู้คุณค่าของานประพันธ์ชิ้นนี้อีกด้วย ถ้าน้อง ๆ อยากรู้แล้วเราไปเรียนรู้เรื่องนี้พร้อมกันเลยค่ะ   ตัวบทเด่น ๆ ใน มัทนะพาธา     ถอดความ บทนี้เป็นคำพูดของฤษีกาละทรรศินที่กำลังอธิบายให้ศุภางค์ แม่ทัพของท้าวชัยเสนว่าเหตุใดพระฤษีจึงเห็นว่าการห้ามปรามความรักระหว่างพระชัยเสนกับมัทนาเป็นสิ่งไร้ประโยชน์ โดยบอกว่า

กราฟแสดงคำตอบของอสมการเชิงเส้นตัวแปรเดียว

บทความนี้ได้แนะนำการเขียน กราฟแสดงคำตอบของอสมการเชิงเส้นตัวแปรเดียว  ซึ่งจะเชื่อมโยงกับสัญลักษณ์ของอสมการทั้ง 5 สัญลักษณ์ คือ มากกว่า (>), น้อยกว่า (<), มากกว่าหรือเท่ากับ (≥), น้อยกว่าหรือเท่ากับ (≤) และ ไม่ท่ากับ(≠) โดยเขียนแสดงบนเส้นจำนวน จุดทึบและจุดโปร่ง เราจะเลือกใช้จุดทึบ (•) และจุดโปร่ง (°) แทนสัญลักษณ์อสมการ ดังนี้ มากกว่า

โลโก้ NockAcademy

ทดลองฟรี!

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

โลโก้ NockAcademy

ทดลองฟรี!

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