stanford-oval/wikipedia huggingface dataset:
دیگو گالوان

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Diego Alberto Galván
زادروز:  ۱۹ مارس ۱۹۸۲ ‏(۴۲ سال)
زادگاه:  خنرال رودریگز
قد:  ۱٫۸۰ متر (۵ فوت ۱۱ اینچ)
پست:  مهاجم / هافبک
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۲۰۰۰–۲۰۰۲ |  باشگاه فوتبال لانوس |  ۱۸ |  (۲) |
| ۲۰۰۲ |  ← Morelia (قرضی) |  ۱۳ |  (۵) |
| ۲۰۰۳ |  باشگاه فوتبال بیرامار |  ۴ |  (۰) |
| ۲۰۰۳–۲۰۰۵ |  Olimpo |  ۵۳ |  (۱۴) |
| ۲۰۰۵–۲۰۰۷ |  باشگاه فوتبال ریور پلاته |  ۲۴ |  (۲) |
| ۲۰۰۶ |  ← باشگاه فوتبال استودیانتس (قرضی) |  ۳۳ |  (۵) |
| ۲۰۰۷–۲۰۱۲ |  باشگاه فوتبال استودیانتس |  ۴۳ |  (۴) |
| ۲۰۰۹–۲۰۱۰ |  ← باشگاه فوتبال آرسنال ساراندی (قرضی) |  ۲۶ |  (۴) |
| ۲۰۱۰–۲۰۱۱ |  ← Olimpo (قرضی) |  ۲۵ |  (۵) |
| ۲۰۱۲–۲۰۱۳ |  Unión |  ۲۱ |  (۱) |
| ۲۰۱۳–۲۰۱۴ |  Estudiantes de Caseros |  ۲۳ |  (۲) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. 
دیگو گالوان (انگلیسی: Diego Galván؛ زادهٔ ۱۹ مارس ۱۹۸۲) بازیکن فوتبال اهل آرژانتین است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال ریور پلاته، باشگاه فوتبال آرسنال ساراندی، باشگاه فوتبال لانوس، باشگاه فوتبال استودیانتس، و باشگاه فوتبال بیرامار اشاره کرد.
باشگاه ماجراجویی

| باشگاه ماجراجویی | باشگاه ماجراجویی |
| --- | --- |
کارگردان: جف اندرسون
بازیگران: سام اش آرنولد جاکوب دیویس دالیلا بلا بیلی زین
تاریخ‌های انتشار:  ۸ اکتبر ۲۰۱۶ (۲۰۱۶-10-۰۸)  
مدت زمان: ۸۸ دقیقه
کشور: کانادا
زبان: انگلیسی 
باشگاه ماجراجویی (به انگلیسی: The Adventure Club) فیلمی محصول سال ۲۰۱۶ و به کارگردانی جف اندرسون است. در این فیلم بازیگرانی همچون سام اش آرنولد، جاکوب دیویس، دالیلا بلا، بیلی زین، رابین دان، گابریل میلر، لورن کاردینال و کیم کوتس ایفای نقش کرده‌اند.
رود ایه‌کیت

| رود ایه‌کیت Эекит / Эйэкит | رود ایه‌کیت Эекит / Эйэкит |
| --- | --- |
Mouth location in یاقوتستان، روسیه: Mouth location in یاقوتستان، روسیه
مکان: مکان
کشور: روسیه
ویژگی‌های ظاهری: ویژگی‌های ظاهری
سرآب:  
 • مکان: فلات کیستیک
 • مختصات: ۷۰°۲۹′۴۲″ شمالی ۱۲۳°۵۸′۵۵″ شرقی﻿ / ﻿۷۰٫۴۹۵۰۰°شمالی ۱۲۳٫۹۸۱۹۴°شرقی﻿ / 70.49500; 123.98194
 • ارتفاع: ca ۳۰۰ متر (۹۸۰ فوت)
 :  
دهانه: رود لنا
 • مکان: نزدیکی کیوسیور
 • مختصات: ۷۰°۵۲′۲۶″ شمالی ۱۲۷°۲۶′۴۰″ شرقی﻿ / ﻿۷۰٫۸۷۳۸۹°شمالی ۱۲۷٫۴۴۴۴۴°شرقی﻿ / 70.87389; 127.44444
 • ارتفاع: ۵ متر (۱۶ فوت)
طول: ۳۱۳ کیلومتر (۱۹۴ مایل)
اندازهٔ حوضه: ۸٬۷۴۰ کیلومتر مربع (۳٬۳۷۰ مایل مربع)
ویژگی‌های حوضه: ویژگی‌های حوضه
توالی: رود لنا← دریای لاپتف
رود ایه‌کیت (انگلیسی: Eyekit) یک رودخانه در استان یاقوتستان کشور روسیه است.
شفیق الحوت

| شفیق الحوت | شفیق الحوت |
| --- | --- |
 سردبیر اصلی مجله «حوادث» (۱۹۵۸–۱۹۶۴)  دبیرکل جبهه آزادی فلسطین (۱۹۶۱–۱۹۶۸)  عضو کمیته اجرایی سازمان آزادی فلسطین (۱۹۶۶–۶۸؛ ۱۹۹۱–۹۳)  نماینده سازمان آزادیبخش فلسطین در سازمان ملل متحد (۱۹۷۴–۱۹۹۱) :  سردبیر اصلی مجله «حوادث» (۱۹۵۸–۱۹۶۴)  دبیرکل جبهه آزادی فلسطین (۱۹۶۱–۱۹۶۸)  عضو کمیته اجرایی سازمان آزادی فلسطین (۱۹۶۶–۶۸؛ ۱۹۹۱–۹۳)  نماینده سازمان آزادیبخش فلسطین در سازمان ملل متحد (۱۹۷۴–۱۹۹۱) 
 :  
اطلاعات شخصی: اطلاعات شخصی
زاده: ۱۳ ژانویهٔ ۱۹۳۲ تل‌آویو،
درگذشته: ۲ اوت ۲۰۰۹ (۷۷ سال) بیروت، لبنان
حزب سیاسی: سازمان آزادیبخش فلسطین
همسر(ان): بیان عجاج نویهض
شفیق الحوت (عربی: شفيق الحوت)؛ (زاده: ۱۳ ژانویه ۱۹۳۲ – درگذشته: ۲ اوت ۲۰۰۹) یک سیاستمدار و نویسنده فلسطینی است. او عضو کمیته اجرایی سازمان آزادیبخش فلسطین و نماینده آن در لبنان و عضو شورای ملی فلسطین بود. همسر وی بیان عجاج نویهض است.
زندگی‌نامه

شفیق الحوت تحصیلات متوسطه خود را در سال ۱۹۴۸ در مدرسه العامریه در یافا به پایان برد، جایی که او مجبور شد با خانواده اش به مهاجرت به لبنان در آوریل همان سال روی آورد. او در سال ۱۹۴۸ وارد دانشگاه آمریکایی بیروت شد و در سال ۱۹۵۳ فارغ‌التحصیل گردید.
به عنوان یک معلم تا سال ۱۹۵۶ در مدرسه اهداف اسلامی کار کرد، و سپس به عنوان معلم به کویت منتقل شد و تا سال ۱۹۵۸ در آنجا ادامه داد، پس از آن به بیروت بازگشت و تدریس را ترک گفت و برای کار در مطبوعات رفت و به عنوان سردبیر مجله «حوادث» لبنان، تا سال ۱۹۶۴ باقی ماند.
فعالیت‌ها

شفیق الحوت در تأسیس جبهه آزادی فلسطین در سال ۱۹۶۳ کمک کرد؛ و یکی از بنیانگذاران سازمان آزادی فلسطین بود و در کنفرانس بنیانگذاری آن که در تاریخ ۲۸ مه ۱۹۶۴ در شهر بیت‌المقدس برگزار شد شرکت کرد.
در اولین نشست کمیته اجرایی سازمان آزادی فلسطین، او به عنوان نماینده و مدیر دفتر سازمان در لبنان تعیین گردید، جایی که او کار روزنامه‌نگاری را ترک کرده و زمان و وقت خودش را به سیاست اختصاص داده بود.
او بین سال‌های ۱۹۶۶ و ۱۹۶۸ عضو کمیته اجرایی سازمان آزادیبخش فلسطین بود و در سال ۱۹۹۱ به کمیته اجرایی بازگشت و تا سال ۱۹۹۳ و پس از پیمان‌های اسلو که استعفا داد در این منصب بود.
شفیق الحوت در ۲۹ اوت پس از جنگ ۱۹۶۷ به همراه احمد الشقیری رئیس سازمان آزادیبخش فلسطین و سعید السبع، نماینده این سازمان در سودان در نشست کشورهای عربی در خارطوم شرکت کرد.
او از سال ۱۹۴۸ تمامی سال‌های حضور سازمان آزادیبخش فلسطین در لبنان تا قبل از مرگش در سال ۲۰۰۹ را شاهد بود. او شاهد جنگ داخلی لبنان در تمام جزئیات و رویدادها و همچنین حمله اسرائیل به لبنان و خروج فلسطین از آن در سال ۱۹۸۲ بود.
از سال ۱۹۷۴ در جلسات مجمع عمومی سازمان ملل متحد به عنوان نماینده سازمان آزادیبخش فلسطین حضور داشت.
درگذشت

شفیق در ۲ اوت ۲۰۰۹ درگذشت.
کریستین رومرو

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
 رومرو با تیم ملی فوتبال زیر ۲۰ سال آرژانتین در سال ۲۰۱۷:  رومرو با تیم ملی فوتبال زیر ۲۰ سال آرژانتین در سال ۲۰۱۷
اطلاعات شخصی: اطلاعات شخصی
نام کامل:  کریستین گابریل رومرو
زادروز:  ۲۷ آوریل ۱۹۹۸ ‏(۲۶ سال)
زادگاه:  کوردوبا، آرژانتین
قد:  ۱٫۸۵ متر (۶ فوت ۱ اینچ)
پست:  مدافع میانی
اطلاعات باشگاهی: اطلاعات باشگاهی
باشگاه کنونی:  تاتنهام
شمارهٔ پیراهن:  ۱۷
باشگاه‌های جوانان: باشگاه‌های جوانان
:  بلگرانو
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۲۰۱۶–۲۰۱۸ |  بلگرانو |  ۱۶ |  (۰) |
| ۲۰۱۸–۲۰۱۹ |  جنوآ |  ۲۷ |  (۲) |
| ۲۰۱۹–۲۰۲۱ |  یوونتوس |  ۰ |  (۰) |
| ۲۰۱۹–۲۰۲۰ |  ← جنوآ (قرضی) |  ۳۰ |  (۱) |
| ۲۰۲۰–۲۰۲۱ |  ← آتالانتا (قرضی) |  ۳۱ |  (۲) |
| ۲۰۲۱–۲۰۲۲ |  آتالانتا |  ۰ |  (۰) |
| ۲۰۲۱–۲۰۲۲ |  ← تاتنهام (قرضی) |  ۲۴ |  (۱) |
| ۲۰۲۲– |  تاتنهام |  ۰ |  (۰) |
تیم ملی‡: تیم ملی‡
| ۲۰۱۷ |  زیر ۲۰ سال آرژانتین |  ۷ |  (۰) |
| ۲۰۲۱– |  آرژانتین |  ۱۱ |  (۱) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۳۰ اوت ۲۰۲۲.   ‡ آمار بازی‌ها و گل‌های ملی به‌روز شده در تاریخ ۳۰ اوت ۲۰۲۲:  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۳۰ اوت ۲۰۲۲.   ‡ آمار بازی‌ها و گل‌های ملی به‌روز شده در تاریخ ۳۰ اوت ۲۰۲۲
کریستین گابریل رومرو (اسپانیایی: Cristian Gabriel Romero‎؛ زادهٔ ۲۷ آوریل ۱۹۹۸) بازیکن فوتبال اهل آرژانتین است که برای باشگاه تاتنهام بازی می‌کند.
از باشگاه‌هایی که در آن بازی کرده‌است، می‌توان به جنوآ، یوونتوس و آتالانتا اشاره کرد.
دیوید رامیرز (بازیکن فوتبال، زاده ۱۹۸۱)

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Arturo David Ramírez Torres
زادروز:  ۱۸ فوریهٔ ۱۹۸۱ ‏(۴۳ سال)
زادگاه:  سان خوزه
قد:  1.79 m
پست:  هافبک
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۲۰۰۱–۲۰۰۳ |  Sportivo Italiano |  ۶۰ |  (۲۴) |
| ۲۰۰۳–۲۰۰۵ |  Ferro Carril Oeste |  ۵۳ |  (۱۰) |
| ۲۰۰۵–۲۰۰۶ |  Olimpo |  ۳۰ |  (۴) |
| ۲۰۰۷ |  باشگاه فوتبال پومفرادینا |  ۹ |  (۲) |
| ۲۰۰۷–۲۰۰۸ |  باشگاه فوتبال گودوی کروز |  ۲۹ |  (۸) |
| ۲۰۰۸ |  Gimnasia y Esgrima (J) |  ۹ |  (۰) |
| ۲۰۰۹ |  Unión Española |  ۳۰ |  (۴) |
| ۲۰۱۰ |  باشگاه فوتبال گودوی کروز |  ۳۲ |  (۱۰) |
| ۲۰۱۱–۲۰۱۳ |  باشگاه فوتبال ولز سارسفیلد |  ۳۶ |  (۱۱) |
| ۲۰۱۲–۲۰۱۳ |  ← باشگاه فوتبال گودوی کروز (قرضی) |  ۲۴ |  (۵) |
| ۲۰۱۳–۲۰۱۴ |  Millonarios |  ۶ |  (۰) |
| ۲۰۱۴–۲۰۱۵ |  Colón |  ۱۹ |  (۴) |
| ۲۰۱۶ |  باشگاه فوتبال گودوی کروز |  ۱۰ |  (۰) |
| ۲۰۱۶–۲۰۱۷ |  Defensores de Belgrano |  ۱۲ |  (۱) |
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۱۴ ژانویه ۲۰۱۸. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است و آمار به روز شده در تاریخ ۱۴ ژانویه ۲۰۱۸. 
دیوید رامیرز (انگلیسی: David Ramírez؛ زادهٔ ۱۸ فوریهٔ ۱۹۸۱) بازیکن فوتبال اهل آرژانتین است.
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال پومفرادینا، باشگاه فوتبال ولز سارسفیلد، و باشگاه فوتبال گودوی کروز اشاره کرد.
امپراتور کوبون

| امپراتور کوبون | امپراتور کوبون |
| --- | --- |
امپراتور کوبون : امپراتور کوبون 
سلطنت: ۶۷۲ (۸ ماه)
پیشین: امپراتور تنجی
جانشین: امپراتور تنمو
درگذشته: ۲۱ اوت ۰۶۷۲ یاماساکی (شیگه)
آرامگاه: ناگارا نو یاماساکی نو میساساگی (شیگه)
فرزند(ان): شاهزاده کادومو، شاهدخت ایچیشی‌هیمه، شاهزاده یوتا
پدر: امپراتور تنجی
مادر: یاکاکو-نو-ایراتسومه، یک خانم درباری (ایگا نو اوئه‌مه)
امپراتور کوبون (به ژاپنی: 弘文天皇 Kōbun)؛ زاده ۶۴۸، درگذشته ۲۱ اوت ۰۶۷۲)، سی و نهمین امپراتور ژاپن بود. او تنها چند ماه در طی ۶۷۱–۶۷۲ سلطنت کرد. قبل از رسیدن به سلطنت شاهزاده اوتومو (大友皇子, Ōtomo no ōji) نام داشت.
مورخان معاصر اکنون سلطنت امپراتور کوبون را بین دوران سلطنت امپراتور تنجی و امپراتور تنمو قرار می‌دهند. اما نیهونگی، گوکانشا و جیننو شوتوکی این سلطنت را تشخیص نمی‌دهند.
در سال دهم تنجی، در ماه یازدهم (۶۷۱): پدر او، امپراتور تنجی، در دهمین سال سلطنت خود (天 智 天皇 十年)، درگذشت. و علیرغم برخوردهای نظامی که در پی داشت، برادر امپراتور مرده، امپراتور تنمو جانشین وی شد.
در طول شورش جینشین، برادر امپراتور تنجی، شاهزاده اوآما (امپراتور تنمو)، کنترل سلطنت را بر عهده گرفت، و پس از آن امپراتور کوبون خودکشی کرد. برای قرن‌ها، شاهزاده بدبخت اوتومو، بخشی از نظام سنتی جانشینی قلمداد نمی‌شد.
آریل پریرا

| اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی | اطلاعات شخصی |
| --- | --- | --- | --- |
نام کامل:  Ariel Roberto Pereyra Legallais
زادروز:  ۱۱ نوامبر ۱۹۷۳ ‏(۵۰ سال)
زادگاه:  مندوسا، آرژانتین
قد:  1.71 m
پست:  مهاجم
اطلاعات باشگاهی: اطلاعات باشگاهی
باشگاه کنونی:  San Antonio Unido (manager)
باشگاه‌های حرفه‌ای*: باشگاه‌های حرفه‌ای*
| سال‌ها |  باشگاه‌ها |  بازی† |  (گل)† |
| ۱۹۹۴–۱۹۹۸ |  باشگاه فوتبال گودوی کروز |  ۱۰۱ |  (۲۶) |
| ۱۹۹۸ |  باشگاه فوتبال سانتیاگو واندررس |  ۱۸ |  (۴) |
| ۱۹۹۹–۲۰۰۴ |  Everton |  ۱۷ |  (۴) |
| ۲۰۰۲–۲۰۰۳ |  ← Coquimbo Unido (قرضی) |  ۰ |  (۰) |
| ۲۰۰۴–۲۰۰۵ |  Italmaracaibo |  ۲۱ |  (۴) |
| ۲۰۰۵–۲۰۱۰ |  Unión La Calera |  ۱۸۴ |  (۸۱) |
| ۲۰۱۱–۲۰۱۲ |  Curicó Unido |  ۶۷ |  (۲۰) |
| ۲۰۱۳ |  Unión La Calera |  ۸ |  (۲) |
| مجموع |   |  ۴۱۶ |  (۱۴۱) |
دوران مربیگری: دوران مربیگری
۲۰۱۴–۲۰۱۵:  Unión La Calera
۲۰۱۵–۲۰۱۶:  Deportes Concepción
۲۰۱۶:  Magallanes
۲۰۱۷:  San Marcos
۲۰۱۸:  Deportes La Serena
۲۰۲۱–:  San Antonio Unido
 تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. :  تعداد بازی‌ها و گل‌ها فقط مربوط به بازی‌های لیگ داخلی است. 
آریل پریرا (اسپانیایی: Ariel Pereyra‎؛ زادهٔ ۱۱ نوامبر ۱۹۷۳) بازیکن فوتبال اهل آرژانتین است.
باشگاهی

از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به باشگاه فوتبال گودوی کروز اشاره کرد.
آخرین

| آخرین | آخرین |
| --- | --- |
هانگول: 라스트
لاتین‌نویسی اصلاح‌شده: Laseuteu
 :  
ژانر: جنایی اکشن دلهره‌آور
بر پایهٔ: آخرین اثر کانگ هیونگ کیو
نویسنده: هان جی هون
کارگردان: جو نام کوک
بازیگران: یون که سانگ لی بوم سو سو یه جی پارک یه جین پارک وون سانگ
کشور سازنده: کره جنوبی
زبان اصلی: کره‌ای
شمار قسمت‌ها: ۱۶
تولید: تولید
تهیه‌کنندهٔ اجرایی: پارک جون سو
تولیدکننده‌ها: ای‌استوری دراما هاوس
پخش: پخش
شبکهٔ اصلی: جی‌تی‌بی‌سی
انتشار اولیه: ۲۴ ژوئیه ۲۰۱۵ (۲۰۱۵-07-۲۴) – ۱۲ سپتامبر ۲۰۱۵ (۲۰۱۵-09-۱۲)
آخرین (انگلیسی: Last; کره‌ای: 라스트) یک مجموعه تلویزیونی محصول کره جنوبی سال ۲۰۱۵ بر پایه وب‌تونی با همین نام اثر کانگ هیونگ کیو است.
در این مجموعه یون که سانگ و لی بوم سو ایفای نقش کردند و از ۲۴ ژوئیه تا ۱۲ سپتامبر ۲۰۱۵ روزهای جمعه و شنبه ساعت ۲۰:۴۰ (کی‌اس‌تی) از جی‌تی‌بی‌سی برای ۱۶ قسمت پخش شد.
حساب گزاره‌ای

تصویری از هر چهار روش خلق حساب گزاره ای
حساب گزاره‌ها یا حساب گزاره‌ای (به انگلیسی: Propositional calculus) سامانه‌ای است صوری (Formal) که به نمایش مواد و اصول منطق گزاره‌ای می‌پردازد. گزاره‌ها و ترکیب آن با ادوات منطقی شکل می‌گیرد. گزاره‌های مورد توجه منطق گزاره‌ها فقط گزاره‌های خبری‌ست. در منطق کلاسیک یا  منطق دو ارزشی، گزاره‌ها دارای دو ارزش درست یا نادرست هستند.
تذکر: بعضی منطق‌دان‌ها منطق گزاره‌ها را منطق جمله‌ها خواندند، ولی، به نظر می‌رسد با توجه به تفاوت زبانی گزاره و جمله و اینکه گزاره، فقط به جملهٔ خبری گفته می‌شود، عبارت منطق گزاره‌ها صحیح‌تر است.
تاریخچه

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

به‌طور کلی، یک حساب دستگاه صوری است که از مجموعه‌ای از عبارات نحوی، یک زیرمجموعهٔ مشخص از این عبارات (اصول) به علاوهٔ مجموعه‌ای از قواعد صوری تشکیل شده که یک رابطهٔ زوج مرتبی خاص را، به قصد آن که به عنوان یک هم نهشتی منطقی دریافت شود، روی فضای عبارات تعریف می‌کند.
هنگامی که قرار است دستگاه صوری یک نظام منطقی باشد، عبارات باید به صورت احکام برداشت شوند، قواعد شناخته شده به عنوان قوانین استنتاج معمولاً درستی نگهدار هستند. در این ساختار قوانین (که ممکن است شامل اصول شوند) می‌توانند برای به‌دست آوردن (استنتاج) فرمول‌هایی که بیانگر احکام درست هستند از فرمول‌های داده شده بر اساس احکام درست مورد استفاده قرار گیرند.
مجموعهٔ اصول ممکن است تهی، یک مجموعه متناهی ناتهی، یک مجموعهٔ شمارای نامتناهی یا طرح‌واره‌ای از اصول باشد. صرف و نحو صوری به‌طور بازگشتی عبارات و فرمول‌های خوش‌فرم زبان را توصیف می‌کند. به علاوه ممکن است یک معناشناسی داده شود که درستی و ارزش‌گذاری را تعیین کند (همان تفسیرها).
زبان یک منطق گزاره‌ای تشکیل شده از موارد زیر است:
۱- مجموعه‌ای از نمادهای ابتدایی که با الفاظ مختلف از جمله فرمول‌های اتمی، جانگهدارها، ورتنده‌های گزاره‌ای یا متغیر شناخته می‌شوند.
۲- مجموعه‌ای از عملگرها که با نام‌هایی مانند رابط‌های منطقی یا عملگرهای منطقی شناخته می‌شوند.
یک فرمول خوش‌ساخت می‌تواند یک فرمول اتمی یا هر فرمول دیگری که می‌تواند بر اساس فرمول‌های اتمی و با استفاده از عملگرها در حوزهٔ قوانین نحوی ساخته شود باشد.
ریاضی‌دانان گاهی اوقات میان ورتنده‌های گزاره‌ای، متغیرهای گزاره‌ای و طرح‌واره تمایز قایل می‌شوند. ورتنده‌های گزاره‌ای یک گزارهٔ خاص را نمایش می‌دهند در حالی که متغیرهای گزاره‌ای تمام مجموعه فرمول‌های اتمی را فرا می‌گیرند. رایج است که ورتنده‌های گزاره‌ای را با  B،  A و  C و متغیرهای گزاره‌ای را با  Q،  P و   R نشان دهند. برای طرح‌واره هم معمولاً از حروف الفبای یونانی   \varphi \,\!،  \psi ،  \chi  استفاده می‌شود.
مفاهیم پایه

شرح ذیل حدود یک حساب گزاره‌ای استاندارد را مشخص می‌کند. فرموله سازی‌های بسیاری وجود دارند که همه تقریباً در اصل یکسانند اما دارای تفاوت‌هایی در جزییات زیر هستند:
۱- زبان، که در واقع مجموعهٔ خاصی از نمادهای ابتدایی و عملگر هاست.
۲- مجموعهٔ اصول یا فرمول‌های مشخص
۳- مجموعه قواعد استنتاج
می‌توانیم هر گزاره داده شده را با یک حرف که آن را یک ثابت گزاره‌ای می‌نامیم نمایش دهیم که این کار متناظر با نمایش دادن اعداد با حروف الفبا در ریاضیات است برای مثال  a=5. لازم است که تمام گزاره‌ها دقیقاً یکی از دو ارزش ممکن یعنی صحیح یا غلط را داشته باشند. برای مثال  P را گزاره‌ای در نظر بگیرید که " بیرون باران می‌بارد ". این گزاره اگر باران ببارد صحیح و در غیر این صورت غلط خواهد بود.
با شروع از نقیض عملگرهای درستی را تعریف می‌کنیم. برای نمایش نقیض  P  از  \neg P استفاده می‌کنیم، که می‌تواند تکذیب گزاره  P تلقی شود. در مثال فوق  \neg P بیان می‌کند که «الان بیرون باران نمی‌بارد». زمانی که  P درست باشد،  \neg P غلط است و زمانی که  \neg P درست باشد، P غلط خواهد بود.  \neg \neg P  همواره همان مقدار درستی  P را دارد.
مفاهیم پایه > ترکیب عطفی

یک تابع درستی است که از دو گزاره ساده‌تر مثلاً  P و  Q ، یک گزاره مرکب می‌سازد. ترکیب عطفی  P و  Q به صورت  P\land Q نوشته می‌شود  و بصورت "  P و  Q " آن را می‌خوانیم. برای هر دو گزاره‌ای چهار وضعیتِ ممکن از مقادیر درستی وجود دارد:
1-  P  درست و  Q درست باشد
2-  P درست و  Q غلط باشد
3-  P غلط و  Q درست باشد
4-  P غلط و  Q غلط باشد
ترکیب عطفی  P و  Q در مورد یک درست و در سایر موارد غلط است. هنگامی که  P گزاره‌ای باشد که «بیرون باران می‌بارد» و  Q گزاره‌ای باشد که «یک جبههٔ هوای سرد در اطراف کانزاس است»،  P\land Q تنها زمانی درست است که:
بیرون باران ببارد و یک جبههٔ هوای سرد در اطراف کانزاس باشد.
اگر بیرون باران ببارد و جبههٔ هوای سرد در کانزاس نباشد  P\land Q غلط خواهد بود.
اگر بیرون باران نبارد و جبههٔ هوای سرد در کانزاس باشد  P\land Q غلط خواهد بود.
اگر بیرون باران نبارد و جبههٔ هوای سرد در کانزاس نباشد  P\land Q غلط خواهد بود.
مفاهیم پایه > ترکیب فصلی

ترکیب فصلی از آن جهت که یک گزاره مرکب از دو گزاره ساده‌تر تولید می‌کند مشابه ترکیب عطفی است. ترکیب فصلی را به  P\vee Q نمایش می‌دهیم که " P یا  Q" خوانده می‌شود.
این گزاره بیان می‌کند که یا  P درست است، یا  Q درست است، یا هردو درست هستند؛ بنابراین در مثال‌های بالا ترکیب فصلی  P و  Q در تمام موارد غیر از مورد چهارم، درست است. طبق مثال قبلی ترکیب فصلی بیان می‌کند که یا باران می‌بارد یا یک جبهه هوای سرد بر فراز کانزاس است.
توجه شود که ترکیب فصلی باید به نوعی استفاده از واژه "یاً را شبیه‌سازی کند اما بیشتر شبیه "یا عمومی" است، که برای نشان دادن صحیح بودن حداقل یکی از دو گزاره استفاده می‌شود. پس ترکیب فصلی با "یا انحصاری" در زبان انگلیسی که نشان دهنده درست بودن دقیقاً یکی از دو گزاره است تفاوت دارد. به عبارت دیگر "یا انحصاری" زمانی که هر دو گزاره  P و  Q درست باشند غلط خواهد بود (مانند مورد اول). مثالی از یا انحصاری به شکل زیر خواهد بود: "شما می‌تواند پاستا یا سالاد بخورید، نه هر دو را". معمولاً در گفتگوهای عادی زبانی عبارت "ولی نه هر دو" حذف می‌شود اما به‌طور ضمنی مورد نظر است. در ریاضیات همیشه منظور از یا همان "یا عمومی است"، در صورتی که "یا انحصاری مورد نظر باشد به‌طور صریح، احتمالاً با استفاده از "xor" مشخص می‌شود
مفاهیم پایه > ترکیب شرطی

ترکیب شرطی نیز دو گزاره ساده‌تر را با هم ترکیب می‌کند و آن را با  P\rightarrow Q نمایش می‌دهیم که خوانده می‌شود "اگر  P آنگاه  Q". گزاره سمت چپ "شرط مقدم" و گزاره سمت راست "شرط موخر" خوانده می‌شود (از آنجا که ترکیب فصلی و عطفی شرکت پذیر هستند چنین مشخصه‌ای برای آن‌ها تعریف نمی‌شود).
مفاهیم پایه > بسته بودن نسبت به عملیات

منطق گزاره‌ای نسبت به عملگرهای درستی نگهدار بسته است. یعنی برای هر گزاره  \varphi \,\!,  \neg \varphi \,\! هم یک گزاره است. برای مثال برای هر دو گزاره  \varphi \,\!  \psi \,\!,  \varphi \land \psi \,\! هم یک گزاره است که به‌طور مشابه برای ترکیب فصلی، ترکیب شرطی و ترکیب دو شرطی هم برقرار است. این بیان می‌کند که از آنجا که  P\land Q یک گزاره است می‌تواند با گزاره‌ای دیگر عطف شود. برای نمایش دادن این رابطه باید با استفاده از پرانتزها مشخص کنیم که کدام گزاره‌ها با هم عطف می‌شوند. برای نمونه  P\land Q\land R یک رابطه خوش ساخت نیست زیرا نمی‌دانیم که داریم  P\land Q با  R عطف می‌کنیم یا  P با  Q\land R. بنابراین یا باید بنویسیم   (P\land Q)\land R تا اولی را نمایش دهیم با باید بنویسیم  P\land (Q\land R) تا نشان دهیم که شکل دوم مد نظر بوده‌است. با ارزیابی شرایط درستی در می‌یابیم که هر دو عبارت شرایط درستی یکسانی دارند و به‌طور جامع تر هر گزاره‌ای که با چینش دلخواهی از ترکیب ای عطفی ساخته شود، صرف نطر از جایگاه پرانتزها مقادیر درستی ثابتی خواهد داشت. این به خاطر آن است که ترکیب عطفی خاصیت پخشی دارد اما این موضوع نباید باعث شود وجود پرانتزها را بی‌دلیل بدانیم. به عنوان نمونه مقادیر درستی عبارت  P\land (Q\vee R) با عبارت   (P\land Q)\vee R یکسان نیست، بنابراین این‌ها عبارت‌های متفاوتی هستند که با توجه به قرارگیری پرانتزها از هم متمایز می‌شوند. خواننده می‌تواند این موضوع را با استفاده از جدول درستی تحقیق کند.
نکته: برای هر تعداد دلخواه از ورتنده‌های گزاره‌ای می‌توانیم مجموعه متناهی از حالت‌های ممکن برای مقادیر درستی آن‌ها را ارائه دهیم. یک راه ساده برای تولید این لیست استفاده از جداول درستی است. برای هر مجموعه  k تایی از ورتنده‌های گزاره‌ای از حروف  P,  Q, …,  Z استفاده می‌کنیم. در زیر این لیست  2^{k} ردیف خالی می‌گذاریم. زیر  P نیمهٔ اول ردیف‌ها را با «درست» (T) و نیمهٔ دوم را با «غلط» (F) پر می‌کنیم. زیر  Q یک چهارم را با T، یک چهارم بعدی را با F، یک چهارم سوم را با T و در نهایت یک چهارم آخر را با F پر می‌کنیم. ستون بعدی برای هر یک هشتم ردیف‌ها، ستون بعد تر برای هر یک شانزدهم و در نهایت ستون آخر برای هر ردیف بین مقادیر T و F نوسان می‌کند. این فرایند یک لیست کامل از نگاشت‌های درستی ممکن برای گزاره‌های اولیه را ارائه می‌دهد.
مفاهیم پایه > استدلال

حساب گزاره‌ای می‌تواند یک استدلال را به عنوان مجموعه‌ای از گزاره‌ها تعریف کند. یک استدلال معتبر مجموعه‌ای از گزاره هاست که آخرین آن‌ها بر اساس بقیه نتیجه می‌شود. هر گزاره‌ای که در تعریف فوق صدق نکند مردود شناخته می‌شود. ساده‌ترین استدلال معتبر   وضع مقدم است، که نمونه‌ای از آن در ذیل آمده‌است:
این مجموعه‌ای از سه گزاره است که گزاره سوم از دو گزاره قبلی نتیجه می‌شود. به دو گزاره اول «فرض» و به گزاره سوم «نتیجه» می‌گوییم. می‌گوییم گزاره دلخواه  C از مجموعه گزاره‌های  (P_{1},...,P_{n}) نتیجه می‌شود اگر زمانی که تمام گزاره‌های  (P_{1},...,P_{n}) درست باشند  C هم درست باشد. در استدلال بالا برای هر  P و  Q هنگامی که  P\rightarrow Q و  P درست باشند، لزوماً   Q هم درست خواهد بود. توجه شود که زمانی که  P درست باشد حالت‌های ۳و۴ از جدول درستی را نمی‌توانیم در نظر بگیریم. هنگامی که  P\rightarrow Q درست باشد هم حالت دوم را نمی‌توانیم در نظر بگیریم پس تنها حالت ۱ باقی می‌ماند که هم  P و هم  Q درست هستند؛ بنابراین  Q بر اساس فرض‌ها نتیجه می‌شود.
بقیه شکل‌های استدلال علی رغم سادگی لزوماً مورد نیاز نیستند. در کنار مجموعهٔ کاملی از اصول وضع مقدم برای اثبات تمام استدلال‌های دیگر در حساب گزاره‌ای کافی است. توجه شود که این وضع د
ویژگی برجسته استدلال در حساب گزاره‌ای آن است که می‌توان بر اساس استدلال‌های ثابت شده، استدلال‌های درست جدید به دست آورد. در اولین مثال بالا، با دو فرض داده شده نمی‌توان در مورد درستی  Q اظهار نظری کرد اما بعد از استدلال درستی  Q نتیجه‌گیری می‌شود؛ بنابراین یک نظام قیاسی را به صورت مجموعهٔ تمام گزاره‌هایی که می‌توانند از هم نتیجه‌گیری شوند تعریف می‌کنیم. برای نمونه بر پایه مجموعه گزاره‌های  A=\{P\lor Q,\neg Q\land R,(P\lor Q)\rightarrow R\}، می‌توانیم سامانه قیاسی  \Gamma  را که جامع تمام گزاره‌های نتیجه شونده از  A است تعریف کنیم.  تصریح همواره مفروض است بنابراین  P\lor Q,\neg Q\land R,(P\lor Q)\rightarrow R\in \Gamma  . همچنین بر اساس عضو اول و آخر  A و نیز وضع مقدم،  R نتیجه می‌شود پس  R\in \Gamma . از آنجا که هنوز اصول به حد کافی غامض را معرفی نکرده‌ایم نمی‌توانیم نتیجه‌گیری دیگری داشته باشیم؛ بنابراین با وجود اینکه عمده سیستم‌های استنتاجی مورد مطالعه در حساب گزاره‌ای قادر به نتیجه‌گیری  (P\lor Q)\leftrightarrow (\neg P\rightarrow Q) هستند، این سیستم ضعیف تر از آن است که بتواند چنین گزاره‌ای را ثابت کند.