آموزش سری ریاضی گسسته: مسترکلاس منطق گزاره ای

سرفصل ها و درس ها

گزاره ها و پیوندهای اساسی Propositions and basic connectives

• گزاره با مثال توضیح داده شد Proposition explained with examples

• اتصالات منطقی - AND، OR و NOT Logical Connectives - AND, OR and NOT

• تقدم اتصالات منطقی Precedence of Logical Connectives

• قوانین دمورگان Demorgan Laws

• اثبات تکنیک هایی برای معادل سازی منطقی 2 گزاره Proving techniques for logically equivalence of 2 propositional statements

اتصالات بیشتر More connectives

• مفهوم با مثال توضیح داده شده است Implication explained with example

• مفهوم دوگانه با مثال توضیح داده شده است Double Implication explained with example

معکوس، معکوس و متضاد یک گزاره ضمنی Converse, Inverse and Contrapositive of an implication proposition

• معکوس گزاره ضمنی Converse of implication proposition

• مخالف گزاره ضمنی Contrapositive of implication proposition

• معکوس گزاره ضمنی Inverse of implication proposition

• رابطه بین معکوس و معکوس یک گزاره ضمنی Relationship between Converse and Inverse of an implication proposition

• راه دیگری برای نمایش گزاره ضمنی Another way of representing implication proposition

تبدیل جملات انگلیسی به گزاره Converting English sentences into propositional statements

• تقدم همه اتصالات منطقی Precedence of all Logical Connectives

• تبدیل جملات انگلیسی به گزاره 1 Converting English sentences into propositional statements 1

• روش های مختلف نمایش گزاره ضمنی در انگلیسی Various ways of representing implication proposition in english

• مشکل 1 Problem 1

• مشکل 2 Problem 2

• مشکل 3 Problem 3

توابع گزاره ای Propositional functions

• تابع گزاره ای چیست What is a propositional function

• نمونه هایی از توابع گزاره ای Examples of propositional functions

کمیت کننده ها Quantifiers

• کمیت کننده های جهانی Universal Quantifiers

• نمونه هایی برای کمیت ساز جهانی Examples for universal quantifier

• کمی سازهای وجودی Existential quantifiers

• نکته مهم در کمیت کننده جهانی و وجودی Important point on Universal and Existential quantifier

• خلاصه Summary

• چالش ها و مسائل Problems

کمیت با دامنه محدود Quantifiers with restricted domain

• محدود کردن دامنه با استفاده از کمیت سازها Restricting the domain using quantifiers

• مثالی برای محدودیت دامنه با استفاده از کمیت سازها Example for domain restriction using quantifiers

بینش بیشتر در مورد کمیت سازها More insights on quantifiers

• تقدم کمیت سازها Precedence of quantifiers

• مشکلات در کمیت سازها Problems on quantifiers

• مشکلات در کمیت سازها Problems on quantifiers

نفی گزاره ها با کمیت ساز Negating Propositions with quantifiers

• نحوه اعمال نفی به یک گزاره با کمی ساز How to apply negation to a proposition with quantifiers

• بازی با نفی و کمیت Play with negation and quantifiers

• مشکلات بیشتر در نفی و کمیت سازها More problems on negation and quantifiers

• مشکلات بیشتر در نفی و کمیت سازها More problems on negation and quantifiers

• مشکلات بیشتر در نفی و کمیت سازها More problems on negation and quantifiers

• چگونه عبارات گزاره ای می توانند بسته به دامنه تغییر کنند How propositional statements can change depending on the domain

• مشکلات بیشتر برای نشان دادن تاثیر دامنه ها More problems to show the impact of domains

• مشکل 1 Problem 1

• مشکل 2 Problem 2

• مشکل 3 Problem 3

• مشکل 4 Problem 4

• مشکل 5 Problem 5

کمیت سازهای تودرتو Nested Quantifiers

• Nested Quantifiers با مثال توضیح داده شده است Nested Quantifiers explained with example

• ویژگی های مهم کمیت سازهای تو در تو با مثال Important properties of nested quantifiers with example

بخش پاداش: چگونه از اینجا ادامه دهید Bonus section : How to proceed from here

• بخش پاداش Bonus Section