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

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

สารบัญ

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

แนะนำ

แชร์

verb to do

Verb To Do ใน Present Simple Tense

สวัสดีน้องๆ ป. 5 ทุกคนนะครับ วันนี้เราจะมาเรียนรู้เกี่ยวกับ Verb to do ที่ใช้ใน Present Simple Tense กันครับ ถ้าพร้อมแล้วไปดูกันเลย

โจทย์ปัญหาสัดส่วน 2

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

NokAcademy_ม3 มารู้จักกับ Signal Words

การใช้ Signal words : First, Second, Firstly, Secondly, Finally, Then, Next etc.

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

โดเมนของความสัมพันธ์

โดเมนของความสัมพันธ์ โดเมนของความสัมพันธ์ r คือ สมาชิกตัวหน้าของคู่อันดับในความสัมพันธ์ r เขียนแทนด้วย กรณีที่ r เขียนแบบแจกแจงสมาชิก เราสามารถหาโดเมนได้เลยโดย คือสมาชิกตัวหน้า เช่น = {(2, 2), (3, 4), (8, 9)} จะได้ว่า  = {2, 3, 8}

สมบัติการคูณจำนวนจริง

สมบัติการคูณจำนวนจริง

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

อสมการ

อสมการ

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

โลโก้ NockAcademy

ทดลองฟรี!

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

โลโก้ NockAcademy

ทดลองฟรี!

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