اگر انسان بهترین ماشین ها یا نقشه ها را در اختیار داشته باشد اما بدون سوخت ماشین باشد حتی ذره ای به جلو حرکت نخواهد کرد.

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

وقتی که صحبت از برنامه‌ریزی برای سفر انسان به ماه می‌شود، ذهن همه به این موضوع معطوف می‌شود که چگونه می‌توانیم انسان‌ها را به جایی حدود ۲۲۵ میلیون کیلومتر دورتر در منظومه‌ی شمسی بفرستیم؛ اما از یک موضوع بسیار جدی غافل می‌شویم؛ آیا می‌خواهیم با فرستادن فضانوردان به مریخ مغز آن‌ها را سرخ کنیم!؟
 

 سیاره‌ی زمین را با شکل هندسی «کُره» می‌شناسیم، ولی در حقیقت زمین یک کُره‌ی کامل نیست و شکلی پخ شده دارد؛ علاوه بر این، چگالی زمین نیز یکنواخت نیست و جِرم زمین به صورت مساوی در حجم آن توزیع نشده. این توزیع جرم غیریکنواخت به معنی جاذبه‌ی غیریکنواخت در سطح کره‌ی زمین خواهد بود.
 

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

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

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