‫‪Logic‬‬ ‫المنطق‬

‫مفاهيم اساسية‪:‬‬
‫العبارة‪:‬هي جملة خبرية مفيدة تكون صادقة فقط او كاذبة فقط وليس االثنان معا ً‬

‫‪ ‬العبارة الصادقة )‪(True‬يرمز لها بالرمز ‪T‬‬

‫‪ ‬العبارة الكاذبة )‪ (Fulse‬يرمز لها بالرمز ‪F‬‬

‫مالحظة‪:‬كل جملة فيها متغير ليست عبارة‬

‫امثلة‪:‬‬
‫‪ -1‬بغداد عاصمة العراق ‪True statement‬‬
‫‪Fulse statement 2+3=9‬‬ ‫‪-2‬‬
‫‪ -3‬ارسم حل المعادلة ‪not statement‬‬
‫‪ -4‬اللون االخضر احلى لون ‪not statement‬‬
‫‪Not statement‬‬ ‫‪3x+1=7‬‬ ‫‪-5‬‬
‫نفي العبارة )‪(nagation of statement‬‬

‫‪ ‬لتكن ‪ p‬عبارة ‪ ،‬يقال للعبارة‪ ،‬ليس ‪ (not p) p‬ويرمز لها عادة بالرمز‬

‫عبارة كاذبة والعكس صحيح‬ ‫بديهية النفي‪ :‬اذا كانت ‪ p‬عباره صادقة فأن‬
‫مثال‪:‬‬
‫‪T‬‬ ‫عبارة صادقة‬ ‫‪ :P‬بغداد عاصمة العراق‬
‫‪F‬‬ ‫عبارة كاذبه‬ ‫‪ :‬بغداد ليست عاصمة العراق‬
‫العبارة نفسها‬ ‫مالحظة‪ :‬نفي نفي العبارة‬

‫‪1‬‬
 ‫ترميز‪:‬‬

‫‪ -1‬االعداد الطبيعية ‪ Natural numbers‬يرمز لها بالرمز ‪ℕ‬‬

‫‪ -2‬االعداد الصحيحة ‪ Integer numbers‬يرمز لها بالرمز ‪ℤ‬‬
‫‪ -3‬االعداد النسبية ‪ Rational numbers‬يرمز لها بالرمز ‪ℚ‬‬

‫‪ℚ‬‬ ‫‪ℤ‬‬

‫‪ -4‬االعداد الغير نسبية ‪ Irrational numbers‬يرمز لها‬

‫𝜋‬ ‫مثل √ √ √‬
‫‪ -5‬االعداد الحقيقية ‪ Real numbers‬يرمز لها ‪ℝ‬‬
‫‪0‬‬ ‫ال يمكن كتابتها بالصيغة الرياضية وتمثل بـ‬

‫‪ -6‬االعداد العقدية "المركبة" ‪ℂ Complex numbers‬‬

‫‪ℂ‬‬ ‫‪ℝ‬‬ ‫√‬

‫ادوات الربط المنطقية‬

‫‪Logical connections‬‬
‫هناك عدد من ادوات الربط التي يمكن استخدامها لتكوين عبارات جديدة من‬
‫اخرى معروفة وهذه الجملة الناتجة تسمى عبارة مركبة‬
‫العبارة المركبة ‪Compound state‬‬
‫تسمى العبارة المكونة من عبارتين على االقل مع اداة ربط او اكثر بانها عبارة‬
‫مركبة‪ ،‬وفيما عدا ذلك فهي بسيطة‬
‫(‬ ‫)‬ ‫مثال‪:‬‬
‫‪ -1‬اداة الربط ) ( تسمى "اداة الوصل" وتقرأ "و" "‪"and‬‬
‫وتقرأ (‪p‬و‪ )q‬او تقرأ‬ ‫لتكن كل من ‪ q,p‬عبارة ان وصل ‪p‬مع ‪ q‬يرمز لها‬

‫‪2‬‬
 ‫)‪ (p and q‬تكون عبارة صادقة في حالة واحدة فقط عندما تكون ‪ p‬صادقة ‪ T‬و ‪q‬‬
‫صادقة ‪T‬‬
‫كاذبة فيما عدا ذلك‬ ‫وتكون العبارة‬
‫جدول يوضح قيم الصدق للعبارة المركبة‬
‫‪P‬‬ ‫‪q‬‬
‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪F‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪F‬‬
‫استنتاجات مهمة حول عالقة الربط ^‬
‫‪p^T=p‬‬
‫‪p^F=F‬‬
‫‪p^p=p‬‬
‫‪p^~p=F‬‬
‫مثال‪ /‬لتكن‬
‫‪T‬‬ ‫‪p :3‬‬ ‫‪ℝ‬‬
‫‪T‬‬ ‫بغداد عاصمة العراق ‪q :‬‬
‫‪F‬‬ ‫‪r : 2+1=5‬‬
‫جد قيم صدق العبارات المركبة االتية‬
‫‪p^q , r^p , q^r , (p^~r)^q , (~p^~q)^r , (~~p^r)^~q‬‬
‫‪(r^q)^~p , (r^~p)^~~p‬‬
‫الحل‬
‫‪1- p^q => T^T=T‬‬ ‫‪True statement‬‬
‫‪2- (~~p^r)^~q => (T^F)^F=F^F=F Fulse statement‬‬
‫الباقي واجب‬

‫‪3‬‬
 ‫‪ -3‬اداة الربط "اداة الفصل" "‪" "v" "or‬او"‬
‫لتكن كل من ‪ p‬و ‪ q‬عبارة‬
‫ان عبارة الفصل المركب من ‪ p‬مع ‪ q‬يرمز لها بالرمز ‪ p^q‬وتقرأ (‪ p‬او ‪، )q‬‬
‫"‪"p or q‬‬
‫عبارة الفصل كاذبه في حالة واحدة عندما ‪ p‬كاذبة و ‪ q‬كاذبة وصادقة فيما عدا ذلك‬
‫جدول يوضح قيم الصدق للعبارة المركبة ‪pvq‬‬
‫‪p‬‬ ‫‪q‬‬ ‫‪pvq‬‬
‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪F‬‬
‫استنتاجات مهمة حول "اداة الفصل" ‪v‬‬
‫‪pvp=p‬‬
‫‪pvT=T‬‬
‫‪pvF=p‬‬
‫‪pv~p=T‬‬
‫مثال‪ /‬لتكن‬
‫‪T‬‬ ‫‪p : 3+1=4‬‬
‫‪T‬‬ ‫‪q : 2+1>-4‬‬
‫‪F‬‬ ‫باريس عاصمة اسبانيا =‪r‬‬

‫‪4‬‬
 ‫جد قيم صدق العبارات التالية‬
‫‪pvq , pvr , qvr , pv~p , pv~q , ~pv~q , (pv~q)^r‬‬
‫)‪~(pv~p)^q , ~(p^~q)v(pv~q‬‬
‫‪1) pvq => TvT=T True statement‬‬
‫)‪2) ~(p^~q)v(pv~q‬‬
‫‪p‬‬ ‫‪q‬‬ ‫‪~q‬‬ ‫‪p^~q‬‬ ‫‪Pv~q‬‬ ‫)‪~(p^~q‬‬ ‫)‪~(p^~q)v(pv~q‬‬
‫‪T‬‬ ‫‪T‬‬ ‫‪F‬‬ ‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬ ‫‪T‬‬
‫الباقي واجب‬
‫"واال" ‪orelse‬‬ ‫‪-3‬اداة الربط‬
‫لتكن كل من ‪ p‬و ‪ q‬عبارة تكون العبارة المركبة من (‪ p‬واال ‪ )q‬يرمز لها )‪(p q‬‬
‫تقرأ )‪ (p orelse q‬صادقة اذا كانت احدى العبارتين صادقة وليست كالهما وكاذبة‬
‫فيما عدا ذلك‬
‫‪p‬‬ ‫جدول يوضح قيم الصدق للعبارة المركبة ‪v‬‬
‫‪p‬‬ ‫‪q‬‬ ‫‪p‬‬ ‫‪q‬‬
‫‪T‬‬ ‫‪T‬‬ ‫‪F‬‬
‫‪T‬‬ ‫‪F‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪T‬‬ ‫‪T‬‬
‫‪F‬‬ ‫‪F‬‬ ‫‪F‬‬

‫استنتاجات مهمة حول عالقة الربط‬

‫‪p‬‬ ‫‪p=F‬‬
‫‪p‬‬ ‫‪~p=T‬‬
‫‪p‬‬ ‫‪T=~p‬‬
‫‪p‬‬ ‫‪F=p‬‬

‫‪5‬‬