ซ้ำซาก

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

ซ้ำซากเป็นข้อความที่อธิบายและยืนยันตัวเอง

การพูดซ้ำซากคืออะไร?

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

คำนี้มาจากเสียงกรีก เทาโต้ (“เหมือนกัน”) และ โลโก้ ("คำ" หรือ "รู้") และสูตรเชิงตรรกะมักจะประกอบด้วย A = Aนั่นคือ เป็นสิ่งที่เหมือนกันกับตัวมันเอง ดังนั้นจึงไม่ได้เสนอสิ่งใดเลยจริงๆ โดยทั่วไปเกิดขึ้นในข้อเสนอที่รวมถึง บทสรุป ในสถานที่เช่น "มันเป็นอย่างนั้น" หรือ "ฉันเห็นกับตาของฉันเอง" ในวาทศาสตร์ pleonasms เป็นกรณีของการพูดซ้ำซาก

วิธีที่ง่ายที่สุดในการค้นหาความซ้ำซากจำเจคือการกำหนดตารางความจริง: กรณีที่เป็นความจริงไม่ว่าค่าที่แสดงออกมาจะเป็นเช่นไร จะต้องเป็นเรื่องที่ซ้ำซากจำเจ

ตัวอย่างของการพูดซ้ำซาก

ข้อความต่อไปนี้เป็นตัวอย่างของการพูดซ้ำซาก:

  • ผู้ชายก็คือผู้ชาย
  • ฉันวิ่งระยะทางด้วยเท้าของฉันเอง
  • อะไรมากก็เหลือเฟือ
  • สิ่งต่าง ๆ ล้มลง
  • ฉันปีนขึ้นบันได
  • ความเย็นเกิดจากอุณหภูมิที่ลดลง

และในแง่ตรรกะ ตัวอย่างของ tautology คือนิพจน์: (p ^ q) → p ซึ่งตารางความจริงจะเป็นดังต่อไปนี้:

พี อะไร พี ^ q (p ^ q) → p
วี วี วี วี
วี F F วี
F วี F วี
F F F วี

ความขัดแย้งและความบังเอิญ

นอกเหนือจากการพูดซ้ำซาก มักพูดถึงความขัดแย้งและเหตุการณ์ฉุกเฉินในเชิงตรรกะ ดังนี้:

  • ความขัดแย้ง. ตรงกันข้ามกับ tautology ซึ่งเป็นจริงในสูตรที่เป็นไปได้ใด ๆ ความขัดแย้งเป็นเท็จโดยไม่คำนึงถึงค่าของสถานที่ของพวกเขาเนื่องจากในโครงสร้างการโต้แย้งข้อสรุปที่จะได้รับจะถูกปฏิเสธ ตัวอย่างของสิ่งนี้คือข้อความ "เราตกลงไปที่ความสูง" หรือข้อความเชิงตรรกะ p ^ p 'เมื่อ p ไม่เท่ากับ p'
  • ฉุกเฉิน ในกรณีนี้ เรากำลังพูดถึงสูตรที่มีค่าจริงหรือเท็จจะไม่ขึ้นอยู่กับมูลค่าของสถานที่ ดังนั้นมันจะไม่เป็นจริงหรือเท็จ หรืออะไรที่เหมือนกัน: เหตุฉุกเฉินคือข้อความที่เป็นจริงในโลกที่เป็นไปได้อย่างน้อยหนึ่งโลกและเป็นเท็จในอีกโลกหนึ่งเพื่อให้ขึ้นอยู่กับกรณีเสมอ ตัวอย่างที่แสดงในเงื่อนไขเชิงตรรกะคือคำสั่งต่อไปนี้:
    (p ↔ q) v [(p → q) ^ (q → p)].
!-- GDPR -->