Tautology เป็นคำที่มาจากคำภาษากรีกและหมายถึงการ ซ้ำซ้อนของความ คิด เดียวกันผ่านการแสดงออกที่แตกต่างกัน ซ้ำซากสำหรับวาทศาสตร์เป็น คำซ้ำซ้อน

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

ตัวอย่างที่พบเห็นได้ทั่วไปอื่น ๆ ของ tautology ในประโยคต่อไปนี้: "ฉันจะขึ้นไปชั้นบนเพื่อหาหนังสือแล้วกลับมา", "ฉันต้องออกไปข้างนอกเพื่อรดน้ำต้นไม้" เมื่อใดก็ตามที่คุณปีนขึ้นไป; ในทำนองเดียวกันการออกจากหมายถึงการย้ายออกจากสถานที่ด้วยเหตุนี้การชี้แจงเหล่านี้จึง ไร้ความหมาย และไม่จำเป็นสำหรับการทำความเข้าใจ

เมื่อ tautology สมมุติว่าคำอธิบายซ้ำซ้อนที่ไม่ได้มีส่วนช่วยให้เกิดความรู้ใหม่มันมักจะพูดถึง ความจริง หรือ ความจริงของ Perogrullo : "ฉันเป็นอย่างที่ฉันเป็น" การ แสดงออก ที่คำซ้ำซ้อนปรากฏขึ้น (เช่น "ขึ้นไป" หรือ "ออกไปข้างนอก" ) ในอีกทางหนึ่งเรียกว่า pleonasm

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

ตารางความจริง

ตาราง ความจริง (เรียกอีกอย่างว่า ตารางค่าความจริง ) นำเสนอข้อเสนอประกอบและมูลค่าความจริงสำหรับแต่ละชุดค่าผสมที่เป็นไปได้ที่สามารถให้กับองค์ประกอบของมัน ผู้แต่งคือนักปรัชญาและนักวิทยาศาสตร์ชาวอเมริกัน Charles Sanders Peirce หรือที่รู้จักกันในนามตัวแทนที่สูงที่สุดของสัญศาสตร์สมัยใหม่และเผยแพร่ในช่วงกลางทศวรรษ 1880

ในการกำหนดค่าระบบที่เป็นทางการมีความจำเป็นต้องสร้างคำจำกัดความของผู้ประกอบการแต่ละคนและข้อโต้แย้งจะต้องนำเสนอในรูปแบบของการให้เหตุผลเชิงตรรกะ - ภาษานิรนัยการตอบสนองต่อการออกแบบทางคณิตศาสตร์อย่างหมดจด

ค่าที่เป็นไปได้สองค่าที่ตารางความจริงสามารถโยนได้คือ: จริง ซึ่งแสดงด้วยตัวอักษร "V" หรือด้วยหมายเลข "1" และบ่งชี้ว่าวงจรถูกปิด false แสดงโดยตัวอักษร "F" หรือหมายเลข "0" เมื่อวงจรเปิด ข้อเสนอ ที่จะวิเคราะห์เป็นตัวแปรและตั้งอยู่ในส่วนบนของตารางครอบครองสถานที่ที่ใช้กันทั่วไปสำหรับชื่อเขตข้อมูล

ผู้ประกอบการที่ ใช้ในตารางความจริงคือ:

การปฏิเสธ * : เมื่อดำเนินการ ตามค่า ความจริงที่แน่นอนให้ขว้างสิ่งตรงกันข้าม (ถ้าเป็นจริงให้กลับมาเป็นเท็จและในทางกลับกัน);

* ร่วม : มันถูกใช้เพื่อดำเนินการกับสองค่าความจริงโดยปกติจะเป็นข้อเสนอที่แตกต่างกันสองและผลตอบแทนจริงเมื่อทั้งสองเป็นความจริงและเท็จสำหรับส่วนที่เหลือของกรณี;

* การแยก : คล้ายกับการรวมกัน แต่มันก็เพียงพอแล้วสำหรับหนึ่งในสองข้อเสนอที่จะมีคุณค่าที่แท้จริงในการส่งคืนผลลัพธ์ดังกล่าว

* conditional : รู้จักกันในชื่อ ความหมาย มันใช้เวลาสองข้อเสนอและพ่นเท็จเฉพาะเมื่อแรกส่งกลับจริงและเท็จที่สอง สำหรับกรณีที่เหลือผลลัพธ์จะเป็นจริง

* biconditional : ทำงานบนค่าความจริงของข้อเสนอสองรายการและคืนค่าจริงถ้าทั้งคู่มีค่าเท่ากันและเป็นเท็จในกรณีตรงกันข้าม