هم ارزی منطقی یکی از روابط منطقی است که در آن تالی و مقدم هم هم ارز مادی هستند و هم همان گو محسوب می شوند.منطق کلاسیکدوشرطی منطقیبرابری منطقیبر خلاف گزاره های هم ارز مادی که با عبارت اگر و تنها اگر بیان می شوند و در آن ها تنها بر هم ارزش بودن تالی و مقدم از نظر درستی و نادرستی تأکید می شود و لزوماً نمی توان آن ها را به جای یکدیگر به کار برد، دو گزارهٔ هم ارز منطقی را می توان جایگزین یک دیگر کرد. ب...