เกล็ดความน่ารู้

กิจกรรมคณิตศาสตร์

จำนวนผู้เข้าชม

สัจนิรันดร์

สัจนิรันดร์ (Tautology)

                         หมายถึงประพจน์ผสมที่มีค่าความจริงเป็นจริงทุกกรณี ไม่ว่าจะประกอบขึ้นจากประพจน์ย่อยที่มีค่าความจริงเป็นอย่างไร อาทิเช่น


การทดสอบว่าประพจน์ใดเป็นสัจนิรันดร์หรือไม่ ทำได้ 2 วิธีคือ
1. ใช้ตารางค่าความจริง เพื่อดูว่ามีค่าความจริงเป็นจริงทุกกรณีจริงหรือไม่
2. ใช้การทำ Contradiction คือการบังคับให้ประพจน์นั้นเป็นเท็จ ถ้าสามารถทำให้ประพจน์นั้นเป็นเท็จได้สำเร็จ แสดงว่าประพจน์นั้นไม่เป็นสัจนิรันดร์ แต่ถ้าไม่สามารถบังคับให้ประพจน์นั้นเป็นเท็จได้ ประพจน์นั้นจะเป็นสัจนิรันดร์ทันที

 กฎของการแทนที่ กฎของการแทนที่เป็นกฎที่ใช้แทนที่กันได้เนื่องจากเป็นข้อความที่สมมูลกัน มีดังต่อไปนี้

     
 
 
 
 
 
                                                                                        back 
 
 

 

Comments