‫ﺎﺒﻣ‪ ȊȌ‬ﻲﻓ ‪ȋ‬ﻖﻄﻨﻤﻟ‬

‫‪ - I‬ﺎﻌﺗ‪ȟ‬ﻒﻳ ‪Ȯ‬ﺎﺤﻠﻄﺼﻣ‪Ț‬‬
‫‪ȗ -1‬ﺎﺒﻌﻟ‪ȗ – șȟ‬ﺪﻟ‪ȗ‬ﺔﻟ ‪ȗ‬ﺎﺒﻌﻟ‪ȟ‬ﺔﻳ‬
‫‪ȗ -ȕ‬ﺎﺒﻌﻟ‪șȟ‬‬
‫ﺎﺸﻧ‪ȥ‬‬
‫ﻊﺿ ‪ȗ‬ﻲﻓ ﺔﻣﻼﻌﻟ ‪ȗ‬ﺔﻧﺎﺨﻟ ‪ȗ‬ﺔﺒﺳﺎﻨﻤﻟ‬
‫×‬
‫ﻦﻜﻤﻳ ﻻ ‪ȗ‬ﻰﻠﻋ ﻢﻜﺤﻟ‬
‫ﺢﻴﺤﺻ ﺊﻃﺎﺧ ﺎﻬﺘﺤﺻ ‪ Ȯȕ‬ﺪﺑ ﺎﻬﺌﻄﺧ‪ȬȮ‬‬ ‫ﺺﻧ ‪ȟ‬ﻲﺿﺎﻳ‬
‫ﺎﻘﻧ‪Ȣ‬‬
‫‪4 = − 32 p‬‬
‫‪− × −8‬‬
‫ﻮﻤﺠﻣ‪ Ȧ‬ﺪﻋ‪ȝ‬ﺮﻓ ﻦﻳ‪ȝ‬ﻦﻴﻳ ‪ȭ‬ﺪﻋ ﻮ‪ȮȠ ȝ‬ﻲﺟ‬ ‫‪q‬‬
‫‪ȩ‬ﺪﻋ ﻞ‪ ȝ‬ﺮﻓ‪ȭ Ȱȝ‬ﺪﻋ ﻮ‪Ȯȕ ȝ‬ﻲﻟ‬ ‫‪r‬‬
‫‪2∈Ş‬‬ ‫‪s‬‬
‫‪ȗ‬ﺪﻟ‪ȗ‬ﺔﻟ ‪ x → x 2‬ﺚﻴﺣ ‪ȗȝ x ∈ ś‬ﺔﻟ ‪ȮȠ‬ﺔﻴﺟ‬ ‫‪t‬‬
‫) ‪ y Ȯ x p ( x; y‬ﺮﺼﻨﻋ‪ Ȭȗ‬ﻦﻣ ‪. x ≤ y / ś‬‬
‫≥ ‪( x ∈ ś ) : x2 − x‬‬ ‫)‪p ( x‬‬
‫‪0‬‬
‫‪ -ȕ‬ﻒﻳﺮﻌﺗ‬
‫ﺎﺒﻋ ﻲﻤﺴﻧ‪ȩ șȟ‬ﻰﻨﻌﻣ ﻞﻤﺤ ﺗ ﺔﻳﺮﺒﺧ ﺔﻠﻤﺟ ﻞ ‪ Ȯ‬ﻮﻜﻳ‪ Ȭ‬ﺎﺤﻴﺤﺻ ‪ Ȯȕ‬ﺎﺌﻃﺎﺧ ‪ Ȯ‬ﻦﻜﻤﻳ ﻻ ‪ Ȭȕ‬ﻮﻜﻳ‪ Ȭ‬ﺎﺤﻴﺤﺻ‬
‫‪ Ȯ‬ﺲﻔﻧ ﻲﻓ ﺎﺌﻃﺎﺧ ‪ȗ‬ﺎﺒﻌﻠﻟ ﺰﻣﺮﻧ ‪.‬ﺖﻗﻮﻟ‪ șȟ‬ﺪﺣﺄﺑ ‪ȗ‬ﻮﻣﺮﻟ‪........................ r Ȯȕ q Ȯȕ p Ƞ‬‬
‫‪ȕ‬ﺔﻠﺜﻣ ‪ȗ‬ﻮﺼﻨﻟ‪ t Ȯ s Ȯ r Ȯ q Ȯ p ȣ‬ﺎﺒﻋ‪Țȗȟ‬‬
‫(‪ p x‬ﺎﺒﻌﺑ ﺲﻴﻟ‪ȟ‬ﻦﻴﺗ‬ ‫‪)Ȯ‬‬ ‫; (‪p x y‬‬ ‫)‬ ‫‪ȗ‬ﺎﺼﻨﻟ‪Ȭ‬‬
‫‪ȗ - Ș‬ﺪﻟ‪ȗ‬ﺎﺒﻋ ﺔﻟ‪ȟ‬ﺔﻳ‬
‫ﻲﻓ ‪ȗ‬ﺎﺸﻨﻟ‪ȗ ȥ‬ﻖﺑﺎﺴﻟ‬
‫* ‪ ȗȞȗ‬ﺎﻨﺿﻮﻋ ‪ y Ȯ x‬ﺪﻌﺑ‪ȝ‬ﻲﻓ ﻦﻴﻣﻮﻠﻌﻣ ﻦﻳ ‪ȗ‬ﺮﻴﺒﻌﺘﻟ ‪ y Ȯ x‬ﺮﺼﻨﻋ‪ Ȭȗ‬ﻦﻣ ‪ x ≤ y / ś‬ﻰﻠﻋ ﻞﺼﺤﻧ‬
‫ﺎﺒﻋ‪.șȟ‬‬
‫‪ x = 1‬ﻰﻠﻋ ﻞﺼﺤﻧ ‪ 1 ≤ −6‬ﺎﺒﻋ‪ șȟ‬ﺔﺌﻃﺎﺧ‬ ‫ﻦﻣ ﻼﺜﻣ ‪ȕ‬ﻞﺟ ‪y = −6‬‬
‫‪ x = 1‬ﺎﺒ ﻋ ‪ 4 ≤ 1‬ﻰﻠﻋ ﻞﺼﺤﻧ‪ șȟ‬ﺔﺤﻴﺤﺻ‬ ‫ﻦﻣ ‪ȕ‬ﻞﺟ ‪y = 4‬‬
‫ﺬﻟ‪ ȗ‬ﻮﻘﻧ‪ȗ Ȫ‬ﺮﻴﺒﻌﺘﻟ " ‪ y Ȯ x‬ﺮﺼﻨﻋ‪ Ȭȗ‬ﻦﻣ ‪ȗȝ " x ≤ y / ś‬ﺎﺒﻋ ﺔﻟ‪ȟ‬ﺔﻳ‬
‫" ‪ȗȝ‬ﺎﺒﻋ ﺔﻟ‪ȟ‬ﻷ ﺔﻳ‪ ȗȞȖ Ȭ‬ﺎﻨﺿﻮﻋ ‪ x‬ﺄﺑ‪ Ȱ‬ﻦﻣ ﺔﻤﻴﻗ ‪ ś‬ﺎﺒﻋ ﻰﻠﻋ ﻞﺼﺤﻧ‪șȟ‬‬ ‫* ‪ȗ‬ﺮﻴﺒﻌﺘﻟ " ‪( x ∈ ś ) : x 2 − x ≥ 0‬‬
‫‪2‬‬
‫ﺎﺒﻋ ‪ șȟ0 ≥ 2 − 2‬ﺔﺤﻴﺤﺻ‬ ‫ﻦﻣ ﻼﺜﻣ ‪ȕ‬ﻞﺟ ‪x = 2‬‬
‫‪2‬‬
‫‪1 1‬‬ ‫‪1‬‬
‫≥ ‪   − 0‬ﺎﺒﻋ‪ șȟ‬ﺔﺌﻃﺎﺧ‬ ‫=‪x‬‬ ‫ﻦﻣ ‪ȕ‬ﻞﺟ‬
‫‪2 2‬‬ ‫‪2‬‬
‫ﻒﻳﺮﻌﺗ‬
‫‪ȩ‬ﺺﻧ ﻞ ‪ȟ‬ﻮﺘﺤﻳ ﻲ ﺿﺎﻳ‪ Ȱ‬ﺮﻴﻐﺘﻣ ﻰﻠﻋ ‪ ) Ȯȕ‬ﺮﻴﻐﺘﻣ‪ (Țȗ‬ﻲﻤﺘﻨﻳ) ‪ Ȯȕ‬ﻲﻤﺘﻨﺗ ( ‪Ȗ‬ﺔﻨﻴﻌﻣ ﺔﻋﻮﻤﺠﻣ ﻰﻟ ‪ Ȯ‬ﺢﺒﺼﻳ‬
‫ﺎﺒﻋ‪ȩ șȟ‬ﺎﻨﺿﻮﻋ ﺎﻤﻠ ‪ȭ‬ﺪ‪ȗ ȗ‬ﺪﺤﻣ ﺮﺼﻨﻌﺑ ﺮﻴﻐﺘﻤﻟ‪ ȝ‬ﻦﻣ ‪ȭ‬ﻩﺬ ‪ȗ‬ﻰﻤﺴﻳ ﺔﻋﻮﻤﺠﻤﻟ ‪ȗȝ‬ﺎﺒﻋ ﺔﻟ‪ȟ‬ﺔﻳ‬
‫‪ȗ - 2‬ﺎﻤﻤﻜﻤﻟ‪ȗ – Ț‬ﺎﺒﻌﻟ‪ȗ Țȗȟ‬ﺔﻤﻤﻜﻤﻟ‬
‫‪ȗ - ȕ‬ﻢﻤﻜﻤﻟ ‪ȗ‬ﻮﺟﻮﻟ‪Ȱȝ‬‬
‫ﻦﻜﺘﻟ ) (‪ȗȝ x ∈ E ; p x‬ﺎﺒﻋ ﺔﻟ‪ȟ‬ﺔﻳ‬
‫(‪. p x‬‬ ‫ﻖﻘﺤﻳ )‬ ‫ﻰﻠﻋ ﺪﺟﻮﻳ ﻲﻨﻌﺗ ‪ȗ‬ﺮﺼﻨﻋ ﻞﻗﻷ‪ x ȗ‬ﻦﻣ ‪E‬‬ ‫‪(∃x ∈ E ) :‬‬ ‫(‪p x‬‬ ‫ﺎﺒﻌﻟ‪) șȟ‬‬
‫‪ȗ‬‬
‫‪ȗ‬ﻰﻤﺴﻳ ∃ ﺰﻣﺮﻟ ‪ȗ‬ﻢﻤﻜﻤﻟ ‪ȗ‬ﻮﺟﻮﻟ‪. Ȱȝ‬‬
‫ﺎﻨﻧﺈﻓ ﺐﺘﻜﻧ) (‪(∃! x ∈ E ) : p x‬‬ ‫(‪p x‬‬ ‫)‬ ‫‪ȩ ȗȞȖ‬ﺎ‪ Ȭ‬ﺮﺼﻨﻋ ﺪﺟﻮﻳ‪Ȯ ȗ‬ﺪﻴﺣ‪ x ȗ‬ﻦﻣ ‪ E‬ﻖﻘﺤﻳ‬

‫‪1‬‬
 ‫‪ȗ - Ș‬ﻢﻤﻜﻤﻟ ‪ȗ‬ﻲﻧﻮﻜﻟ‬
‫ﻦﻜﺘﻟ ) (‪ȗȝ x ∈ E ; p x‬ﺎﺒﻋ ﺔﻟ‪ȟ‬ﺔﻳ‬
‫ﻲﻨﻌﺗ ‪ Ȭȕ‬ﻤﺟﻴ ﺮﺻﺎﻨﻋ ﻊ ‪ E‬ﻖﻘﺤﺗ ) ‪ . p ( x‬ﺮﻘﺗ‪ ȕ‬ﻞﻜﻟ ‪ x‬ﻦﻣ ‪, E‬‬ ‫‪( ∀x‬‬ ‫‪ȗ‬ﺎﺒﻌﻟ‪∈ E ) : p ( x ) șȟ‬‬
‫) ‪ p ( x‬ﻖﻘﺤﻣ ) ‪ Ȯȕ‬ﺔﺤﻴﺤﺻ (‪.‬‬
‫‪ȗ‬ﻰﻤﺴﻳ ∀ ﺰﻣﺮﻟ ‪ȗ‬ﻢﻤﻜﻤﻟ ‪ȗ‬ﻲﻧﻮﻜﻟ‪.‬‬
‫‪ȕ‬ﺔﻠﺜﻣ‬
‫ﻊﺿ ‪ȗ‬ﻲﻓ × ﺔﻣﻼﻌ ﻟ ‪ȗ‬ﺔﻧﺎﺨﻟ ‪ȗ‬ﺔﺒﺳﺎﻨﻤﻟ‬
‫ﺔﺤﻴﺤﺻ‬ ‫ﺔﺌﻃﺎﺧ‬ ‫‪ȗ‬ﺎﺒﻌﻟ‪șȟ‬‬
‫×‬ ‫‪∃x ∈ ś x 2 = −1‬‬
‫‪x‬‬
‫×‬ ‫‪∃x ∈ Ŝ‬‬
‫‪4‬‬
‫‪∈Ŝ‬‬

‫×‬ ‫= ‪∃!x ∈ [ 0; π ] cos x‬‬

‫‪1‬‬
‫‪2‬‬
‫×‬ ‫‪∃! x ∈ ś‬‬ ‫‪x2 = 4‬‬
‫×‬ ‫‪∀x ∈ ś x 2 ≥ 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‬‬
 ‫‪ - ȕ‬ﻒﻳﺮﻌﺗ‬
‫ﻮﻜﺗ‪ Ȭ‬ﺔﺤﻴﺤﺻ ‪ȩ ȗȞȖ‬ﺖﻧﺎ ‪ p‬ﺔﺌﻃﺎﺧ ‪ Ȯ‬ﻮﻜﺗ‪Ȭ‬‬ ‫ﺎﺒﻋ ﻲﻔﻧ‪ȭ p șȟ‬ﺎﺒﻋ ﻲ‪ șȟ‬ﺑﺎﻬﻟ ﺰﻣﺮﻧ‪ Ȯȕ p Ȃ‬ﺑ‪┐p Ȃ‬‬
‫‪ p‬ﺮﻘﺗ‪ ȕ‬ﻲﻔﻧ ‪p‬‬ ‫ﺔﺌﻃﺎﺧ ‪ȩ ȗȞȖ‬ﺖﻧﺎ ‪ p‬ﺔﺤﻴﺤﺻ‪.‬‬
‫ﺪﺟ ﻲﻓ‪ȋ ȐȒ‬ﺔﻘﻴﻘﺤﻟ‪Tableau de vérité :‬‬
‫‪F Ȯȕ 0‬‬ ‫‪ȩ ȗȞȖ‬ﺖﻧﺎ ‪ȗ‬ﺎﺒﻌﻟ‪ șȟ‬ﺰﻣﺮﺎﻟﺑ ﺎﻬﺘﺤﺼﻟ ﺰﻣﺮﻧ ﺔﺤﻴﺤﺻ ‪ȩ ȗȞȖȮ V Ȯȕ1‬ﺪﻌﻟ ﺰﻣﺮﻧ ﺔﺌﻃﺎﺧ ﺖﻧﺎ‪ ȫ‬ﺎﻬﺘﺤﺻ‪Ș‬‬
‫ﺪﺟ‪ ȐȒ‬ﺔﻘﻴﻘﺣ ‪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) AF 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‬‬
‫‪−5‬‬
‫‪ Ȭȝȗ‬ﺎﻨﻳﺪﻟ ‪ ( ∃x ∈ ś* ): x + ≺ 2‬ﺎﺒﻋ‪ șȟ‬ﺔﺤﻴﺤﺻ‬
‫‪1‬‬ ‫‪1‬‬
‫‪−2 +‬‬ ‫=‬ ‫‪≺2‬‬ ‫ﺮﺒﺘﻌﻧ ‪x = −2‬‬
‫‪x‬‬ ‫‪−2 2‬‬
‫(‬ ‫)‬ ‫‪1‬‬
‫‪ Ȯ‬ﻪﻨﻣ ‪ ∀x ∈ ś* : x + ≥ 2‬ﺔﺌﻃﺎﺧ‬
‫‪x‬‬
‫‪ȗ - 2‬ﻞﺼﻔﻟ ‪ȗ‬ﻲﻘﻄﻨﻤﻟ‬
‫ﻒﻳﺮﻌﺗ‬
‫ﻞﺼﻓ ‪ȗ‬ﺎﺒﻌﻟ‪ȟ‬ﻦﻴﺗ ‪ȭ q Ȯ p‬ﻮ ‪ȗ‬ﺎﺒﻌﻟ‪ȗ șȟ‬ﻮﻜﺗ ﻲﺘﻟ‪ Ȭ‬ﺔﺤﻴﺤﺻ ‪ȩ ȗȞȖ‬ﻰﻠﻋ ﺖﻧﺎ ‪ȗ‬ﻞﻗﻷ ‪Ȗ‬ﺪﺣ‪ȗ ȯ‬ﺎﺒﻌﻟ‪ȟ‬ﻦﻴﺗ ‪Ȯ p‬‬
‫‪ q‬ﻦﻴﺘﺤﻴﺤﺻ ‪ Ȯ .‬ﺐﺘﻜﺗ ) ‪ ( q Ȯ ȕ p‬ﺎﻬﺒﺘﻜﻧ ‪ȕ‬ﺎﻀﻳ ‪p ∨ q‬‬
‫ﺪﺟ‪ ȪȮ‬ﺔﻘﻴﻘﺣ ‪p ∨ q‬‬
‫‪p‬‬ ‫‪q‬‬ ‫‪p∨q‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪3‬‬
‫‪ Ļ 2 Ȯȕ‬ﺔﺤﻴﺤﺻ ‪5‬‬
‫‪ȗ‬ﺎﺒﻌﻟ‪∈ ş șȟ‬‬
‫‪2‬‬
‫‪ȗ‬ﺎﺒﻌﻟ‪ Ȯȕ 22 = − 4 șȟ‬ﺔﺌﻃﺎﺧ ‪1 ≥ 3−‬‬
‫ﺔﻈﺣﻼﻣ‬
‫ﻮﻘﻧ‪ Ȫ‬ﺔﻴﻠﻤﻋ ‪ȗ‬ﺎﺒﺗ ﻞﺼﻔﻟ‪ȝ‬ﺔﻴﻟ‬ ‫* ‪ȗ‬ﺎﺒﻌﻟ‪ȟ‬ﺎﺗ‪ ( p Ȯ ȕ q ) Ȯ ( q Ȯ ȕ p ) Ȭ‬ﻼﻤﺤﺗ‪ Ȭ‬ﺲﻔﻧ ‪ȗ‬ﻰﻨﻌﻤﻟ‬

‫‪3‬‬
 ‫‪ q Ȯ ȕ ( p Ȯȕ r ) Ȯ‬ﻼﻤﺤﺗ‪ Ȭ‬ﺲﻔﻧ ‪ȗ‬ﻰﻨﻌﻤﻟ‪ Ȁ‬ﻮﻘﻧ‪ Ȫ‬ﺔﻴﻠﻤﻋ ‪ȗ‬ﻞﺼﻔﻟ‬ ‫* ‪ȗ‬ﺎﺒﻌﻟ‪ȟ‬ﺎﺗ‪( q Ȯ ȕ p )Ȯȕ r Ȭ‬‬
‫ﺔﻴﻌﻴﻤﺠﺗ‪.‬‬
‫‪ȗ - 3‬ﻒﻄﻌﻟ ‪ȗ‬ﻲﻘﻄﻨﻤﻟ‬
‫ﻒﻳﺮﻌﺗ‬
‫ﻒﻄﻋ ‪ȗ‬ﺎﺒﻌﻟ‪ȟ‬ﻦﻴﺗ ‪ȭ q Ȯ p‬ﻮ ‪ȗ‬ﺎﺒﻌﻟ‪ȗ șȟ‬ﻮﻜﺗ ﻲﺘﻟ‪ Ȭ‬ﻂﻘﻓ ﺔﺤﻴﺤﺻ ‪ȩ ȗȞȖ‬ﺖﻧﺎ ‪ȗ‬ﺎﺒﻌﻟ‪ȟ‬ﺎﺗ‪q Ȯ p Ȭ‬‬
‫ﺎﻌﻣ ﻦﻴﺘﺤﻴﺤﺻ‪ Ȯ .‬ﺐﺘﻜﺗ ) ‪ ( q Ȯ p‬ﺎﻬﺒﺘﻜﻧ ‪ȕ‬ﺎﻀﻳ ‪p ∧ q‬‬
‫ﺪﺟ‪ ȪȮ‬ﺔﻘﻴﻘﺣ ‪p ∧ q‬‬

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

‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫ﺎﺜﻣ‪Ȫ‬‬
‫‪3‬‬
‫‪ Ļ 2 Ȯ‬ﺔﺌﻃﺎﺧ ‪5‬‬ ‫‪ȗ‬ﺎﺒﻌﻟ‪∈ ş șȟ‬‬
‫‪2‬‬
‫‪ Ȯ‬ﺔﺤﻴﺤﺻ ‪1 ≺ 3−‬‬ ‫(‬ ‫‪ȗ‬ﺎﺒﻌﻟ‪∀x ∈ ś x 2 ≥ 0 ) șȟ‬‬
‫ﺔﻈﺣﻼﻣ‬
‫* ‪ȗ‬ﺎﺒﻌﻟ‪ȟ‬ﺎﺗ‪ ( p Ȯ q ) Ȯ ( q Ȯ p ) Ȭ‬ﻼﻤﺤﺗ‪ Ȭ‬ﺲﻔﻧ ‪ȗ‬ﻮﻘﻧ ﻰﻨﻌﻤﻟ‪ Ȫ‬ﺔﻴﻠﻤﻋ ‪ȗ‬ﺎﺒﺗ ﻒﻄﻌﻟ‪ȝ‬ﺔﻴﻟ‬
‫* ‪ȗ‬ﺎ ﺒﻌﻟ‪ȟ‬ﺎﺗ‪q Ȯ ( p Ȯ r ) Ȯ ( q Ȯ p )Ȯ r Ȭ‬ﻼﻤﺤﺗ‪ Ȭ‬ﺲﻔﻧ ‪ȗ‬ﻰﻨﻌﻤﻟ‪ Ȁ‬ﻮﻘﻧ‪ Ȫ‬ﺔﻴﻠﻤﻋ ‪ȗ‬ﺔﻴﻌﻴﻤﺠﺗ ﻒﻄﻌﻟ‪.‬‬
‫ﻦﻴﺑ ‪Ȟ‬ﻚﻟ‬ ‫‪p∨q = p∧q‬‬ ‫* ‪p∧q = p∨q‬‬
‫‪ȗ - 4‬ﺰﻠﺘﺳﻻ‪ȫȗ‬‬
‫ﻒﻳﺮﻌﺗ‬
‫‪ȗ‬ﺰﻠﺘﺳ‪ȗ ȫȗ‬ﺎﺒﻌﻟ‪ȟ‬ﻦﻴﺗ ‪ȭ q Ȯ p‬ﻮ ‪ȗ‬ﺎﺒﻌﻟ‪ȗ șȟ‬ﻮﻜﺗ ﻲﺘﻟ‪ Ȭ‬ﻂﻘﻓ ﺔﺌﻃﺎﺧ ‪ȩ ȗȞȖ‬ﺖﻧﺎ ‪ 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‬‬

‫‪ȗ‬ﺎﺒﻌﻟ‪ Ļ 1 ⇒ −1 = 2 + 3 șȟ‬ﺔﺌﻃﺎﺧ ‪2‬‬

‫‪ȗ‬ﺎﺒﻌﻟ‪ șȟ‬ﺔﺤﻴﺤﺻ ‪20 = 1 − 5 ⇒ 9 = 2 × 3‬‬
‫‪ȗ‬ﺎﺒﻌﻟ‪ (∀ ∈ ś x ≥ 0 ) ⇒ 2 − 1 = șȟ‬ﺔﺤﻴﺤﺻ‬
‫‪1‬‬
‫‪ȗ‬ﻼﻄﺻ‪ȩ ȗȞȖ Ȝ‬ﺖﻧﺎ ‪ȗ‬ﺎﺒﻌﻟ‪ p ⇒ q șȟ‬ﺔﺤﻴﺤﺻ ‪ Ȁ‬ﻮﻘﻧ‪ȗ q ȬȖ Ȫ‬ﺎﺘﻨﺘﺳ‪ ț‬ﺎﺒﻌﻠﻟ ﻲﻘﻄﻨﻣ‪. p șȟ‬‬
‫ﺔﻈﺣﻼﻣ‬
‫* ‪ȗ‬ﺎﺒﻌﻟ‪ȟ‬ﺎﺗ‪ ( p ∨ q )Ȯ p ⇒ q Ȭ‬ﻼﻤﺤﺗ‪ Ȭ‬ﺲﻔﻧ ‪ȗ‬ﻰﻨﻌﻤﻟ‬
‫* ‪ q ⇒ p‬ﻰﻤﺴﻳ ‪ȗ‬ﺰﻠﺘﺳﻻ‪ȗ ȫȗ‬ﺰﻠﺘﺳﻼﻟ ﻲﺴﻜﻌﻟ‪. p ⇒ q ȫȗ‬‬
‫ﺔﺤﻴﺤﺻ ‪ Ȯ‬ﻦﻴﺒﻧ ‪ q Ȭȕ‬ﺔﺤﻴﺤﺻ‪.‬‬ ‫* ﺮﺒﻠﻟ‪ȭ‬ﻰﻠﻋ ﺔﻨ ‪ p ⇒ q Ȭȕ‬ﺔﺤﻴﺤﺻ ‪ Ȁ‬ﻲﻔﻜﻳ ‪ Ȭȕ‬ﺮﺘﻔﻧ‪p Ȭȕ Ȥ‬‬
‫ﻮﻘﻧ‪ p ȬȖ Ȫ‬ﺮﺷ‪ȩ ȥ‬ﺎ‪ ȧ‬ﻖﻴﻘﺤﺘﻟ ‪q‬‬
‫ﻲﻘﻴﺒﻄﺗ ﻦﻳﺮﻤﺗ‬
‫ﻦﻜﻴﻟ ‪x ∈ ś‬‬

‫‪4‬‬
 ‫‪1‬‬ ‫‪−3x + 5 11‬‬
‫≤ ‪−2 ≤ x‬‬
‫⇒‬ ‫≤‬ ‫ﻦﻴﺑ ‪Ȭȕ‬‬
‫‪3‬‬ ‫‪x +4‬‬ ‫‪2‬‬
‫‪−3x + 5 11‬‬ ‫‪1‬‬
‫(‬ ‫≤‬ ‫) ﺮﺘﻔﻧ‪ Ȯ −2 ≤ x ≤ Ȭȕ Ȥ‬ﻦﻴﺒﻧ ‪Ȭȕ‬‬
‫‪x +4‬‬ ‫‪2‬‬ ‫‪3‬‬
‫‪ȗ - 5‬ﺆﻓﺎﻜﺘﻟ ‪ȗ‬ﻲﻘﻄﻨﻤﻟ‬
‫ﻒﻳﺮﻌﺗ‬
‫ﻦﻜﻴﻟ ‪ q Ȯ p‬ﺎﺒﻋ‪ȟ‬ﻦﻴﺗ‬
‫‪ȗ‬ﺎﺒﻌﻟ‪ ( q ⇒ p Ȯ p ⇒ q ) șȟ‬ﺆﻓﺎﻜﺗ ﻰﻤﺴﺗ ‪ȗ‬ﺎﺒﻌﻟ‪ȟ‬ﻦﻴﺗ ‪Ȯ q Ȯ p‬ﻮﻜﺗ‪ Ȭ‬ﺔﺤﻴﺤﺻ ‪ȩ ȗȞȖ‬ﺖﻧﺎ ‪q Ȯ p‬‬
‫ﻢﻴﻗ ﺲﻔﻧ ﺎﻤﻬﻟ ‪ȗ‬ﺔﻘﻴﻘﺤﻟ ‪ Ȯ‬ﺰﻣﺮﻧ ﺑ ﺎﻬﻟ‪ Ȯ p ⇔ q Ȃ‬ﺮﻘﺗ‪ p ȕ‬ﺊﻓﺎﻜﺗ ‪Ȯ ȗȞȖ p Ȯȕ q‬ﻂﻘﻓ ‪Ȯȕ q ȗȞȖ‬‬
‫‪ p‬ﺮﺷ‪ ȥ‬ﻻ‪ȩ Ȯ ȫȠ‬ﺎ‪ ȧ‬ﻖﻴﻘﺤﺘﻟ ‪q‬‬

‫ﺪﺟ‪ ȪȮ‬ﺔﻘﻴﻘﺣ ‪p ⇔ q‬‬

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

‫‪ ȕ‬ﺔﻠﺜﻣ ‪ȗ‬ﺎﺒﻌﻟ‪) șȟ‬ﺪﻋ ‪ ȝ5‬ﺮﻓ‪ Ļ 2 ⇔ Ȱȝ‬ﺔﺤﻴﺤﺻ ( ‪3‬‬

‫‪ȗ‬ﺎﺒﻌﻟ‪) șȟ‬ﺪﻋ ‪ ȝ1 -‬ﺔﺤﻴﺤﺻ ( ‪ ⇔ 3 = 2 + 5‬ﺐﺟﻮﻣ‬
‫‪ ( 2 Ļ 1 ⇔ − ∈1‬ﺔﺌﻃﺎﺧ‬ ‫)‪ş‬‬
‫ﺔﻈﺣﻼﻣ ‪ȗ‬ﺎﺒﻌﻟ‪șȟ‬‬
‫* ) ‪ ( p ⇔ q ) ⇔ (q ⇔ p‬ﻮﻘﻧ‪ȗ ȬȖ Ȫ‬ﺎﺒﺗ ﺔﻴﻠﻤﻋ ﺆﻓﺎﻜﺘﻟ‪ȝ‬ﺔﻴﻟ‬
‫ﺔﻴﻌﻴﻤﺠﺗ ﺔﻴﻠﻤﻋ‬ ‫* ) ‪ (p ⇔ (q ⇔ r )) ⇔ (( p ⇔ q ) ⇔ r‬ﻮﻘ ﻧ‪ȗ ȬȖ Ȫ‬ﺆﻓﺎﻜﺘﻟ‬

‫ﻦﻳﺮﻤﺗ‬
‫ﺮﺘﻘﻧ‪ Ȝ‬ﺮﺑ ﻚﻴﻠﻋ‪ȭ‬ﺎﻤﻬﻴﻓ ﻞﻤﻌﺘﺴ ﻧ ﻦﻴﻧﺎ ‪ "ȗ‬ﺰﻣﺮﻟ ﺔﻠﺳﺮﺘﺴﻣ ﺔﻘﻳﺮﻄﺑ " ⇔ ‪ȕ .‬ﺪﺣ ‪ȗ‬ﺮﺒﻟ‪ȭ‬ﺊﻃﺎﺧ ﻦﻴﻧﺎ ‪Ȯ .‬‬
‫‪ȗ‬ﻮﻠﻄﻤﻟ‪ Ș‬ﻚﻨﻣ ‪ȗ‬ﺮﻌﺘﻟ‪ ȧ‬ﻊﻣ ﻪﻴﻠﻋ ‪Ȗ‬ﺎﻄﻋ‪ ȁ‬ﻮﺠﻟ ﻞﻴﻠﻌﺗ‪ȗ‬ﻚﺑ‪.‬‬
‫‪x2 + 3 ≥ 2 ⇔ x 2 + 3 ≥ 4‬‬ ‫ﻦﻜﻴﻟ ( ‪ x 1‬ﻦﻣ ‪ IR‬ﺎﻨﻳﺪﻟ ‪:‬‬
‫‪⇔x ≥1‬‬ ‫‪2‬‬

‫‪⇔x ≥1‬‬
‫‪1‬‬ ‫‪1‬‬
‫‪x+ ≥ 2⇔ x+ −2≥0‬‬ ‫ﻦﻜﻴﻟ ( ‪ x 2‬ﻦﻣ ‪ ś*+‬ﺎﻨﻳﺪﻟ ‪:‬‬
‫‪x‬‬ ‫‪x‬‬
‫‪x +1 − 2 x‬‬
‫‪2‬‬
‫⇔‬ ‫‪≥0‬‬
‫‪x‬‬
‫‪( x −1)2‬‬
‫⇔‬ ‫‪≥0‬‬
‫‪x‬‬
‫ﻦﻳﺮﻤﺗ‬
‫ﺎﻤﻌﺘﺳﺎﺑ‪ Ȫ‬ﺪﺟ‪ȗ ȪȮȗ‬ﻦﻴﺑ ﺔﻘﻴﻘﺤﻟ ‪Ȭȕ‬‬
‫(‬ ‫)‬
‫‪p ⇒ q ⇔( p ∨ q) Ȯ‬‬ ‫‪(p ⇒q) ⇔ p ∨q‬‬ ‫(‬ ‫)‬
‫ﺔﺤﻴﺤﺻ‬ ‫)∧‪p ⇒ q ⇔ ( pq‬‬
‫‪ȗ - III‬ﻮﻘﻟ‪ȗ‬ﻦﻴﻧ ‪ȗ‬ﺔﻴﻘﻄﻨﻤﻟ‬
‫‪ȩ‬ﺎﺒﻋ ﻞ‪ șȟ‬ﺎﺒﻋ ﻦﻣ ﺔﻧﻮﻜﻣ‪ȟ‬ﻦﻴﺗ ‪ Ȯȕ‬ﺪﻋ‪ ș‬ﺎﺒﻋ‪ ... ; ;r q p Țȗȟ‬ﺎﻴﻠﻤﻌﺎﻟﺑ ﺎﻬﻨﻴﺑ ﺔﻄﺒﺗﺮﻣ‪ȗ Ț‬ﺔﻴﻘﻄﻨﻤﻟ ‪ Ȯ‬ﻮﻜﺗ‪Ȭ‬‬
‫ﺎﻤﻬﻣ ﺔﺤﻴﺤﺻ ‪ȩ‬ﺖﻧﺎ ‪ȗ‬ﺎﺒﻌﻟ‪ ... ; ;r q p Țȗȟ‬ﺎﻴﻘﻄﻨﻣ ﺎﻧﻮﻧﺎﻗ ﻰﻤﺴﺗ‬
‫‪ȕ - 1‬ﺔﻄﺸﻧ‬
‫ﻦﻴﺑ ‪ȗ Ȭȕ‬ﺎﺒﻌ ﻟ‪ȗ Țȗȟ‬ﻮﻗ ﺔﻴﺎﻟﺘﻟ‪ȗ‬ﺔﻴﻘﻄﻨﻣ ﻦﻴﻧ‬

‫‪5‬‬
 ‫‪(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 ) șȟ‬‬
‫‪ȗ‬‬ ‫ﺔﺠﻴﺘﻧ ) ‪ȗ‬ﻻﺪﺘﺳﻻ‪ Ȫ‬ﺆﻓﺎﻜﺘﺎﻟﺑ‪ȗ Țȗ‬ﺔﻴﺎﻟﺘﺘﻤﻟ(‬
‫ﻦﻣ ﺞﺘﻨﺘﺴﻧ ‪ȭ‬ﺬ‪ȗ ȗ‬ﻮﻧﺎﻘﻟ‪ȕ Ȭ‬ﻪﻧ ‪ȩ ȗȞȗ‬ﺎ‪ (B ⇔ C ) Ȯ (A ⇔ B ) Ȭ‬ﺎﻓ‪ (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‬‬
 ‫ﻦﻳﺮﻤﺗ ﻦﻜﻴﻟ ‪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‬ﻲﻌﻴﺒﻃ ﺢﻴﺤﺻ‬
‫‪ p n(0‬ﺔﺤﻴﺤﺻ ‪.‬‬ ‫ﻮﻜﺗ ﺚﻴﺤﺑ‪ȗ Ȭ‬ﺎﺒﻌﻟ‪) șȟ‬‬ ‫‪ȩ ȗȞȖ‬ﺎ‪ Ȭ‬ﺪﻋ ﺪﺟﻮﻳ‪ ȝ‬ﻲﻌﻴﺒﻃ ﺢﻴﺤﺻ ‪n 0‬‬
‫∀‪ n‬ﺎﻓ ‪ .‬ﺔﺤﻴﺤﺻ‪ȗ Ȭ‬ﺎﺒﻌﻟ‪(∀n ≥ n 0 ) : p n( ) șȟ‬‬ ‫‪≥ n0‬‬ ‫‪p n( )⇒ p 1n( +‬‬ ‫‪ȩ ȗȞȖ‬ﺖﻧﺎ ‪ȗ‬ﺎﺒﻌﻟ‪) șȟ‬‬
‫ﺔﺤﻴﺤﺻ‪.‬‬
‫ﺔﻈﺣﻼﻣ‬
‫(‪ (∀n ≥ n 0 ) : p n‬ﺔﺤﻴﺤﺻ‪ Ȁ‬ﻊﺒﺘﻧ ‪ȗ‬ﻮﻄﺨﻟ‪ȗ Țȗ‬ﺔﻴﺎﻟﺘﻟ‬ ‫)‬ ‫ﺮﺒﻠﻟ‪ȭ‬ﺎ‪ Ȭ‬ﻰﻠﻋ ‪Ȭȕ‬‬
‫• ‪ȗ‬ﻖﻘﺤﺘﻟ ‪:‬‬
‫(‪ p n 0‬ﺔﺤﻴﺤﺻ‬ ‫)‬ ‫ﻖﻘﺤﺘﻧ ‪ȗ Ȭȕ‬ﺎﺒﻌﻟ‪șȟ‬‬
‫• ‪ȗ‬ﺮﺘﻓ‪ȗ Ȥȗ‬ﻊﺟﺮﺘﻟ ‪:‬‬
‫‪ Ȯ‬ﻦﻴﺒﻧ ‪ p ( n + 1) Ȭȕ‬ﺔﺤﻴﺤﺻ‪.‬‬ ‫ﺮﺘﻔﻧ‪ȗ Ȭȕ Ȥ‬ﺎﺒﻌﻟ‪ p ( n ) șȟ‬ﺔﺤﻴﺤﺻ ‪n ≥ n 0‬‬
‫‪ȭ‬ﺬ‪ȗ ȗ‬ﻻﺪﺘﺳﻻ‪ Ȫ‬ﻰﻤﺴﻳ ‪ȗ‬ﻻﺪﺘﺳﻻ‪ Ȫ‬ﻊﺟﺮﺘﺎﻟﺑ‬
‫ﻦﻳﺮﻤﺗ ﻊﺟﺮﺘﺎﻟﺑ ﻦﻴﺑ ‪∀n ≥ 4 2n ≥ n 2‬‬
‫‪n n‬‬ ‫‪( + 1)( 2 + 1)n‬‬
‫= ‪∀n ∈ ş* 12 + 22 + .... + n 2‬‬
‫‪6‬‬

‫‪7‬‬