همان‌گویی (منطق)

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

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

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

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

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

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

1. ${\displaystyle \mathrm{\neg }(A\vee B)\leftrightarrow (\mathrm{\neg }A\wedge \mathrm{\neg }B)}$
2. ${\displaystyle \mathrm{\neg }(A\wedge B)\leftrightarrow (\mathrm{\neg }A\vee \mathrm{\neg }B)}$

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

${\displaystyle A\wedge (B\vee C)\leftrightarrow (A\wedge B)\vee (A\wedge C)}$

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

${\displaystyle A\vee (B\wedge C)\leftrightarrow (A\vee B)\wedge (A\vee C)}$

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