آیا تا به حال به مواد تشکیلدهنده غذاهایی که میخورید دقت کردهاید؟ به خصوص اگر اهل مصرف غذاهای بستهبندی شده یا رستورانی باشید، احتمالاً با لیستی بلندبالا از مواد شیمیایی مواجه شدهاید. اما اصلاً منظور از "افزودنی" چیست؟ به طور خلاصه، افزودنیها موادی هستند که به منظور بهبود کیفیت، طعم، بافت، ماندگاری یا ظاهر غذا به آن اضافه میشوند. این مواد میتوانند شامل رنگها و طعمدهندههای مصنوعی آشکار باشند، یا موادی نامحسوستر که بر رطوبت و زمان نگهداری غذا تاثیر میگذارند.
ستارهشناسان نوع جدیدی از سیستم ستارهای را کشف کردهاند که تمام دانستههای ما در مورد منظومههای خورشیدی را نقض میکند. این سیستم، دودویی (binary-binary) نامیده شده است، چرا که در منظومهی فوق دو ستاره وجود دارد که با فاصلهی کمی با یکدیگر به دور هم میچرخند. در این منظومه دو سازهی بسیار بزرگ هم وجود دارد که در مدار خودشان به دور ستارهی اصلی در حال گردش هستند. چنین پدیدهای در واقع نخستین نوع از اینگونه سیستم به شمار میرود که تا به حال کشف شده است. وجود چنین منظومهای به این معنی است که شاید تصور ما از چگونگی پدید آمدن منظومههای خورشیدی بسیار نادرست باشد.
در قرن هفدهم نیوتن با کارهایى که بر روى نور انجام داد به این نتیجه رسید که نور از ذره هاى کوچک تشکیل شده است. دانشمندان دیگر معتقد بودند که ماهیت نور موج است.
صورتک های ژاپنی درواقع شکلی از بیان در دنیای آنلاین با استفاده از حالت های صورت اند. به طور خلاصه نوعی شکلک محسوب می شوند. این صورتک ها به وسیله کاربران اینترنت در ژاپن ابداع شدند و البته منعکس کننده ویژگی ها و تمایزات فرهنگی خود ژاپنی ها هم هستند. این صورتک ها به سرعت به یک شیوه بیانی مشترک آنلاین در سراسر جهان تبدیل شدند.
نقیض گزارههای دارای کمیتنما یکی از مفاهیم بنیادی در منطق ریاضی و استدلال ریاضی است. برای بهدستآوردن نقیض یک گزاره کمی، نمیتوان فقط واژه «نیست» یا «نمی» را به عبارت اضافه کرد؛ بلکه باید ساختار منطقی گزاره را در نظر گرفت. مهمترین قانون این است که نقیض کمیتنمای کلی به کمیتنمای وجودی تبدیل میشود و برعکس.
اگر \(P(x)\) یک گزاره درباره اعضای مجموعه مرجع \(U\) باشد، دو قانون بنیادی عبارتاند از:
$$
\neg(\forall x\in U,\;P(x))
\equiv
\exists x\in U,\;\neg P(x)
$$
و
$$
\neg(\exists x\in U,\;P(x))
\equiv
\forall x\in U,\;\neg P(x).
$$
بنابراین، نقیض «برای هر \(x\)، گزاره \(P(x)\) درست است» این است که «حداقل یک \(x\) وجود دارد که \(P(x)\) درباره آن درست نیست». همچنین نقیض «حداقل یک \(x\) وجود دارد که \(P(x)\) درباره آن درست است» این است که «برای هیچ \(x\)، \(P(x)\) درست نیست». در این مقاله این قوانین، روش تبدیل گزارههای فارسی به نمادهای منطقی، نقیض گزارههای دارای چند کمیتنما، نقیض شرطیهای کمی و مثالهای حلشده بررسی میشوند.
شاید وقتی صحبت از بیوتکنولوژی میشود، بیشتر ذهنها به سمت تحقیقات پزشکی و دارویی برود، اما این علم نوین، کاربردهای بسیار گستردهتری دارد. بیوتکنولوژی با بهرهگیری از روشهای مطالعه، شبیهسازی و تغییر ژنها، صنایع مختلفی را متحول کرده است. آنزیمها به بخشی جداییناپذیر از زندگی روزمره ما تبدیل شدهاند و بسیاری با بحثهای پیرامون استفاده از محصولات تراریخته (GMO) در غذاها آشنا هستند. صنعت کشاورزی در قلب این مباحث قرار دارد، اما از زمان جرج واشنگتن کارور، بیوتکنولوژی کشاورزی بیشمار محصولات جدید تولید کرده که پتانسیل بهبود زندگی ما را دارند.