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

“สมมูลและนิเสธ” ของประโยคที่มีตัวบ่งปริมาณ สมมูลและนิเสธ เราเคยเรียนกันไปแล้วก่อนหน้านี้ แต่เป็นของประพจน์ p, q, r แต่ในบทความนี้จะเป็นสมมูลและนิเสธของประโยคที่มีตัวบ่งปริมาณ ซึ่งก็จะเอาเนื้อหาก่อนหน้ามาปรับใช้กับประโยคที่มีตัวบ่งปริมาณ สิ่งที่เราจะต้องรู้และจำให้ได้ก็คือ การสมมูลกันของประพจน์ เพราะจะได้ใช้ในบทนี้แน่นอนน ใครที่ยังไม่แม่นสามารถไปอ่านได้ที่ บทความรูปแบบของประพจน์ที่สมมูลกัน  นิเสธของตัวบ่งปริมาณ เมื่อเราเติมนิเสธลงไปในประโยคที่มีตัวบ่งปริมาณ ข้อความต่อไปนี้จะสมมูลกัน กรณี 1 ตัวแปร ∼∀x[P(x)] ≡ ∃x[∼P(x)] ∼∃x[P(x)]