پاورپوینت ساختمان های گسسته

پاورپوینت ساختمان های گسسته

قالب بندی: پاورپوینت

تعداد اسلاید: 34

ساختمان های گسستهفصل اول: پایه های منطق و اثبات بخش 1.1 منطق گزاره ای (Propositional Logic)

گزاره ها (Propositions)

جزء سازنده منطق می باشند
جملاتی (خبری) هستند که یا راست اند یا دروغ و نمی توانند نه راست باشند و نه دورغ و یا هر دو با هم
مانند:
تهران پایتخت ایران است (یک جمله راست یا true) (1 یا T)
1+1=3  (یک جمله دروغ یا false) (0 یا F)
یک متغیر که برای بیان یک گزاره به کار می رود را متغیر گزاره ای (propositional variable) یا متغیر جمله ای (statement variable) می نامند.
با کلمات کوچک نمایش داده شده (مانند p، q، r) و می تواند T یا F باشد.

حساب گزاره ای (Propositional Calculus)

مجموعه اعمال و عملگرهایی که می توان در حوزه منطق داشت را حساب گزاره ای و یا همان منطق گزاره ای می نامند.
این مباحث برای اولین بار توسط فیلسوفی یونانی به نام ارسطو (Aristotle) به صورت سیستماتیک مطرح گردید.
شامل تعدادی عملگر یگانی (Unary) و دوگانی (Binary) می شود
و  . . . .