บทความ

กฎเดอมอร์แกน

รูปภาพ
กฎเดอมอร์แกน (De Morgan's laws)                 กฎเดอมอร์แกน (อังกฤษ: De Morgan's laws) หรือ ทฤษฎีบทเดอมอร์แกน (อังกฤษ: De Morgan's theorem) เป็นกฎในวิชาตรรกศาสตร์ คือ ชุดของกฎในสาขาตรรกศาสตร์รูปนัยซึ่งแสดงความสัมพันธ์อย่างเป็นระบบระหว่างคู่ของตัวดำเนินการเชิงตรรกที่คู่กัน โดยแสดงในรูปนิเสธ ความสัมพันธ์เช่นนี้เรียกว่าภาวะคู่กันเดอมอร์แกน ( De Morgan duality) กฎนี้แสดงว่าประพจน์ทางซ้ายมือต่อไปนี้แต่ละตัวสมมูลเชิงตรรกกับประพจน์ทางขวามือที่คู่กัน และเราสามารถแปลงประพจน์จากข้างหนึ่งไปเป็นอีกข้างหนึ่งได้ ไม่ว่าในทิศทางใดก็ตาม สัจนิรันดร์และความขัดแย้ง( Tautology  and  Contradiction) สัจนิรันดร์ ( Tautology)             สัจนิรันดร์ ( Tautology) หมายถึง ประพจน์ที่มีค่าความจริงตลอดไป  ไม่ว่าค่าความจริงของประพจน์ย่อย ๐  ที่เป็นค่าตัวแปรจะมีค่าความจริงเป็นอย่างไรก็ตาม ตัวอย่าง จงเขียนตารางค่าความจริง เพื่อแสดงว่า p   ( pvq )เป็นสัจนิรันทร์   P P pvq p   ( pvq ) T T T T T F T T F T T T F F F T จากตาร

แบบทดสอบตรรกศาสตร์

รูปภาพ
จงพิจารณาว่าประโยคหรือข้อความต่อไปนี้เป็นประพจน์หรือไม่ ถ้าเป็นประพจน์เป็นประพจน์ที่มีค่าความจริงเป็น “จริง” หรือ ”เท็จ” ถ้าเป็นประพจน์เป็นข้อความประเภทใด ประโยค เป็น/ไม่เป็น ค่าประพจน์/ประเภท กรุงเทพเป็นเมืองหลวงของประเทศไทย นกไม่มีปีก ธนาคารมีการบันทึกและจัดเก็บข้อมูลลูกค้าไว้ในคอมพิวเตอร์ 4+5มีค่าเท่ากับ 9 ว้าย ! น่ากลัวจัง จังหวัดอุดรธานีไม่ได้อยู่ในภาคอีสาน 2 + 3  =  3  -  1 โลกเป็นดาวเคราะห์ กรุณาปิดไฟทุกครั้งก่อนออกจากห้อง 17 + 8 = 30 เซตว่างไม่เป็นสับเซตของทุกเซต ปลาและนกเป็นสัตว์บก 50 คูณด้วย 40 มีค่าเท่ากับเท่าไร หยุดเดี๋ยวนี้นะ อย่าส่งเสียงดังในเวลาทำงาน ได้โปรดเถอะนะถือว่าสงสารฉันหน่อย ว้าย ! ตะเถรตกกระโถน บรรยากาศสำหรับเราสองคนอยากให้เป็นเช่นนี้จังเลย อย่าคุยเวลาทำงาน อยากดูหนังมากเลย เลขคู่ทุกจำนวนหารด้วยสองลงตัว เ      ป็น เป็      น เป็       น เป็       น เป็       น ไม่    เป็น เ       ป็น เป็       น ไ     ม่เป็น เ         ป็น เป็        น เป็        น ไม่เ       ป็น ไม่เป็     น ไม่     เป็น ไม่เป็      น ไม่เป็     น ไม่เป็    น ไม่     เป็น ไม่เป็    น  เป็