محلول اشباع، یک محلول شیمیایی است که در آن، حلال (ماده حل‌کننده) حداکثر مقدار ممکن از حل‌شونده (ماده حل‌شونده) را در خود حل کرده است. به عبارت دیگر، دیگر نمی‌توان ماده حل‌شونده بیشتری را در آن حجم از حلال حل کرد. اگر مقداری ماده حل‌شونده به یک محلول اشباع اضافه شود، دیگر حل نخواهد شد و به صورت رسوب در ته ظرف باقی می‌ماند. درک مفهوم محلول اشباع، برای درک بسیاری از فرآیندهای شیمیایی و طبیعی ضروری است.
گزاره در منطق ریاضی، جمله یا عبارتی است که دقیقاً یکی از دو ارزش «درست» یا «نادرست» را دارد. برای نمونه، جمله «۷ عددی اول است» یک گزاره است، زیرا می‌توان ارزش صدق آن را تعیین کرد؛ اما جمله‌هایی مانند «در را ببند!» یا «آیا امروز باران می‌بارد؟» گزاره محسوب نمی‌شوند، زیرا به‌ترتیب امری و پرسشی هستند و ارزش صدق مشخصی ندارند.
در این مقاله با تعریف دقیق گزاره، ارزش صدق، گزاره‌های ساده و مرکب، گزاره‌های ریاضی و نمادگذاری آنها آشنا می‌شویم و تفاوت گزاره با جمله‌های غیرگزاره‌ای را با مثال بررسی می‌کنیم. همچنین ارتباط گزاره با مفاهیمی مانند نقیض، عطف، فصل، شرطی، دوشرطی و جدول ارزش را توضیح می‌دهیم.
یکسیستم ایزولهدر ترمودینامیک به سیستمی گفته می‌شود که نه انرژی و نه ماده، نمی‌توانند از مرزهای آن عبور کنند. به عبارت دیگر، این سیستم با محیط اطراف خود هیچ‌گونه تعاملی ندارد.