‫ﺗﻢ ﺗﺤﻤﻴﻞ ﻫﺬﺍ ﺍﻟﻤﻠﻒ ﻣﻦ ﻣﻮﻗﻊ ‪Talamidi.

com‬‬

‫ﻣﺒﺎدئ ﻓﻲ اﻟﻤﻨﻄﻖ‬

‫‪ -I‬ﺗﻌﺎرﻳﻒ وﻣﺼﻄﻠﺤﺎت‬
‫‪ -1‬اﻟﻌﺒﺎرة – اﻟﺪاﻟﺔ اﻟﻌﺒﺎرﻳﺔ‬
‫أ‪ -‬اﻟﻌﺒﺎرة‬
‫ﻧﺸﺎط‬
‫ﺿﻊ اﻟﻌﻼﻣﺔ × ﻓﻲ اﻟﺨﺎﻧﺔ اﻟﻤﻨﺎﺳﺒﺔ‬
‫ﻻ ﻳﻤﻜﻦ اﻟﺤﻜﻢ ﻋﻠﻰ‬
‫ﺻﺤﻴﺢ ﺧﺎﻃﺊ ﺻﺤﺘﻬﺎ أو ﺧﻄﺌﻬﺎ ﺑﺪون‬ ‫ﻧﺺ رﻳﺎﺿﻲ‬
‫ﻧﻘﺎش‬
‫‪−8 × −4 = −32‬‬ ‫‪p‬‬
‫ﻣﺠﻤﻮع ﻋﺪدﻳﻦ ﻓﺮدﻳﻴﻦ هﻮ ﻋﺪد زوﺟﻲ‬ ‫‪q‬‬
‫آﻞ ﻋﺪد ﻓﺮدي هﻮ ﻋﺪد أوﻟﻲ‬ ‫‪r‬‬
‫∈‪2‬‬ ‫‪s‬‬
‫∈ ‪ x‬داﻟﺔ زوﺟﻴﺔ‬ ‫اﻟﺪاﻟﺔ ‪ x → x 2‬ﺣﻴﺚ‬ ‫‪t‬‬
‫‪.x ≤ y/‬‬ ‫‪ x‬و ‪ y‬ﻋﻨﺼﺮان ﻣﻦ‬ ‫) ‪p ( x; y‬‬
‫‪( x ∈ ) : x2 − x ≥ 0‬‬ ‫)‪p ( x‬‬

‫أ‪ -‬ﺗﻌﺮﻳﻒ‬
‫ﻧﺴﻤﻲ ﻋﺒﺎرة آﻞ ﺟﻤﻠﺔ ﺧﺒﺮﻳﺔ ﺗﺤﻤﻞ ﻣﻌﻨﻰ و ﻳﻜﻮن ﺻﺤﻴﺤﺎ أو ﺧﺎﻃﺌﺎ و ﻻ ﻳﻤﻜﻦ أن ﻳﻜﻮن ﺻﺤﻴﺤﺎ‬
‫و ﺧﺎﻃﺌﺎ ﻓﻲ ﻧﻔﺲ اﻟﻮﻗﺖ‪.‬ﻧﺮﻣﺰ ﻟﻠﻌﺒﺎرة ﺑﺄﺣﺪ اﻟﺮﻣﻮز ‪ p‬أو ‪ q‬أو ‪........................ r‬‬
‫أﻣﺜﻠﺔ اﻟﻨﺼﻮص ‪ p‬و ‪ q‬و ‪ r‬و ‪ s‬و ‪ t‬ﻋﺒﺎرات‬
‫اﻟﻨﺼﺎن ) ‪ p ( x; y‬و ) ‪ p ( x‬ﻟﻴﺲ ﺑﻌﺒﺎرﺗﻴﻦ‬
‫ب‪-‬اﻟﺪاﻟﺔ ﻋﺒﺎرﻳﺔ‬
‫ﻓﻲ اﻟﻨﺸﺎط اﻟﺴﺎﺑﻖ‬
‫‪ x ≤ y /‬ﻧﺤﺼﻞ ﻋﻠﻰ‬ ‫* اذا ﻋﻮﺿﻨﺎ ‪ x‬و ‪ y‬ﺑﻌﺪدﻳﻦ ﻣﻌﻠﻮﻣﻴﻦ ﻓﻲ اﻟﺘﻌﺒﻴﺮ ‪ x‬و ‪ y‬ﻋﻨﺼﺮان ﻣﻦ‬
‫ﻋﺒﺎرة‪.‬‬
‫‪ x = 1‬ﻧﺤﺼﻞ ﻋﻠﻰ ‪ 1 ≤ −6‬ﻋﺒﺎرة ﺧﺎﻃﺌﺔ‬ ‫ﻣﺜﻼ ﻣﻦ أﺟﻞ ‪y = −6‬‬
‫‪ x = 1‬ﻧﺤﺼﻞ ﻋﻠﻰ ‪ 1 ≤ 4‬ﻋﺒﺎرة ﺻﺤﻴﺤﺔ‬ ‫ﻣﻦ أﺟﻞ ‪y = 4‬‬
‫‪ " x ≤ y /‬داﻟﺔ ﻋﺒﺎرﻳﺔ‬ ‫ﻟﺬا ﻧﻘﻮل اﻟﺘﻌﺒﻴﺮ " ‪ x‬و ‪ y‬ﻋﻨﺼﺮان ﻣﻦ‬
‫ﻧﺤﺼﻞ ﻋﻠﻰ ﻋﺒﺎرة‬ ‫∈ ‪" ( x‬داﻟﺔ ﻋﺒﺎرﻳﺔ ﻷن إذا ﻋﻮﺿﻨﺎ ‪ x‬ﺑﺄي ﻗﻴﻤﺔ ﻣﻦ‬ ‫* اﻟﺘﻌﺒﻴﺮ " ‪) : x 2 − x ≥ 0‬‬
‫‪ 22 − 2 ≥ 0‬ﻋﺒﺎرة ﺻﺤﻴﺤﺔ‬ ‫ﻣﺜﻼ ﻣﻦ أﺟﻞ ‪x = 2‬‬
‫‪2‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪   − ≥ 0‬ﻋﺒﺎرة ﺧﺎﻃﺌﺔ‬ ‫=‪x‬‬ ‫ﻣﻦ أﺟﻞ‬
‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬
‫ﺗﻌﺮﻳﻒ‬
‫آﻞ ﻧﺺ رﻳﺎﺿﻲ ﻳﺤﺘﻮي ﻋﻠﻰ ﻣﺘﻐﻴﺮ أو )ﻣﺘﻐﻴﺮات( ﻳﻨﺘﻤﻲ)أو ﺗﻨﺘﻤﻲ( إﻟﻰ ﻣﺠﻤﻮﻋﺔ ﻣﻌﻴﻨﺔ و ﻳﺼﺒﺢ‬
‫ﻋﺒﺎرة آﻠﻤﺎ ﻋﻮﺿﻨﺎ هﺪا اﻟﻤﺘﻐﻴﺮ ﺑﻌﻨﺼﺮ ﻣﺤﺪد ﻣﻦ هﺬﻩ اﻟﻤﺠﻤﻮﻋﺔ ﻳﺴﻤﻰ داﻟﺔ ﻋﺒﺎرﻳﺔ‬
‫‪ -2‬اﻟﻤﻜﻤﻤﺎت – اﻟﻌﺒﺎرات اﻟﻤﻜﻤﻤﺔ‬
‫أ‪ -‬اﻟﻤﻜﻤﻢ اﻟﻮﺟﻮدي‬
‫ﻟﺘﻜﻦ ) ‪ x ∈ E ; p ( x‬داﻟﺔ ﻋﺒﺎرﻳﺔ‬
‫ﺗﻌﻨﻲ ﻳﻮﺟﺪ ﻋﻠﻰ اﻷﻗﻞ ﻋﻨﺼﺮا ‪ x‬ﻣﻦ ‪ E‬ﻳﺤﻘﻖ ) ‪. p ( x‬‬ ‫‪( ∃x ∈ E ) :‬‬ ‫اﻟﻌﺒﺎرة ) ‪p ( x‬‬
‫اﻟﺮﻣﺰ ∃ ﻳﺴﻤﻰ اﻟﻤﻜﻤﻢ اﻟﻮﺟﻮدي ‪.‬‬
‫‪( ∃!x ∈ E ) :‬‬ ‫) ‪ p ( x‬ﻓﺈﻧﻨﺎ ﻧﻜﺘﺐ ) ‪p ( x‬‬ ‫إذا آﺎن ﻳﻮﺟﺪ ﻋﻨﺼﺮا وﺣﻴﺪا ‪ x‬ﻣﻦ ‪ E‬ﻳﺤﻘﻖ‬

‫‪1‬‬
 ‫ﺗﻢ ﺗﺤﻤﻴﻞ ﻫﺬﺍ ﺍﻟﻤﻠﻒ ﻣﻦ ﻣﻮﻗﻊ ‪Talamidi.com‬‬
‫ب‪ -‬اﻟﻤﻜﻤﻢ اﻟﻜﻮﻧﻲ‬
‫ﻟﺘﻜﻦ ) ‪ x ∈ E ; p ( x‬داﻟﺔ ﻋﺒﺎرﻳﺔ‬
‫ﺗﻌﻨﻲ أن ﺟﻤﻴﻊ ﻋﻨﺎﺻﺮ ‪ E‬ﺗﺤﻘﻖ ) ‪ . p ( x‬ﺗﻘﺮأ ﻟﻜﻞ ‪ x‬ﻣﻦ ‪, E‬‬ ‫‪( ∀x ∈ E ) :‬‬ ‫اﻟﻌﺒﺎرة ) ‪p ( x‬‬
‫) ‪ p ( x‬ﻣﺤﻘﻖ ) أو ﺻﺤﻴﺤﺔ(‪.‬‬
‫اﻟﺮﻣﺰ ∀ ﻳﺴﻤﻰ اﻟﻤﻜﻤﻢ اﻟﻜﻮﻧﻲ‪.‬‬
‫أﻣﺜﻠﺔ‬
‫ﺿﻊ اﻟﻌﻼﻣﺔ × ﻓﻲ اﻟﺨﺎﻧﺔ اﻟﻤﻨﺎﺳﺒﺔ‬
‫ﺻﺤﻴﺤﺔ‬ ‫ﺧﺎﻃﺌﺔ‬ ‫اﻟﻌﺒﺎرة‬
‫×‬ ‫∈ ‪∃x‬‬ ‫‪x 2 = −1‬‬
‫‪x‬‬
‫×‬ ‫∈ ‪∃x‬‬
‫‪4‬‬
‫∈‬
‫‪1‬‬
‫×‬ ‫= ‪∃!x ∈ [ 0; π ] cos x‬‬
‫‪2‬‬
‫×‬ ‫∈ ‪∃!x‬‬ ‫‪x =4‬‬
‫‪2‬‬

‫×‬ ‫∈ ‪∀x‬‬ ‫‪x2 ≥0‬‬

‫×‬ ‫∈ ) ‪∀(x ; y‬‬ ‫‪2‬‬
‫‪x − y =1‬‬

‫د‪ -‬اﻟﻌﺒﺎرات اﻟﻤﻜﻤﻤﺔ‬

‫ﻟﺘﻜﻦ ) ‪ p ( x ; y‬داﻟﺔ ﻋﺒﺎرﻳﺔ ﻣﻌﺮﻓﺔ ﻣﻌﺮﻓﺔ ﻋﻠﻰ ‪E × F‬‬
‫ﻧﻄﺒﻖ أﺣﺪ اﻟﻤﻜﻤﻤﻴﻦ ﻋﻠﻰ اﻟﺨﺎﺻﻴﺔ ) ‪ p ( x ; y‬ﺑﺎﻟﻨﺴﺒﺔ ﻟﻠﻤﺘﻐﻴﺮ ‪x‬‬
‫‪( ∀x ∈ E ) :‬‬ ‫ﻣﺜﻼ اﻟﻤﻜﻤﻢ اﻟﻜﻮﻧﻲ‪ ،‬ﻧﺤﺼﻞ ﻋﻠﻰ ) ‪p ( x ; y‬‬
‫داﻟﺔ ﻋﺒﺎرﻳﺔ ﻟﻠﻤﺘﻐﻴﺮ ‪ y‬وهﻲ ﻏﻴﺮ ﻣﺮﺗﺒﻄﺔ ﺑـ ‪. x‬‬
‫ﻧﻄﺒﻖ ﻋﻠﻴﻬﺎ أﺣﺪ اﻟﻤﻜﻤﻤﻴﻦ ﺑﺎﻟﻨﺴﺒﺔ ﻟﻠﻤﺘﻐﻴﺮ ‪ . y‬ﻣﺜﻼ اﻟﻤﻜﻤﻢ اﻟﻮﺟﻮدي‪،‬‬
‫ﻓﻨﺤﺼﻞ ﻋﻠﻰ اﻟﻌﺒﺎرة ) ‪. ( ∃y ∈ F ) ( ∀x ∈ E ) p ( x ; y‬‬
‫أﻣﺜﻠﺔ‬
‫)ﻧﺄﺧﺪ ‪( x = −1‬‬ ‫ﻋﺒﺎرة ﺧﺎﻃﺌﺔ‬ ‫‪( ∀x ∈ ) ( ∃y ∈ ) y = x‬‬ ‫‪2‬‬

‫‪ ( ∀x ∈ ) ( ∃y ∈ ) x + y = −2‬ﻋﺒﺎرة ﺻﺤﻴﺤﺔ‬
‫‪ ( ∃y ∈ ) ( ∀x ∈ ) x + y = −2‬ﻋﺒﺎرة ﺧﺎﻃﺌﺔ‬
‫‪ ( ∀x ∈ ) ( ∀y ∈ ) x + y ≤ x + y‬ﻋﺒﺎرة ﺻﺤﻴﺤﺔ‪.‬‬
‫‪ ( ∃x ∈ ) ( ∃y ∈ ) x + y = 3‬ﻋﺒﺎرة ﺻﺤﻴﺤﺔ‪.‬‬
‫ﻣﻼﺣﻈﺔ هﺎﻣﺔ‬
‫ﺗﺮﺗﻴﺐ ﻣﻜﻤﻤﺎت ﻣﻦ ﻧﻔﺲ اﻟﻄﺒﻴﻌﺔ ﻟﻴﺲ ﻟﻪ أهﻤﻴﺔ ﻓﻲ ﺗﺤﺪﻳﺪ اﻟﻤﻌﻨﻰ اﻟﺘﻲ ﺗﺤﻤﻠﻪ اﻟﻌﺒﺎرة اﻟﻤﻜﻤﻤﺔ‪.‬‬
‫ﺗﺮﺗﻴﺐ ﻣﻜﻤﻤﺎت ﻣﻦ ﻃﺒﻴﻌﺔ ﻣﺨﺘﻠﻔﺔ ﻟﻪ أهﻤﻴﺔ ﻓﻲ ﺗﺤﺪﻳﺪ اﻟﻤﻌﻨﻰ اﻟﺘﻲ ﺗﺤﻤﻠﻪ اﻟﻌﺒﺎرة اﻟﻤﻜﻤﻤﺔ ‪.‬‬
‫‪ -II‬اﻟﻌﻤﻠﻴﺎت اﻟﻤﻨﻄﻘﻴﺔ‬
‫‪ -1‬ﻧﻔﻲ ﻋﺒﺎرة‬
‫ﻓﻲ ﺣﻮار ﺟﺮى ﺑﻴﻦ ﻓﺎﻃﻤﺔ و أﺣﻤﺪ ‪ ,‬أﺳﺎﺳﻪ أن آﻞ ﻣﺎ ﻗﺎﻟﺘﻪ ﻓﺎﻃﻤﺔ ﻳﻨﻔﻴﻪ أﺣﻤﺪ و آﻞ‬ ‫ﻧﺸﺎط‪:‬‬
‫ﻣﺎ ﻗﺎﻟﻪ أﺣﻤﺪ ﺗﻨﻔﻴﻪ ﻓﺎﻃﻤﺔ ‪ ,‬أﻧﻘﻞ اﻟﺠﺪول اﻟﺘﺎﻟﻲ إﻟﻰ دﻓﺘﺮك ﺛﻢ أﻣﻠﺌﻪ ‪:‬‬
‫ﺣﻜﻤﻚ ﻋﻠﻰ ﻗﻮل‬ ‫ﺣﻜﻤﻚ ﻋﻠﻰ ﻗﻮل‬
‫ﻣﺎ ﻗﺎﻟﻪ أﺣﻤﺪ‬ ‫ﻣﺎ ﻗﺎﻟﺘﻪ ﻓﺎﻃﻤﺔ‬
‫أﺣﻤﺪ‬ ‫ﻓﺎﻃﻤﺔ‬
‫‪2 ∈ IN‬‬
‫‪7+ 2≺5‬‬
‫‪49‬ﻋﺪداوﻟﻲ‬
‫) ‪( −2‬‬
‫‪2‬‬
‫‪= −2‬‬

‫‪2‬‬
 ‫ﺗﻢ ﺗﺤﻤﻴﻞ ﻫﺬﺍ ﺍﻟﻤﻠﻒ ﻣﻦ ﻣﻮﻗﻊ ‪Talamidi.com‬‬
‫أ‪ -‬ﺗﻌﺮﻳﻒ‬
‫ﻧﻔﻲ ﻋﺒﺎرة ‪ p‬هﻲ ﻋﺒﺎرة ﻧﺮﻣﺰ ﻟﻬﺎﺑـ ‪ p‬أو ﺑـ ‪ ┐p‬ﺗﻜﻮن ﺻﺤﻴﺤﺔ إذا آﺎﻧﺖ ‪ p‬ﺧﺎﻃﺌﺔ و ﺗﻜﻮن‬
‫‪ p‬ﺗﻘﺮأ ﻧﻔﻲ ‪p‬‬ ‫ﺧﺎﻃﺌﺔ إذا آﺎﻧﺖ ‪ p‬ﺻﺤﻴﺤﺔ‪.‬‬
‫ﻓﻲ ﺟﺪول اﻟﺤﻘﻴﻘﺔ‪Tableau de vérité :‬‬
‫إذا آﺎﻧﺖ اﻟﻌﺒﺎرة ﺻﺤﻴﺤﺔ ﻧﺮﻣﺰ ﻟﺼﺤﺘﻬﺎ ﺑﺎﻟﺮﻣﺰ ‪ 1‬أو ‪ V‬وإذا آﺎﻧﺖ ﺧﺎﻃﺌﺔ ﻧﺮﻣﺰ ﻟﻌﺪم ﺻﺤﺘﻬﺎب ‪ 0‬أو‪F‬‬
‫ﺟﺪول ﺣﻘﻴﻘﺔ ‪p‬‬
‫‪p‬‬ ‫‪p‬‬
‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬

‫أﻣﺜﻠﺔ ﻧﻔﻲ اﻟﻌﺒﺎرة ‪ 1 ≺ 2‬هﻲ اﻟﻌﺒﺎرة ‪1 ≥ 2‬‬

‫ﻧﻔﻲ اﻟﻌﺒﺎرة ∉ ‪ 3‬هﻲ اﻟﻌﺒﺎرة ∈ ‪3‬‬
‫ب‪ -‬ﻧﻔﻲ ﻋﺒﺎرة ﻣﻜﻤﻤﺔ‬
‫‪. ∃x ∈ E‬‬ ‫‪A (X‬‬ ‫)‬ ‫* ﻧﻔﻲ اﻟﻌﺒﺎرة ) ‪ ∀x ∈ E A ( X‬هﻲ اﻟﻌﺒﺎرة‬
‫‪. ∀x ∈ E‬‬ ‫) ‪A (X‬‬ ‫‪ ∃x ∈ E‬هﻲ اﻟﻌﺒﺎرة‬ ‫‪A (X‬‬
‫* ﻧﻔﻲ اﻟﻌﺒﺎرة )‬
‫* ﻧﻔﻲ اﻟﻌﺒﺎرة ) ‪ ( ∀x ∈ E ) ( ∀y ∈ F ) A ( x ; y‬هﻲ اﻟﻌﺒﺎرة ) ‪( ∃x ∈ E ) ( ∃y ∈ F ) A ( x ; y‬‬
‫ﻧﻔﻲ اﻟﻌﺒﺎرة ) ‪ ( ∀x ∈ E ) ( ∃y ∈ F ) A ( x ; y‬هﻲ اﻟﻌﺒﺎرة ) ‪( ∃x ∈ E ) ( ∀y ∈ F ) A ( x ; y‬‬
‫ﻣﺜﺎل اﻋﻂ ﻧﻔﻲ اﻟﻌﺒﺎرة اﻟﺘﺎﻟﻴﺔ ‪( ∀z 0 ) ( ∃x ∈ ]0;1[ ) ( ∃y ∈ ]0;1[ ) : x 2 + y 2 ≺ z‬‬
‫د‪ -‬ﻧﺘﻴﺠﺔ ) اﻻﺳﺘﺪﻻل ﺑﺎﻟﻤﺜﺎل اﻟﻤﻀﺎد(‬
‫ﻟﻠﺒﺮهﺎن ﻋﻠﻰ أن ﻋﺒﺎرة ﻣﺎ ‪ p‬ﺧﺎﻃﺌﺔ ‪ ،‬ﻳﻜﻔﻲ أن ﻧﺒﻴﻦ أن ﻧﻔﻴﻬﺎ ‪ p‬ﺻﺤﻴﺤﺔ‪.‬‬
‫ﻟﻠﺒﺮهﻨﺔ ﻋﻠﻰ ﺧﻄﺄ ‪ ( ∀x ∈ E ) : A ( x ) ‬ﻳﻜﻔﻲ أن ﻧﺒﺮهﻦ ﺻﺤﺔ ‪( ∃x ∈ E ) : A ( x ) ‬‬
‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪1‬‬
‫(‬ ‫)‬
‫ﺗﻄﺒﻴﻖ ﺑﻴﻦ أن ‪ ∀x ∈ * : x + ≥ 2‬ﺧﺎﻃﺌﺔ‬
‫‪x‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪−‬‬ ‫‪5‬‬
‫(‬ ‫)‬
‫ادن ﻟﺪﻳﻨﺎ ‪ ∃x ∈ * : x + ≺ 2‬ﻋﺒﺎرة ﺻﺤﻴﺤﺔ‬
‫‪x‬‬
‫‪−2 +‬‬
‫‪−2 2‬‬
‫=‬ ‫‪≺2‬‬ ‫ﻧﻌﺘﺒﺮ ‪x = −2‬‬
‫‪1‬‬
‫(‬ ‫)‬
‫و ﻣﻨﻪ ‪ ∀x ∈ * : x + ≥ 2‬ﺧﺎﻃﺌﺔ‬
‫‪x‬‬
‫‪ -2‬اﻟﻔﺼﻞ اﻟﻤﻨﻄﻘﻲ‬
‫ﺗﻌﺮﻳﻒ‬
‫ﻓﺼﻞ اﻟﻌﺒﺎرﺗﻴﻦ ‪ p‬و ‪ q‬هﻮ اﻟﻌﺒﺎرة اﻟﺘﻲ ﺗﻜﻮن ﺻﺤﻴﺤﺔ إذا آﺎﻧﺖ ﻋﻠﻰ اﻷﻗﻞ إﺣﺪى اﻟﻌﺒﺎرﺗﻴﻦ ‪ p‬و‬
‫‪ q‬ﺻﺤﻴﺤﺘﻴﻦ ‪ .‬و ﺗﻜﺘﺐ ) ‪ p‬أ و ‪ ( q‬ﻧﻜﺘﺒﻬﺎ أﻳﻀﺎ ‪p ∨ q‬‬
‫ﺟﺪول ﺣﻘﻴﻘﺔ ‪p ∨ q‬‬
‫‪p‬‬ ‫‪q‬‬ ‫‪p ∨q‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪3‬‬
‫‪ 5‬ﺻﺤﻴﺤﺔ‬ ‫∈‬
‫أو ‪2‬‬ ‫اﻟﻌﺒﺎرة‬
‫‪2‬‬
‫اﻟﻌﺒﺎرة ‪ 22 = −4‬أو ‪ −3 ≥ 1‬ﺧﺎﻃﺌﺔ‬
‫ﻣﻼﺣﻈﺔ‬
‫ﻧﻘﻮل ﻋﻤﻠﻴﺔ اﻟﻔﺼﻞ ﺗﺒﺎدﻟﻴﺔ‬ ‫* اﻟﻌﺒﺎرﺗﺎن ) ‪ p‬أ و ‪ ( q‬و ) ‪ q‬أ و ‪ ( p‬ﺗﺤﻤﻼن ﻧﻔﺲ اﻟﻤﻌﻨﻰ‬

‫‪3‬‬
 ‫ﺗﻢ ﺗﺤﻤﻴﻞ ﻫﺬﺍ ﺍﻟﻤﻠﻒ ﻣﻦ ﻣﻮﻗﻊ ‪Talamidi.com‬‬
‫و ) ‪ r‬أو ‪ ( p‬أ و ‪ q‬ﺗﺤﻤﻼن ﻧﻔﺲ اﻟﻤﻌﻨﻰ‪ ،‬ﻧﻘﻮل ﻋﻤﻠﻴﺔ اﻟﻔﺼﻞ‬ ‫* اﻟﻌﺒﺎرﺗﺎن ‪ r‬أو) ‪ p‬أ و ‪( q‬‬
‫ﺗﺠﻤﻴﻌﻴﺔ‪.‬‬
‫‪ -3‬اﻟﻌﻄﻒ اﻟﻤﻨﻄﻘﻲ‬
‫ﺗﻌﺮﻳﻒ‬
‫ﻋﻄﻒ اﻟﻌﺒﺎرﺗﻴﻦ ‪ p‬و ‪ q‬هﻮ اﻟﻌﺒﺎرة اﻟﺘﻲ ﺗﻜﻮن ﺻﺤﻴﺤﺔ ﻓﻘﻂ إذا آﺎﻧﺖ اﻟﻌﺒﺎرﺗﺎن ‪ p‬و ‪q‬‬
‫ﺻﺤﻴﺤﺘﻴﻦ ﻣﻌﺎ‪ .‬و ﺗﻜﺘﺐ) ‪ p‬و ‪ ( q‬ﻧﻜﺘﺒﻬﺎ أﻳﻀﺎ ‪p ∧ q‬‬
‫ﺟﺪول ﺣﻘﻴﻘﺔ ‪p ∧ q‬‬

‫‪p‬‬ ‫‪q‬‬ ‫‪p ∧q‬‬

‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫ﻣﺜﺎل‬
‫‪3‬‬
‫‪ 5‬ﺧﺎﻃﺌﺔ‬ ‫و ‪2‬‬ ‫∈‬ ‫اﻟﻌﺒﺎرة‬
‫‪2‬‬
‫و ‪ −3 ≺ 1‬ﺻﺤﻴﺤﺔ‬ ‫∈ ‪( ∀x‬‬ ‫)‬
‫اﻟﻌﺒﺎرة ‪x 2 ≥ 0‬‬
‫ﻣﻼﺣﻈﺔ‬
‫* اﻟﻌﺒﺎرﺗﺎن ) ‪ p‬و ‪ ( q‬و ) ‪ q‬و ‪ ( p‬ﺗﺤﻤﻼن ﻧﻔﺲ اﻟﻤﻌﻨﻰ ﻧﻘﻮل ﻋﻤﻠﻴﺔ اﻟﻌﻄﻒ ﺗﺒﺎدﻟﻴﺔ‬
‫* اﻟﻌﺒﺎرﺗﺎن ‪ r‬و) ‪ p‬و ‪ ( q‬و ) ‪ r‬و ‪ ( p‬و ‪ q‬ﺗﺤﻤﻼن ﻧﻔﺲ اﻟﻤﻌﻨﻰ‪ ،‬ﻧﻘﻮل ﻋﻤﻠﻴﺔ اﻟﻌﻄﻒ ﺗﺠﻤﻴﻌﻴﺔ‪.‬‬
‫ﺑﻴﻦ ذﻟﻚ‬ ‫‪p∨q = p ∧q‬‬ ‫* ‪p ∧q = p ∨q‬‬
‫‪ -4‬اﻻﺳﺘﻠﺰام‬
‫ﺗﻌﺮﻳﻒ‬
‫اﺳﺘﻠﺰام اﻟﻌﺒﺎرﺗﻴﻦ ‪ p‬و ‪ q‬هﻮ اﻟﻌﺒﺎرة اﻟﺘﻲ ﺗﻜﻮن ﺧﺎﻃﺌﺔ ﻓﻘﻂ إذا آﺎﻧﺖ ‪ p‬ﺻﺤﻴﺤﺔ و ‪ q‬ﺧﺎﻃﺌﺔ‪.‬‬
‫و ﺗﻜﺘﺐ ‪ p ⇒ q‬ﺗﻘﺮأ ‪ p‬ﺗﺴﺘﻠﺰم ‪q‬‬

‫ﺟﺪول ﺣﻘﻴﻘﺔ ‪p ⇒ q‬‬

‫‪p‬‬ ‫‪q‬‬ ‫‪p ⇒q‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬

‫أﻣﺜﻠﺔ‬
‫(‬
‫∈ ‪ ∀x‬ﺻﺤﻴﺤﺔ‬ ‫)‬
‫اﻟﻌﺒﺎرة ‪x ≥ 0 ⇒ 4 + 1 = 5‬‬
‫‪2‬‬

‫اﻟﻌﺒﺎرة ‪ 2 1 ⇒ −1 = 2 + 3‬ﺧﺎﻃﺌﺔ‬
‫اﻟﻌﺒﺎرة ‪ 3 × 2 = 9 ⇒ 5 − 1 = 20‬ﺻﺤﻴﺤﺔ‬
‫∈ ∀ ( ﺻﺤﻴﺤﺔ‬ ‫اﻟﻌﺒﺎرة ‪x ≥ 0 ) ⇒ 2 − 1 = 1‬‬
‫اﺻﻄﻼح إذا آﺎﻧﺖ اﻟﻌﺒﺎرة ‪ p ⇒ q‬ﺻﺤﻴﺤﺔ ‪ ،‬ﻧﻘﻮل إن ‪ q‬اﺳﺘﻨﺘﺎج ﻣﻨﻄﻘﻲ ﻟﻠﻌﺒﺎرة ‪. p‬‬
‫ﻣﻼﺣﻈﺔ‬
‫* اﻟﻌﺒﺎرﺗﺎن ‪ p ⇒ q‬و ) ‪ ( p ∨ q‬ﺗﺤﻤﻼن ﻧﻔﺲ اﻟﻤﻌﻨﻰ‬
‫* ‪ q ⇒ p‬ﻳﺴﻤﻰ اﻻﺳﺘﻠﺰام اﻟﻌﻜﺴﻲ ﻟﻼﺳﺘﻠﺰام ‪. p ⇒ q‬‬
‫* ﻟﻠﺒﺮهﻨﺔ ﻋﻠﻰ أن ‪ p ⇒ q‬ﺻﺤﻴﺤﺔ ‪ ،‬ﻳﻜﻔﻲ أن ﻧﻔﺘﺮض أن ‪ p‬ﺻﺤﻴﺤﺔ و ﻧﺒﻴﻦ أن ‪ q‬ﺻﺤﻴﺤﺔ‪.‬‬
‫ﻧﻘﻮل إن ‪ p‬ﺷﺮط آﺎف ﻟﺘﺤﻘﻴﻖ ‪q‬‬
‫ﺗﻤﺮﻳﻦ ﺗﻄﺒﻴﻘﻲ‬
‫ﻟﻴﻜﻦ ∈ ‪x‬‬

‫‪4‬‬
 ‫ﺗﻢ ﺗﺤﻤﻴﻞ ﻫﺬﺍ ﺍﻟﻤﻠﻒ ﻣﻦ ﻣﻮﻗﻊ ‪Talamidi.com‬‬
‫‪1‬‬ ‫‪−3x + 5 11‬‬
‫⇒‬‫≤ ‪−2 ≤ x‬‬ ‫≤‬ ‫ﺑﻴﻦ أن‬
‫‪3‬‬ ‫‪x +4‬‬ ‫‪2‬‬
‫‪−3x + 5 11‬‬ ‫‪1‬‬
‫(‬ ‫≤‬ ‫) ﻧﻔﺘﺮض أن ≤ ‪ −2 ≤ x‬و ﻧﺒﻴﻦ أن‬
‫‪x +4‬‬ ‫‪2‬‬ ‫‪3‬‬
‫‪ -5‬اﻟﺘﻜﺎﻓﺆ اﻟﻤﻨﻄﻘﻲ‬
‫ﺗﻌﺮﻳﻒ‬
‫ﻟﻴﻜﻦ ‪ p‬و ‪ q‬ﻋﺒﺎرﺗﻴﻦ‬
‫اﻟﻌﺒﺎرة ) ‪ p ⇒ q‬و ‪ ( q ⇒ p‬ﺗﺴﻤﻰ ﺗﻜﺎﻓﺆ اﻟﻌﺒﺎرﺗﻴﻦ ‪ p‬و ‪ q‬وﺗﻜﻮن ﺻﺤﻴﺤﺔ إذا آﺎﻧﺖ ‪ p‬و ‪q‬‬
‫ﻟﻬﻤﺎ ﻧﻔﺲ ﻗﻴﻢ اﻟﺤﻘﻴﻘﺔ و ﻧﺮﻣﺰ ﻟﻬﺎ ﺑـ ‪ p ⇔ q‬و ﺗﻘﺮأ ‪ p‬ﺗﻜﺎﻓﺊ ‪ q‬أو ‪ p‬إذا وﻓﻘﻂ إذا ‪ q‬أو‬
‫‪ p‬ﺷﺮط ﻻزم و آﺎف ﻟﺘﺤﻘﻴﻖ ‪q‬‬

‫ﺟﺪول ﺣﻘﻴﻘﺔ ‪p ⇔ q‬‬

‫‪p‬‬ ‫‪q‬‬ ‫‪p ⇔q‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬

‫أﻣﺜﻠﺔ اﻟﻌﺒﺎرة )‪ 5‬ﻋﺪد ﻓﺮدي ⇔ ‪ ( 3 2‬ﺻﺤﻴﺤﺔ‬

‫اﻟﻌﺒﺎرة )‪ -1‬ﻋﺪد ﻣﻮﺟﺐ ⇔ ‪ ( 5 + 2 = 3‬ﺻﺤﻴﺤﺔ‬
‫اﻟﻌﺒﺎرة ) ∈ ‪ ( 2 1 ⇔ −1‬ﺧﺎﻃﺌﺔ‬
‫ﻣﻼﺣﻈﺔ‬
‫* ) ‪ ( p ⇔ q ) ⇔ (q ⇔ p‬ﻧﻘﻮل إن اﻟﺘﻜﺎﻓﺆ ﻋﻤﻠﻴﺔ ﺗﺒﺎدﻟﻴﺔ‬
‫* ) ‪ ( p ⇔ (q ⇔ r ) ) ⇔ ( ( p ⇔ q ) ⇔ r‬ﻧﻘﻮل إن اﻟﺘﻜﺎﻓﺆ ﻋﻤﻠﻴﺔ ﺗﺠﻤﻴﻌﻴﺔ‬

‫ﺗﻤﺮﻳﻦ‬
‫ﻧﻘﺘﺮح ﻋﻠﻴﻚ ﺑﺮهﺎﻧﻴﻦ ﻧﺴﺘﻌﻤﻞ ﻓﻴﻬﻤﺎ اﻟﺮﻣﺰ " ⇔ " ﺑﻄﺮﻳﻘﺔ ﻣﺴﺘﺮﺳﻠﺔ ‪ .‬أﺣﺪ اﻟﺒﺮهﺎﻧﻴﻦ ﺧﺎﻃﺊ‪ .‬و‬
‫اﻟﻤﻄﻠﻮب ﻣﻨﻚ اﻟﺘﻌﺮف ﻋﻠﻴﻪ ﻣﻊ إﻋﻄﺎء ﺗﻌﻠﻴﻞ ﻟﺠﻮاﺑﻚ‪.‬‬
‫‪x2 + 3 ≥ 2 ⇔ x2 + 3 ≥ 4‬‬ ‫‪ ( 1‬ﻟﻴﻜﻦ ‪ x‬ﻣﻦ ‪ IR‬ﻟﺪﻳﻨﺎ ‪:‬‬
‫‪2‬‬
‫‪⇔ x ≥1‬‬
‫‪⇔ x ≥1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫*‬
‫‪x + ≥ 2 ⇔ x + − 2≥ 0‬‬ ‫ﻟﺪﻳﻨﺎ ‪:‬‬ ‫ﻣﻦ ‪+‬‬ ‫‪ ( 2‬ﻟﻴﻜﻦ ‪x‬‬
‫‪x‬‬ ‫‪x‬‬
‫‪x + 1 − 2x‬‬
‫‪2‬‬
‫⇔‬ ‫‪≥0‬‬
‫‪x‬‬
‫)‪( x − 1‬‬
‫‪2‬‬

‫⇔‬ ‫‪≥0‬‬
‫‪x‬‬
‫ﺗﻤﺮﻳﻦ‬
‫ﺑﺎﺳﺘﻌﻤﺎل ﺟﺪاول اﻟﺤﻘﻴﻘﺔ ﺑﻴﻦ أن‬
‫(‬ ‫)‬
‫و )‪p ⇒q ⇔ (p ∨q‬‬ ‫‪(p ⇒q) ⇔ p ∨q‬‬ ‫(‬ ‫)‬
‫ﺻﺤﻴﺤﺔ‬ ‫)‪p ⇒ q ⇔ (p ∧q‬‬
‫‪ -III‬اﻟﻘﻮاﻧﻴﻦ اﻟﻤﻨﻄﻘﻴﺔ‬
‫آﻞ ﻋﺒﺎرة ﻣﻜﻮﻧﺔ ﻣﻦ ﻋﺒﺎرﺗﻴﻦ أو ﻋﺪة ﻋﺒﺎرات ‪ ...r ; q ; p‬ﻣﺮﺗﺒﻄﺔ ﺑﻴﻨﻬﺎ ﺑﺎﻟﻌﻤﻠﻴﺎت اﻟﻤﻨﻄﻘﻴﺔ و ﺗﻜﻮن‬
‫ﺻﺤﻴﺤﺔ ﻣﻬﻤﺎ آﺎﻧﺖ اﻟﻌﺒﺎرات ‪ ...r ; q ; p‬ﺗﺴﻤﻰ ﻗﺎﻧﻮﻧﺎ ﻣﻨﻄﻘﻴﺎ‬
‫‪ -1‬أﻧﺸﻄﺔ‬
‫ﺑﻴﻦ أن اﻟﻌﺒﺎرات اﻟﺘﺎﻟﻴﺔ ﻗﻮاﻧﻴﻦ ﻣﻨﻄﻘﻴﺔ‬

‫‪5‬‬
 ‫ﺗﻢ ﺗﺤﻤﻴﻞ ﻫﺬﺍ ﺍﻟﻤﻠﻒ ﻣﻦ ﻣﻮﻗﻊ ‪Talamidi.com‬‬
‫‪( p ∧ ( p ⇒ q )) ⇒ q‬‬ ‫‪، p⇔p ،‬‬ ‫‪p∨p‬‬
‫) ‪( p ⇒ q ) ∧ (q ⇒ r )  ⇒ ( p ⇒ r‬‬
‫ﻣﻼﺣﻈﺔ و اﺻﻄﻼح‬
‫* ﻟﺪﻳﻨﺎ ‪ ( p ∧ ( p ⇒ q ) ) ⇒ q‬ﻗﺎﻧﻮن ﻣﻨﻄﻘﻲ و ﻳﺴﻤﻰ اﻟﻘﺎﻋﺪة اﻟﻌﺎﻣﺔ ﻟﻼﺳﺘﺪﻻل اﻻﺳﺘﻨﺘﺎﺟﻲ ‪.‬‬
‫ﻟﻠﺒﺮهﺎن ﻋﻠﻰ ﺻﺤﺔ اﻟﻌﺒﺎرة ‪q‬‬
‫ﻧﺒﻴﻦ أن اﻻﺳﺘﻠﺰام ‪ p ⇒ q‬ﺻﺤﻴﺤﺎ ﺣﻴﺚ ‪ p‬ﻋﺒﺎرة ﻣﺎ ﺻﺤﻴﺤﺔ‪ ،‬ﺛﻢ ﻧﺴﺘﻨﺘﺞ أن ‪ q‬ﺻﺤﻴﺤﺔ‪.‬‬
‫* ﻟﺪﻳﻨﺎ ) ‪ ( p ⇒ q ) ∧ (q ⇒ r )  ⇒ ( p ⇒ r‬ﻗﺎﻧﻮن ﻣﻨﻄﻘﻲ ﻧﻘﻮل إن اﻻﺳﺘﻠﺰام ﻋﻤﻠﻴﺔ ﻣﺘﻌﺪﻳﺔ‪.‬‬
‫‪ -2‬ﺑﻌﺾ اﻟﻘﻮاﻧﻴﻦ اﻟﻤﻨﻄﻘﻴﺔ‬
‫*أ‪ -‬ﻗﻮاﻧﻴﻦ ﻣﻮرآﺎن ‪LOIS DE MORGAN‬‬
‫اﻟﻌﺒﺎرات اﻟﺘﺎﻟﻴﺔ ﻗﻮاﻧﻴﻦ ﻣﻨﻄﻘﻴﺔ‬
‫‪(p ∧q) ⇔ p ∨q‬‬ ‫‪(p ∨q) ⇔ p ∧q‬‬
‫) ‪p ∨ (q ∧ r ) ⇔ ( p ∨ q ) ∧ ( p ∨ r‬‬
‫) ‪p ∧ (q ∨ r ) ⇔ ( p ∧ q ) ∨ ( p ∧ r‬‬

‫اﻟﻨﻈﻤﺔ‬ ‫‪2‬‬
‫ﺣﻞ ﻓﻲ‬ ‫ﺗﻄﺒﻴﻖ‬
‫‪ 2x − y = 2‬‬
‫‪ 2‬‬
‫‪x − y = 0‬‬
‫‪2‬‬

‫اﻟﺤﻞ‬
‫) (‬
‫‪x‬‬ ‫;‬ ‫‪y‬‬ ‫∈‬ ‫‪S‬‬ ‫⇔‬ ‫‪2‬‬ ‫‪x‬‬ ‫‪−‬‬ ‫‪y‬‬ ‫=‬ ‫‪2‬‬ ‫∧‬ ‫(‬ ‫‪x‬‬ ‫‪−‬‬ ‫‪y‬‬ ‫=‬ ‫‪0‬‬ ‫∨‬ ‫‪x‬‬ ‫‪+‬‬ ‫‪y‬‬ ‫=‬ ‫‪0‬‬ ‫)‬
‫) ‪ ( 2x − y = 2 ∧ x − y = 0‬‬
‫‪⇔‬‬
‫) ‪∨ ( 2x − y = 2 ∧ x + y = 0‬‬
‫‪‬‬ ‫‪2‬‬ ‫‪2‬‬
‫‪⇔ ( x = 2 ∧ y = 2) ∨  x = ∧ y = − ‬‬
‫‪‬‬ ‫‪3‬‬ ‫‪3‬‬
‫‪‬‬ ‫‪ 2 2 ‬‬
‫اذن ‪S = ( 2; 2 ) ;  ; −  ‬‬
‫‪‬‬ ‫‪ 3 3 ‬‬
‫ﺗﻤﺮﻳﻦ‬
‫‪∀x ∈ : x + 1 ≥ 0 ∨ x − 1 ≺ 0‬‬
‫‪2‬‬
‫اﻋﻂ ﻧﻔﻲ اﻟﻌﺒﺎرات‬
‫‪x +y‬‬
‫∈ ‪∀x‬‬ ‫∈ ‪∀y‬‬ ‫≤ ‪( x ; y ) ∈ [0;1] ⇒ 0‬‬ ‫‪≤1‬‬
‫‪1 + xy‬‬
‫*ب‪ -‬ﻗﺎﻧﻮن اﻟﺘﻜﺎﻓﺆات اﻟﻤﺘﺘﺎﻟﻴﺔ‬
‫اﻟﻌﺒﺎرة ) ‪ ( A ⇔ B ) ∧ ( B ⇔ C )  ⇒ ( A ⇔ C‬ﻗﺎﻧﻮن ﻣﻨﻄﻘﻲ‬
‫ﻧﺘﻴﺠﺔ ) اﻻﺳﺘﺪﻻل ﺑﺎﻟﺘﻜﺎﻓﺆات اﻟﻤﺘﺘﺎﻟﻴﺔ(‬
‫ﻧﺴﺘﻨﺘﺞ ﻣﻦ هﺬا اﻟﻘﺎﻧﻮن أﻧﻪ اذا آﺎن ) ‪ ( A ⇔ B‬و ) ‪ ( B ⇔ C‬ﻓﺎن ) ‪ ( A ⇔ C‬ﺻﺤﺒﺤﺎ‪.‬‬
‫ﺗﻤﺮﻳﻦ‬
‫∈ ) ‪(x ; y‬‬ ‫‪2‬‬
‫ﻟﻴﻜﻦ‬
‫‪x +y‬‬
‫= ‪x −1 + 2 y − 4‬‬ ‫ﺑﻴﻦ أن ) ‪⇔ ( x ; y ) = ( 2;8‬‬
‫‪2‬‬
‫* د‪ -‬ﻗﺎﻧﻮن اﻻﺳﺘﻠﺰام اﻟﻤﻀﺎد ﻟﻠﻌﻜﺲ‬
‫(‬
‫اﻟﻌﺒﺎرة ‪ ( A ⇒ B ) ⇔ B ⇒ A‬ﻗﺎﻧﻮن ﻣﻨﻄﻘﻲ‬ ‫)‬
‫ﻣﻼﺣﻈﺔ‬
‫ﻓﻲ ﺑﻌﺾ اﻷﺣﻴﺎن ﻳﺼﻌﺐ اﻟﺒﺮهﺎن ﻋﻠﻰ ﺻﺤﺔ ‪A ⇒ B‬‬
‫ﻓﻨﻠﺠﺄ اﻟﻰ اﻟﺒﺮهﺎن ﻋﻠﻰ ﺻﺤﺔ ‪ B ⇒ A‬ﺛﻢ ﻧﺴﺘﻨﺘﺞ ﺻﺤﺔ ‪A ⇒ B‬‬
‫هﺬا اﻟﺒﺮهﺎن ﻳﺴﻤﻰ اﻻﺳﺘﺪﻻل ﺑﺎﻻﺳﺘﻠﺰام اﻟﻤﻀﺎد ﻟﻠﻌﻜﺲ‬

‫‪6‬‬
 ‫ﺗﻢ ﺗﺤﻤﻴﻞ ﻫﺬﺍ ﺍﻟﻤﻠﻒ ﻣﻦ ﻣﻮﻗﻊ ‪Talamidi.com‬‬
‫∈‪x‬‬ ‫ﺗﻤﺮﻳﻦ ﻟﻴﻜﻦ‬
‫‪x +2‬‬
‫⇒ ‪x ≠ −8‬‬ ‫ﺑﻴﻦ أن ‪≠ 2‬‬
‫‪x +5‬‬
‫ﻧﺘﻴﺠﺔ‬
‫‪ ( A ⇔ B ) ⇔ A ⇔ B‬ﻗﺎﻧﻮن ﻣﻨﻄﻘﻲ‬ ‫(‬ ‫)‬
‫*ج‪ -‬ﻗﺎﻧﻮن اﻟﺨﻠﻒ‬
‫(‬ ‫( )‬
‫‪ ( B ⇒ C ∧ B ⇒ C ) ⇒ B‬ﻗﺎﻧﻮن ﻣﻨﻄﻘﻲ‬ ‫)‬
‫ﻧﺘﻴﺠﺔ ) اﻻﺳﺘﺪﻻل ﺑﺎﻟﺨﻠﻒ(‬
‫ﻧﻔﺘﺮض أن ‪ B‬ﺻﺤﻴﺤﺔ ‪ ،‬وﻧﺒﻴﻦ أن ‪ B ⇒ C‬ﺻﺤﻴﺤﺔ) أي ‪C‬‬
‫ﺻﺤﻴﺤﺔ ( ﺣﻴﺚ ‪ C‬ﻋﺒﺎرة ﻣﺎ ﺻﺤﻴﺤﺔ ) أي ‪ B ⇒ C‬ﺻﺤﻴﺤﺔ(‬
‫و هﺬا ﺗﻨﺎﻗﺾ ﻷن ‪ C‬ﻻ ﻳﻤﻜﻦ أن ﺗﻜﻮن ﺻﺤﻴﺤﺔ و ﺧﺎﻃﺌﺔ ﻓﻲ ﻧﻔﺲ اﻟﻮﻗﺖ ‪.‬ﺛﻢ ﻧﺴﺘﻨﺘﺞ أن ‪B‬‬
‫ﺻﺤﻴﺤﺔ‪.‬‬
‫هﺬا ﻧﻮع ﻣﻦ اﻻﺳﺘﺪﻻل ﻳﺴﻤﻰ اﻻﺳﺘﺪﻻل ﺑﺎﻟﺨﻠﻒ‪.‬‬
‫ﺗﻤﺮﻳﻦ ﺑﺮهﻦ أن ∉ ‪2‬‬
‫* ر‪ -‬ﻗﺎﻧﻮن ﻓﺼﻞ اﻟﺤﺎﻻت‬
‫‪ (( A ⇒ B ) ∧ ( B ⇒ C )) ⇒ ( A ∨ B ) ⇒ C ‬ﻗﺎﻧﻮن ﻣﻨﻄﻘﻲ‬
‫ﻣﻼﺣﻈﺔ‬
‫إذا آﺎﻧﺖ ‪ A ∨ B‬ﺻﺤﻴﺤﺔ ﻓﺎﻧﻪ ﻟﻠﺒﺮهﻨﺔ ﻋﻠﻰ ﺻﺤﺔ ‪ ، C‬ﻧﺒﻴﻦ أن ‪ A ⇒ C‬ﺻﺤﻴﺤﺔ و ‪B ⇒ C‬‬
‫ﺻﺤﻴﺤﺔ ‪،‬‬
‫ﺛﻢ ﻧﺴﺘﻨﺘﺞ أن ‪ C‬ﺻﺤﻴﺤﺔ‪.‬‬
‫هﺬا اﻻﺳﺘﺪﻻل ﻳﺴﻤﻰ اﻻﺳﺘﺪﻻل ﺑﻔﺼﻞ اﻟﺤﺎﻻت‬
‫(‬
‫ﻋﻤﻠﻴﺎ ﻧﻄﺒﻖ ‪ ( A ⇒ C ) ∧ A ⇒ C  ⇒ C‬ﻷن ‪ A ∨ A‬ﺻﺤﻴﺤﺔ داﺋﻤﺎ‪.‬‬
‫‪‬‬ ‫‪‬‬ ‫)‬
‫اﻟﻤﻌﺎدﻟﺔ ‪x − x − 1 + 1 = 0‬‬
‫‪2‬‬
‫ﺣﻞ ﻓﻲ‬ ‫ﺗﻤﺮﻳﻦ‬
‫‪ -VI‬ﻣﺒﺪأ اﻟﺘﺮﺟــــﻊ‬
‫ﺧﺎﺻﻴﺔ‬
‫ﻟﺘﻜﻦ ) ‪ p ( n‬ﺧﺎﺻﻴﺔ ﻟﻤﺘﻐﻴﺮ ‪ n‬ﺻﺤﻴﺢ ﻃﺒﻴﻌﻲ‬
‫إذا آﺎن ﻳﻮﺟﺪ ﻋﺪد ﺻﺤﻴﺢ ﻃﺒﻴﻌﻲ ‪ n 0‬ﺑﺤﻴﺚ ﺗﻜﻮن اﻟﻌﺒﺎرة ) ‪ p ( n 0‬ﺻﺤﻴﺤﺔ ‪.‬‬
‫) ‪( ∀n ≥ n 0 ) : p ( n‬‬ ‫‪ ∀n ≥ n 0‬ﺻﺤﻴﺤﺔ‪ .‬ﻓﺎن اﻟﻌﺒﺎرة‬ ‫و إذا آﺎﻧﺖ اﻟﻌﺒﺎرة )‪p ( n ) ⇒ p ( n + 1‬‬
‫ﺻﺤﻴﺤﺔ‪.‬‬
‫ﻣﻼﺣﻈﺔ‬
‫ﻟﻠﺒﺮهﺎن ﻋﻠﻰ أن ) ‪ ( ∀n ≥ n 0 ) : p ( n‬ﺻﺤﻴﺤﺔ‪ ،‬ﻧﺘﺒﻊ اﻟﺨﻄﻮات اﻟﺘﺎﻟﻴﺔ‬
‫اﻟﺘﺤﻘﻖ ‪:‬‬ ‫•‬
‫) ‪ p ( n 0‬ﺻﺤﻴﺤﺔ‬ ‫ﻧﺘﺤﻘﻖ أن اﻟﻌﺒﺎرة‬
‫اﻓﺘﺮاض اﻟﺘﺮﺟﻊ ‪:‬‬ ‫•‬
‫و ﻧﺒﻴﻦ أن )‪ p ( n + 1‬ﺻﺤﻴﺤﺔ‪.‬‬ ‫ﻧﻔﺘﺮض أن اﻟﻌﺒﺎرة ) ‪ p ( n‬ﺻﺤﻴﺤﺔ ‪n ≥ n 0‬‬
‫هﺬا اﻻﺳﺘﺪﻻل ﻳﺴﻤﻰ اﻻﺳﺘﺪﻻل ﺑﺎﻟﺘﺮﺟﻊ‬
‫ﺗﻤﺮﻳﻦ ﺑﻴﻦ ﺑﺎﻟﺘﺮﺟﻊ ‪∀n ≥ 4 2n ≥ n 2‬‬
‫)‪n ( n + 1)( 2n + 1‬‬
‫= ‪∀n ∈ * 12 + 22 + .... + n 2‬‬
‫‪6‬‬

‫‪7‬‬