سان مارینو، کشوری کوچک و مستقل، همچون جواهری در شبه جزیره ایتالیا می‌درخشد. این کشور که به طور کامل در دل ایتالیا جای گرفته، با مساحتی حدود 61 کیلومتر مربع و جمعیتی در حدود 33,779 نفر (آمار 2018)، یکی ازکوچکترین کشورهای جهانبه شمار می‌رود.

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

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

در این مقاله، ساختار کلی منطق ریاضی و ارتباط میان مفاهیم اصلی آن را بررسی می‌کنیم و سپس هر یک از موضوعات مهم را به‌صورت مقدماتی معرفی می‌کنیم.

تربیم، با نماد Tb و عدد اتمی ۶۵، فلزی نرم، نقره‌ای رنگ و از دسته عناصر خاکی کمیاب (لانتانیدها) است. این عنصر به صورت آزاد در طبیعت یافت نمی‌شود، اما در بسیاری از کانی‌ها وجود دارد و در تولید فسفرهای سبز و دستگاه‌های حالت جامد کاربرد دارد.

یکی از روش‌های دسته‌بندی عناصر، گروه‌بندی آن‌ها در خانواده‌ها است. یک خانواده عنصری از عناصری تشکیل شده که اتم‌هایشان تعداد یکسانی الکترون ظرفیتی دارند و در نتیجه خواص شیمیایی مشابهی از خود نشان می‌دهند. خانواده نیتروژن، خانواده اکسیژن و خانواده کربن نمونه‌هایی از این دسته‌بندی هستند.