پروژه شامل موارد زیر میباشد که به صورت مفصل توضیح داده شده اند :تعاریف و تعابیرِ ممکن از منطقمنطقِ صوری چیست؟قرنِ بیستم+ مثال---------------------------------------فایل در فرمت Doc میباشد و برای استفاده از آن باید از نرم افزارهایی مانند Word و مشابه آن استفاده کنید .فونت پیش فرض نوشتار B Yekan میباشد .