ตรรกศาสตร์

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

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

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

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

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

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