فرمت فایل: ورد - Word  

کتاب سبز - قابل ویرایش ) 

تعداد صفحه : 23
1.1 مقدمه: آشنایی با ساختمان منطقی جمله هایی که مطالب ریاضی بوسیله آنها بیان می شوند مستلزم مفاهیم گزاره، گزاره نما، و اسم نماست. این مفاهیم که بخشی از منطق ریاضی مقدماتی محسوب می شوند می توانند مفاهیم و احکام ریاضی را قابل فهم و قابل توضیح نمایند. در عصر حاضر ایفای نقش منطق ریاضی در توجیه و قابل انتقال نمودن مفاهیم در پیشرفت و تکامل کامپیوتر بر هیچکس پوشیده نیست. 2.1 حساب گزاره ها 1.2.1 تعریف: گزاره جمله ای خبری است که یا راست است یا دروغ اگرچه راست یا دروغ بودن آن معلوم نباشد. برای هر گزاره یک ارزش راستی یا دروغی یا مختصراً یک ارزش قائل می شویم. مثلاً هر یک از جملات«عدد 3 فرد است»،«عدد 6 زوج است» و«
اصم است» گزاره هستند. هر یک از گزاره های اول و دوم راست هستند ولی راست یا دروغ بودن گزاره سوم یا مقدمات کنونی، برایمان معلوم نیست ولی در هر حال یا راست است یا دروغ.گزاره ها بطورکلی به سه دسته تقسیم می شوند: گزاره شخصی، گزاره کلی و گزاره جزئی( یا وجودی) نوع اول گزاره ای است که از شیء معینی خبر می دهد. و در این بخش مورد بحث ماست. نوع دوم و سوم را در بخش آینده تعریف و بررسی خواهیم کرد. از ترکیب گزاره ها گزاره های مرکب حاصل می شود این عمل با رابطهای گزاره ای امکان پذیر است. 2.2.1 رابطهای گزاره ای: گزارها را با حروف p ، q ،v ،s و یا با حرف اندیس دار نظیر

،
،... نشان می دهیم و هر نوع ترکیبی از آنها با الفاظ زیر که رابطهای گزاره ای نامیده می شوند امکان پذیر است. «چنین نیست که»،«و»،«یا»،« اگر»،« اگر و فقط اگر» علایم ~ ،
&،
،
( یا
)،
( یا
) نیز به ترتیب برای

قسمتی از محتوی متن پروژه میباشد که به صورت نمونه ، بعد از پرداخت آنلاین در جزوه باز آنی فایل را دانلود نمایید .

  

 « پرداخت آنلاین و دانلود در قسمت پایین »