طی چند دهه سه جمجمه مختلف از دایناسورها در زمان های مختلف در شمال ایالات متحده آمریكا كشف شد. اولین جمجمه در سال 1931 پیدا شد. این جمجمه بزرگ و گرد بود. دومین جمجمه كه در سال 1983 پیدا شد، كوچك تر و باریك تر بود و زایده هایی میخ مانندی از پشت سرش بیرون زده بود. سومی هم كه شاخ های كوچكی روی پوزه اش داشت در سال 2006 كشف شد. این جمجمه از دوتای دیگر كوچك تر بود.

نام سندرم استکهلم از گروگان گیری شش روزه در بانک کردیت در استکهلم سوئد گرفته شده. سندرم استکهلم به نوعی وضعیت روانی اطلاق می شود که در آن پیوندی محبت آمیز بین فرد در اسارت، ربوده شده و یا به گروگان گرفته شده و فرد یا افراد به اسارت گیرنده ایجاد می شود.
در سال 1973 دو مرد وارد بانک کردیت در استکهلم سوئد شدند و قصد دزدی از آن را داشتند. وقتی پلیس وارد بانک شد، سارقان به سمت آنها شلیک کردند و وضعیت به یک گروگان گیری منتج شد. برای شش روز، سارقان چهار نفر را به زور اسلحه، در یک انباری قفل شده در زیر سقف نگهداشتند. گاهی اوقات به آنها مواد منفجره می بستند و دفعه های دیگر مجبورشان می کردند طناب دور گردنشان ببندند. هنگامی که پلیس سعی کرد گروگان ها را نجات دهد، گروگان ها با پلیس مبارزه کردند و از گروگان گیرانشان دفاع کردند و به سرزنش پلیس پرداختند. سپس یکی از گروگان های آزاد شده صندوقی را برای دفاع از گروگان گیران خود در مقابل قانون راه اندازی کرد. از اینجا نام «سندرم استکهلم» متولد شد.

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

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