moaminsharifi/fa-wiki-spell-checker huggingface dataset:
موزهٔ هنرهای معاصر تهران همچنین به دلیل آنکه در دهه‌های گذشته آثار معاصر شاخص دیگری جز آنچه در گنجینهٔ خود دارد خریداری نکرده‌است، مورد انتقاد قرار دارد. اگرچه این موزه پس از انقلاب دست به خرید آثار هنرمندان ایرانی – از جمله نگارگران مینیاتور – زده‌است، اما به باور بعضی کارشناسان نبود آثار هنر معاصر تازه خریداری‌شده در فهرست آثار نمایشگاه در عمل ویژگی «معاصر» بودن خود را از دست داده‌است. پس از انقلاب، اگرچه تعدادی اثر هنری خارجی در نتیجه تبادلات فرهنگی به موزه اهدا شدند، اما هیچ اثر خارجی خریداری نشد و این ارتباط موزه با هنر معاصر جهان را کم کرده‌است. تغییر بسیاری که در هنر معاصر جهان از دوره پس از انقلاب تاکنون صورت گرفته‌است و عدم انعکاس آن در کارهای هنری به نمایش گذاشته شده یا درون گنجینه، به باور عده‌ای عنوان «موزه هنرهای معاصر» را از این موزه گرفته‌است.
معاوضهٔ تابلوی "زن ۳" اثر دکونینگ در سال ۱۳۷۳ موجی از انتقاد را در ایران در پی داشت. معاوضه اثر به شکل پنهانی و بدون اعلام پیشین انجام شد و خبرگزاری‌ها تنها پس از انجام پی به صورت گرفتن چنین معاوضه‌ای بردند. در این سال، مجلس شورای اسلامی طرحی را به تصویب رساند که فروش کارهای هنری موزه‌های ایران، از جمله موزهٔ هنرهای معاصر، که توانایی نمایش در درون کشور ندارند را قانونی می‌کرد. اگرچه این طرح بعدها از سوی شورای نگهبان رد شد، اما مصادف شدن آن با معاوضه "زن ۳" انتقادهایی را در ایران برانگیخت. کامران دیبا با چاپ نوشتاری در کیهان بین‌المللی، به شدت به این معاوضه اعتراض کرد و نسبت به آغاز فروش گنجینه موزه هشدار داد. او همچنین به معیار مورد استفاده در معاوضه میان یک تابلوی غربی با صفحاتی از شاهنامه ایرانی اعتراض داشت و قیمت گذاشته شده برای این دو را نامتناسب می‌دانست. با این حال بعضی کارشناسان هنر در ایران نیز از معاوضه‌های صورت‌گرفته پشتیبانی کردند. برای نمونه، آیدین آغداشلو پس از انتشار خبر معاوضه، مقاله‌ای به چاپ رساند که در آن معاوضه اثر با ۱۱۸ برگ از شاهنامهٔ نفیس تهماسبی و به دست آوردن «قبالهٔ هنر کتاب‌آرایی و نقاشی ایرانی» را ستوده بود.
تعدادی از آثار موزه که پیشتر از آن خارج شده بودند و در انبار معاونت هنری وزارت ارشاد نگهداری می‌شدند، در سال ۱۳۹۴ خورشیدی توسط امین اموال فروخته شدند. پس از بررسی پلیس ایران، مشخص شد که وی از زمستان سال ۱۳۹۳ اقدام به خروج تدریجی ۲۷ اثر هنری از مجموعه هنر معاصر ایرانی (شامل کارهایی از بهمن محصص، رضا مافی، فریده لاشایی، حسین زنده‌رودی، و اردشیر محصص کرده بود. با این حال، پس از مشخص شدن فروششان توسط این فرد، همگی آن‌ها پس گرفته شده و به گنجینه موزه بازگردانده شدند.
تغییرات مدیریتی و گرایش موزهٔ هنرهای معاصر تهران، به ویژه پس از روی کار آمدن دولت خاتمی، فضای بیشتری به هنرمندان ایرانی داد که کارهای گراینده به «غرب» خود را ارائه بدهند. در ششمین دوسالانهٔ هنر معاصر ایران در سال ۲۰۰۲، بسیاری از کارها نمایندهٔ شکاف میان حکومت مذهبی ایران و جامعه هنریش بود: زنان بی‌حجاب و نگاره‌ای کارشده از مونا لیزا و اشاره‌های هر چه بیشتر به هنر غربی در این دوسالانه نشان از تغییری چشمگیر در نگرش جامعه ایران پس ار انقلاب، به آرمان‌های انقلابی داشت. با آغاز دوران اصلاحات، مسئولان موزه کوشش ظریفی در بازتر کردن فضا در عین عدم ناخشنود کردن گروه‌های اصولگرا در ایران کردند. همراه با نمایش آثار هنرمندان غربی و دعوت از ایشان به ایران، نمایشگاه‌هایی هم از هنر مدرن ایرانی برگزار می‌شد تا سبب سرزنش سنت‌گرایان در کشور نشوند که چرا آثار هنری غربی بیش از حد به نمایش درآمده.
موزهٔ هنرهای معاصر توانست هنرمندان ایرانی را که توانایی کارشان به خاطر گرایش یا وابستگیشان به حکومت پیشین محدود شده بود دوباره به جامعه معرفی کند. از جمله این هنرمندان پرویز تناولی بود که به خاطر روابط نزدیکش با دربار پهلوی مورد خشم گروه‌هایی درون حکومت جمهوری کشور بود. با این حال، کارهای او نخستین بار پس از انقلاب به شکل گسترده و همگانی در زمستان ۱۳۸۲ همچون بخشی از سلسله نمایشگاه‌های "پیشگامان هنر مدرن ایران" به نمایش درآمد. استقبال گسترده جوانان از نمایشگاهِ تناولی را می‌توان حاصل کار موزه در پیوستن نسل‌های گسسته هنری ایران شمرد.
هلیا دارابی به تاریخچه موزه همچون زنجیره‌ای از رویدادهای هنری که بازتابی از سیاست‌های فرهنگی در ایران بوده‌اند نگاه می‌کند و نوع نمایشگاه‌های برگزار شده و کارهای موجود در آن‌ها را مرتبط با حال و هوای سیاسی–اجتماعی ایران در نزدیک به چهار دهه گذشته می‌داند. به باور او، از پس انقلاب سفید و کوشش برای مدرن‌سازی کشور در دوران پهلوی، اندیشه‌های مذهبی کسانی چون شریعتی و آل احمد در تلاش برای کندن از غرب و ساخت جامعه‌ای شیعه مذهب ولی نوین در سال‌های پس از انقلاب بروز می‌کنند و فضای پذیرای فرهنگ غربی نوین، جای خود را به نمایش کارهای نوین ایرانی، اما با رویکرد مذهبی و انقلابی می‌دهد. با پایان جنگ و آغاز دوران موسوم به "سازندگی"، جامعه هنری ایران نیز به آرامی از گرایش ایدئولوژیک خود کاسته و هنر را به مثابه هنر پذیرا شد و درهای خود را به همکاری بیشتر با جامعه جهانی گشود. نخستین روابط هنری حکومت ایران با جهان بیرون در دوران اصلاحات آغاز شد و اوج همکاری‌های حکومت با جامعه هنری را هنگامی می‌توان دید که موزه در سال‌های پایانی دولت اصلاحات به نمایش کامل آثار موجودش پرداخت. با آغاز دولت احمدی‌نژاد و بازگشت سیاست‌ها به دوران انقلاب، سیاست‌های کنترلی مدیران موزه آینه‌ای از سیاست‌های دولت شد. این دوران، دوران افول شمار بازدیدکنندگان نیز به‌شمار می‌رود.
سَرَخس، شهری مرزی در استان خراسان رضوی و مرکز شهرستان سرخس است؛ شمال‌شرقی‌ترین شهر ایران در نزدیکی مرز ترکمنستان در پایین‌ترین دشت خراسان در ۳۰۰ متری از سطح دریا جای دارد.
بر پایه سرشماری عمومی نفوس و مسکن در سال ۱۳۹۵ جمعیت این شهر ۴۲٬۱۷۹ نفر (در ۱۱٬۸۱۲ خانوار) بوده‌است.
شهرستان سرخس، با پهنه‌ای بیش از ۵ هزار کیلومتر مربع، در شمال خاوری استان خراسان رضوی، در کنار مرز ایران و جمهوری ترکمنستان در ۱۸۰ کیلومتری شرق مشهد قرار دارد. تقریباً میان دو نصف‌النهار ۳۰ تا ۶۰ و ۱۵ تا ۶۱ درجهٔ شرقی و میان دو مدار ۳۶ و ۳۶ تا ۴۰ درجهٔ شمالی قرار گرفته‌است. حد طبیعی منطقه را در جنوب، رودخانهٔ کشف رود و حد شرقی را رود تجن (از پیوستن رودخانهٔ هریرود و کشف رود) و حدود طبیعی غربی و جنوب‌غربی را آخرین امتدادهای ارتفاعات کپه داغ مشخص می‌نماید.
این شهرستان از سوی شمال و خاور به جمهوری ترکمنستان، از باختر به شهرستان مشهد و از جنوب به شهرستان تربت جام محدود است و در حد فاصل حاشیهٔ خارجی صحرای قره‌قروم با لبهٔ فلات ایران قرار گرفته‌است. هوای سرخس در گذشته معتدل و خشک بوده که با گسترش کشاورزی آبی و آبگیری سد دوستی به هوای گرم و مرطوب تغییر وضعیت داده و اینک در بازه ایی از ماه‌های تابستان حتی بهار بیش‌ترین درجهٔ حرارت، ۵۰ درجه بالای صفر و کم‌ترین آن در زمستان‌ها، ۲۵ درجه زیر صفر است. میانگین باران سالیانهٔ سرخس به ۱۸۰ میلی‌متر می‌رسد. رود هریرود در ۲ کیلومتری خاور سرخس مرز مشترک ایران و ترکمنستان را تشکیل داده‌است. شهر سرخس در دشت قرار گرفته و از بلندی مهمی برخوردار نیست. جمعیت این شهرستان براساس آمار سال ۱۳۷۵خ برابر با ۷۳٬۶۰۴ نفر است که از این تعداد ۲۸٬۵۴۷ نفر در مرکز شهرستان زندگی می‌کردند.
نام باستانی سرخس ساریگا بوده که مردم محلی به آن ساریکا می‌گویند و بر سر راه مرو به نیشابور و عراق عجم قرار گرفته‌است. این شهر روزگاری از کانون‌های علم و دانش بوده و بواسطهٔ داشتن مدارس و کتابخانه‌های زیاد شهرت داشته‌است؛ در سال‌های اخیر نیز به دلیل فراهم آوردن موقعیت‌های تجاری، این محل دارای اهمیت است.
به اعتقاد اهالی این شهر، سرخس از دیرباز به نام‌های «ساریگَو» به معنی خانه پهلوانان (گَو = پهلوان)، «ساریکا»، «سرخس نو»، «سرخس ناصری» و «سرخس افراسیابی» خوانده می‌شده‌است. حکیم ابوالقاسم فردوسی در شاهنامه، در داستان جنگ هفت گردان، از سرخس یاد کرده‌است. کهن‌ترین متن فارسی که از سرخس سخن گفته، «حدودالعالم» (۳۷۲ هـ. ق) است، که می‌گوید: «سرخس شهری است بر راه و اندر میان بیابان نهاده … جایی با کشت و برز بسیار است، و مردمانی قوی ترکیب‌اند و جنگی، و خواستهٔ ایشان شتر است».
لیکن کاربرد کلمهٔ سرخس دستکم در هزار و دویست سال اخیر و وجود درختچه‌های سرخس در گذشته‌های دور که توسط بومیان قلع و قمع شده‌است، نشان‌دهندهٔ اصالت نام سرخس و نه نام دیگری می‌باشد.
سرخس در سدهٔ نخست هجری قمری؛ به دست اعراب افتاد. این شهر در روزگار آلب ارسلان گسترش و اعتبار بسیار یافت، به‌طوری که وی آنجا را مقر خود قرار داد. سرخس در سده‌های نخستین اشغال اعراب و حتی تا زمان ابن بطوطه از شهرهای بزرگ خراسان به‌شمار می‌رفته‌است. وی می‌گوید: «… طغای تیمور با ۵۰ هزار سپاهی به نبرد سربداران رفت. لیکن شکست خورد و شهرهای سرخس، الزاوه و توس که از بزرگ‌ترین شهرهای خراسان بودند به دست سربداران افتاد…».
ایل پاسارگادی، یکی از ده قبیلهٔ پارس‌ها بود که از کوروش حمایت کرده و سلسلهٔ هخامنشیان را به وجود آورد. طبق سخنان مسعودی مورخ سدهٔ چهارم، بازماندگان رم کاریان پس از حملهٔ اعراب مسلمان به پارسیان معروف گشتند. آن‌ها در زمان آل بویه به دو گروه تقسیم گشته و به ترتیب ضمیمهٔ ایل عرب خمسه و ایل قشقایی گشتند. این دو گروه در زمان فتحعلی شاه قاجار دوباره با یکدیگر متحد شده و ایل باصری را تشکیل دادند که تا به امروز پابرجا مانده‌اند و آن‌ها را می‌توان سرسلسله و میراث‌بان فرهنگ و تمدن هخامنشی‌ها و رم کاریان دانست. در دوره فتحعلی‌شاه قاجار، عده‌ای از جنگجویان این طایفه برای دفع حملات ترکمان‌ها به خراسان مهاجرت نمودند و آن‌ها را تا شهر سرخس دفع نمودند. پس از حملهٔ روسیه تزاری به ایران قسمت‌هایی از ایران من جمله شهر سرخس از ایران جدا شد. شهر سرخس از جمله شهرهای دو تکه‌ای است که قسمت خاوری آن متعلق به ترکمنستان امروزی است. با این وجود، هیچ ترکمنی در سرخس وجود ندارد که دلیل آن به علت دفع آن‌ها توسط سیستانی‌ها و بلوچها از این منطقه می‌باشد. امروز بسیاری از آن‌ها ساکن سرخس هستند که بازماندگان همان دسته‌های مهاجرت نموده در زمان قاجار می‌باشند.
این شهر در سال ۱۳۱۵ خورشیدی و به دستور رضاخان با موقوفات استان قدس رضوی فعلی که شامل منطقه اوین تهران بود معاوضه گردید و هم‌اکنون ۹۸ درصد این شهر موقوفه و متعلق به استان قدس رضوی می‌باشد
امروزه شهر سرخس، مرز میان ایران و ترکمنستان است. سرخس پیشین که در سوی راست هریرود قرار دارد، در دست ترکمنستان می‌باشد و سرخس نو در دست ایران است. در ۱۸۸۴م، روس‌ها سرخس کهنهٔ ایران را همراه مرو و عشق‌آباد، اشغال کردند و بدین ترتیب در مرز ایران و افغانستان از دریای مازندران تا سین‌کیانگ چین، استقرار یافتند.
سنایی غزنوی، مثنوی سیرالعباد الی المعاد را در سرخس سروده و با مدح سیف‌الدین محمد بن منصور قاضی سرخس به پایان برده‌است.
در سال‌های اخیر با ایجاد پالایشگاه گاز خانگیران و استخراج گاز شیرین و ترش و لوله‌کشی به نواحی مصرف، و بهره‌برداری از راه‌آهن مشهد–سرخس–تجن و ترانزیت جاده‌ای (یکصدوچهل هزار تریلی در سال) توسعه و رونق یافته و بر آبادانی و جمعیت سرخس افزوده شده‌است و همچنین به واسطهٔ همسایگی با جمهوری ترکمنستان، دارای اهمیت نظامی و راهبردی است.
فضل بن سهل سرخسی
لقمان سرخسی
((کریم علیمیرزایی)) معروف به ملاکریم شاعر محلی
مهم‌ترین صنایع موجود در این شهرستان، صنایع مربوط به استخراج، پالایش و ذخیره‌سازی منابع گازی و نفتی و گوگرد خانگیران است که غنی می‌باشد. معدن زغال سنگ آق دربند که پس از ریزش آن وکشته وزخمی شدن چندکارگر هم‌اکنون غیرفعال می‌باشد.
معادن شن موجوددرمنطقه قوش عظیم نیز درحال فعالیت می‌باشد.
فرآورده‌های آن شامل: غلات، علوفه، صادرات کاکتوس، سبزی، پنبه، خربزه و صیفی است.
دامپروری گوسفند قره‌گل در این منطقه مرسوم بوده که با ورود دام‌های غیر بومی، این صنعت و نژاد گوسفند قره‌گل رو به احیا است.
زیستگاه جانوری:
در سرخس و در سال‌های نه چندان دور؛ گله‌های عظیم گورخر ایرانی در دسته‌های صد تا دویست راسی در محدودهٔ گنبدلی و چکودر و تا سال‌های ابتدایی دههٔ هشتاد خورشیدی به چشم می‌خورد که از این نظر در خاورمیانه بی‌نظیر بوده و متأسفانه در طی دو دههٔ اخیر، علی‌رغم تلاش محیط بانان غیور شهرستان باتوجه به شکار بی‌رویه، و خشکسالی‌های اخیر، و اشغال مراتع توسط دامداران، اینگونه روبه انقرلض گذاشت.
همچنین در این شهرستان حیواناتی نظیر گرگ، روباه، شغال، مار و کبک، آهو، قرقاول، هدهد نیز دیده شده‌است.
خوشبختانه پلنگ نیز جزو حیوانات است که تا کنون منقرض نشده! و در مراتع شهرستان مشاهده شده.
مراکز آموزش عالی
دانشگاه پیام نور در رشته‌های شیمی و ریاضی و حسابداری و دانشگاه علمی کاربردی با رشته‌های روابط عمومی و کامپیوتر و بهره‌برداری پالایش گاز و دانشگاه آزاد اسلامی با رشته‌های حسابداری و الکتروتکنیک در کاردانی و کارشناسی دانشجو می‌پذیرند.
بان کی‌مون (۱۳ ژوئن ۱۹۴۴) دیپلمات اهل کره جنوبی است، او هشتمین دبیرکل سازمان ملل متحد بودکه از ژانویه ۲۰۰۷ تا دسامبر ۲۰۱۶ این مسئولیت را بر عهده داشت.
اگر چه نام وی در لاتین به صورت 'Ban Ki-Moon' نوشته شده‌است روش درست تلفظ نام کوچک وی، «گی مون» است.Daily Press Briefing By The Office Of The Spokesperson For The Secretary-General وی متولد ۱۳ ژوئن ۱۹۴۴ در کره جنوبی است و تحصیلات خود را تا مقطع کارشناسی ارشد در رشته امور اداری در دانشگاه هاروارد به پایان برده‌است. بان کی‌مون با همسرش در دوره دبیرستان آشنا شده‌است. حاصل ازدواج آنان یک پسر، دو دختر و سه نوه است.http://www.un.org/sg/biography.shtml او در زمان جنگ کره پناهجو بوده‌است.
در ۱۳ اکتبر ۲۰۰۶، بان کی‌مون به عنوان هشتمین دبیرکل سازمان ملل متحد توسط مجمع عمومی سازمان ملل انتخاب شد. کی‌مون در ۱ ژانویه ۲۰۰۷ جانشین کوفی عنان شد. او به عنوان دبیرکل، مسئول چندین اصلاحات اساسی در زمینه حفظ صلح و شیوه‌های استخدام سازمان ملل در سراسر جهان بود. از نظر دیپلماتیک، بان کی‌مون دیدگاه‌های شدیدی در مورد دگرگونی اقلیم داشت و بارها این موضوع را با جورج دابلیو بوش، رئیس‌جمهور ایالات متحده، و در مورد درگیری دارفور تحت فشار قرار داد تا جایی که او به عمر البشیر رئیس‌جمهور سودان را متقاعد کرد تا برای کمک به نیروهای حافظ صلح اجازه ورود به سودان را بدهد.
بان کی‌مون در سال ۲۰۱۳ توسط مجله فوربز در فهرست قدرتمندترین افراد جهان قرار گرفت و به عنوان سی و دومین فرد قدرتمند جهان انتخاب شد، که بالاترین رتبه در میان کره جنوبی است. او در سال ۲۰۱۴ پس از لی کون هی و لی جائه یونگ به عنوان سومین فرد قدرتمند کره جنوبی انتخاب شد. در سال ۲۰۱۶، فارین پالیسی، بان را یکی از ۱۰۰ متفکر برتر جهان به دلیل دستاوردهای وی در کمک به تصویب و اجرای توافقنامه پاریس در کمتر از یک سال پس از تصویب آن معرفی کرد.
به گفتهٔ وی بدون توسعه و بدون تأمین رفاه هماهنگ نمی‌توان انتظار صلح، امنیت و رعایت حقوق بشر داشت.
نوسان‌ساز یا اُسیلاتور ، یک مدار الکتریکی است که سیگنال تکرارشونده (نوسانی) تولید می‌کند، اغلب یک موج سینوسی یا مربعی.
نوسان‌سازها گوناگون هستند، اگرچه اصول عملکردشان کم‌وبیش یک‌سان است. در دستگاه‌های الکترونیکی، از آن‌ها، گسترده استفاده می‌شود، و بدون آنها عمل‌کرد دستگاه‌ها ناممکن است. نمونه‌هایی از کاربرد نوسان‌سازها عبارتند از تولید موج حامل در فرستنده‌های رادیویی، تولید سیگنال ساعت در سیستم‌های دیجیتالی مانند رایانه‌ها، یا چراغ راهنمای چشمک‌زن در اتومبیل‌.
نوسان‌سازها را می‌توان از نظر فرکانس خروجی‌شان دسته‌بندی کرد، اگر چه این دسته‌بندی چندان جامع و دقیق نیست؛
نوسان‌ساز را نباید با مولد برق یکی دانست، اگرچه هر دو، موج سینوسی تولید می‌کنند، اما اصول عملکرد و کاربردهای آنها کاملاً متفاوت است.
نوسان‌ساز هارمونیک، یا "خطی"، موج سینوسی تولید می‌کند، و دو نوع دارد.
رایج‌ترین نوسان‌ساز خطی، از یک تقویت‌کننده مانند یک ترانزیستور یا آپ‌اَمپ که در یک حلقه فیدبک قرار گرفته تشکیل شده، به گونه‌ای که خروجی تقویت‌کننده، از طریق یک فیلتر مناسب فرکانس نوسان، برای تولید فیدبک مثبت به ورودی‌اش بازگشت داده‌می‌شود. هر بار که تقویت‌کننده روشن می‌شود (وقتی ولتاژ منبع به آن اِعمال می‌شود و جریان برای اولین بار در مدار به گردش درمی‌آید)، آشفتگی اولیهٔ (گذرا) ناشی از اِعمال ولتاژ به مدار، سیگنال ضعیفی را پدید می‌آورد، و نوسان‌سازی آغاز می‌شود؛ سیگنال در حلقه می‌چرخد، تقویت و فیلتر می‌شود، و به سرعت به یک موج سینوسی پایدار با فرکانسی مشخص تبدیل می‌شود.
مدارهای نوسان‌ساز فیدبک دار می‌توانند از نظر فیلتر انتخاب‌کننده فرکانس که در حلقه فیدبک استفاده می‌کنند، طبقه‌بندی شوند؛
علاوه بر نوسان‌سازهای بازخوردی که از تقویت‌کننده ترانزیستوری یا آپ‌اَمپی استفاده می‌کنند، نوسان‌سازهای خطی می‌توانند با استفاده از قطعاتی با مقاومت منفی، مانند لامپ مگنترون ،دیود تونلی و دیود گان ساخته شوند. نوسان‌سازهای مقاومت منفی اغلب در فرکانس‌های زیاد، در محدوده ریزموج، استفاده می‌شوند، چون نوسان‌سازهای بازخوردی در این فرکانس‌ها عملکرد ضعیفی دارند. در نوسان‌سازهای مقاومت منفی، مدار تشدید، مانند مدار LC یا کریستال، به قطعهٔ دارای مقاومت منفی وصل‌شده و ولتاژ بایاس برای فراهم‌شدن انرژی اعمال می‌شود. مدار تشدید، خود، تقریباً یک نوسان‌ساز است، و زمانی که برانگیخته می‌شود، انرژی را به‌صورت نوسان الکتریکی ذخیره می‌کند، اما چون مقاومت اندکی هم دارد (یا سایر اتلاف‌ها در مدار)، نوسان آن میرا می‌شود. مقاومت منفی، این اتلاف انرژی در تشدیدگر را جبران می‌کند.
نمونه‌هایی از مدارهای نوسان‌ساز خطی عبارتند از؛
نوسان‌ساز غیرخطی، واهُلِشی یا رِیلَکسِیشِن (که به اشتباه، رلاکسیون گفته می‌شود)، موج مربعی، دندانه‌اره‌ای یا مثلثی می‌سازد .این نوسان‌ساز شامل یک ذخیره‌کننده انرژی (خازن، یا به‌ندرت، القاگر) و یک سوییچ‌ غیرخطی (اشمیت‌تریگر، یا مقاومت منفی) است. سوییچ‌ غیرخطی، ذخیره‌کنندهٔ انرژی را متناوب شارژ و دشارژ می‌کند و باعث تغییر ناگهانی در شکل موج خروجی می‌شود.
نوسان‌ساز واهُلِشی، در دستگاه‌های ساده و ارزان، برای تولید سیگنال ساعت (کلاک) تایمرها و شُمارنده‌ها استفاده می‌شود، اگرچه نوسان‌سازهای کریستالی اغلب به دلیل پایداری بیشتر، ترجیح داده‌می‌شوند. نوسان‌سازهای موج مثلثی یا دندانه‌اره‌ای در مدارهای مولد مبنای زمان در اسیلوسکوپ‌های آنالوگ و تلویزیون نیز استفاده می‌شدند. مدار چراغ راهنمای چشمک‌زن اتومبیل‌ها نیز از این نوسان‌ساز استفاده می‌کند.
چای ساز وسیله ای برقی جهت آماده کردن و گرم نگه داشتن چای است.
این دستگاه یک وسیله با تکنولوژی پایین می‌باشد که از دو بخش تشکیل شده‌است. کتری و قوری. آب داخل کتری توسط یک المنت داخلی گرم و با وصل کردن کلید گرم شده و بعد از مدتی شروع به جوشیدن می‌کند. یک مدار کنترلی هنگام جوشیدن آب، برق المنت را قطع می‌کند. قوری نیز روی یک صفحه قرار می‌گیرد که گرمکن صفحه با وصل کردن کلیدی روشن شده و صفحه را گرم می‌کند. به این ترتیب قوری و چای آماده شده در داخل آن گرم نگه داشته می‌شود. همچنین در داخل قوری یک محفظه وجود دارد که چای را داخل آن ریخته و از پخش شدن چای در داخل قوری جلوگیری می‌کند.
چایسازها به‌طور کلی به ۴ دسته سرهمی، کنارهمی، قهوه‌سازی و چایسازاسپرسویی تقسیم می‌شوند. در مدل اسپرسویی غیر از مخزن آب سرد، یک مخزن جوش‌آوری (بویلر) استیل نیز درون دستگاه وجود دارد.
.qa دامنه اینترنتی کشور قطر است.
ویکی‌پدیای انگلیسی، نسخهٔ ۷ ژانویه ۲۰۰۷
.uz دامنه اینترنتی کشور ازبکستان است.
Wikipedia contributors, ".uz," Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=.uz&oldid=183623417 (accessed January 30, 2008).
دانشگاه متروپولیتن لندن که معمولاً با نام لندن مِت شناخته می‌شود، یک دانشگاه تحقیقاتی دولتی در لندن، انگلستان است. این دانشگاه از ادغام دانشگاه شمال لندن و دانشگاه گیلدهال لندن در سال ۲۰۰۲ تأسیس شد. ریشه‌های این دانشگاه به سال ۱۸۴۸ باز می‌گردد.
دانشگاه متروپلیتن در اوت ۲۰۰۲ از ادغام دو دانشگاه قدیمی لندن به نام‌های گیلدهال و دانشگاه شمال لندن تشکیل شد.
حساب گزاره‌ها یا حساب گزاره‌ای (به انگلیسی: Propositional calculus) سامانه‌ای است صوری (Formal) که به نمایش مواد و اصول منطق گزاره‌ای می‌پردازد. گزاره‌ها و ترکیب آن با ادوات منطقی شکل می‌گیرد. گزاره‌های مورد توجه منطق گزاره‌ها فقط گزاره‌های خبری‌ست. در منطق کلاسیک یا "منطق دو ارزشی"، گزاره‌ها دارای دو ارزش درست یا نادرست هستند.
تذکر: بعضی منطق‌دان‌ها منطق گزاره‌ها را منطق جمله‌ها خواندند، ولی، به نظر می‌رسد با توجه به تفاوت زبانی "گزاره" و "جمله" و اینکه گزاره، فقط به جملهٔ خبری گفته می‌شود، عبارت "منطق گزاره‌ها" صحیح‌تر است.
با وجود اینکه منطق گزاره‌ای (یا معادلاً "حساب گزاره‌ای") توسط فلاسفهٔ ماقبل مورد اشاره قرار گرفته بود، توسط رواقیون به یک منطق سوری توسعه یافت و خریسپیوس آن را گسترش داد. این منطق متمرکز بر گزاره‌ها بود. این پیشرفت با منطق قیاسی سنتی که مبتنی بر روابط است متفاوت بود. با این وجود با گذر زمان منطق گزاره‌ای توسعه یافته توسط رواقیون دیگر مورد فهم نبود و در نتیجه این سیستم توسط پیتر آبلارد بازآفرینی شد.
منطق گزاره‌ای در نهایت توسط منطق نمادین اصلاح شد. گوتفرید لایبنیتس به خاطر کارهایش در حساب دیفرانسیل و انتگرال استدلالی به عنوان بنیان‌گذار منطق نمادین شناخته می‌شود. با وجود این که آثار او اولین در نوع خود به حساب می‌آمد اما برای جامعهٔ علمی ناشناخته بود. در نتیجه بسیاری از پیشرفت‌های حاصله به لایبنیتس به‌طور کاملاً مستقل از او توسط منطق‌گرایانی مانند جرج بول و آگوستوس دمورگان دوباره به‌دست آمد.
درست همان‌گونه که منطق گزاره‌ای به نوعی یک پیشرفت در مقایسه با دستگاه قدیمی‌تر منطق قیاسی است، منطق محمولاتی ابداع شده توسط گوتلاب فرگ هم پیشرفتی در مقایسه با منطق گزاره‌ای به حساب می‌آید. منطق محمولاتی به عنوان "تلفیقی از ویژگی‌های شاخص منطق قیاسی و منطق گزاره‌ای" توصیف شده‌است، در نتیجهٔ آغازگر دورانی تازه در تاریخ منطق است. با این وجود پیشرفت‌های جدید در منطق گزاره‌ای بعد از فرگ هم انجام گرفته‌است از جمله کسر طبیعی، درخت‌های درستی و جدول ارزش. کسر طبیعی توسط گرهارد گنتزن و جان لوکاسویچ ابداع شده‌است اما در مورد منشأ اختراع جدول درستی بحث و اختلاف نظر وجود دارد.
ایده‌های پشت جدول ارزش در نوشته‌های هر دو فرگ و برتراند راسل یافت شده‌اند، با این حال ساختار جدولی (یعنی قرار دادن مقادیر درستی در جدول‌ها) عمدتاً به لودویگ ویتگنشتاین، امیل لئون پست یا هر دو نسبت داده می‌شود (مستقل از یکدیگر). جدا از فرگ و راسل، دیگرانی که به داشتن نظریاتی ماقبل جدول‌های درستی شناخته می‌شوند، عبارتند از: فیلو، بول، چارلز سندرز پرس و ارنست شرودر. همچنین علاوه بر پست و ویتگنشتاین ساختار جدولی را منتسب به افرادی چون لوکاسویچ، شرودر، آلفرد نورث وایت‌هد ،ویلیام استنلی جوونز، جان ون و کلارنس اروینگ لوویس می‌دانند. در نهایت بعضی چون جان شاشکی این‌گونه نتیجه‌گیری می‌کنند که «بدیهی است که هرکسی می‌تواند مخترع جدول ارزش شناخته شود».
به‌طور کلی، یک حساب دستگاه صوری است که از مجموعه‌ای از عبارات نحوی، یک زیرمجموعهٔ مشخص از این عبارات (اصول) به علاوهٔ مجموعه‌ای از قواعد صوری تشکیل شده که یک رابطهٔ زوج مرتبی خاص را، به قصد آن که به عنوان یک هم نهشتی منطقی دریافت شود، روی فضای عبارات تعریف می‌کند.
هنگامی که قرار است دستگاه صوری یک نظام منطقی باشد، عبارات باید به صورت احکام برداشت شوند، قواعد شناخته شده به عنوان قوانین استنتاج معمولاً درستی نگهدار هستند. در این ساختار قوانین (که ممکن است شامل اصول شوند) می‌توانند برای به‌دست آوردن (استنتاج) فرمول‌هایی که بیانگر احکام درست هستند از فرمول‌های داده شده بر اساس احکام درست مورد استفاده قرار گیرند.
مجموعهٔ اصول ممکن است تهی، یک مجموعه متناهی ناتهی، یک مجموعهٔ شمارای نامتناهی یا طرح‌واره‌ای از اصول باشد. صرف و نحو صوری به‌طور بازگشتی عبارات و فرمول‌های خوش‌فرم زبان را توصیف می‌کند. به علاوه ممکن است یک معناشناسی داده شود که درستی و ارزش‌گذاری را تعیین کند (همان تفسیرها).
زبان یک منطق گزاره‌ای تشکیل شده از موارد زیر است:
۱- مجموعه‌ای از نمادهای ابتدایی که با الفاظ مختلف از جمله فرمول‌های اتمی، جانگهدارها، ورتنده‌های گزاره‌ای یا متغیر شناخته می‌شوند.
۲- مجموعه‌ای از عملگرها که با نام‌هایی مانند رابط‌های منطقی یا عملگرهای منطقی شناخته می‌شوند.
یک فرمول خوش‌ساخت می‌تواند یک فرمول اتمی یا هر فرمول دیگری که می‌تواند بر اساس فرمول‌های اتمی و با استفاده از عملگرها در حوزهٔ قوانین نحوی ساخته شود باشد.
ریاضی‌دانان گاهی اوقات میان ورتنده‌های گزاره‌ای، متغیرهای گزاره‌ای و طرح‌واره تمایز قایل می‌شوند. ورتنده‌های گزاره‌ای یک گزارهٔ خاص را نمایش می‌دهند در حالی که متغیرهای گزاره‌ای تمام مجموعه فرمول‌های اتمی را فرا می‌گیرند. رایج است که ورتنده‌های گزاره‌ای را با formula_1، formula_2 و formula_3 و متغیرهای گزاره‌ای را با formula_4، formula_5 و formula_6 نشان دهند. برای طرح‌واره هم معمولاً از حروف الفبای یونانی formula_7، formula_8، formula_9 استفاده می‌شود.
شرح ذیل حدود یک حساب گزاره‌ای استاندارد را مشخص می‌کند. فرموله سازی‌های بسیاری وجود دارند که همه تقریباً در اصل یکسانند اما دارای تفاوت‌هایی در جزییات زیر هستند:
۱- زبان، که در واقع مجموعهٔ خاصی از نمادهای ابتدایی و عملگر هاست.
۲- مجموعهٔ اصول یا فرمول‌های مشخص
۳- مجموعه قواعد استنتاج
می‌توانیم هر گزاره داده شده را با یک حرف که آن را یک ثابت گزاره‌ای می‌نامیم نمایش دهیم که این کار متناظر با نمایش دادن اعداد با حروف الفبا در ریاضیات است برای مثال formula_10. لازم است که تمام گزاره‌ها دقیقاً یکی از دو ارزش ممکن یعنی صحیح یا غلط را داشته باشند. برای مثال formula_11 را گزاره‌ای در نظر بگیرید که " بیرون باران می‌بارد ". این گزاره اگر باران ببارد صحیح و در غیر این صورت غلط خواهد بود.
با شروع از نقیض عملگرهای درستی را تعریف می‌کنیم. برای نمایش نقیض formula_5 از formula_13 استفاده می‌کنیم، که می‌تواند تکذیب گزاره formula_5 تلقی شود. در مثال فوق formula_13 بیان می‌کند که «الان بیرون باران نمی‌بارد». زمانی که formula_5 درست باشد، formula_13 غلط است و زمانی که formula_13 درست باشد،formula_5 غلط خواهد بود. formula_20 همواره همان مقدار درستی formula_5 را دارد.
یک تابع درستی است که از دو گزاره ساده‌تر مثلاً formula_5 و formula_4 ، یک گزاره مرکب می‌سازد. ترکیب عطفی formula_5 و formula_4 به صورت formula_26 نوشته می‌شود و بصورت " formula_5 و formula_4 " آن را می‌خوانیم. برای هر دو گزاره‌ای چهار وضعیتِ ممکن از مقادیر درستی وجود دارد:
1- formula_5 درست و formula_4 درست باشد
2- formula_5 درست و formula_4 غلط باشد
3- formula_5 غلط و formula_4 درست باشد
4- formula_5 غلط و formula_4 غلط باشد
ترکیب عطفی formula_5 و formula_4 در مورد یک درست و در سایر موارد غلط است. هنگامی که formula_5 گزاره‌ای باشد که «بیرون باران می‌بارد» و formula_4 گزاره‌ای باشد که «یک جبههٔ هوای سرد در اطراف کانزاس است»، formula_26 تنها زمانی درست است که:
بیرون باران ببارد و یک جبههٔ هوای سرد در اطراف کانزاس باشد.
اگر بیرون باران ببارد و جبههٔ هوای سرد در کانزاس نباشد formula_26 غلط خواهد بود.
اگر بیرون باران نبارد و جبههٔ هوای سرد در کانزاس باشد formula_26 غلط خواهد بود.
اگر بیرون باران نبارد و جبههٔ هوای سرد در کانزاس نباشد formula_26 غلط خواهد بود.
ترکیب فصلی از آن جهت که یک گزاره مرکب از دو گزاره ساده‌تر تولید می‌کند مشابه ترکیب عطفی است. ترکیب فصلی را به formula_45 نمایش می‌دهیم که "formula_5 یا formula_4" خوانده می‌شود.
این گزاره بیان می‌کند که یا formula_5 یا formula_4 یا هردو درست هستند؛ بنابراین در مثال‌های بالا ترکیب فصلی formula_5 و formula_4 در تمام موارد غیر از مورد چهارم درست است. طبق مثال قبلی ترکیب فصلی بیان می‌کند که یا باران می‌بارد یا یک جبهه هوای سرد بر فراز کانزاس است.
توجه شود که ترکیب فصلی باید به نوعی استفاده از واژه "یاً را شبیه‌سازی کند اما بیشتر شبیه "یا عمومی" است، که برای نشان دادن صحیح بودن حداقل یکی از دو گزاره استفاده می‌شود. پس ترکیب فصلی با "یا انحصاری" در زبان انگلیسی که نشان دهنده درست بودن دقیقاً یکی از دو گزاره است تفاوت دارد. به عبارت دیگر "یا انحصاری" زمانی که هر دو گزاره formula_5 و formula_4 درست باشند غلط خواهد بود (مانند مورد اول). مثالی از یا انحصاری به شکل زیر خواهد بود: "شما می‌تواند پاستا یا سالاد بخورید، نه هر دو را". معمولاً در گفتگوهای عادی زبانی عبارت "ولی نه هر دو" حذف می‌شود اما به‌طور ضمنی مورد نظر است. در ریاضیات همیشه منظور از یا همان "یا عمومی است"، در صورتی که "یا انحصاری مورد نظر باشد به‌طور صریح، احتمالاً با استفاده از "xor" مشخص می‌شود
ترکیب شرطی نیز دو گزاره ساده‌تر را با هم ترکیب می‌کند و آن را با formula_54 نمایش می‌دهیم که خوانده می‌شود "اگر formula_5 آنگاه formula_4". گزاره سمت چپ "شرط مقدم" و گزاره سمت راست "شرط موخر" خوانده می‌شود (از آنجا که ترکیب فصلی و عطفی شرکت پذیر هستند چنین مشخصه‌ای برای آن‌ها تعریف نمی‌شود).
منطق گزاره‌ای نسبت به عملگرهای درستی نگهدار بسته است. یعنی برای هر گزاره formula_7, formula_58 هم یک گزاره است. برای مثال برای هر دو گزاره formula_7 formula_60, formula_61 هم یک گزاره است که به‌طور مشابه برای ترکیب فصلی، ترکیب شرطی و ترکیب دو شرطی هم برقرار است. این بیان می‌کند که از آنجا که formula_26 یک گزاره است می‌تواند با گزاره‌ای دیگر عطف شود. برای نمایش دادن این رابطه باید با استفاده از پرانتزها مشخص کنیم که کدام گزاره‌ها با هم عطف می‌شوند. برای نمونه formula_63 یک رابطه خوش ساخت نیست زیرا نمی‌دانیم که داریم formula_26 با formula_6 عطف می‌کنیم یا formula_5 با formula_67. بنابراین یا باید بنویسیم formula_68 تا اولی را نمایش دهیم با باید بنویسیم formula_69 تا نشان دهیم که شکل دوم مد نظر بوده‌است. با ارزیابی شرایط درستی در می‌یابیم که هر دو عبارت شرایط درستی یکسانی دارند و به‌طور جامع تر هر گزاره‌ای که با چینش دلخواهی از ترکیب ای عطفی ساخته شود، صرف نطر از جایگاه پرانتزها مقادیر درستی ثابتی خواهد داشت. این به خاطر آن است که ترکیب عطفی خاصیت پخشی دارد اما این موضوع نباید باعث شود وجود پرانتزها را بی‌دلیل بدانیم. به عنوان نمونه مقادیر درستی عبارت formula_70 با عبارت formula_71 یکسان نیست، بنابراین این‌ها عبارت‌های متفاوتی هستند که با توجه به قرارگیری پرانتزها از هم متمایز می‌شوند. خواننده می‌تواند این موضوع را با استفاده از جدول درستی تحقیق کند.
نکته: برای هر تعداد دلخواه از ورتنده‌های گزاره‌ای می‌توانیم مجموعه متناهی از حالت‌های ممکن برای مقادیر درستی آن‌ها را ارائه دهیم. یک راه ساده برای تولید این لیست استفاده از جداول درستی است. برای هر مجموعه formula_72 تایی از ورتنده‌های گزاره‌ای از حروف formula_5, formula_4, …, formula_75 استفاده می‌کنیم. در زیر این لیست formula_76 ردیف خالی می‌گذاریم. زیر formula_5 نیمهٔ اول ردیف‌ها را با «درست» (T) و نیمهٔ دوم را با «غلط» (F) پر می‌کنیم. زیر formula_4 یک چهارم را با T، یک چهارم بعدی را با F، یک چهارم سوم را با T و در نهایت یک چهارم آخر را با F پر می‌کنیم. ستون بعدی برای هر یک هشتم ردیف‌ها، ستون بعد تر برای هر یک شانزدهم و در نهایت ستون آخر برای هر ردیف بین مقادیر T و F نوسان می‌کند. این فرایند یک لیست کامل از نگاشت‌های درستی ممکن برای گزاره‌های اولیه را ارائه می‌دهد.
حساب گزاره‌ای می‌تواند یک استدلال را به عنوان مجموعه‌ای از گزاره‌ها تعریف کند. یک استدلال معتبر مجموعه‌ای از گزاره هاست که آخرین آن‌ها بر اساس بقیه نتیجه می‌شود. هر گزاره‌ای که در تعریف فوق صدق نکند مردود شناخته می‌شود. ساده‌ترین استدلال معتبر وضع مقدم است، که نمونه‌ای از آن در ذیل آمده‌است:
این مجموعه‌ای از سه گزاره است که گزاره سوم از دو گزاره قبلی نتیجه می‌شود. به دو گزاره اول «فرض» و به گزاره سوم «نتیجه» می‌گوییم. می‌گوییم گزاره دلخواه formula_3 از مجموعه گزاره‌های formula_81 نتیجه می‌شود اگر زمانی که تمام گزاره‌های formula_81 درست باشند formula_3 هم درست باشد. در استدلال بالا برای هر formula_5 و formula_4 هنگامی که formula_54 و formula_5 درست باشند، لزوماً formula_4 هم درست خواهد بود. توجه شود که زمانی که formula_5 درست باشد حالت‌های ۳و۴ از جدول درستی را نمی‌توانیم در نظر بگیریم. هنگامی که formula_54 درست باشد هم حالت دوم را نمی‌توانیم در نظر بگیریم پس تنها حالت ۱ باقی می‌ماند که هم formula_5 و هم formula_4 درست هستند؛ بنابراین formula_4 بر اساس فرض‌ها نتیجه می‌شود.
بقیه شکل‌های استدلال علی رغم سادگی لزوماً مورد نیاز نیستند. در کنار مجموعهٔ کاملی از اصول وضع مقدم برای اثبات تمام استدلال‌های دیگر در حساب گزاره‌ای کافی است. توجه شود که این وضع د
ویژگی برجسته استدلال در حساب گزاره‌ای آن است که می‌توان بر اساس استدلال‌های ثابت شده، استدلال‌های درست جدید به دست آورد. در اولین مثال بالا، با دو فرض داده شده نمی‌توان در مورد درستی formula_4 اظهار نظری کرد اما بعد از استدلال درستی formula_4 نتیجه‌گیری می‌شود؛ بنابراین یک نظام قیاسی را به صورت مجموعهٔ تمام گزاره‌هایی که می‌توانند از هم نتیجه‌گیری شوند تعریف می‌کنیم. برای نمونه بر پایه مجموعه گزاره‌های formula_97، می‌توانیم سامانه قیاسی formula_98 را که جامع تمام گزاره‌های نتیجه شونده از formula_2 است تعریف کنیم. تصریح همواره مفروض است بنابراین formula_100 . همچنین بر اساس عضو اول و آخر formula_2 و نیز وضع مقدم، formula_6 نتیجه می‌شود پس formula_103. از آنجا که هنوز اصول به حد کافی غامض را معرفی نکرده‌ایم نمی‌توانیم نتیجه‌گیری دیگری داشته باشیم؛ بنابراین با وجود اینکه عمده سیستم‌های استنتاجی مورد مطالعه در حساب گزاره‌ای قادر به نتیجه‌گیری formula_104 هستند، این سیستم ضعیف تر از آن است که بتواند چنین گزاره‌ای را ثابت کند.
یک حساب گزاره‌ای یک سیستم صوری formula_105 است به‌طوری‌که:
مجموعهٔ "آلفا" formula_106 یک مجموعهٔ متناهی از اعضا موسوم به "نمادهای گزاره‌ای" یا "متغیرهای گزاره‌ای" است. از نظر نحوی این‌ها ساده‌ترین عناصر سازنده زبان نحوی formula_107 یا همان " فرمول‌های اتمی" هستند. در مثال‌های پیش رو اعضای formula_106 را عمدتاً با حروف formula_109, formula_110, formula_111 و … نشان می‌دهیم.
مجموعهٔ "امگا" formula_112 یک زیرمجموعهٔ متناهی از اعضا موسوم به " عملگرها یا رابط‌های منطقی است. مجموعهٔ formula_112 به شکل زیر به زیرمجموعه‌های مستقل افراز مجموعه می‌شود:
در این افراز، formula_115 مجموعهٔ عملگرها از Arity
formula_116 است.
در حساب شناخته شده تر گزاره‌ای، formula_112 را معمولاً به شکل زیر افراز می‌کنیم:
مرسوم است که مقادیر ثابت درستی را عملگرهایی از مرتبه صفر در نظر می‌گیریم، بنابراین:
بعضی مؤلفان از نماد تیلدا(~)، به جای ¬ و بعضی دیگر از آمرسان (&) یا پیشوند K با جای ∧ استفاده می‌کنند. نمادگزاری برای مجموعهٔ مقادیر منطقی حتی متنوع تر است، به گونه‌ای که نمادهای {false, true}, {F, T}, or formula_121 در متون مختلف به جای {۰, ۱} استفاده می‌شوند.
مجموعهٔ «زتا» formula_122 یک مجموعهٔ متناهی از قواعد ترادیسی است که در کاربردهای منطقی اصطلاحاً قوانین استنتاج خوانده می‌شوند.
مجموعه «یوتا» formula_123 یک مجموعهٔ متناهی از نقاط اولیه است که وقتی قرار است به‌طور منطقی مفهوم شوند اصل موضوعی خوانده می‌شوند.
زبان formula_107، که با مجموعهٔ روابط خوش ساختش شناخته می‌شود، به‌طور استقرایی بر اساس قوانین زیر تعریف می‌شود:
۱- بر اساس قانون ۱، formula_109 یک رابطه است.
۲- بر اساس قانون ۲، formula_126 یک رابطه است.
۳- بر اساس قانون ۱، formula_110 یک رابطه است.
۴- بر اساس قانون ۲، formula_128 یک رابطه است.
فرض کنیم formula_129، به‌طوری‌که formula_106, formula_112, formula_122, formula_123 به صورت زیر تعریف شده‌اند:
فرض کنیم formula_156، به‌طوری‌که formula_106, formula_112, formula_122, formula_123 به صورت ذیل الذکر تعریف شده‌اند:
در این مثال از حساب گزاره‌ای، هدف این است که قوانین استنتاج، برگرفته از قوانین استنتاج دستگاه موسوم به دستگاه نتیجه‌گیری طبیعی باشند. دستگاهی که در اینجا ارائه می‌شود فاقد هرگونه نقطه ابتدایی است. یعنی در تفسیر این دستگاه از عملیات منطقی، قضایا را از مجموعه‌ای تهی به عنوان اصول موضوعی استنتاج می‌شوند.
دستگاه گزاره‌ای ما دارای ده قانون نتیجه‌گیری است. این قوانین به ما اجازه می‌دهند تا از مجموعه‌ای از فرمول‌ها که به صورت پیش‌فرض درست تلقی شده‌اند، فرمول‌های صحیح دیگری را نتیجه بگیریم. نه قانون اول صرفاً بیان می‌کنند که چگونه می‌توان بعضی فرمول‌های خوش ساخت را از برخی دیگر نتیجه گرفت. اما آخرین قانون از استدلالی مبتنی بر فرض استفاده می‌کند، به این معنا که در پیش‌فرض این قانون، موقتاً فرض می‌کنیم که فرضیه‌ای اثبات نشده بخشی از فرمول‌های استنتاج شده ما باشد، تا امکان نتیجه گرفتن یک فرمول خاص دیگر را بررسی نماییم. از آنجا که نه قانون اول این کار را نمی‌کنند، آن‌ها را قوانین "غیر فرض محور" (به انگلیسی "non-hypothetical") می‌خوانند و قانون دهم را قانون "فرض محور" (به انگلیسی hypothetical) نامیده‌اند.
در توصیف قوانین استنتاج، ممکن است برای سادگی در زبان فراتر از گزاره‌ها (به انگلیسی metalanguage: سیستمی برای گزاره‌هایی راجع به گزاره‌ها) از نماد جدید formula_168 استفاده کنیم. این نماد، اختصاراً به معنی «نتیجه می‌دهد» می‌باشد و قالب استفاده از این نماد به صورت formula_169 است، که در آن formula_98 مجموعه‌ای (نه لزوماً ناتهی) از فرمولهاست که فرض (مقدم) نامیده می‌شوند، و formula_8 فرمولی است که نتیجه (یا مؤخر) نام دارد. قانون استنتاجی که formula_169 بیان می‌کند، به این معنی است که اگر تمام گزاره‌های عضو formula_98 قضیه باشند (یا مقدار درستی آن‌ها با اصول موضوعی یکسان باشد)، آنگاه formula_8 نیز یک قضیه خواهد بود. توجه نمایید که طبق تعریف عطف (به انگلیسی Conjunction introduction) خواهیم داشت که هرگاه formula_98 بیش از یک فرمول را شامل شود، می‌توان بی سادگی آن را به کمک عطف یا «و» منطقی آن‌ها را به یک گزاره مرکب کاهش داد. پس به این ترتیب می‌توان formula_98 را به جای یک مجموعه به صورت یک گزاره معرفی نماییم. مطلب دیگر آن که هرگاه formula_98 تهی باشد ممکن است آن را برای راحتی ننویسیم.
یکی از استفاده‌های اصلی حساب گزاره‌ای، هنگامی که آن را معادل عملیات منطقی تفسیر نماییم، تشخیص روابط هم‌ارزی منطقی بین روابط گزاره‌ای است. این روابط هم‌ارزی به کمک قوانین استنتاج موجود تشخیص داده می‌شوند که به دنباله‌های آن‌ها "اثبات" یا "استنتاج" گفته می‌شود.
در ادامه، یک اثبات به صورت دنباله‌ای از خطوط شماره دار ارائه می‌شود که هر خط آن تنها یک رابطه را دربردارد، و به همراه آن "دلیل" یا "توجیه" صحت این رابطه نیز آمده‌است. هر پیش‌فرض برای استدلال، یعنی چیزی که به عنوان فرض از قبل پذیرفته شده، در ابتدای دنباله فهرست شده و به عنوان یک «پیش فرض» در محل توجیه موردنظر علامت‌گذاری شده‌است. نتیجه، در سطر پایانی بیان شده‌است. یک اثبات هنگامی کامل است که هر سطر، پیرو خط‌های پیشین با به‌کارگیری درست قوانین استنتاج باشد. (به عنوان یک راهکار متفاوت از این دستگاه، می‌توان روش نمودار تحلیل (درخت درستی)، یا به انگلیسی proof-trees، را معرفی نمود)
رابطه formula_228 را به این صورت تفسیر کنید که "به فرض درستی formula_2، نتیجه می‌گیریم formula_2". همچنین، رابطه formula_231 را بخوانید «بدون هیچ فرضی نتیجه گرفتن formula_2، نشان می‌دهد formula_2"، یا "این یک راستگو (تاتولوژی) است که formula_2 نتیجه می‌دهد formula_2"، یا به عبارت دیگر "این همواره صحیح است که formula_2 نتیجه می‌دهد formula_2".
ویژگی بسیار مهم این مجموعه قوانین، "صحت" و "کامل بودن" آن است. به بیان شهودی، این بدان معنی است که قوانین درست هستند و به قوانین دیگری نیز نیاز نداریم. این ادعا را می‌توان همان‌طور که در ادامه خواهد آمد به صورت قاعده مند تری درآورد.
ما "نگاشت درستی" را به صورت تابعی تعریف می‌کنیم که متغیرهای گزاره‌ای را به یکی از مقادیر درست یا نادرست می‌نگارد، یا به عبارتی به هر گزاره یکی از مقادیر درست یا نادرست را نسبت می‌دهد. به‌طور شهودی، نگاشت درستی را می‌توان به صورت توصیف یک "حالت امور" یا "دنیای ممکن" تعبیر کرد، که در آن برخی جملات صحیح هستند و باقی نادرست هستند. پس مفهوم "معناشناسی روابط" را می‌توان این‌گونه به‌طور قاعده مند تعریف نمود که برای کدام «حالت امور» آن روابط درست تلقی می‌شوند، که تعریف زیر حاکی از همین موضوع است.
تعریف می‌کنیم که یک "نگاشت درستی" مانند formula_238، رابطه‌ای خوش ساخت (که قبل تر در همین متن تعریف شده‌است) را با قوانین زیر اقناع می‌کند:
با داشتن این تعاریف، اکنون می‌توانیم به‌طور قاعده مند تعریف نماییم، این که مجموعه‌ای چون formula_266 از روابط، دلیل بر رابطه formula_245 باشد به چه معناست. باز به‌طور شهودی این جمله هنگامی درست است که در تمام دنیاهایی که با توجه به درستی روابط formula_266 ممکن هستند، formula_245 نیز برقرار باشد. به عبارتی، در هر حالتی از امور که مجموعه روابط formula_266 در آن برقرار باشد، رابطه formula_245 نیز درست باشد. بر اساس این تعریف شهودی، به این تعریف قاعده مند خواهیم رسید: می‌گوییم مجموعه formula_266 از رابطه‌های خوش ساخت، "به لحاظ معنایی دلیل بر رابطه خوش ساخت formula_245 است"، هنگامی که هر نگاشت درستی که تمام رابطه‌های عضو formula_266 را اقناع می‌کند، formula_245 را نیز اقناع نماید.
در پایان، "دلالت بر اساس قواعد ترکیب" را این گونه تعریف می‌کنیم که formula_266 به لحاظ ترکیبی دلیل بر formula_245 است، هنگامی که بتوان formula_245 را بر اساس قوانین استنتاج (که قبل تر توضیح داده شد) در متناهی مرحله از روابط مجموعه formula_266 نتیجه گرفت؛ بنابراین می‌توانیم به‌طور دقیق صحت و کامل بودن را مطابق زیر تعریف نماییم:
برای مجموعه قوانین فوق، این دو شرط برقرار هستند.
آفساید فیلمی به کارگردانی جعفر پناهی و نویسندگی جعفر پناهی و شادمهر راستین است. این فیلم که ساخته سال ۲۰۰۶ است، پنجمین فیلم پناهی در مقام کارگردان به‌شمار می‌رود.
این فیلم در ایران نمایش عمومی داده نشد. همچنین جعفر پناهی به دلیل ساخت این فیلم ممنوع الکار شد.
داستان روایتگر شرح حال دخترانی است که حاضرند هر کاری انجام دهند تا بازی ایران-بحرین را برای ورود ایران به جام جهانی ببینند تا جای کسانی را که در بازی ایران-ژاپن جان خود را از دست داده‌اند خالی نباشد. آن‌ها هر کدام با لباسی مبدل سعی می‌کنند وارد ورزشگاه بشوند اما تعدادی از آن‌ها به دلیل ممنوعیت ورود زن‌ها به ورزشگاه‌ها دستگیر می‌شوند. سرانجام به دست سربازانی که آن‌ها را گرفته‌اند به کمیته منتقل می‌شوند اما در راه به علت برد ایران در بازی با بحرین خیابان‌ها شلوغ می‌شود و دخترها به این ترتیب فرار می‌کنند.
سیما مبارک‌شاهی، صفر سمندر، شایسته ایرانی، محسن تنابنده، محمد خیرآبادی، آیدا صادقی، مسعود خیمه‌کبود، گلناز فرمانی، محمدرضا قره‌باغی، مهناز ذبیحی، هادی سعیدی، نازنین صدیق‌زاده، مسعود غیاث‌وند، ملیکا شفاهی، علی برادری، علی روشن، رضا خیری، کریم خدابنده‌لو.
به همراه هشتاد هزار تماشاگر بازی ایران و بحرین. (همه دختران بازیگر در این فیلم فارغ التحصیلان تئاتر هستند)
این فیلم تحسین بسیاری از منتقدان را به دنبال داشت. سایت جمع‌آوری‌کنندهٔ نظرات راتن تومیتوس گزارش داد که ۹۷٪ منتقدین از ۷۶ بررسی موجود به این فیلم با نگاه مثبت نگریسته‌اند. متاکریتیک گزارش داده‌است که از میان ۲۵ بررسی انجام شده در مورد فیلم ۸۵٪ نظر مثبت داشته‌اند.
این فیلم در فهرست ۱۰ فیلم برتر تعدادی منتقد نیز حضور داشت:
اریک ژاک لوسالس با نام هنری اریک لوی نوازنده موسیقی راک فرانسوی ساکن لندن
اریک لوی در سال ۱۹۵۵ میلادی (۱۳۲۲ خورشیدی) در فرانسه به دنیا آمد. او اکنون در لندن زندگی می‌کند. او کار حرفه‌ای خود را در زمینهٔ موسیقی در سال ۱۹۷۷ در گروه راک شیکین‌استریت (shakin'street) در فرانسه آغاز کرد. سپس به نیویورک رفت و کارش را با ماریان فیتفول از سر گرفت.
نجات سرباز رایان نام فیلمی جنگی و حماسی محصول سال ۱۹۹۸ می‌باشد که به کارگردانی استیون اسپیلبرگ و نویسندگی رابرت رودات ساخته شده‌است. داستان این فیلم در طول نبرد نرماندی در جنگ جهانی دوم اتفاق می‌افتد. ۲۷ دقیقه آغازین فیلم که رسیدن نیروهای متفقین به فرانسه در ۶ ژوئن ۱۹۴۴ را نشان می‌دهد، بسیار مشهور است. تام هنکس در نقش کاپیتان جان میلر به همراه هفت سرباز دیگر مأموریت می‌گیرند تا سرباز جیمز فرانسیس رایان را پیدا کنند و به خانه برگردانند. او سه برادر داشته که همگی در جنگ کشته شده‌اند و به دستور فرمانده کل ارتش، رایان می‌تواند به پیش مادرش بازگردد.
داستان این فیلم در سال ۱۹۹۴ و زمانی در ذهن رودات شکل گرفت که داشت از بنای یادبود چهار برادر کشته شده در جنگ داخلی ایالات متحده آمریکا دیدن می‌کرد. رودات تصمیم گرفت تا داستانی شبیه به آن‌ها در جنگ جهانی دوم بنویسد. او فیلم‌نامه را نوشت و در اختیار مارک گوردون قرار داد. نهایتاً استیون اسپیلبرگ به عنوان کارگردان انتخاب شد.
"نجات سرباز رایان"، با استقبال خوبی از سوی تماشاگران و منتقدین روبه‌رو شد. این فیلم به صورت جهانی، ۴۸۱٫۸ میلیون دلار در گیشه فروش داشت که آن را به پرفروش‌ترین فیلم سال ۱۹۹۸ تبدیل کرد. این فیلم برنده ۵ جایزه اسکار شد. "نجات سرباز رایان" در سال ۱۹۹۹، وارد شبکه ویدئویی خانگی شد که ۴۴ میلیون دلار فروخت.
فیلم با نشان دادن سکانسی از حضور یک سرباز جنگ جهانی دوم به همراه خانواده‌اش، در گورستان کشته‌شدگان نبرد نرماندی، آغاز می‌شود. سپس صحنه به روز ۶ ژوئن ۱۹۴۴ (روز نبرد نرماندی) می‌رود. سربازان آمریکایی برای پیاده شدن در ساحل اوماها در نرماندی در فرانسه (که به دست آلمانی‌ها اشغال شده‌است) آماده می‌شوند. قایق‌ها به ساحل می‌رسند و سربازها بیرون می‌روند. در همان لحظات نخست ورود سربازان، آلمانی‌ها به روی آنان آتش باز می‌کنند و بسیاری از سربازان کشته می‌شوند. کاپیتان جان اچ. میلر (تام هنکس) به همراه چند تن از سربازان دیگر، سعی می‌کنند تا خطوط دفاعی ساحلی را بشکنند.
در سکانس بعدی، دفتر جرج مارشال، فرمانده کل ارتش ایالات متحده آمریکا، نشان داده می‌شود. به او خبر می‌دهند که سه تن از چهار برادر از خانواده رایان در جنگ کشته شده‌اند و مادر آن‌ها در یک روز، خبر مرگ آن‌ها را دریافت کرده‌است. آن‌ها متوجه می‌شوند که فرزند چهارم و کوچک‌تر، جیمز فرانسیس رایان، در جایی در نرماندی، گم شده‌است. او بعد از خواندن نامه بیکسبی که از طرف آبراهام لینکلن برای خانم بیکسبی نوشته شده بود، دستور می‌دهد تا سرباز رایان را هر چه زودتر پیدا کنند و او را به خانه بازگردانند.
در فرانسه، سه روز بعد از روز دی، میلر دستور می‌گیرد تا رایان را پیدا کنند. او تیمی شش نفره به علاوه یک سرباز که زبان آلمانی و فرانسه را به خوبی صحبت می‌کند، با خود همراه می‌کند و بدون هیچ اطلاعاتی به جستجوی رایان می‌رود. کاپارزو (وین دیزل)، یکی از مردان وی، با ورود به شهر توسط یک تک‌تیرانداز کشته می‌شود. جکسون با مهارت بالای خود تک‌تیرانداز را می‌کشد. آن‌ها یک سرباز به نام جیمز فردریک رایان از ایالت مینه‌سوتا پیدا می‌کنند، اما زود متوجه می‌شوند که اشتباه کرده‌اند. در راه، آن‌ها یکی از اعضای گروهی که رایان در آن بوده را پیدا می‌کنند و محل فرود رایان را می‌فهمند. آن‌ها به محل می‌روند و توسط یکی از دوستانش باخبر می‌شود که رایان به همراه چندتن دیگر از یک پل در شهر "رامل"، که از نظر استراتژیکی مهم است، دفاع می‌کند.
در راه شهر رامل، آن‌ها به عده‌ای آلمانی با تیربار برمی‌خورند و تصمیم می‌گیرند تا آن‌ها را از بین ببرند. آن‌ها موفق می‌شوند و یکی از سربازان آلمانی را نیز اسیر می‌کنند. هم‌چنین تیری به شکم "وید"، پزشک تیم، برخورد می‌کند و او جانش را از دست می‌دهد. سربازان تصمیم می‌گیرند تا سرباز آلمانی را معدوم کنند. فقط آپهام با این کار مخالف است. نهایتاً میلر تصمیم می‌گیرد تا سرباز آلمانی را چشم‌بسته رها کند تا نیروهای آمریکایی او را پیدا کنند. با آزاد کردن سرباز آلمانی، "ریبن" تصمیم می‌گیرد تا از تیم جدا شود و این باعث می‌شود با "هورواث"، درگیر شود. درگیری بالا می‌گیرد تا این که میلر به بحث پایان می‌دهد و هم‌چنین در مورد گذشتهٔ خود اطلاعاتی را فاش می‌کند. او می‌گوید که قبل از شروع جنگ یک معلم زبان انگلیسی بوده. بعد از این ریبن تصمیم می‌گیرد بماند.
آن‌ها به شهر رامل می‌رسند و رایان را پیدا می‌کنند. به او خبر می‌دهند که سه برادرش کشته شده‌اند، هم‌چنین در راه یافتن او، دو سرباز جان خود را از دست داده‌اند و این که او باید به خانه برگردد؛ ولی او مخالفت می‌کند و می‌گوید انصاف نیست که بقیه را تنها بگذارد. میلر تصمیم می‌گیرد به همراه تیمش در آن‌جا بماند و از پل در برابر آلمانی‌ها دفاع کند.
نیروهای آلمانی به همراه پنجاه سرباز مجهز به شهر می‌رسند. با وجود تلفات سنگین آلمانی‌ها، بیشتر آمریکایی‌ها از جمله جکسون، ملیش و هورواث کشته می‌شوند. زمانی که میلر می‌خواهد برای جلوگیری از عبور آلمان‌ها، پل را منفجر کند، تیر می‌خورد و مجروح می‌شود. قبل از این که تانک آلمانی‌ها به پل برسد، پی-۵۱ ماستنگ آمریکایی از راه می‌رسد و تانک و نیروهای باقی‌مانده را از بین می‌برد. آپهام که در جریان درگیری از گروه جدا شده‌است، اسیر آلمانی را که توسط میلر آزاد شده و دوباره به جنگ برگشته را می‌کشد. رایان، ریبن و آپهام تنها کسانی هستند که زنده مانده‌اند. رایان در آخرین لحظات زندگی میلر به پیش او می‌رود و میلر در آخرین جمله‌اش به رایان می‌گوید که: «جیمز، سزاوارش باش، لیاقتش [کاری را که برایت انجام شد] را داشته باش.»
دوباره زمان حال نشان داده می‌شود. پیرمردی که در گورستان سربازان کشته‌شده در نبرد نرماندی حضور دارد، همان سرباز رایان است. او بر سر قبر میلر از همسرش می‌خواهد تصدیق کند که او مرد خوبی بوده و لیاقت فداکاری میلر و سربازانش را داشته. سپس دوربین به سنگ قبر نزدیک می‌شود و نام جان اچ. میلر نمایان می‌گردد. فیلم با نشان دادن برافراشته شدن پرچم ایالات متحده پایان می‌یابد.
در سال ۱۹۹۴، زمانی که رابرت رودات داشت از بنای یادبود چهار برادر کشته شده در جنگ داخلی آمریکا دیدن می‌کرد، ایدهٔ این فیلم در ذهنش شکل گرفت. او تحقیقاتی انجام داد و تصمیم گرفت تا داستان را در جنگ جهانی دوم اتفاق بیفتد. رودات پس از نوشتن فیلم‌نامه، آن را در اختیار مارک گوردون قرار داد. او از داستان خوشش آمد، ولی بعد از ۱۱ بار بازنویسی آن، با ساخت فیلم، موافقت کرد. گوردون نیز فیلم‌نامه بازنویسی شده را در اختیار هنکس گذاشت. هنکس نیز به داستان آن علاقه‌مند شد و اسپیلبرگ را به عنوان کارگردان آن انتخاب کرد. قرار شد تا فیلم‌برداری در ۲۷ ژوئن ۱۹۹۷ آغاز شود. قبل از شروع فیلم‌برداری، بازیگران اصلی این فیلم از جمله ادوارد برنز، بری پیپر، ون دیزل، آدام گلدبرگ، جووانی ریبیسی و تام هنکس در یک کمپ نظامی، آموزش دیدند و تمارین طاقت‌فرسا انجام دادند. برای آن که بازیگران از شخصیت مت دیمون در فیلم متنفر شوند، او تا روزهای آخر به اردوگاه آورده نشد.
"نجات سرباز رایان" به خاطر به تصویر کشیدن صحنه‌های درگیری در جنگ جهانی دوم، به صورت بسیار به واقعیت نزدیک هستند، مورد توجه مخاطبین و منتقدان قرار گرفته‌است. به خصوص سکانس اول فیلم که پیاده شدن سربازان آمریکایی در ساحل اوهاما را نشان می‌دهد. این سکانس از سوی مجله "امپایر" به عنوان بهترین سکانس نبرد تاریخ سینما انتخاب شده‌است. TV Guide نیز این سکانس را در بین ۵۰ سکانس دیگر، در رتبه نخست "به یادماندنی‌ترین سکانس‌ها" قرار داده‌است. این سکانس به تنهایی ۱۲ میلیون دلار خرج برداشت و در آن از بیش از ۱۵۰۰ بازیگر استفاده شده‌است که برخی از آن‌ها، اعضای ذخیره ارتش ایرلند بودند. هم‌چنین از ۲۰ تا ۳۰ نقص عضو واقعی برای به تصویر کشیدن سربازانی که در این نبرد، دست و پای خود را از دست می‌دادند، استفاده شده‌است.
برنده اسکار بهترین کارگردانی
برنده اسکار بهترین فیلمبرداری
برنده اسکار بهترین تدوین
برنده اسکار بهترین صداگذاری
برنده اسکار بهترین تدوین صدا
ابراهیم حقیقی طراح گرافیک، عکاس و مدیر هنری ایرانی متولد ۱۳ مهر سال ۱۳۲۸ در اراک است. تحصیلات او دیپلم ریاضی سال ۱۳۴۶ و کارشناسی ارشد معماری دانشکده هنرهای زیبا از دانشگاه تهران است. او عضو انجمن بین‌المللی طراحان گرافیک، انجمن صنفی طراحان گرافیک ایران، انجمن تصویرگران کتاب کودک و انجمن فیلمسازان مستند ایران است.
او از سال ۱۳۴۷ تا کنون طراح کتب و مجلات گوناگونی بوده‌ است. برای فیلم، سریال و نمایش‌های مختلف، طراحی صحنه کرده‌ است. برای فیلم‌ها و سریال‌های زیادی تیتراژ ساخته‌ است. نمایشگاه‌های متعددی را برگزار کرده و جوایز زیادی را به‌دست آورده‌ است.
پدرش اهل اراک و عکاس پرتره بود و همچنین در یکی از اولین عکاس‌خانه‌های تهران «چهره‌نما» در میدان توپخانه کار می‌کرد. ابراهیم حقیقی که نخستین فرزند خانواده بود در اراک چشم به جهان گشود. در زمانی که هنوز عکس سیاه و سفید وارد ایران نشده بود از پدرش هنر رنگ کردن عکس با جوهر را آموخت. از همان دوران، علاقه وافری به خواندن و جمع‌آوری کتاب داشت. در دوره دبیرستان با مجلهٔ کتاب هفته آشنا شد. علاوه بر داستان‌ها، تصویرسازی‌های مرتضی ممیز در این هفته‌نامه نیز توجه او را به خود جلب کرد. در دانشگاه کلاس‌هایی را با مرتضی ممیز (ترم اول سال ۱۳۴۷) و پرویز کلانتری گذراند.
او دوران دبیرستان خود را در مدرسه‌ای به نام «بابکان» که در محل کنونی خانه سینما دایر بوده‌ است به اتمام رسانده‌ است.
در ۹ بهمن ۱۳۹۷ در مراسم افتتاحیه سی‌وهفتمین جشنواره فیلم فجر آئین بزرگداشت ابراهیم حقیقی برگزار و از وی تقدیر شد.
ابراهیم حقیقی که در سال ۱۳۹۸ به عنوان دبیر جشنواره هنرهای تجسمی فجر منصوب شده بود، پس از سرنگونی هواپیمای مسافربری اوکراین توسط سپاه پاسداران در اینستاگرام خبر استعفای خود را از دبیری این جشنواره اعلام کرد. او نوشت: «با چشم اشک‌بار و رنج غمبار از دست رفتن هم‌وطنان و فرزندان بلندقامت‌مان و با روحی آزرده، من هم بی‌یاری شما، فضای تلخ‌کامی و دروغ، ناتوانم از برگزاری جشنواره‌ای که قرار بود نشان شادمانی باشد و پیوند. چراکه شادمان نیستم و نیستیم.»
نخستین پوسترهایش را در سال ۱۳۴۸ برای نمایش‌های هفتگی «تلاش فیلم» احمد جورقانیان طراحی کرد. پوستر نمایش «راهبه‌ها» به کارگردانی داریوش مؤدبیان و جلد کتاب «الف» نوشتهٔ خورخه لوئیس بورخس از اولین کارهای اوست. همزمان با تحصیل در دانشگاه با کانون فیلم ایران آشنا شد و به همکاری با سینمای آزاد پرداخت. فیلم هشت میلیمتری «چاه» را بر اساس قصه ای از غلامحسین ساعدی، در سینمای آزاد کارگردانی کرد که جایزهٔ بهترین عکس در نمایشگاه فرهنگ و هنر را دریافت کرد.
در سال ۱۳۵۰ با مرتضی ممیز در فیلم انیمیشن «آنکه خیال بافت، آنکه عمل کرد» به سفارش کانون پرورش فکری کودکان و نوجوانان همکاری کرد و به دعوت فرشید مثقالی که سرپرست آتلیهٔ گرافیک کانون بود، در آنجا مشغول به کار شد. طی سال‌های بعد چندین فیلم هشت و ۱۶ میلی‌متری ساخت که جوایز متعددی کسب کرد. همزمان در نمایشگاه‌های مختلف آثار، پوسترهایش را به نمایش گذاشت. در سال ۱۳۵۷ کتابهای «بارون» و «قصهٔ دروازهٔ بخت» از سروده‌ها و نوشته‌های احمد شاملو با تصویرسازیهای حقیقی منتشر شد. در اوایل انقلاب به دعوت مرتضی ممیز در رشته گرافیک دانشکده هنرهای زیبا مشغول به تدریس شد. در سال ۱۳۶۰ با خسرو خورشیدی طراحی صحنه بخشی از سریال "سربداران" را انجام داد و سپس طراحی صحنه اولیه و طراحی لباس مجموعه تلویزیونی «سلطان و شبان» را بر عهده داشت. در سال ۱۳۶۴ ساخت ده قسمت اول از مجموعه تلویزیونی انیمیشنی «علی کوچولو» را به عنوان "گرافیست" به انجام رساند و بعد از وی امیر اثباتی کار او را ادامه داد. از دلایل استاپ‌موشن شدن این سریال دلیلِ کمبود منابع مالی توسط او ذکر می‌شود. فعالیت‌های حقیقی از آن زمان تاکنون در زمینه طراحی پوستر، داوری جشنواره‌های مختلف، طراحی جلد کتاب و ساخت تیتراژ ادامه داشته‌ است. وی مدتی مدیر آتلیه انتشارات امیرکبیر نیز بوده‌است.
او همچنین دستی در طراحی صحنه تئاتر داشت و نمایش "بازی استریندبرگ" از حمید سمندریان را نیز طراحی صحنه نموده‌ است.
لوگوی ماهنامه سینمایی فیلم به سفارش مسعود مهرابی و با طراحی ابراهیم حقیقی از شماره ۵۴ نیمه شهریور ۶۶) روی جلد این مجله نشست.
حقیقی معتقد است که کتابخانهٔ کوچک آتُلیه "آندرف" و کتابخانه دانشکده هنرهای زیبا باعث شد تا او با مفهوم پوستر آشنا شود.
رضا جعفری در انتشارات امیرکبیر سفارش تصویرسازیِ کتاب قصه بارون احمد شاملو را به او می‌سپارد و اولین آشنایی با شاملو در اینجا شکل می‌گیرد. همچنین در هفته‌نامه کتاب جمعه مدتی به عنوان طراح گرافیک با شاملو به عنوان سردبیر و نویسندگانی چون بهرام بیضایی، غلامحسین ساعدی و سرویس شمیسا همکاری می‌کرد.
کتاب "روبه‌رو" متن گفتگوی ابراهیم حقیقی با مرتضی ممیز است که از سوی انتشارات خجسته منتشر شده‌ است. حقیقی از اعضای تحریریه مجله طراحی گرافیک نشان است.
ابراهیم حقیقی در دو فیلم "برکهٔ خشک" (۱۳۵۱) و "گردش در یک روز خوش آفتابی" (۱۳۵۵) ساختهٔ حسن بنی‌هاشمی وظیفهٔ ساخت تیتراژ و تروکاژ را بر عهده داشته‌ است. همچنین در فیلم "ای ایران" ساختهٔ ناصر تقوایی نیز طراح تیتراژ بوده‌ است.