هم‌ارزی منطقی یکی از مفاهیم اساسی در منطق گزاره‌هاست و زمانی برقرار است که دو گزاره یا عبارت منطقی، برای تمام حالت‌های ممکنِ ارزش‌دهی به گزاره‌های ساده، دقیقاً ارزش صدق یکسانی داشته باشند. اگر دو گزاره \(p\) و \(q\) در همه حالت‌ها هم‌ارزش باشند، آن‌ها را با نماد \(p \equiv q\) نشان می‌دهیم.

یکی از مهم‌ترین روش‌های بررسی هم‌ارزی منطقی، استفاده از جدول ارزش است. همچنین دو عبارت \(p\) و \(q\) دقیقاً زمانی هم‌ارز منطقی هستند که گزاره دوشرطی \(p \leftrightarrow q\) یک همان‌گویی باشد؛ یعنی در تمام حالت‌ها ارزش «درست» داشته باشد.

در این مقاله تعریف رسمی هم‌ارزی منطقی، تفاوت آن با تساوی و استلزام منطقی، قوانین مهم مانند قوانین دمورگان، جابه‌جایی، شرکت‌پذیری و توزیع‌پذیری، روش اثبات هم‌ارزی با جدول ارزش و چند مثال حل‌شده از ساده تا پیشرفته بررسی می‌شود.

نمایش مجموعه یکی از مهارت‌های پایه در یادگیری نظریه مجموعه‌ها و زبان ریاضی است. یک مجموعه را می‌توان به روش‌های مختلفی معرفی کرد؛ از جمله با فهرست‌کردن اعضا، بیان ویژگی مشترک اعضا و در برخی موارد با استفاده از نمودار یا توصیف کلامی. در این مقاله روش فهرستی یا اعضانویسی، روش سازنده مجموعه، کاربرد نمادهای ریاضی، نمایش مجموعه‌های متناهی و نامتناهی، تبدیل میان روش‌های مختلف نمایش و خطاهای رایج بررسی می‌شود. همچنین با مثال‌های حل‌شده نشان می‌دهیم چگونه یک مجموعه را از روی ویژگی اعضای آن بنویسیم و برعکس، از روی نمایش فهرستی ویژگی مشترک اعضا را پیدا کنیم.