در این فیلم آموزشی به حل نمونه تست هایی راجع به قوانین گزاره ها و قوانین مهم منطق گزاره ها شامل نقیض گزاره شرطی، عکس نقیض گزاره شرطی، خاصیت جا به جایی گزاره ها، شرکت پذیری، پخشی، خاصیت جذب گزاره ها خواهیم پرداخت.
تست اول) نقیض گزاره ” اگر عددی اول باشد آن گاه p2 + 1 نیز اول است” کدام است؟
گزینه 1 پاسخ صحیح می باشد.
می دانیم گزاره های زیر با یکدیگر هم ارز هستند:
p ⇒ q ≡ ∼ Ρ ∨ q در نتیجه ∼ (∼ Ρ ∨ q) ≡ Ρ ∧ ∼ q
بنابراین نقیض عبارت شرطی ذکر شده به صورت” عددی اول است و p2 + 1 اول نیست.” خواهد بود.
تست دوم) عکس نقیض گزاره ” اگر n2 فرد باشد، آن گاه n نیز فرد است” به کدام صورت است؟
گزینه 4 پاسخ صحیح می باشد.
عکس نقیض گزاره شرطی Ρ ⇒ q به صورت زیر می باشد:
∼ q ⇒ ∼ Ρ
بنابراین عکس نقیض عبارت شرطی ذکر شده به صورت ” اگر فرد نباشد، آن گاه N2 نیز فرد نیست.” خواهد بود.
قوانین مهم منطق گزاره ها: برخی از قوانین مهم در منطق گزاره ها به شکل زیر می باشد:
Ρ ∧ q = q ∧ Ρ
Ρ ∨ q = q ∨ Ρ
Ρ ∨ (q ∨ r) = (Ρ ∨ q) ∨ r
Ρ ∧ (q ∧ r) = (Ρ ∧ q) ∧ r
Ρ ∨ (q ∧ r) = (Ρ ∨ q) ∧ (Ρ ∨ r)
Ρ ∧ (q ∨ r) = (Ρ ∧ q) ∨ (Ρ ∧ r)
Ρ ∨ (q ∧ Ρ) ≡ Ρ
Ρ ∧ (q ∨ Ρ) = Ρ
تست سوم) کدام گزینه هم ارز منطقی گزاره p نیست؟
گزینه 4 پاسخ صحیح می باشد.گزینه ا و 2 طبق قانون جذب هم ارز p می باشند. در گزینه۳، q ∨ ∼ q همواره درست است. گزاره شرطی که مقدم آن درست باشد، به تالی وابسته خواهد بود. لذا گزینه 3 نیز هم ارز p می باشد. در گزینه۴، q ∨ ∼ q همواره درست بوده و گزاره شرطی که تالی آن درست باشد، همواره درست خواهد بود.
تست چهارم) برای اثبات گزاره ” اگر 5n + 3 زوج باشد، آن گاه n فرد است” بهتر است کدام گزینه را اثبات کنیم؟
گزینه 3 پاسخ صحیح می باشد.
به منظور اثبات این گزاره بهتر است از عکس نقیض آن استفاده شود. عکس نقیض آن به صورت ” اگر n فرد نباشد، آن گاه 5n + 3 زوج نیست” می باشد که معادل با ” اگر زوج باشد، آن گاه 5n + 3 فرد است.” خواهد بود.
خاصیت شرکت پذیری در گزاره ها به شکل زیر خواهد بود:
Ρ ∨ (q ∨ r) = (Ρ ∨ q) ∨ r
Ρ ∧ (q ∧ r) = (Ρ ∧ q) ∧ r
در واقع این خاصیت بیان می کند، اگر علامت های “و” و “یا” بین تمام گزاره ها یکسان باشد، می توان پرانتز ها و گزاره ها را جا به جا نمود.
خیر. به منظور سهولت، برای اثبات برخی از گزاره های شرطی می توان عکس نقیض آن ها را اثبات نمود.
خاصیت شرکت پذیری در گزاره ها به صورت زیر می باشد:
Ρ ∨ (q ∨ r) = (Ρ ∨ q) ∨ r
Ρ ∧ (q ∧ r) = (Ρ ∧ q) ∧ r
موسسه آموزشی فرهنگی گزینه دو برگزارکننده آزمون آزمایشی ویژه داوطلبان آزمون سراسری و آزمون های استاندارد ارزشیابی پیشرفت تحصیلی در دوره اول متوسطه و پایه های دهم و یازدهم می باشد. گزینه دو به عنوان یک موسسه پیشرو در زمینه خدمات نوین آموزشی، نرم افزارهای گوناگونی را جهت بهبود فرآیند آموزش و سنجش برای دانش آموزان و مدارس ارائه می کند
