در این فیلم آموزشی با سورها در مبحث منطق گزاره ها، سور عمومی، سور وجودی، ارزش گزاره های سوری و نقیض گزاره های سوری آشنا خواهید شد.
سورها: عبارت های ” به ازای هر” ، “وجود دارد”، ” همه” و “به ازای برخی مقادیر” که به سور معروفند، این عبارت ها می توانند قبل از گزاره نماها قرار گرفته و گزاره هایی با ارزش درست یا نادرست ایجاد کنند.
مثال)در گزاره نماهای زیر سور به کار رفته است:
به ازای هر عدد حقیقی a داریم : a2≥0
به ازای برخی مقادیر صحیح x داریم : x2-x=0
سور عمومی: برای بیان عبارت “به ازای هر” یا ” به ازای جمیع مقادیر” نماد ∀ را به کار برده و سور عمومی می نامیم.
مثال سور عمومی: a ∈R ∶ a2 ≥0 ∀
سور وجودی : برای بیان عبارت “وجود دارد” یا ” به ازای برخی مقادیر” نماد ∃ را به کار برده و سور وجودی می نامیم.
مثال سور وجودی: x∈ Z; x2-x=0 ∃
سور وجودی برای بیان عبارت “وجود دارد” یا “به ازای برخی مقادیر” به کار برده می شود.
ارزش گزاره های سوری:
مثال) ارزش سور عمومی sin2x+ cos2x=1 ;∀x ∈R درست است. ولی ارزش سور عمومی tanx×cotx=1 ;∀x ∈R غلط می باشد. چون tanx در x= π/2 و cotx در x=0 تعریف نشده اند.
به عنوان نمونه ارزش گزاره نما با سور وجودی x ∈N ;x2-x=0∃ درست است. چون عبارت x2-x=0، به ازای x=0,x=1 صفر خواهد شد. ولی ارزش گزاره نما a ∈R ;a2+1=0∃ غلط است، چون a2+1 یک عبارت همواره مثبت بوده و هیچ موقع صفر نخواهد شد.
نقیض گزاره های سوری: برای نقیض کردن یک گزاره سوری، سور عمومی را به وجودی و برعکس، تبدیل کرده و گزاره نمای سور را نقیض می کنیم.
مثال) نقیض هر یک از گزاره های سوری زیر را بنویسید؟
~ (∀ x ;p(x)) ≡ ∃ x ; ~ p(x)
~ (∀ x ;p(x)) ≡ ∃x ; ~p(x)
به منظور یادگیری بیشتر سورهای عمومی و وجودی و مشاهده نمونه تست های آن فیلم آموزشی را مشاهده کنید.
برای اینکه یک گزاره سوری را نقیض کنیم، سور عمومی را به وجودی و سور وجودی را به عمومی، تبدیل خواهیم کرد و گزاره نمای سور را نقیض می نمائیم.
گزاره نما با سور وجودی زمانی درست می باشد که مجموعه جواب های آن تهی نباشد. در واقع به بیانی دیگر، گزاره نما با سور وجودی هنگامی درست است که حداقل دارای یک جواب باشد.
سور عمومی، سوری است که برای بیان عبارت “به ازای هر” یا ” به ازای جمیع مقادیر” به کار خواهد رفت و نماد آن به صورت ∀ می باشد.
مؤسسه آموزشی فرهنگی گزینهدو برگزارکننده آزمون آزمایشی ویژۀ داوطلبان آزمون سراسری و آزمون‌های استاندارد ارزشیابی پیشرفت تحصیلی در دورۀ اول متوسطه و پایه‌های دهم و یازدهم می‌باشد. گزینهدو به‌عنوان یک مؤسسه پیشرو در زمینه خدمات نوین آموزشی، نرم‌افزارهای گوناگونی را جهت بهبود فرآیند آموزش و سنجش برای دانش‌آموزان و مدارس ارائه می‌کند.
مؤسسه آموزشی فرهنگی گزینهدو برگزارکننده آزمون آزمایشی ویژۀ داوطلبان آزمون سراسری و آزمون‌های استاندارد ارزشیابی پیشرفت تحصیلی در دورۀ اول متوسطه و پایه‌های دهم و یازدهم می‌باشد. گزینهدو به‌عنوان یک مؤسسه پیشرو در زمینه خدمات نوین آموزشی، نرم‌افزارهای گوناگونی را جهت بهبود فرآیند آموزش و سنجش برای دانش‌آموزان و مدارس ارائه می‌کند.
