همان‌گویی در منطق، (به یونانی: ταυτολογία) (به انگلیسی: Tautology؛ توتولوژی) گزاره‌ای است که با هر تعبیر برای منطق گزاره‌ها (یا تابع ارزش‌گذاری) همواره صادق است. اولین‌بار در سال ۱۹۲۱ ویتگنشتاین در رساله منطقی-فلسفی خود واژهٔ توتولوژی را بکار برد، همان‌گو ترجمه‌ای از این کلمه می‌باشد.^[۱]

در سال ۱۸۰۰ امانوئل کانت در کتاب منطق خود نوشت:

«یکسانی مفاهیم در احکام تحلیلی می‌تواند صریح یا غیرصریح باشد. در مورد نخست گزاره‌های تحلیلی همانگو هستند.»

در این‌جا گزارهٔ تحلیلی به صدق تحلیلی اشاره می‌کند، گزاره‌ای در زبان طبیعی که تنها به سبب عباراتی که شامل آنهاست درست است.

در سال ۱۸۸۴ گوتلوب فرگه در کتاب بنیادها پیشنهاد کرد که یک حقیقت هنگامی تحلیلی است که بتواند با استفاده از منطق حاصل شود، اما میان حقیقت‌های تحلیلی (که درستیشان تنها بر اساس معنی عباراتشان است) و همان‌گوها (گزاره‌های بی‌محتوا) تفاوت قائل شد.

گزاره‌های زیر همان‌گو هستند:

• ${\displaystyle (A\to B)\leftrightarrow (\neg A\lor B)}$
• ${\displaystyle (A\lor B)\leftrightarrow (\neg A\to B)}$
• روابط دمورگان

1. ${\displaystyle \neg (A\lor B)\leftrightarrow (\neg A\land \neg B)}$
2. ${\displaystyle \neg (A\land B)\leftrightarrow (\neg A\lor \neg B)}$

• خاصیت توزیعی ${\displaystyle \land }$ نسبت به ${\displaystyle \lor }$

${\displaystyle A\land (B\lor C)\leftrightarrow (A\land B)\lor (A\land C)}$

• خاصیت توزیعی ${\displaystyle \lor }$ نسبت به ${\displaystyle \land }$

${\displaystyle A\lor (B\land C)\leftrightarrow (A\lor B)\land (A\lor C)}$

• همان‌گویی (معنی‌شناسی)
• تناقض
• جدول درستی

ن ب و رابط‌های منطقی
همان‌گویی (منطق)/True ${\displaystyle \top }$
خط شفر (دروازه نقیض و) ${\displaystyle \uparrow }$ شرطی معکوس ${\displaystyle \leftarrow }$ شرطی مادی (دروازه شرطی) ${\displaystyle \rightarrow }$ فصل منطقی (دروازه یا) ${\displaystyle \lor }$
نقیض (دروازه وارونگر) ${\displaystyle \neg }$ یای انحصاری (دروازه یای انحصاری) ${\displaystyle \oplus }$ دوشرطی منطقی (دروازه نقیض یای انحصاری) ${\displaystyle \leftrightarrow }$ Statement
نقیض یا (دروازه نقیض یا) ${\displaystyle \downarrow }$ نقیض شرطی ${\displaystyle \nrightarrow }$ Converse nonimplication ${\displaystyle \nleftarrow }$ عطف منطقی (دروازه و) ${\displaystyle \land }$
تناقض/کذب ${\displaystyle \bot }$
Logic portal

ن ب و ‌حقیقت منطقی ⊤
کارکردی:	ارزش درستی truth function ⊨ همان‌گویی (منطق)
رسمی:	نگره (منطق ریاضی) formal proof قضیه
سلبی	⊥ کذب تناقض سازگاری (منطق ریاضی)

ن ب و منطق کلاسیک
عمومی	سور محمول رابط‌های منطقی همان‌گویی (منطق) جداول ارزش تابع صدق ارزش درستی فرمول‌های خوش فرم همنوایی انتاج خودتوانی انتاج منطق‌گرایی Problem of multiple generality شرکت‌پذیری توزیع‌پذیری
منطق‌های کلاسیک	حساب گزاره‌ای منطق مرتبه اول منطق مرتبه دوم منطق مرتبه بالاتر
اصول	جابجایی بودن عطف اصل طرد شق ثالث اصل دو ارزشی بودن اصل امتناع تناقض Explosion
قواعد	قوانین دمورگان استلزام مادی Transposition وضع مقدم نفی تالی قیاس استثنائی منفصل قیاس استثنائی متصل Constructive dilemma Destructive dilemma Absorption معرفی نفیض نقیض مضاعف سور وجوی سور عمومی دوشرطی عطف فصل حذف نقیض مضاعف Existential Universal دوشرطی عطف فصل
افراد	برنارد بولتسانو جرج بول گئورگ کانتور ریچارد ددکیند آگوستوس دمورگان گوتلوب فرگه کورت گودل Hugh MacColl جوزپه پئانو چارلز سندرز پیرس برتراند راسل ارنست شرودر Henry M. Sheffer آلفرد تارسکی ویلارد کواین لودویگ ویتگنشتاین جان لوکاسیویز
اثرها	برداشت و مفهوم نوشتار Function and Concept The Principles of Mathematics مبادی ریاضیات رساله منطقی-فلسفی