Page 19 - C111215

.دینک تابثا هنومن دننام ار ریز یقطنم یاه یزرا مه ،اه هرازگ یتسرد شزرا لودج زا هدافتسا اب 2
p ∨q ≡ q ∨ p ییاج هباج نیناوق )فلا

p ∧q ≡ q ∧ p
( p ∨q ∨r ≡ p ∨(q ∨r ) یریذپ تکرش نیناوق )ب
)
(p ∧q ∧ r ≡ p ∧(q ∧r )
)
p ∧)q ∨r ≡ ( p∧q ∨(p∧r ) یریذپ عیزوت نیناوق )پ
(
)
p ∨(q ∧r ≡ (p ∨q ∧(p ∨r )
)
)
.تسا هدش تابثا یریذپ عیزوت یاه نوناق زا یکی ریز رد

p q r q ∨r p ∧q p ∧r p ∧(q ∨r ) (p ∧q ∨(p ∧r )
)
د د د د د د د د

د د ن د د ن د د

د ن د د ن د د د
د ن ن ن ن ن ن ن

ن د د د ن ن ن ن

ن د ن د ن ن ن ن
ن ن د د ن ن ن ن

ن ن ن ن ن ن ن ن

p ∧ (q ∨r ≡ (p∧q ∨(p ∧r سپ ،تسا هدش ناسکی لودج رخآ نوتس ود نوچ
)
)
)
اهروس

:دینک تقد ریز تلامج هب

ثلثم ره« .»تسا عبرم کی یلیطتسم ره« .»تسا درگ ییودرگ ره« .»دنا هدش لوبق هتشذگ لاس رد سلاک نازومآ شناد همه«
ٔ
زا یضعب« .»دننک یم دوعص رترب هتسد هب کی هتسد یاه میت زا یضعب« .»تسا نیقاسلا یواستم ثلثم کی یعلاضلاا یواستم
ٔ
ٔ
2
.»x -1= 0 ، ∈x ره یازا هب« .»دنا لیطتسم ،اه هقنزوذ زا یضعب« .»دنا جوز ،لوا دادعا
ّ
یاه ترابع لماش هک ییاهامن هرازگای اه هرازگ.دنا فورعم روس هب »ریداقم یضعب یازا هب« و »ره یازا هب« ،»ره« دننام ییاه ترابع
.دشاب صخشم دیاب ریغتم هنماد ،دشاب ریغتم لماش هک یروس هرازگ ره رد .دنفورعم یروس یاه هرازگ هب دنشاب یروس
ٔ
1
دوجو« یاج هب و ∀ دامن زا »ریداقم عیمج یازا هب« ای ،»ره یازا هب« یاج هب یضایر یاهدامن زا هدافتسا اب اه ترابع نایب یارب
2
.دوش یم هدیمان یدوجو روس ∃ دامن و یمومع روس∀دامن .مینک یم هدافتسا ∃ دامن زا »ریداقم یضعب یازا هب« ای ،»دراد

.تسا هدش هتفرگ All هملک لوا فرح زا ∀ دامن ــ1
.تسا هدش هتفرگ Exist هملک لوا فرح زا ∃ دامن ــ2

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