همان گویی

wiki: همان گو ترجمه ای از این کلمه می باشد.
( A → B ) ↔ ( ¬ A ∨ B ) {\displaystyle (A\to B)\leftrightarrow (\neg A\lor B)}
( A ∨ B ) ↔ ( ¬ A → B ) {\displaystyle (A\lor B)\leftrightarrow (\neg A\to B)}
روابط دمورگان
در سال ۱۸۰۰ امانوئل کانت در کتاب منطق خود نوشت:
«یکسانی مفاهیم در احکام تحلیلی می تواند صریح یا غیرصریح باشد. در مورد نخست گزاره های تحلیلی همانگو هستند.»
در این جا گزارهٔ تحلیلی به صدق تحلیلی اشاره می کند، گزاره ای در زبان طبیعی که تنها به سبب عباراتی که شامل آنهاست درست است.