Page 13 - C111215

ره شزرا هک تسا تسرد یتقو طقف )p∧q ( هرازگ ود یفطع بیکرت شزرا .دوش یم هتفگ فطاع »∧« یقطنم طبار هب اجنیا
ٔ
.تسا تسردان p∧q شزرا تلااح هیقب رد و دشاب تسرد q و p هرازگ ود
ٔ

لاثم
لاثم
.دیریگب رظن رد ار ریز بکرم هرازگ
ٔ
.»تسا هسردم لابتوف میت وضع اسراپ و دش لیصحتلا غراف دنگوس«

:مینک ضرف

.دش لیصحتلا غراف دنگوس :p
.تسا هسردم لابتوف میت وضع اسراپ :q

p q p ∧q .تسا تسردان p∧q شزرا ،دشاب تسردان q شزرا و تسرد p شزرا رگا

د د د .تسا تسردان p∧q شزرا ،دشاب تسرد q شزرا و تسردان p شزرا رگا
د ن ن .تسا تسردان p∧q شزرا ،دشاب تسردان q و p هرازگ ود شزرا هاگره
ٔ
ن د ن .تسا تسرد p∧q شزرا ،دشاب تسرد q و p هرازگ ود شزرا هاگره
ٔ
ن ن ن :تشون ناوت یم ور هبور تروص هب ار p∧q شزرا لودج نیاربانب

:میشاب هتشاد هک دیبایب نانچ ار y و x ریداقم :لاثم
2
2
)2x -y( +)x -1( =0
2
2
:هک تسا رارقرب یتقو لااب یواست ،نیاربانب )2x-y( ≥0 و )x-1( ≥0 نوچ :لح
 xy2
(  2 xy ) =0  (  ∧ x −1 ) =0  ⇒  −=0 ⇒ y 2
2
2
−
=
    x −= ⇒ x10 =1

هرازگ ود یلصف بیکرت
.دیریگب رظن رد ار ریز یاه هرازگ
.تسا یقیقح یددع 3 :p
.تسین لوا یددع 2 :q
هدش لیکشت »ای« یقطنم طبار اب q و p هرازگ ود بیکرت زا هک ار »تسین لوا یددع 2 ای ،تسا یقیقح یددع 3 « بکرم هرازگ
ٔ ّ ٔ
،دنسیون یم » p∨q « تروص هب هک ار »q ای p « بکرم هرازگ ،دنشاب هرازگ ود q و p هاگره .مییوگ یم هرازگ ود یلصف بیکرت ،تسا
ٔ
طقف )p∨q ( هرازگ ود یلصف بیکرت شزرا .دوش یم هتفگ لصاف » ∨ « یقطنم طبار هب اجنیا رد .مییوگ یم هرازگ ود یلصف بیکرت
ٔ
.تسا تسرد p∨q شزرا تلااح هیقب رد و دشاب تسردان q و p هرازگ ود ره شزرا هک تسا تسردان یتقو

یضایر قطنم اب ییانشآ :لّ وا سرد 5