‫المحاضرة ‪:4‬‬

‫‪ 3.1‬قيم صدق القضيـة‬

‫ذكرنا في تعريفنا للقض ي ي ي ي ‪ ،‬في الفقرة(‪ ،)1.1.1‬أنها الجمل الخبري التي يمكن‬
‫‪ .‬ف ل قضي ي تتض ييمن عن ‪ ،‬ونق ييب صالمعن ‪ ،‬اإلخبار‬ ‫وص ييفها صال ييبا أو صال‬
‫‪ ،‬فهه ال ي‬ ‫ن ص ي ييبا أو ك‬ ‫ال ي يفهم ن القض ي ي ‪ ،‬أ ا ا تهص ي يية صن القض ي ي‬
‫نعني صن ق م ال با ‪.Valeurs de vérités‬‬
‫قيم صدق القضية البسيطة‪:‬‬ ‫‪1.3.1‬‬
‫صأنها‪ :‬القهل الخبري‪،‬‬ ‫عرفنا القضي ي ي ي ي ي ي (الب ي ي ي ي ي ي ي )‪ ،‬في الفقرة(‪ّ ،)1.2.1.1‬‬
‫ّ‬
‫ويعبر‪ ،‬إ ّ ا عن عالق ب ن شي ي ي ي ي ي ن أو‬
‫القابل ألن يهص ي ي ي ي يية صال ي ي ي ي ييبا أو صال ‪ّ ،‬‬
‫هضييهش شييخ ييي(القضي ال مل‬ ‫أكثر(القضي العالق )‪ ،‬أو عن عالق حمل عل‬
‫)‪.‬‬ ‫الشخ‬
‫أ ا ق م صي ييبقها‪ ،‬فإن الهقائع التي ت ي ييفها لي التي ت بدلا‪ ،‬ص ث إذا كانت‬
‫ع ا ت ييفن‪ ،‬ت هن‬ ‫ع ا ت ييفن‪ ،‬ت هن ص ييادق ‪ ،‬ونذا كانت ط ر ت اصق‬ ‫ت اصق‬
‫كاذص ‪ ،‬ويمكن تهض ح ذلك صمثال‪:‬‬
‫‪ -‬الم ر ي قط‪.‬‬
‫هضي ي ييهع يمكن شي ي ييالبتها‪ ،‬وتعبر عن‬ ‫ل ه القض ي ي ي ‪ ،‬ت ي ي يية واقع وهي‬
‫ق رات الماء الناوم عن ت اثة ال ي ي ي ي ي ي د‪ .‬أ ا ق م صي ي ي ي ي ييبقها‪ ،‬فتتعل صالهاقع التي‬
‫ت ييفها‪ ،‬فإذا كان الهصيية ت اصقا ع الهاقع ‪ ،‬أي أن المطر يسـق فعال‪ ،‬نقهل عن‬
‫ع الهاقع ‪ ،‬أي أن المطر‬ ‫القض ي ‪ّ ،‬إنها صــاةقة‪ .‬أ ا إذا كان الهص يية ط ر ت اب‬
‫الثنائي‬ ‫أو ال ري في المن‬ ‫ال يســـــق ‪ ،‬فإننا ن ي ي ييفها بالكذب‪ .‬فالقضي ي ي ي الب ي ي ي ي‬
‫الق م ‪ ،Logique bivalente‬ت هن إ ا صادق أو كاذص ‪ .‬ونر ز للق مت ن‪ ،‬بي‪:‬‬
‫‪ -‬ال با = (ص‪.)1 ،‬‬
‫= (ك‪.)0 ،‬‬ ‫‪ -‬الي‬

‫‪1‬‬
 ‫‪1‬‬
‫ا‬
‫‪0‬‬
‫ويمكن كتابتها كما يلي‪:‬‬
‫ا‬
‫‪1‬‬
‫‪0‬‬

‫ون ي ي ي ي ييمي الق م المهوهدة ت ت المت ر(ا)‪ ،‬ق م صي ي ي ي ييبا القضي ي ي ي ي ‪ ،‬ونقهل‪ :‬إن ق م‬
‫‪.‬‬ ‫صبا القض لي‪ :‬ال با أو ال‬

‫قيم صدق القضية المركبة‪:‬‬ ‫‪2.3.1‬‬

‫يأنهيا تتيألة ن قضي ي ي ي ي ي ي ت ن‬
‫عرفنيا القضي ي ي ي ي ي ي ي المركبي ‪ ،‬في الفقرة(‪ ،)2.2.1.1‬ص ّ‬
‫ّ‬
‫ص ي ي ي ي ي ت ن أو أكثر‪ ،‬وبالتالي إذا كان عبد القضي ي ي ي ييايا اثنت ن‪ ،‬أو أكثر ‪ ،‬فإن عبد ق م‬
‫ال س زيب‪ ،‬ويمكن تهض ح ذلك صالمثال التالي‪:‬‬ ‫صبقها ال‬
‫‪ -‬زيب والس والم ر ي قط‪.‬‬
‫‪ ،‬ولي‪:‬‬ ‫ويمكن اح اء ال االت التي ت با أو ت‬
‫‪ -‬صادقتان عا‪ ":‬زيب والس والم ر ي قط"‪.‬‬
‫‪ -‬األول صادق والثان كاذص ‪ ":‬زيب والس ول س الم ر ي قط"‪.‬‬
‫‪ -‬األول كاذص والثان صادق ‪ ":‬ل س زيب وال ا والم ر ي قط"‪.‬‬
‫‪ -‬كاذبتان عا‪ ":‬ل س زيب وال ا ول س الم ر ي قط"‪.‬‬
‫فإذا ر زنا للقض ت ن‪:‬‬
‫‪ -‬زيب والس بي‪ :‬ا‪.‬‬
‫‪ -‬الم ر ي قط"بي‪ :‬ك‪.‬‬
‫يمكن عرض ال االت األربع ال اصق في الجبول التالي‪:‬‬

‫‪2‬‬
 ‫ق‬
‫ك‬
‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬

‫وكلما زاد عبد القض ي ي ي ييايا‪ ،‬زاد عن عبد ق م ال ي ي ي ييبا‪ ،‬وذلك وفقا للمتتال الهنبس ي ي ي ي‬
‫التال ‪:‬‬
‫‪.‬‬ ‫‪... 6 ،5‬‬ ‫‪،4 ،3 ،2 ،‬‬ ‫‪1‬‬ ‫عبد القضايا‪:‬‬
‫‪.‬‬ ‫‪...64 ،32 ،16 ،8 ،4 ،2‬‬ ‫عي ي ي ييبد الق يم‪:‬‬
‫ن‬
‫ن القضايا‪ ،‬ن تع ن صالقانهن التالي‪.) 2(:‬‬ ‫و ن أول ت بيب عبد الق م‪ ،‬لمجمهع‬
‫ص ث أن‪:‬‬
‫الثنائي الق م ‪،‬‬ ‫‪ -‬العبد(‪ ،)2‬ثابت يمثل عبد ق م صي ي ييبا القضي ي ي ‪ ،‬في المن‬
‫‪.‬‬ ‫ولما اثنتان‪ ،‬ال با وال‬
‫‪( -‬ن) ت ر‪ ،‬يمثل عبد القضايا‪.‬‬
‫لا‬ ‫ي ي ييبح صإ كاننا‪ ،‬ت بيب عبد ال االت الممكن ‪ ،‬ح ي ي ييد كل حال ‪ ،‬عل أسي ي ييا‬ ‫ف‬
‫ل عل ن‪ ،‬له‪:‬‬ ‫القانهن‪ ،‬فإذا كان عبد القضايا واحبا‪ ،‬ثال‪ ،‬فإن عبد الق م ال ي ن‬
‫‪.1 )2( -‬‬
‫= ‪.2 = 1 x 2‬‬
‫ل عل الجبول‪:‬‬ ‫فن‬
‫ق‬
‫‪1‬‬
‫‪0‬‬

‫ونذا كان عبد القضايا اثن ن‪:‬‬

‫‪.2)2( -‬‬

‫‪3‬‬
 ‫= ‪.4 = 2 x 2‬‬
‫ونهزش الق م وفقا له ا الجبول‪:‬‬
‫ق‬
‫ك‬
‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬

‫إذا كانت ثالثا‪:‬‬

‫‪.3)2( -‬‬
‫= ‪.8 = 2 x 2 x 2‬‬
‫ل عل الجبول اآلتي‪:‬‬ ‫فن‬
‫ل‬ ‫ك‬ ‫ق‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬

‫إذا كان عبد القضايا أربع ‪:‬‬

‫‪.4)2( -‬‬
‫= ‪.16 = 2 x 2 x 2 x 2‬‬
‫وتهزش الق م كما يلي‪:‬‬
‫م‬ ‫ل‬ ‫ك‬ ‫ق‬

‫‪4‬‬
 ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬

‫ولك ا‪ ،‬ف لما زاد عبد القضايا‪ ،‬زاد عبد التهف قات ‪ Combinaisons‬الممكن (‪،)1‬‬
‫وفقا للمتتال الهنبس ال اصق ‪.‬‬

‫(‪ )1‬يقوم النسق الثنائي القيمة ‪ ،Système Binaire‬على قيميت الصدق والكذب‪ .‬وهي اللغة املستعملة يف احلاسوب‬
‫يف عملياته املختلفة‪ .‬وميكن أن نوضح ذلك آبلة حاسبة بسيطة‪ ،‬حتتوي على الرموز(‪9 ،8 ،7 ،6 ،5 ،4 ،3، 2 ،1 ،0‬‬
‫‪ .) % ، ،= ،. ،÷ ،  ،- ،+‬جمموع هذه األعداد والعمليات مثاين عشرة حالة‪ ،‬منثِّل لكل واحدة بسلسلة متوالية‪.‬‬
‫ومن أجل ذلك‪ ،‬نستعني جبدول يتسع هلذا العدد زائد واحد(‪ ،)1+18‬فنستعمل جدوال حيتوي على مخس قضااي‪ ،‬تعطينا‬
‫اثنتان وثالثون توفيقة‪ .‬منثل لكل حالة‪ ،‬من األرقام والرموز‪ ،‬بواسطة توفيقة من التوفيقات االثنتني والثالثني‪ ،‬كما يلي‪:‬‬

‫الرمز املقابل للتوفيقة‬ ‫ر‬ ‫م‬ ‫ل‬ ‫ك‬ ‫ق‬

‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪2‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪3‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪4‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪5‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪5‬‬
 ‫‪6‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪7‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪8‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪9‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪+‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪-‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪.‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫=‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪%‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫ـ‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫ـ‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫ـ‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫ـ‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫ـ‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫ـ‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫ـ‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫ـ‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫ـ‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫ـ‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫ـ‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫ـ‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫ـ‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬

‫فإذا أردان اجراء عملية حسابية‪ ،‬ولتكن مثال‪ ،)9+5( :‬فإن احلاسوب سيتعامل معها على أساس أهنا تعليمات‪،‬‬
‫صفه يف اخلانة(‪.)01101‬‬
‫صف العدد ‪ 5‬يف ذاكرته‪ ،‬يف اخلانة(‪ ،)01011‬واألمر نفسه مع العدد ‪ 9‬حيث يَ ُ‬ ‫ويقوم بِّ َ‬
‫فتكون عملية اجلمع بني املعلومة املخزنة يف اخلانة(‪ )010011‬واخلانة(‪ ،)010011‬كما يلي‪.)010011 + 010011( :‬‬
‫وعملية اجلمع بدورها معلومة خمزنة يف اخلانة(‪ .)00101‬فتكون التعليمة يف هذه احلالة عبارة عن ثالث أجزاء هي‪:‬‬
‫‪9‬‬ ‫‪5‬‬ ‫‪+‬‬
‫‪010011‬‬ ‫‪010011‬‬ ‫‪00101‬‬
‫وعلى هذا األساس‪ ،‬تتم العمليات املختلفة يف احلاسوب ‪ -‬وتقنيا عبارة عن نشاط كهرومغناطيسي‪ .-‬وحيتفظ كل رمز‬
‫ابلتوفيقية اليت أعطيت له‪ .‬لذلك تكون العمليات احلسابية دقيقة‪ ،‬واحتمال وقوع اخلطأ من اآللة‪ ،‬منعدم‪ .‬وكلما زاد‬
‫عدد الرموز اليت نستعملها ‪ ،‬أضفنا توفيقات جديدة‪ .‬فلو أضفنا إىل آلتنا احلاسبة أحرف اللغة العربية الثماين والعشرين‪،‬‬
‫فإن جمموع الرموز يصبح ستة وأربعون(‪ ،)46‬وحنتاج يف هذه احلالة إىل عدد أكرب من التوفيقات‪ ،‬يبلغ على األقل(‪46‬‬
‫‪6‬‬
 ‫ةالـة الصـدق‬ ‫‪4.1‬‬
‫نعني ببال ال ي ي ي ي ييبا ‪ ،Fonction de verite‬ق م ال ي ي ي ي ييبا الناتج عن ارتباط‬
‫‪ ،‬أو قضي ي ي ي ت ن ص ي ي ي ي ت ن‪ ،‬براصط ن قي‪ .‬وبناء عل التعريف ال ي‬ ‫قضي ي ي ي ص ي ي ي ي‬
‫قب ناه عن كل راصط‪ ،‬في الفقرة(‪ ،)2.1‬فإن ل ل راصط ن قي دال صبقن التي ت بد‬ ‫ّ‬
‫فهه ين‪ ،‬وتمّزه عن صياقي الرواصط‪ .‬ويمكن ت يبييب دالي صي ي ي ي ي ي ييبا كيل راصط‪ ،‬أحيادي أو‬
‫ثنائي‪ ،‬كما يلي‪:‬‬

‫‪ 1.4.1‬ةالة صدق الرابطين األحاةيين‪:‬‬

‫عرفنييا الراص ن األحييادي ن‪ ،‬التييأك ييب والنفي‪ ،‬في الفقرة(‪ ،)1.2.2.1‬عل ّأنهمييا‬
‫ّ‬
‫يبخالن عل القض ي ي الب ي ي ‪ ،‬ف ثبت األول ق م صي ييبقها‪ ،‬ص ث إذا كانت صي ييادق‬
‫تبق صادق ونذا كانت كاذص تبق كاذص ‪ ،‬ب نما ي ي ي ي ينّر الثاني ق م صبقها‪ ،‬ص ث إذا‬
‫كانت صي ييادق يجعلها كاذص ‪ ،‬ونذا كانت كاذص يجعلها صي ييادق ‪ .‬ول ل واحب نها‪ ،‬في‬
‫المن ‪ ،‬دال صبقن التي تمنّزه عن اآلخر‪.‬‬
‫‪ 1.1.4.1‬دال صبا راصط التأك ب(‪:)‬‬
‫ي ي ي ي ييل‬ ‫إذا كانت لبى القض ي ي ي ي ي (ا)‪ ،‬وأدخلت عل ها راصط التأك ب(‪ ،)‬فإننا ن‬
‫(‪ ‬ا)‪ ،‬وتأخ دال صبا راصط التأك ب األحادي ال هرة التال ‪:‬‬ ‫عل ال‬

‫وحنصل عليها‪ ،‬جبدول صدق حيتوي على ست قضااي‪ ،‬فتنتج أربع وستون توفيقة‪2  2  2 2 2 = 6)2( ،‬‬ ‫‪.)1+‬‬
‫ابلتفصيل‪.‬‬ ‫‪ ،64 = 2‬فيمثل كل حرف‪ ،‬وكل رقم‪ ،‬وكل رمز بتوفيقة من التوفيقات‪ ،‬انظر‬
‫‪7‬‬
 ‫ق ‪‬‬
‫ق‬
‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬

‫‪.‬‬ ‫نالحظ أن ق م دال صي ي ييبا راصط التأك ب لي نف ي ي ييها ق م القض ي ي ي الب ي ي ي‬

‫له‪:‬‬ ‫فيإن المعن الهح يب الي ي نع ين لراصط التيأك يب في المن‬ ‫وعل لي ا األسي ي ي ي ي ي ييا‬
‫(‪ )01‬ويقرأ‪" :‬صادا‪ ،‬كاذ "‪.‬‬
‫‪ 2.1.4.1‬دال صبا راصط النفي(‪:)‬‬
‫ي ي ييل‬ ‫إذا كانت لبى القضي ي ي ي (ا)‪ ،‬وأدخلت عل ها راصط النفي (‪ ،)‬فإننا ن‬
‫(‪‬ا)‪ ،‬وتأخ دال صبا ل ا الراصط األحادي‪ ،‬ال هرة التال ‪:‬‬ ‫عل ال‬
‫ا ‪‬ق‬
‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬

‫له‪ )10( :‬ويقرأ‪:‬‬ ‫وعل ل ي ا األسي ي ي ي ي ي ي ييا ‪ ،‬ف ييإن عن راصط النفي في المن‬
‫"كاذ ‪ ،‬صادا"‪.‬‬
‫‪ 2.4.1‬ةالة صدق الرواب الثنائية‪:‬‬
‫المق ي ي ي ي ي ييهد ببال صي ي ي ي ي ييبا الرواصط الثنائ ‪ ،‬ق م ال ي ي ي ي ي ييبا الناتج عن ارتباط‬
‫قضي ت ن ذريت ن صأحب الرواصط الثنائ ال يبع ال ياصق ‪ ،‬ولي‪ ،‬دال ال يبا‪ ،‬التي ت بد‬
‫عن الراصط‪.‬‬
‫دال صبا راصط الهصل(‪:)‬‬ ‫‪1.2.4.1‬‬
‫‪‬‬ ‫ا‬
‫ك‬

‫‪8‬‬
 ‫‪1 1 1‬‬
‫‪0 0 1‬‬
‫‪1 0 0‬‬
‫‪0 0 0‬‬
‫نالحظ أن ق م ال ي ي ييبا الناتج عن ربط القض ي ي ي ت ن(ا) و(ك) صالهصي ي ييل لي‬
‫نف ييها ق م ال ييبا التي تنت له أورينا عمل الضيير الرياضي ‪ ،‬ب ن ق م صييبا كل‬
‫ل لك ي ي ييم الهص ي ييل صالض ي يير‬ ‫أي(‪،0=0x0 ،0=1x0 ،0=0 x1 ،1=1x1‬‬ ‫ن(ا) و(ك)‪،‬‬
‫المن قي ‪.)1(Le produit logique‬‬

‫‪ 2.2.4.1‬دال صبا راصط الف ل ط ر االستبعادي(‪:)‬‬

‫ا ‪ ‬ك‬
‫‪1 1 1‬‬
‫‪0 1 1‬‬
‫‪1 1 0‬‬
‫‪0 0 0‬‬
‫نالحظ أن ق م ال ي ي ييبا الناتج عن ربط القضي ي ي ت ن(ا) و(ك) صالف ي ي ييل ط ر‬
‫االسييتبعادي‪ ،‬لي نف ييها ق م ال ييبا التي تنت له أورينا عمل الجمع الرياضي ب ن‬
‫ق م ص ي ي ي ي ي ي ييبا كيل ن(ا) و(ك)‪ ،‬أي(‪ ،)0= 0 + 0 ،1= 1+0 ،1= 0 +1 ،1= 1 +1‬لي ليك‬
‫‪ ،La‬عل الرطم ن أن التهف ق‬ ‫‪somme logique‬‬ ‫ي ي ي ي ي ي ييم ن تارس ي ي ي ي ي ييكي الجمع المن قي‬
‫= ‪ ،)1‬أو ضيير‬ ‫‪1‬‬ ‫الر زي (أ‪+‬‬ ‫األول (‪ )111‬ل ييت ومعا‪ ،‬بل عمل تأخ ال ي‬
‫ب ن عن رين هوب ن‪ ،‬وال ي يع نا عن ار هوبا(‪.)+ = + x +‬‬
‫‪ 3.2.4.1‬دال صبا راصط الف ل االستبعادي (‪:)w‬‬

‫ا ‪w‬ك‬

‫‪(1) Alfred‬‬ ‫‪Tarski, op. cit., p. 20.‬‬

‫‪9‬‬
 ‫‪1 0 1‬‬
‫‪0 1 1‬‬
‫‪1 1 0‬‬
‫‪0 0 0‬‬

‫‪ 4.2.4.1‬دال صبا راصط الشرط(‪:)‬‬

‫‪‬‬ ‫ا‬
‫ك‬
‫‪1 1 1‬‬
‫‪0 0 1‬‬
‫‪1 1 0‬‬
‫‪0 1 0‬‬

‫‪ 5.2.4.1‬دال صبا راصط التشارط(‪:)‬‬

‫ا ‪ ‬ك‬
‫‪1 1 1‬‬
‫‪0 0 1‬‬
‫‪1 0 0‬‬
‫‪0 1 0‬‬

‫‪ 6.2.4.1‬دال صبا راصط النفي المزدوج (‪:)‬‬

‫‪‬‬ ‫ا‬
‫ك‬
‫‪1 0 1‬‬
‫‪0 0 1‬‬
‫‪1 0 0‬‬
‫‪0 1 0‬‬

‫‪ 7.2.4.1‬دال صبا راصط التنافر (‪:)‬‬

‫‪10‬‬
 ‫ك‬ ‫‪‬‬ ‫ا‬
‫‪1 0 1‬‬
‫‪0 1 1‬‬
‫‪1 1 0‬‬
‫‪0 1‬‬ ‫‪0‬‬
‫(‪)1‬‬

‫(‪ )1‬لدوال الصدق هذه استعماالت عملية‪ ،‬فعلى سبيل املثال‪ ،‬تستعمل دوال صدق كل من الوصل‪ ،‬والفصل غري‬
‫االستبعادي‪ ،‬والتشارط يف ميدان الكهرابء‪ ،‬للتعبري عن خمتلف أنواع الدارات الكهرابئية‪ ،‬وميكن توضيح ذلك‪ ،‬كما يلي‪:‬‬
‫لنتفق على ما يلي‪:‬‬
‫قا‪ = 1‬قاطعة رقم واحد‪.‬‬
‫قا‪ = 2‬قاطعة رقم اثنني‪.‬‬
‫م = املصباح‪.‬‬
‫‪ = 1‬قاطعة مفتوحة‪ ،‬تسمح مبرور التيار‪.‬‬
‫‪ = 0‬قاطعة مغلقة‪ ،‬ال تسمح مبرور التيار‪.‬‬
‫‪ = 1‬مصباح مشتعل‪.‬‬
‫‪ = 0‬مصباح منطفئ‪.‬‬
‫أ‪ /‬الدارة الكهرابئية من نوع(‪:)‬‬
‫لدينا اجلدول‪:‬‬
‫املصباح‬ ‫القاطعة‪ 1‬القاطعة‪2‬‬
‫مشتعل‬ ‫مفتوح‬ ‫مفتوح‬
‫منطفئ‬ ‫مغلق‬ ‫مفتوح‬
‫منطفئ‬ ‫مفتوح‬ ‫مغلق‬
‫منطفئ‬ ‫مغلق‬ ‫مغلق‬
‫بناء على الرموز اليت أعطيت سابقا حنصل على اجلدول التايل‪:‬‬
‫م‬ ‫قا‪2‬‬ ‫قا‪1‬‬

‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬

‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪11‬‬
‫نالحظ أن قيم صدق هذه الدالة‪ ،‬هي نفسها قيم صدق دالة الوصل‪ ،‬وتتفق مع الدارة الكهرابئية من النوع‬
‫التايل‪:‬‬

‫‪+‬‬

‫‪-‬‬

‫‪1‬‬
‫‪2‬‬

‫يكون املصباح(م) مشتعال(‪ )1‬فقط عندما تكون القاطعتان(قا‪ 1‬وقا‪ )2‬مفتوحتان(‪ ،)11‬أما إذا كانت قاطعة واحدة على‬
‫األقل مغلقة(‪ )0‬فإن املصباح يكون منطفئا(‪.)0‬‬
‫ب‪ /‬الدارة الكهرابئية من نوع(‪:)‬‬
‫لدينا اجلدول‪:‬‬
‫املصباح‬ ‫القاطعة‪ 1‬القاطعة‪2‬‬
‫مشتعل‬ ‫مفتوح‬ ‫مفتوح‬
‫مشتعل‬ ‫مغلق‬ ‫مفتوح‬
‫مشتعل‬ ‫مفتوح‬ ‫مغلق‬
‫منطفئ‬ ‫مغلق‬ ‫مغلق‬
‫بناء على الرموز اليت أعطيت سابقا‪ ،‬حنصل على اجلدول التايل‪:‬‬
‫م‬ ‫قا‪2‬‬ ‫قا‪1‬‬

‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬

‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫نالحظ أن قيم صدق هذه الدالة‪ ،‬هي نفسها قيم صدق دالة الفصل الضعيف‪ ،‬وتتفق مع الدارة الكهرابئية من النوع‬
‫التايل‪:‬‬
‫‪12‬‬
 ‫‪+‬‬

‫‪-‬‬
‫‪1‬‬

‫‪2‬‬

‫يكون املصباح(م) منطفئا(‪ )0‬فقط عندما تكون القاطعتان(قا‪ 1‬وقا‪ )2‬مغلقتان(‪ ،)00‬أما إذا كانت قاطعة واحدة على‬
‫األقل مفتوحة(‪ )1‬فإن املصباح يكون مشتعال(‪.)1‬‬
‫ج‪ /‬الدارة الكهرابئية من نوع(‪:)‬‬
‫لدينا اجلدول‪:‬‬
‫املصباح‬ ‫القاطعة‪ 1‬القاطعة‪2‬‬
‫مشتعل‬ ‫مفتوح‬ ‫مفتوح‬
‫منطفئ‬ ‫مغلق‬ ‫مفتوح‬
‫منطفئ‬ ‫مفتوح‬ ‫مغلق‬
‫مشتعل‬ ‫مغلق‬ ‫مغلق‬
‫بناء على الرموز اليت أعطيت سابقا‪ ،‬حنصل على اجلدول التايل‪:‬‬
‫م‬ ‫قا‪2‬‬ ‫قا‪1‬‬

‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬

‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫نالحظ أن قيم صدق هذه الدالة‪ ،‬هي نفسها قيم صدق دالة التشارط‪ ،‬وتتفق مع الدارة الكهرابئية من النوع‬
‫التايل‪:‬‬
‫‪+‬‬

‫‪-‬‬

‫ـ‬
‫‪2‬‬
‫‪1‬‬

‫‪1‬‬ ‫ـ‪1‬‬

‫‪13‬‬
 ‫‪ -‬و ما تقبم ن ل إل النت جت ن التال ت ن‪:‬‬
‫ال ب ع ‪ ،‬ي بده ضمهن القضايا وق م صبقها‪ ،‬أ ا‬ ‫ا‪ /‬فههم الراصط في الل‬
‫‪ ،‬فت بده ق م صبا القضايا فقط‪.‬‬ ‫المفههم التقني‪ ،‬للراصط في المن‬
‫‪ /‬فههم الراصط في الل ي ال ب ع ي أكثر ثراء‪ ،‬ن ح يث المعن الي ي يمكن‬
‫بد‪ ،‬ص ث ي يقط كل‬ ‫أن يؤدين‪ ،‬ألنن يتضيمن عبة فال م‪ ،‬أ ا المفههم التقني فهه‬
‫المعاني األخرى‪ ،‬وال يبقي إال عل كهنن جرد ربط ب ن ق م صييبا القض ي ‪ ،‬ول ا ا‬
‫يجعل فهه ن أوسي ييع وأشي ييمل‪ ،‬ألنن كلما زادت درو التجريب ‪ Abstraction‬زادت عها‬
‫درو التعم م ‪.Généralisation‬‬
‫‪ 5.1‬الرواب الممكنة منطقيا‬
‫صاإلضاف إل الرواصط المن ق التي لها ا يقابله ييا في الل ي ال ب ع ي ‪ ،‬يمكن‬
‫أو القض ي ي ييايا المركب ‪ ،‬عالقات ن ق أخرى‪ ،‬ال‬ ‫القض ي ي ييايا الب ي ي ي‬ ‫أن تبخل عل‬
‫‪les‬‬ ‫ن ق ييا‬ ‫نجييب لهييا أحرفييا تقييابلهييا في الل ي ال ب ع ي ‪ ،‬ن ي ي ي ي ي ي ييم هييا صييالرواصط الممكني‬
‫ن ق يا‪،‬‬ ‫‪ ،connecteurs logiquement possibles‬ويمكن إح اء ل ه الروابيط الممكين‬
‫من‬
‫وت بيب دوالها‪ ،‬وفقا للقانهن التالي‪(( :‬م) ) )‪.‬‬
‫الثنائي الق م ‪ ،‬اثنتان‪.‬‬ ‫ص ث أن‪ :‬م = تمثل عبد ق م صبا القض ‪ ،‬في المن‬
‫ن = تعبر عن عييبد المت رات القضي ي ي ي ي ي ييهيي ‪ ،‬واحييب صييالن ي ي ي ي ي ي يبي إل الرواصط‬
‫األحادي ‪ ،‬واثنان صالن ب إل الرواصط الثنائ ‪.‬‬
‫الدوال ذوات متغيريين قضويين‪:‬‬ ‫‪1.5.1‬‬

‫يكون املصباح(م) مشتعال(‪ )1‬عندما تكون القاطعتان مفتوحتني معا(‪ ،)11‬أي يف(قا‪/1‬ب وقا‪/2‬جـ)‪ ،‬أو مغلقتني‬
‫معا(‪ ،)00‬أي يف(قا‪/1‬ب‪ 1‬وقا‪/2‬جـ‪ ،) 1‬أما إذا كانت إحدى القاطعتني مغلقة(‪ )0‬واألخرى مفتوحة(‪ ،)1‬أي يف(قا‪/1‬ب‪1‬‬

‫وقا‪/2‬جـ)‪ ،‬أو يف(قا‪/ 1‬ب وقا‪/2‬جـ‪ ،)1‬فإن املصباح يكون منطفئا(‪ ،)0‬انظر ابلتفصيل‪.‬‬
‫‪14‬‬
 ‫‪Les fonctions à‬‬ ‫دوال ص ييبا البوال ذوات ت ري ن قض ييهي ن‬ ‫يمكن ح ييا‬
‫ن ق ييا بنيياء عل‬ ‫‪ ،deux variables propositionnelles‬أي الرواصط الثنييائ ي الممكن ي‬
‫من‬
‫القانهن ال اب ((م) ) )‪ ،‬كما يلي‪:‬‬
‫م = عبد ق م صبا القض ‪ ،‬اثنان‪.‬‬
‫ن = عبد المت رات القضهي اثنان‪.‬‬
‫‪2‬‬ ‫‪2‬‬
‫= (‪.16 = )4 × 4‬‬ ‫ل عل ‪)4( = ) 2 x 2( = 2)2)2(( :‬‬ ‫فن‬
‫ويمكن عرضها وفقا للجبول التالي‪:‬‬

‫⊥‬ ‫‪‬‬ ‫↚‬ ‫‪w‬‬ ‫‪  ‬‬ ‫‪‬‬ ‫‪ T‬‬

‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0 1 1 1 1 1 1 1 1‬‬

‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1 0 0 0 0 1 1 1 1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1 0 0 1 1 0 0 1 1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1 0 1 0 1 0 1 0 1‬‬

‫‪16‬‬ ‫‪15‬‬ ‫‪14‬‬ ‫‪13‬‬ ‫‪12‬‬ ‫‪11‬‬ ‫‪10‬‬ ‫‪9 8‬‬ ‫‪7‬‬ ‫‪6‬‬ ‫‪5 4 3 2 1‬‬

‫تعرفنا عل ها‪ ،‬فالبال المهوهدة في‬ ‫نالحظ أن صعض دوال ال ييبا‪ ،‬س ييب وأن ّ‬
‫الخانن رقم اثن ن(‪ ،)02‬لي للف ي ييل الض ي ييع ة‪ ،‬وال ي يياصع (‪ )07‬للتش ي ييارط‪ ،‬والثا ن (‪)08‬‬
‫للهصي ييل‪ ،‬والتاسي ييع (‪ )09‬للتنافر‪ ،‬والعاشي يرة(‪ )10‬للف ي ييل القهي‪ ،‬والخا ي ي عشي يرة(‪)15‬‬
‫للنفي المزدوج‪ ،‬والبال الخا ي ي ي (‪ )05‬للشي ي ييرط‪ ،‬ونق ض الشي ي ييرط(ا↚ ك)البال الثان‬
‫عش يرة(‪ ،)12‬والبال الثالث (‪ )03‬لي لعكس الشييرط ‪( ،Conditinnel converse‬ك‪‬ا)‪،‬‬
‫والراصعي عشي ي ي ي ي ي يرة(‪ )14‬نق ض عكس الشي ي ي ي ي ي ييرط ‪ .‬يا العمهدان‪ ،‬األول(‪ )01‬وال ي ي ي ي ي ي يياد‬
‫عشي ي يير(‪ ،)16‬فهما تناقضي ي ي ان‪ .‬األول‪ ،‬ي تهي عل ق م كلها صي ي ييادق ‪ ،‬وت ي ي ييم ‪ ،‬دال‬
‫ي ي ل حاصي ييل ‪ ،Tautologique‬ونر ز لها بي ي ي ي ي ي ي ي يي‪.)⊤( :‬‬ ‫صي ييبا قضي ي ت ارري ‪ ،‬أو ت‬

‫‪15‬‬
‫و عن القضي ي الت ارري ‪ ،‬أنها صي ييادق صالن ي ييب إل وم ع القي‪ ،‬وبالتالي فهي قانهن‬
‫عشير‪ ،‬وال ي ي تهي عل ق م كلها كاذص ‪،‬‬ ‫ن قي ‪ .Lois logique‬أ ا العمهد ال ياد‬
‫‪ ،‬ف ييم ‪ ،‬دال ص ييبا القضي ي المتناقضي ي ‪ ،Antilogie‬ونر ز لها ب ي ي ي ي ي ي ي يي‪ .)⊥( :‬و ع‬
‫القض المتناقض ‪ّ ،‬أنها كاذص صالن ب إل‬
‫وم ع الق م‪ ،‬وبييالتييالي ل ي ي ي ي ي ي ييت قييانهنييا ن ق ييا‪ .‬صق ييت الييبوال رقم(‪ )04‬و(‪ )06‬و(‪)11‬‬
‫ن ق ا‪.‬‬ ‫و(‪ ،)13‬فال نعرف لها رواصط تقابلها و ّننما لي دوال لرواصط مكن‬

‫‪16‬‬
 ‫المحاضرة ‪:5‬‬
‫‪ 6.1‬نفي القضية ونفي العالقة‬
‫بّني ي ييا في الفقرة(‪ )2.1.2.2.1‬فههم النفي‪ ،‬ور زني ي ييا لي ي يين بي ي ي ي ي ي ي ي ي ي ي ي ي يي‪ .)( :‬وفي‬
‫الفقرة(‪ )2.1.4.1‬ح ّيبدنيا دالي ص ي ي ي ي ي ي ييب يق ن صيالق م(‪ ،)01‬ل ن يجيد التمنّ ز ب ن نهع ن ن‬
‫‪La‬‬ ‫‪ ،‬ثل(‪ ‬ا) ون ي ييم ن النفي القضي ييهي‬ ‫القض ي ي الب ي ي‬ ‫النفي‪ ،‬النفي ال ي يل‬
‫القض ي ي ي ي المركب ‪ ،‬أو الراصط‪ ،‬ثل(‪‬‬ ‫‪ ،négation propositionnelle‬والنفي ال ي يل‬
‫‪La‬‬ ‫(ا‪ ‬ك)) ون ي ي ي ي ييم ن النفي العالقي ‪ ،La négation relationnelle‬أو النفي البالي‬
‫‪.négation fonctorielle‬‬

‫‪ 1.6.1‬النفي القضوي‪:‬‬
‫‪ ،‬ف ر ق م ص ييبقها‪ ،‬ص ث إذا‬ ‫القض ي الب ي‬
‫النهش ن النفي يل‬‫لا ّ‬
‫كانت صي ييادق ت ي ييبح كاذص ونذا كانت كاذص ت ي ييبح صي ييادق ‪ ،‬ويمكن تهض ي ي ح ذلك‬
‫صالمثال التالي‪:‬‬
‫‪ -‬بلهتهن كهكد‪ ،‬نر ز لن بي‪( :‬ا)‪.‬‬
‫ل عل القض المركب التال ‪:‬‬ ‫إذا أدخلنا عل ها النفي‪ ،‬ن‬
‫‪ -‬ل س بلهتهن كهكبا‪ ،‬ونر ز لها بي‪ ( :‬ا)‪.‬‬
‫(ا)‪ ،‬وق م ص ي ييبا القضي ي ي‬ ‫ويكمن المقارن ب ن ق م ص ي ييبا القضي ي ي الب ي ي ي‬
‫الجبول التالي‪:‬‬ ‫المركب الناتج عن دخهل النفي القضهي(‪ ‬ا) بهاس‬
‫ق ‪‬ق‬
‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬

‫(ا) أص ي ييب ت ناقض ي ي لق م ص ي ييبا‬ ‫نالحظ أن ق م ص ي ييبا القض ي ي الب ي ي‬

‫القض المركب ‪ ( :‬ا)‪.‬‬

‫‪17‬‬
‫ركب ‪،‬‬ ‫ويمكن اح ي ي يياء ال االت التي يبخل ف ها النفي القضي ي ييهي في قض ي ي ي‬
‫ولي‪:‬‬
‫‪  -‬ا ‪ x‬ك‪.‬‬
‫‪ -‬ا ‪  x‬ك‪.‬‬
‫‪  -‬ا ‪  x‬ك‪.‬‬
‫‪ 2.6.1‬النفـي العالقي‪:‬‬
‫التي‬ ‫فإنن ال ي نّر ق م صي ي ييبا القضي ي ييايا الب ي ي ي‬
‫أ ا النهش الثاني ن النفي‪ّ ،‬‬
‫تأتلة نها القضي المركب ‪ ،‬بل ي نّر ق م صييبا ق م الراصط المن قي ال ي ي ييل ب ن‬
‫القض ت ن‪ .‬ويمكن تهض ح ذلك‪ ،‬صالمثال ن التال ن‪:‬‬
‫‪ -‬بلهتهن كهكد والشمس نجم‪.‬‬
‫الر زي ‪( :‬ا ‪ ‬ك)‪ ،‬ودال صبقها لي‪:‬‬ ‫تأخ القض المركب ال‬
‫ك‬ ‫‪‬‬ ‫ق‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬

‫ل عل القض التال ‪:‬‬ ‫عنب ا نبخل عل ل ه القض النفي البالي‪ ،‬ن‬

‫‪ -‬ل س‪ ،‬بلهتهن كهكد والشمس نجم‪ ،‬ونر ز لها بي‪(  :‬ا ‪ ‬ك)‪ ،‬ودال‬
‫صبقها لي‪:‬‬
‫ك‬ ‫‪ ‬ق ‪‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬

‫ج د‬ ‫أ‬

‫‪18‬‬
‫ع الق م المهوهدة في‬ ‫نالحظ أن الق م المهوهدة في العمهد(أ)‪ ،‬تنيياقضي ي ي ي ي ي ي ي‬

‫العمهد(ج)‪ ،‬فالنفي ل براصط الهصي ييل(‪ ،)‬ولم يل ق م صي ييبا ٍّّ‬

‫أي ن القض ي ي ت ن‬
‫الب ي ي ي ي ي ت ن(أ) و(د)‪ ،‬ول ا ا نعن ن بنفي القض ي ي ي ي ي المركب ‪ ،‬أي أن النفي يل ق م‬
‫الراصط أو العالق ‪ ،‬ول لك سم ناه‪ ،‬النفي البالي‪ ،‬أو النفي العالقي‪.‬‬
‫مالحظة‪:‬‬
‫ركب واحبة‪،‬‬ ‫ويكمن أن يجتمع النفي القضي ي ي ي ي ييهي‪ ،‬والنفي البالي في قض ي ي ي ي ي ي‬
‫يهض ان ذلك‪:‬‬‫والمثاالن التال ان ن‬
‫ّ‬
‫‪ -‬المثال‪:1‬‬
‫‪ ( ‬ا)‪.‬‬
‫‪‬ا‬ ‫‪‬‬
‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬

‫أ‬
‫نالحظ أن ق م صيبا العمهد(أ) لي نق ض ق م صيبا القضي المركب (‪ ‬ا)‪،‬‬

‫(ا)‪ ،‬ول ا ا نّ‬

‫يعبر‬ ‫فق م العمهد(أ) في النهاي ‪ ،‬لي نف ييها ق م صييبا القضي الب ي‬

‫عن قانهن ن قي ن يم ن‪ :‬النفي ض‬

‫المضيع ّّّف‪ ،‬أي أن نفي النفي إثبات‪ ،‬فالقضي (‪‬‬
‫‪ ‬ا) لي نف ها القض (ا)‪.‬‬
‫‪ -‬المثال‪:2‬‬
‫‪ ( ‬ا ‪ ‬ك)‪ ،‬ودال صبقها لي‪:‬‬

‫‪19‬‬
 ‫‪ ‬ا ‪ ‬ك‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬

‫‪1‬‬

‫‪0‬‬

‫ج د‬ ‫أ‬
‫ع الق م المهوهدة في‬ ‫نالحظ أن الق م المهوهدة في العمهد(أ) تن يياقضي ي ي ي ي ي ي ي‬
‫العمهد(ج)‪ ،‬أي ق م ص ي ي ي ي ي ي ي ييبا الراصط(‪ ،)‬لي ي لي ييك في ييالنفي األول(أ) دالي‪ ،‬أ ي ييا النفي‬
‫فقط صق م القض (ا)‪.‬‬ ‫الثاني( ) فهه قضهي‪ ،‬ألنن ل‬
‫ويمكن اح ياء ال االت الممكن الوتماش النفي القضيهي ع النفي البالي في‬
‫ن قض ت ن ذريت ن(ا ‪ x‬ك)‪ ،‬ولي‪:‬‬ ‫القض المركب المؤتلف‬
‫‪(  -‬ا ‪ x‬ك)‪.‬‬
‫‪ (  -‬ا ‪ x‬ك)‪.‬‬
‫‪(  -‬ا ‪  x‬ك)‪.‬‬
‫‪ (  -‬ا ‪  x‬ك)‪.‬‬
‫السؤال األول‪:‬‬
‫نها؟‬ ‫ا لي دوال صبا القضايا المركب التال ‪ ،‬و ا لي طب ع كل دال‬
‫‪  -‬ا‪ ‬ك‪ ،‬ا ‪  ‬ك‪  ،‬ا‪  ‬ك‪.‬‬
‫‪  -‬ا‪ ‬ك‪ ،‬ا ‪  ‬ك‪  ،‬ا‪  ‬ك‪.‬‬
‫‪  -‬ا ‪ w‬ك‪ ،‬ا ‪  w‬ك‪  ،‬ا ‪  w‬ك‪.‬‬
‫‪  -‬ا ‪ ‬ك‪ ،‬ا ‪  ‬ك‪  ،‬ا ‪  ‬ك‪.‬‬
‫‪  -‬ا ‪ ‬ك‪ ،‬ا ‪  ‬ك‪  ،‬ا ‪  ‬ك‪.‬‬
‫‪20‬‬
 ‫‪  -‬ا‪ ‬ك‪ ،‬ا‪  ‬ك‪  ،‬ا‪  ‬ك‪.‬‬
‫‪  -‬ا‪ ‬ك‪ ،‬ا ‪  ‬ك‪  ،‬ا ‪  ‬ك‪.‬‬
‫السؤال الثاني‪:‬‬
‫اح د دوال صبا القضايا التال ‪:‬‬
‫‪(  -‬ا‪ ‬ك)‪ (  ،‬ا‪ ‬ك)‪(  ،‬ا‪  ‬ك)‪ (  ،‬ا‪  ‬ك)‪.‬‬
‫‪(  -‬ا‪ ‬ك)‪ (  ،‬ا‪ ‬ك)‪(  ،‬ا‪  ‬ك)‪ (  ،‬ا‪  ‬ك)‪.‬‬
‫‪(  -‬ا ‪ w‬ك)‪ (  ،‬ا ‪ w‬ك)‪(  ،‬ا ‪  w‬ك)‪ (  ،‬ا ‪  w‬ك )‪.‬‬
‫‪(  -‬ا ‪ ‬ك)‪ (  ،‬ا ‪ ‬ك)‪(  ،‬ا‪  ‬ك)‪ (  ،‬ا‪  ‬ك)‪.‬‬
‫‪(  -‬ا ‪ ‬ك)‪ (  ،‬ا ‪ ‬ك)‪(  ،‬ا ‪  ‬ك)‪ (  ،‬ا ‪  ‬ك)‪.‬‬
‫‪(  -‬ا ‪ ‬ك)‪ (  ،‬ا‪ ‬ك)‪(  ،‬ا ‪  ‬ك)‪ (  ،‬ا‪  ‬ك)‪.‬‬
‫‪(  -‬ا ‪ ‬ك)‪ (  ،‬ا‪ ‬ك)‪(  ،‬ا ‪  ‬ك)‪ (  ،‬ا‪  ‬ك)‪.‬‬
‫‪(  -‬ا ‪ ‬ك)‪ (  ،‬ا‪ ‬ك)‪(  ،‬ا ‪  ‬ك)‪ (  ،‬ا‪  ‬ك)‪.‬‬
‫ال ل(‪.)2.3.4‬‬

‫‪ 7.1‬التعـريـف‬
‫الجبيبة التي أدخلنالا‪ ،‬ت مل‬ ‫المق ي ي ييهد صالتعريف ‪ ،Définition‬أن ال ي ي ي‬
‫سب وأن عرفنا عنالا‪ ،‬والمق هد صالمعن ق م دال صبا‪.‬‬ ‫المعن نف ن ل‬
‫وكل تعريف‪ ،‬يتضمن‪:‬‬
‫‪. Le défini‬‬ ‫المعرف‬
‫َّ‬ ‫‪-‬‬
‫‪. Le définissant‬‬ ‫ّن‬
‫المعرف‬ ‫‪-‬‬
‫ّن‬
‫صالمعرف‪ ،‬ت دعت ال او إل ذلك‪ .‬ونر ز للتعريف‬ ‫المعرف‬
‫ويمكن استببال َّ‬
‫المعرف‪ ،‬ع عال "تع" عل ي ارلا‪،‬‬ ‫ّن‬
‫المعرف و َّ‬ ‫صعال الم اواة "="‪ ،‬التي نضعها ب ن‬
‫ل عل ‪:‬‬ ‫فن‬
‫المعرف و ّن‬
‫المعرف‪.‬‬ ‫َّ‬ ‫‪ =" -‬تع" وتعني العالق التي تجمع ب ن‬
‫‪21‬‬
 ‫وتق أر له نف ن صالتعريف‪.‬‬
‫المعرف عل ال م ن‪ ،‬و ّن‬
‫المعرف عل ي ي ي ي ي ي ي يياره‪ ،‬ويمكن تهضي ي ي ي ي ي ي ح ذليك صيالمثيال‬ ‫َّ‬ ‫ن تيد‬
‫التالي‪:‬‬
‫الشرط‪ ،‬فإننا ن تد‪:‬‬ ‫إذا أردنا تعريف القض (ا‪‬ك) بهاس‬
‫(‪ ‬ا ‪ ‬ك)‪.‬‬ ‫تع‬ ‫(ا ‪ ‬ك) =‬
‫ويقرأ‪( :‬ا ‪ ‬ك) يعني صالتعريف(‪ ‬ا ‪ ‬ك)‪.‬‬
‫التعريف المتبـاةل‪:‬‬ ‫‪1.7.1‬‬
‫نعني صالتعريف المتبادل ‪ ،Intèrdéfinissabilité‬قابل الرواصط لتعريف صعض ي ي ييها‬
‫الرواصط األخرى(‪ ،)1.1.7.1‬أو تعريف‬ ‫صعضي ي ييا‪ ،‬وذلك بتعريف راصط ن قي بهاسي ي ي‬
‫ك ييل الرواصط براصط ن قي واح ييب ع النفي(‪ ،)2.1.7.1‬أو تعريف ك ييل الرواصط براصط‬
‫ن قي واحب(‪.)3.1.7.1‬‬
‫الرواصط األخرى‪:‬‬ ‫‪ 1.1.7.1‬تعريف راصط ن قي بهاس‬
‫نعرف راص ييا ن ل ي ه الرواصط بهاسي ي ي ي ي ي ي ي الرواصط األخرى‪ ،‬ويمكن‬
‫يمكن أن ّ‬
‫تهض ح ذلك كما يلي‪:‬‬
‫الهصل‪:‬‬
‫ا ‪ ‬ك =تع ‪ ( ‬ا ‪  ‬ك)‪.‬‬
‫=تع ‪( ‬ا ‪  ‬ك)‪.‬‬
‫(‪ ‬ا ‪  ‬ك)‪.‬‬ ‫=تع‬

‫=تع ‪( ‬ا ‪ ‬ك)‪.‬‬

‫الف ل ط ر االستبعادي‪:‬‬
‫ا ‪ ‬ك =تع ‪ ( ‬ا ‪  ‬ك)‪.‬‬
‫=تع ‪ ‬ا ‪ ‬ك‪.‬‬
‫‪( ‬ا ‪ ‬ك)‪.‬‬ ‫=تع‬

‫‪ ‬ا‪  ‬ك‪.‬‬ ‫=تع‬

‫‪22‬‬
 ‫الشرط‪:‬‬
‫ا ‪‬ك =تع ‪( ‬ا ‪  ‬ك)‪.‬‬
‫=تع ‪ ‬ا ‪ ‬ك‪.‬‬
‫‪ ( ‬ا ‪ ‬ك)‪.‬‬ ‫=تع‬

‫=تع (ا ‪  ‬ك)‪.‬‬
‫النفي المزدوج‪:‬‬
‫ا ‪ ‬ك =تع (‪ ‬ا ‪  ‬ك)‪.‬‬
‫=تع ‪( ‬ا ‪ ‬ك)‪.‬‬
‫‪ (‬ا ‪ ‬ك)‪.‬‬ ‫=تع‬

‫‪ ( ‬ا‪  ‬ك)‪.‬‬ ‫=تع‬

‫التنافر‪:‬‬
‫ا ‪ ‬ك =تع ‪( ‬ا ‪ ‬ك)‪.‬‬
‫=تع (‪ ‬ا ‪  ‬ك)‪.‬‬
‫=تع (ا ‪  ‬ك)‪.‬‬
‫=تع ‪ ( ‬ا ‪  ‬ك)‪.‬‬
‫التشارط‪:‬‬
‫ا‪‬ك=تع (‪( ‬ا ‪  ‬ك))‪(  ( ‬ك ‪  ‬ا))‪.‬‬
‫=تع ‪ ( (  ‬ا ‪ ‬ك)) ‪ ( ( ‬ك ‪ ‬ا))‪.‬‬
‫=تع ‪( ‬ا ‪ ‬ك) ‪( ( ‬ك ‪ ‬ا))‪.‬‬
‫=تع (‪ ‬ا ‪ w‬ك)‪.‬‬
‫(ك ‪ ‬ك)) ‪(( ‬ك ‪( ‬ا ‪ ‬ا))‪.‬‬ ‫‪‬‬ ‫=تع ((ا‬
‫=تع ‪((‬ا‪(‬ك‪‬ك))‪((‬ك‪(‬ا‪‬ا)‪((  ‬ا‪‬ا)‪(‬ك‪‬ك))|‪.‬‬
‫الف ل االستبعادي‪:‬‬
‫ا ‪ w‬ك =تع ‪( (  ‬ا ‪  ‬ك)) ‪( ( ‬ك ‪  ‬ا))‪.‬‬
‫‪23‬‬
 ‫=تع (‪ ( ‬ا ‪ ‬ك)) ‪ ( ( ‬ك ‪ ‬ا))‪.‬‬
‫=تع (ا ‪ ‬ك) ‪( ( ‬ك ‪ ‬ا))‪.‬‬
‫=تع (‪ ‬ا ‪‬ك)‪.‬‬
‫ا)‬ ‫‪‬‬ ‫(ك ‪ ‬ك)) ‪(( ‬ك ‪( ‬ا ‪ ‬ا))‪((   ‬ا‬ ‫‪‬‬ ‫‪(( ‬ا‬ ‫=تع‬

‫‪( ‬ك‪ ‬ك))‪.‬‬

‫=تع ((ا‪( ‬ك ‪‬ك))‪(( ‬ك ‪( ‬ا ‪‬ا))‪.‬‬
‫التمرين الرابع‪:‬‬
‫ن القضايا الهصل التال بباقي الرواصط‪.‬‬
‫عرف كل قض‬
‫ّ‬
‫‪ ‬ا‪ ‬ك‪ ،‬ا ‪  ‬ك‪  ،‬ا ‪  ‬ك‪.‬‬

‫‪.../..‬‬

‫‪24‬‬
‫‪.../..‬‬
‫المحاضرة ‪:6‬‬
‫‪ 2.1.7.1‬تعريف الرواصط المن ق براصط واحب ع النفي‪:‬‬
‫الهصل‪ :‬ا‪ ‬ك =تع ‪ ( ‬ا ‪  ‬ك)‪.‬‬
‫ك =تع ‪( ‬ا ‪  ‬ك)‪.‬‬ ‫ا‪‬‬

‫ا‪‬ك =تع (‪( ‬ا ‪  ‬ك))‪(  ( ‬ك ‪  ‬ا))‪.‬‬

‫ك =تع (‪ ‬ا ‪  ‬ك)‪.‬‬ ‫‪‬‬ ‫ا‬
‫ا ‪ ‬ك =تع ‪( ‬ا ‪ ‬ك)‪.‬‬
‫ا‪‬ك =تع (‪( ‬ا ‪  ‬ك))‪(  ( ‬ك ‪  ‬ا))‪.‬‬
‫ا‪ w‬ك =تع ‪( ( ‬ا ‪  ‬ك))‪(  ( ‬ك ‪  ‬ا))‪.‬‬
‫الف ل ط ر االستبعادي‪:‬‬
‫ا ‪ ‬ك =تع ‪ ( ‬ا ‪  ‬ك)(‪.)1‬‬
‫ا‪ ‬ك=تع ‪ ‬ا ‪ ‬ك‪.‬‬
‫‪( ‬ا ‪‬ك)‪.‬‬ ‫=تع‬ ‫ا‪ ‬ك‬
‫‪ ‬ا ‪  ‬ك‪.‬‬ ‫=تع‬ ‫ك‬ ‫‪‬‬ ‫ا‬
‫ا‪‬ك=تع ‪ ( ( ‬ا ‪ ‬ك)) ‪ (  ( ‬ك ‪ ‬ا))‪.‬‬
‫ا‪ w‬ك=تع (‪ ( ‬ا ‪ ‬ك)) ‪ (  ( ‬ك ‪ ‬ا))‪.‬‬
‫الشرط‪:‬‬
‫‪ ‬ك)‬ ‫‪‬‬ ‫ك =تع ‪( ‬ا‬ ‫‪‬‬ ‫ا‬
‫ك‬ ‫‪‬‬ ‫ك =تع ‪ ‬ا‬ ‫‪‬‬ ‫ا‬

‫(‪ )1‬نالحظ أن تعريف الفصل ابلوصل‪ ،‬والوصل ابلفصل يعطينا‪:‬‬

‫‪ -‬ق‪ ‬ك =تع ‪ ( ‬ق ‪  ‬ك)‪.‬‬
‫‪ -‬ق ‪ ‬ك = تع ‪ ( ‬ق ‪  ‬ك)‪.‬‬
‫وهو املعروف ابسم‪ ،‬قانوين دي مورغان ‪.Les lois de De Morgan‬‬
‫‪25‬‬
 ‫ك =تع ‪ ( ‬ا‪‬ك)‬ ‫‪‬‬ ‫ا‬
‫ك =تع (ا ‪  ‬ك)‬ ‫‪‬‬ ‫ا‬
‫ا‪‬ك =تع ‪( ‬ا ‪ ‬ك) ‪( ( ‬ك ‪ ‬ا))‪.‬‬
‫ا‪ w‬ك =تع (ا ‪ ‬ك) ‪( ( ‬ك ‪ ‬ا))‪.‬‬
‫النفي المزدوج‪:‬‬
‫‪ ‬ك)‬ ‫‪‬‬ ‫ا ‪ ‬ك =تع (‪ ‬ا‬
‫ك)‬ ‫‪‬‬ ‫ا ‪ ‬ك =تع ‪( ‬ا‬
‫ك)‬ ‫‪‬‬ ‫‪ ( ‬ا‬ ‫=تع‬ ‫ا ‪‬ك‬
‫‪ ( ‬ا‪  ‬ك)‬ ‫=تع‬ ‫ا ‪‬ك‬
‫(ك ‪ ‬ك)) ‪(( ‬ك ‪( ‬ا ‪ ‬ا))‪.‬‬ ‫‪‬‬ ‫ا‪‬ك =تع ((ا‬
‫ا) ‪‬‬ ‫‪‬‬ ‫ا ‪ w‬ك = ‪( ‬ا ‪( ‬ك ‪ ‬ك)) ‪( ‬ك ‪( ‬ا ‪ ‬ا))‪((   ‬ا‬
‫(ك‪ ‬ك))‪.‬‬
‫التنافر‪:‬‬
‫ك)‬ ‫‪‬‬ ‫ك =تع ‪( ‬ا‬ ‫‪‬‬ ‫ا‬
‫‪ ‬ك)‬ ‫‪‬‬ ‫ك =تع (‪ ‬ا‬ ‫‪‬‬ ‫ا‬
‫‪ ‬ك)‬ ‫‪‬‬ ‫ك =تع (ا‬ ‫ا‪‬‬

‫‪ ‬ك)‬ ‫‪‬‬ ‫ك =تع ‪ ( ‬ا‬ ‫‪‬‬ ‫ا‬

‫ا‪‬ك = ‪(( ‬ا‪(‬ك‪‬ك))‪((‬ك‪(‬ا‪‬ا))‪((  ‬ا‪‬ا)‪(‬ك‪‬ك))‪.‬‬
‫ا‪ w‬ك = (ا‪( ‬ك ‪‬ك))‪(( ‬ك ‪( ‬ا ‪‬ا)‪.‬‬
‫التمرين الخامس‪:‬‬
‫اعتمادا عل راص ي النفي والشرط(‪ّ ،) ،‬ن‬
‫عرف الرواصط التال ‪:‬‬
‫‪  -‬ا‪‬ك‪ ،‬ا‪  ‬ك‪ ،‬ا‪w‬ك‪  ،‬ا‪  ‬ك‪  ،‬ا‪‬ك‪  ،‬ا‪‬ك‪.‬‬
‫ال ل(‪.)5.4‬‬
‫تعريف الرواب المنطقية براب واحد‪:‬‬ ‫‪2.7.1‬‬
‫‪26‬‬
‫راصط ن قي واحب ودون اللجهء‬ ‫ل ه ال ال ‪ ،‬أي تعريف كل الرواصط بهاسي ي ي ي‬
‫إل راصط النفي‪ ،‬ت با عل راص ن فقط‪ ،‬لما‪ :‬النفي المزدوج والتنافر‪.‬‬

‫‪ 1.2.7.1‬راصط النفي المزدوج‪:‬‬

‫ك ف تعي ي ي يريف كل ال ي ي ييرواب ي ي ييط األحادي والثنائ‬
‫بّن المن قي ش فر عام‬
‫‪1913‬‬

‫صاسييتعمال راصط النفي المزدوج‪ ،‬والم ييم صاسييمن‪ ،‬عمهد شي فر ‪،La barre de Shiffer‬‬
‫وتب ان ذلك‪ ،‬كما يلي‪:‬‬
‫راصط النفي‪:‬‬
‫‪  -‬ا = ا ‪ ‬ا‪.‬‬
‫التعريف‪ ،‬بب ان دال صبا القض (ا‪‬ا)‪ ،‬كما يلي‪:‬‬ ‫ويمكن التأكب ن سال‬
‫‪‬‬
‫ق‬ ‫ق‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬
‫عرفناه‬
‫نالحظ أن دال ال يبا ل ه‪ ،‬لي نف يها‪ ،‬دال صيبا راصط النفي‪ ،‬كما ّ‬
‫في الفقرة(‪ .)2.1.4.1‬أ ا صاقي الرواصط فتعريفها يكهن‪ ،‬كاآلتي‪:‬‬
‫راصط الهصل‪:‬‬
‫ك)‪.‬‬ ‫‪‬‬ ‫ا ‪ ‬ك = (ا ‪ ‬ا) ‪( ‬ك‬
‫راصط الف ل ط ر االستبعادي‪:‬‬
‫ك)‪.‬‬ ‫‪‬‬ ‫ا ‪ ‬ك = (ا ‪ ‬ك) ‪( ‬ا‬
‫راصط الف ل االستبعادي ‪:‬‬
‫ا) ‪‬‬ ‫‪‬‬ ‫ا ‪ w‬ك = ‪(( ‬ا ‪( ‬ك ‪ ‬ك)) ‪(( ‬ك ‪( ‬ا ‪ ‬ا))‪((   ‬ا‬
‫(ك‪ ‬ك))‪.‬‬
‫راصط الشرط‪:‬‬
‫ا))‪.‬‬ ‫‪‬‬ ‫ا‪‬ك = ((ك‪( ‬ا ‪ ‬ا)) ‪(( ‬ك‪( ‬ا‬

‫‪27‬‬
 ‫راصط التشارط‪:‬‬
‫(ك ‪ ‬ك)) ‪(( ‬ك ‪( ‬ا ‪ ‬ا))‪.‬‬ ‫‪‬‬ ‫ا‪‬ك = ((ا‬
‫راصط التنافر‪:‬‬
‫ك))‪.‬‬ ‫‪‬‬ ‫ا) ‪( ‬ك‬ ‫‪‬‬ ‫ا) ‪( ‬ك ‪ ‬ك)) ‪(( ‬ا‬ ‫‪‬‬ ‫ا‪ ‬ك = ((ا‬
‫ل ال اصل والتناقض‪:‬‬ ‫كما ن ت ع تعريف عالقتي‪ ،‬ت‬
‫ل ال اصل‪:‬‬ ‫ت‬
‫ا)‪.‬‬ ‫‪‬‬ ‫ا)) ‪(( ‬ا ‪( ‬ا‬ ‫‪‬‬ ‫⊤ = ا ‪( ‬ا‬
‫التناقض‪:‬‬
‫(ا ‪ ‬ا)‪.‬‬ ‫‪‬‬ ‫⊥=ا‬

‫التمرين الساةس‪:‬‬
‫دوال صبقها‪ ،‬و قارن صعضها ببعض‪.‬‬ ‫ا‬ ‫ن التعريفات ال اصق ‪ ،‬ص‬ ‫ت ق‬
‫‪ 2.2.7.1‬راصط التنافير‪:‬‬
‫صاإلضاف إل راصط النفي المزدوج قام ش فر بتعريف كل الرواصط‪ ،‬األحادي‬
‫‪La barre duale de‬‬ ‫راصط التنافر‪ ،‬والم م العمهد الثنائي لش فر‬ ‫والثنائ ‪ ،‬بهاس‬
‫‪ ،Shiffer‬ويمكن تهض ح ذلك كما يلي‪:‬‬
‫راصط النفي‪:‬‬
‫‪ ‬ا ‪ ‬ا‪‬ا‪.‬‬
‫دال صبا القض (ا‪‬ا)‪ ،‬كما يلي‪:‬‬ ‫التعريف‪ ،‬بهاس‬ ‫ويمكن التأكب ن سال‬
‫‪‬‬
‫ق‬ ‫ق‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬

‫‪28‬‬
‫واضي ي ييح أن دال صي ي ييبا القض ي ي ي (ا‪‬ا)‪ ،‬لي نف ي ي ييها‪ ،‬دال صي ي ييبا راصط النفي‪ ،‬كما‬
‫عرفنالا في الفقرة(‪.)1.1.4.1‬‬
‫ّ‬
‫راصط الهصل‪:‬‬
‫ا ‪ ‬ك = (ا ‪‬ك) ‪( ‬ا‪‬ك)‪.‬‬
‫راصط الف ل ط ر االستبعادي‪:‬‬
‫ا ‪ ‬ك = (ا ‪‬ا) ‪( ‬ك ‪‬ك)‪.‬‬
‫راصط الف ل االستبعادي ‪:‬‬
‫ا ‪ w‬ك = (ا‪( ‬ك ‪‬ك))‪(( ‬ك ‪( ‬ا ‪‬ا)‪.‬‬
‫راصط الشرط‪:‬‬
‫ا‪‬ك = (ا‪( ‬ا ‪‬ك)‪.‬‬
‫راصط التشارط‪:‬‬
‫ا))‪((   ‬ا‪ ‬ا) ‪‬‬ ‫‪‬‬ ‫ك)) ‪(( ‬ك ‪( ‬ا‬ ‫‪‬‬ ‫ا‪‬ك = ‪(( ‬ا ‪( ‬ك‬
‫(ك ‪ ‬ك))‪.‬‬
‫راصط النفي المزدوج‪:‬‬
‫(ا ‪‬ك))‪((‬ا ‪‬ك)‪(‬ا‪‬ك))‪.‬‬ ‫‪‬‬ ‫ك = ((ا ‪‬ك)‬ ‫‪‬‬ ‫ا‬
‫ل ال اصل والتناقض‪ ،‬كما يلي‪:‬‬ ‫كما ن ت ع تعريف دال صبا عالقتي ت‬
‫⊤ = ا ‪(‬ا ‪‬ا)‪.‬‬
‫⊥ = (ا ‪(‬ا ‪‬ا)) ‪(( ‬ا ‪(‬ا ‪‬ا)‪.‬‬
‫مالحظة‪:‬‬
‫ل ن لي ي ه ال ريقي ي في تعريف الرواصط‪ ،‬بهاسي ي ي ي ي ي ي ي ي راصط التني ييافر‪ ،‬أو النفي‬
‫النفي‬ ‫المزدوج‪ ،‬وب عقبة‪ ،‬فل ي ّن‬
‫نعرف عالقت ن‪ ،‬ثل‪ :‬الف ييل االس ييتبعادي بهاسي ي‬
‫ن العالقات‪:‬‬ ‫المزدوج‪ ،‬أو التشارط بهاس التنافر‪ ،‬ن تاج إل سل‬
‫ا‪w‬ك = ‪((‬ا‪( ‬ك‪ ‬ك)) ‪(( ‬ك‪( ‬ا‪ ‬ا))‪((  ‬ا‪ ‬ا) ‪( ‬ك‪ ‬ك))‪.‬‬
‫ا‪‬ك= ‪((‬ا‪( ‬ك‪ ‬ك))‪(( ‬ك ‪( ‬ا‪‬ا))‪((  ‬ا‪ ‬ا) ‪( ‬ك ‪ ‬ك))‪.‬‬
‫‪29‬‬
‫ن قض ي ت ن‬ ‫ركب‬ ‫فإذا كان األ ر عقبا إل ل ه البرو صالن ييب إل قض ي‬
‫ن القضييايا‪ ،‬ط ر‬ ‫ن سييل ييل طهيل‬ ‫ص ي ت ن فقط‪ ،‬فإنن ي ييبح في القضييايا المؤلف‬
‫‪.‬‬ ‫مكن صالن ب إل العقل اإلن اني‪ ،‬ل لك‪ ،‬فهي نادرة االستعمال في كتد المن‬
‫وفي المقابل نجب الرواصط الثالث‪ ،‬الهصل‪ ،‬الف ل ط ر االستبعادي ‪ ،‬الشرط‪،‬‬
‫واسييع االسييتعمال‪ ،‬إل أن صعض المن ق ن يتخ ون واحبا نها ع النفي‪ ،‬كأول ت ن‬
‫‪ Connecteurs primitifs‬ال يقبالن التعريف ‪ ،Indéfinissables‬لبناء أن ي ي يياقهم المن ق‬
‫ن الف ل ط ر‬ ‫راسل ح ث ان ل‬ ‫‪ ،Systèmes logiques‬ثل ا له ال ال في ن‬
‫ن النفي والشي ي ي ييرط(‪ ،)CN‬وكهاين ن النفي‬ ‫االسي ي ي ييتبعادي والنفي(‪ ،)AN‬ولهكاشي ي ي ي فت‬
‫والهصل(‪.)KN‬‬
‫التمرين السابع‪:‬‬
‫ا ‪ ‬ك = (ا ‪‬ك) ‪( ‬ا‪‬ك)‪.‬‬
‫ا ‪ ‬ك = (ا ‪‬ا) ‪( ‬ك ‪‬ك)‪.‬‬
‫ا ‪ w‬ك = (ا‪( ‬ك ‪‬ك))‪(( ‬ك ‪( ‬ا ‪‬ا)‪.‬‬
‫ا‪‬ك = (ا‪( ‬ا ‪‬ك)‪.‬‬
‫ا))‪((   ‬ا‪ ‬ا) ‪‬‬ ‫‪‬‬ ‫ك)) ‪(( ‬ك ‪( ‬ا‬ ‫‪‬‬ ‫ا‪‬ك = ‪(( ‬ا ‪( ‬ك‬
‫(ك ‪ ‬ك))‪.‬‬
‫(ا ‪‬ك))‪((‬ا ‪‬ك)‪(‬ا‪‬ك))‪.‬‬ ‫‪‬‬ ‫ك = ((ا ‪‬ك)‬ ‫‪‬‬ ‫ا‬
‫⊤ = ا ‪(‬ا ‪‬ا)‪.‬‬
‫⊥ = (ا ‪(‬ا ‪‬ا)) ‪(( ‬ا ‪(‬ا ‪‬ا)‪.‬‬
‫دوال صبقها‪.‬‬ ‫ا‬ ‫ن التعريفات ال اصق ص‬ ‫ت ق‬
‫ال ل(‪.)7.4‬‬

‫‪ 3.7.1‬جدول تعريف الرواب الثالثة‪ ،‬الوص ـ ‪ ،‬الفص ـ اير االاــتبعاةي‪،‬‬

‫والشرط‪:‬‬
‫‪30‬‬
‫نظ ار أللم الرواصط الثالث ‪ ،‬الهص ي ي ييل والف ي ي ييل ط ر االس ي ي ييتبعادي والش ي ي ييرط‪،‬‬
‫‪ ،‬وقابل تها ل عرف صعض ييها صعض ييا‪ ،‬نعرض ييها وفقا‬ ‫وكهنها األكثر اس ييتعماال في المن‬
‫للهح التالي‪:‬‬
‫ا‪‬ك‬ ‫ا‪‬ك‬ ‫ا‪‬ك‬
‫ّن‬
‫المعرف‬
‫المعرف صن‬
‫َّ‬
‫‪( ‬ا ‪ ‬‬ ‫‪ ( ‬ا‪ ‬‬ ‫ا‪‬ك‬
‫ك)‬ ‫ك)‬
‫‪‬ا‪‬ك‬ ‫‪ ( ‬ا ‪ ‬‬ ‫ا‪‬ك‬
‫ك)‬
‫‪‬ا‪‬ك‬ ‫‪( ‬ا ‪  ‬ك)‬ ‫ا‪‬ك‬

‫ال ب ع ‪ ،‬ويمكن تهضي ح‬ ‫ل ه الت هيالت التي قمنا بها مكن أيضيا في الل‬
‫ذلك كما يلي‪:‬‬
‫‪ -‬إ ا أنني خ ئ أو ّأن م قب و تم‪( ،‬ا ‪ ‬ك)‪ ،‬ن ي ي ي ي ي ي ييت ع ت هيلها إل ال ي ي ي ي ي ي ي‬
‫الشرط فنقهل‪:‬‬
‫فإن م قب و تم‪ ( ،‬ا ‪ ‬ك)‪.‬‬ ‫‪ -‬إذا لـم أكن خ ا ّ‬
‫فإنن يلقي علي ال ي ي ييالم(ا ‪ ‬ك)‪ ،‬ن ي ي ييت ع ت هيلها إل ال ي ي ي‬
‫‪ -‬إذا التق بي ّ‬
‫ي ييل عل ‪ :‬ليس ن عادتن‪ ،‬أن يلتقي بي وال يلقي علي ال ي ييالم‪( ،‬‬ ‫الهصي ييل ‪ ،‬فن‬
‫(ا ‪  ‬ك))‪.‬‬
‫السؤال األول‪:‬‬
‫راصط التنافر(‪ ،)‬الرواصط المن ق التال ‪:‬‬
‫عرف بهاس‬
‫ّ‬
‫‪  -‬ا ‪  ‬ك‪  ،‬ا ‪  ‬ك‪ ،‬ا ‪  w‬ك‪ ،‬ا ‪  ‬ك‪  ،‬ا‪‬ك‪.‬‬
‫السؤال الثاني‪:‬‬
‫‪31‬‬
 ‫راصط النفي المزدوج(‪ ،)‬الرواصط المن ق التال ‪:‬‬
‫عرف بهاس‬
‫ّ‬
‫‪  -‬ا ‪  ‬ك‪  ،‬ا ‪  ‬ك‪ ،‬ا ‪  w‬ك‪ ،‬ا ‪  ‬ك‪  ،‬ا‪‬ك‪.‬‬
‫التمرين التااع‪:‬‬
‫ا لي دال صبا القضايا التال ‪ ،‬ثم قارن ب نها‪:‬‬
‫‪ -‬ا ‪ ‬ك‪(  ،‬ا ‪  ‬ك)‪ (  ،‬ا‪  ‬ك)‪.‬‬
‫‪ -‬ا ‪ ‬ك‪ (  ،‬ا‪  ‬ك) ‪  ،‬ا ‪ ‬ك‪.‬‬
‫‪ -‬ا‪ ‬ك‪(  ،‬ا ‪  ‬ك)‪  ،‬ا‪ ‬ك‪.‬‬

‫‪32‬‬
 ‫المحاضرة ‪:7‬‬
‫‪ 8.1‬التنــقي‬
‫المق ي ي ي ييهد صالتنق ط ‪ La ponctuation‬أو الفهاص ي ي ي ييل ‪ ،Les séparateurs‬ومل‬
‫الر هز الم تعمل ق ب قراءة العبارات المن ق ص ريق سل م ‪.‬‬
‫وتظهر ألم التنق ط‪ ،‬في القض ي ي ي ييايا المركب التي ت تهي عل ثالث قض ي ي ي ييايا‬
‫‪ ،‬أو المركب‬ ‫فأكثر‪ ،‬ح ث نجب صييعهب في قراءتها‪ .‬أ ا صالن ييب إل القض ي الب ي‬
‫ن قض ي ت ن ص ي ت ن فقط‪ ،‬فإن ال ييعهب ال ت رح‪ ،‬إال إذا دخل عل ها راصط‬ ‫المؤلف‬
‫النفي‪ ،‬وق ب تهض ح ذلك‪ ،‬ن تع ن صاأل ثل التال ‪:‬‬
‫‪ -‬ا‪.‬‬
‫‪ -‬ا ‪ ‬ك‪.‬‬
‫‪  -‬ا ‪ ‬ك‪.‬‬
‫‪(  -‬ا ‪ ‬ك)‪.‬‬
‫‪ -‬ا ‪ ‬ك ‪ ‬ك‪.‬‬
‫نالحظ أن قراءة(ا) و(ا‪‬ك) و(‪ ‬ا‪‬ك) ال ت تاج إل وضع أقها ‪ ،‬ألن ذلك‬
‫ال ي ر ق م دال صيبقها‪ ،‬ل ن األ ر ختلة تما ا صالن يب إل القضي (‪( ‬ا‪‬ك))‪،‬‬
‫ال ي يف ي ييل راصط النفي(‪ )‬عن القض ي ي المركب (ا‪‬ك)‪ ،‬لما ّزنالا‬ ‫إذ لهال القه‬
‫عن القض التي سبقتها(‪ ‬ا‪‬ك)‪.‬‬
‫وتظهر ال او إل التنق ط أكثر في القضي ي األخ رة(ا ‪ ‬ك ‪ ‬ك)‪ ،‬إذ يمكن‬
‫أن تق أر ص رقت ن ختلفت ن‪ ،‬ولما‪:‬‬
‫ا ‪ ،‬ك ‪ ‬ك‪.‬‬ ‫‪-1‬‬

‫ا ‪ ‬ك‪  ،‬ك‪.‬‬ ‫‪-2‬‬

‫أي طمهض في كتياصي لي ه القضي ي ي ي ي ي ي ي ‪ ،‬نلجيأ إل التنق ط‪ ،‬الي ي‬

‫و ن أويل تفيادي ّ‬
‫تتعبد طرقن‪ ،‬ون تفي لنا ب كر ثالث طرائ ‪ ،‬ولي‪ :‬التنق ط بهاس ي األقها ‪ ،‬وتنق ط‬
‫ب انه‪ ،‬والتنق ط البهلهني‪.‬‬
‫‪33‬‬
 ‫التنقي باألقواس‪:‬‬ ‫‪1.8.1‬‬
‫ن ي ي ي ي ي ي ييتعم ييل األقها () ‪ Les parenthèses‬ن أو ييل ت ييبي ييب ييبى ك ييل راصط ن‬
‫‪Les‬‬ ‫الرواصط‪ ،‬فييإذا زاد عييبدلييا ‪ -‬الرواصط‪ -‬عن رقم ع ن‪ ،‬ن ي ي ي ي ي ي ييتع ن صييالمعّقفييات‬
‫‪Les‬‬ ‫والمعّقفي ييات‪ ،‬نلجي ييأ إل ال ي يياضي ي ي ي ي ي يني ييات‪ ‬‬ ‫‪ ،crochets‬ونذا لم ت في األقها‬
‫‪.accolades‬‬
‫وباس ي ييتعمال األقها ‪ ،‬يمكن أن ن بد جال كل راصط في القضي ي ي ال ي يياصق ا ‪ ‬ك‬
‫‪ ‬ك‪.‬‬
‫فن تد األول ‪( :‬ا ‪( ‬ك ‪ ‬ك))‪ .‬وتعني أن ال ارب ي ي ي ي ي ي ييط الرئ يي‪ ،‬له الشيرط‬
‫األول‪ ،‬أي ّأنن يشييمل القض ي ت ن(ا) و(ك ‪ ‬ك)‪ .‬أ ا راصط الشييرط الثاني‪ ،‬فهه راصط‬
‫ثانهي‪ ،‬ألنن يخص فقط القض المركب (ك ‪ ‬ك)‪.‬‬
‫أ ا الثان فن تبها‪(( :‬ا ‪ ‬ك) ‪ ‬ك)‪ .‬وتعني‪ ،‬أن الراصط الرئ ي‪ ،‬له الشرط‬
‫الثاني‪ ،‬والثانهي له الشرط األول‪.‬‬
‫‪Domaine du‬‬ ‫ل ا العمل ت ي ييمح لنا بت بيب ا ي ي ييم ن المن ق هن جال الراصط‬
‫‪ ، connecteur‬أو يبى الراصط ‪ ،La portée du connecteur‬وله ال رض ن اللجهء‬
‫إلي الفهاصل‪.‬‬
‫ويمكن تهض ي ي ي ح الفرا المهوهد ب ن ال تابت ن صالتم ز ب ن دالتي صي ي ييبقهما‪ ،‬كما‬
‫يلي‪:‬‬
‫ا‪ -‬ا ‪( ‬ك ‪ ‬ك)‪.‬‬
‫‪‬‬ ‫‪ ‬ك‬ ‫ا‬
‫ك‬
‫‪1 1 1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪0 1 0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1 1 1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0 1 0‬‬ ‫‪1‬‬ ‫‪0‬‬

‫‪34‬‬
 ‫‪( -‬ا ‪ ‬ك) ‪ ‬ك‪.‬‬
‫ك‬ ‫‪‬‬ ‫ا ‪ ‬ك‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1 1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0 1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1 0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1 0‬‬

‫والفرا ب نهما وهلري‪ ،‬إذ األول قض ي ي ت ارري ‪ ،‬أي قانهن ن قي‪ ،‬في ح ن‬
‫أن الثان قض عرض ‪.‬‬
‫ويمكن أن نزيب الم أل وضهحا أكثر‪ ،‬صما يلي‪:‬‬
‫عرفنا التش ييارط صأنن وص ييل ب ن ش ييرط ن‪ ،‬فالقضي ي إذا وفقط إذا كان اإلن ييان‬ ‫ّ‬
‫فإنن يتنفس ونذا كان‬
‫ح ا فهه يتنفس‪ ،‬لي نف ي ي ي ييها القضي ي ي ي ي ‪ ،‬إذا كان اإلن ي ي ي ييان ح ا ّ‬
‫فإنن حي‪ ،‬ويمكن كتابها ر زيا‪ ،‬كما يلي‪:‬‬
‫يتنفس ّ‬
‫ا ‪ ‬ك ‪ ‬ا ‪ ‬ك ‪ ‬ك ‪ ‬ا‪.‬‬
‫نالحظ أن القضي ي ي ي ي تتألة ن عبة قض ي ي ي ييايا ركب ‪ ،‬وي ي ي ي ييعد ت بيب الراصط‬
‫الرئ ي ي ي ي ي ي ييي ن الفرعي‪ ،‬و ن أويل ت يبييب يبى كيل راصط البيب ن التنق ط‪ ،‬ولنبيبأ ذليك‬
‫ركب ب ن قهس ن‪ ،‬كما يلي‪:‬‬ ‫صالتبرج فن تد كل قض‬
‫(ا ‪ ‬ك)‪.‬‬ ‫‪-1‬‬

‫(ا ‪ ‬ك)‪.‬‬ ‫‪-2‬‬

‫(ك ‪ ‬ا)‪.‬‬ ‫‪-3‬‬

‫بى كل راصط له‪ ،‬القض ي ييايا المهوهدة ب ن القهس ي ي ن‪ .‬وكلما أض ي ييفنا راص ا‪ ،‬ن بد‬
‫عن ال م ن واخر عن الش ي ي ييمال ‪ ،‬ل لك ن تد ال رف الثاني ن‬ ‫باه‪ ،‬صإض ي ي يياف قه‬
‫القض ‪ ،‬كما يلي‪:‬‬
‫((ا ‪ ‬ك) ‪( ‬ك ‪ ‬ا))‪.‬‬ ‫‪-4‬‬

‫‪35‬‬
‫الثي يياني‪ ،‬المهوهد في بي ييباي ي ي القضي ي ي ي ي ي ي ي ي ‪ ،‬ونهي ييايتهي ييا‪ ،‬ي ي ييبد ي ييبى راصط‬ ‫القه‬
‫الهصل(‪ ،)‬أي يربط ب ن دالتي صبا الشرط ن‪.‬‬
‫أ ا بى الراصط الثالث‪ ،‬وله الراصط الرئ ي ي ييي‪ ،‬فن بده‪ ،‬صإضي ي يياف المعّقف ‪ ،‬فن تد‬
‫القض كما يلي‪:‬‬
‫‪( ‬ا ‪ ‬ك) ‪(( ‬ا ‪ ‬ك) ‪( ‬ك ‪ ‬ا))‪.‬‬ ‫‪-5‬‬

‫ن أول ت بيب‬ ‫وكلما زاد عبد الرواصط‪ ،‬أض ي ي ييفنا قهس ي ي ييا أو عّقف أو حاض ي ي يين‬
‫باه‪ ،‬فن تد ثال‪:‬‬
‫‪‬‬ ‫‪(( ‬ا‪‬ك)‪(‬ك‪‬ل))‪((‬ا‪‬ل)‪(‬ك‪‬ا)) ‪(( ‬ا‪‬ك)‪(‬ل‪‬ا))‬
‫((ا‪‬ك)‪(‬ك‪‬ل)) ‪.‬‬
‫فال اض يينات ت بد بى الراصط الرئ ييي‪ ،‬وله التش ييارط (‪ ،)‬والمعقفات ت بد بى‬
‫الرواصط الثانهي ‪ ،‬ولما راص ا الشرط في القض ت ن‪:‬‬
‫‪(( ‬ا ‪ ‬ك) ‪( ‬ك ‪ ‬ل)) ‪(( ‬ا ‪ ‬ل) ‪( ‬ك ‪ ‬ا))‪. ‬‬
‫‪(( ‬ا ‪ ‬ك) ‪( ‬ل ‪ ‬ا)) ‪(( ‬ا ‪ ‬ك) ‪( ‬ك ‪ ‬ل))‪. ‬‬
‫وي بد القهسان بى الرواصط الفرع ‪ ،‬ولي الهصل في القضايا‪:‬‬
‫((ا ‪ ‬ك) ‪( ‬ك ‪ ‬ل))‪.‬‬
‫((ا ‪ ‬ل) ‪( ‬ك ‪ ‬ا))‪.‬‬
‫ا))‪.‬‬ ‫‪‬‬ ‫ك) ‪( ‬ل‬ ‫‪‬‬ ‫((ا‬
‫((ا ‪ ‬ك) ‪( ‬ك ‪ ‬ل))‪.‬‬
‫مالحظة‪:1‬‬
‫ن ي ييت ع ح ف صعض األقها ‪ ،‬إذا كان االسي ييت ناء عنها ال يترتد عنن ف ي يياد‬
‫المعن ‪:‬‬
‫‪( -‬ا ‪ ‬ك) ‪ ‬ل‬
‫‪( -‬ا ‪ ‬ك) ‪ ‬ل) ‪ ‬ك‪.‬‬
‫مالحظة‪:2‬‬
‫‪36‬‬
 ‫‪ ،Règles‬ت بد قهة راصط صالن ي ي ي ييب‬ ‫‪du domaine‬‬ ‫تهوب قهاعب ت ي ي ي ييم قهاعب المجال‬
‫إل اخر‪ ،‬ويمكن ترت بها ترت با ت ي ي يياعبيا ببء صأضي ي ييعفها‪ :‬الهصي ي ييل ثم الف ي ي ييل ط ر‬
‫االسي ي ي ييتبعادي فالشي ي ي ييرط وأخ ار التشي ي ي ييارط‪ .‬ل لك قب نجب عبارة كتهب ببون تنق ط عنب‬
‫صعض المن ق ن‪ ،‬بناء عل ل ه القهاعب‪ ،‬ويمكن تهض ح ذلك صاأل ثل التال ‪:‬‬
‫‪ -‬ا ‪ ‬ك ‪ ‬ل‪ ،‬وتعني‪( ،‬ا ‪ ‬ك) ‪ ‬ل‪.‬‬
‫‪ -‬ا ‪ ‬ك ‪ ‬ل‪ ،‬وتعني‪( ،‬ا ‪ ‬ك) ‪ ‬ل‪.‬‬
‫تنقيـ بيانـو‪:‬‬ ‫‪2.8.1‬‬
‫صاإلضي ي يياف إل طريق التنق ط صاألقها ‪ ،‬تهوب أخرى ن وضي ي ييع المن قي ب انه‪،‬‬
‫ت ييتعمل ف ها النقاط(‪ )... ،.:: ،:: ،.: ،: ،.‬كفهاص ييل ب ن القض ييايا‪ ،‬ص ث نف ييل‬
‫عل يم ن وشمال الراصط الرئ ي‪ ،‬ويمكن‬ ‫ب ن قض ت ن يجمعهما راصط‪ ،‬بهضع نق‬
‫األقها ‪ ،‬كما يلي‪:‬‬ ‫تب ان ذلك‪ ،‬صمقارنتها ع التنق ط بهاس‬
‫‪ -‬ا‬
‫‪ -‬ا‬
‫‪ -‬ا‪‬ك‬
‫‪-‬ا‪‬ك‬
‫‪(  -‬ك ‪ ‬ك) = ‪. ‬ك ‪ ‬ك‬

‫ك‪‬ك‬ ‫ا ‪( ‬ك ‪ ‬ك) = ا‪.  .‬‬ ‫‪-‬‬

‫‪( -‬ا ‪ ‬ك) ‪ ‬ك = ا ‪ ‬ك‪  .‬ك‬

‫‪. ‬ك ‪ ‬ك‬ ‫‪(  -‬ا ‪ ‬ك) ‪( ‬ك ‪ ‬ل) = ‪. ‬ا ‪ ‬ك ‪.‬‬
‫فها النق‬ ‫وكلما زاد عبد القضي ي ييايا عل طرفي الراصط الرئ ي ي ييي نض ي ي ي ة نق‬
‫األول ثم عل ي ي ي ي ي ي ي ييارليا‪ ،‬ص يث نتمكن ن ت يبييب يبى الراصط الرئ ي ي ي ي ي ي ييي والرواصط‬
‫األخرى‪ ،‬ويمكن أن نزيب في اإليضاح‪ ،‬صاأل ثل التال ‪:‬‬
‫(ا ‪ ‬ك)) ‪(( ‬ا ‪ ‬ك) ‪( ‬ك ‪ ‬ا))‪.‬‬ ‫‪-1‬‬

‫‪37‬‬
 ‫‪ : ‬ا ‪ ‬ك‪.  .‬ك ‪ ‬ا‪.‬‬ ‫ا‪‬ك‪.‬‬
‫‪(( ‬ا ‪ ‬ك)) ‪(( ‬ا ‪ ‬ك) ‪( ‬ك ‪ ‬ا))‪.‬‬ ‫‪-2‬‬

‫ا ‪ ‬ك‪.  .‬ك ‪ ‬ا‪.‬‬ ‫‪.: ‬ا ‪ ‬ك‪:  .‬‬

‫‪(‬ا‪‬ك)‪(‬ا‪‬ك)‪(  ‬ا‪‬ك)‪(‬ا‪‬ك))‪((‬ا‪‬ك)‪(‬ك‪ ‬ا))‪.‬‬ ‫‪-3‬‬

‫‪ .‬ا‪ ‬ك‪ ::‬ا‪‬ك‪ . .‬ك‪‬ا‪.‬‬ ‫ا‪‬ك‪..‬ا‪‬ك ‪ .: :‬ك‪‬ا ‪.‬‬

‫‪(‬ا‪‬ك)‪(‬ا‪‬ك))‪((‬ك‪‬ا))‪(  ‬ا‪(  (‬ا‪‬ك)‪(‬ك‪‬ا))‪.‬‬ ‫‪-4‬‬

‫ا‪.  :.‬ا‪‬ك‪. .‬ك‪‬ا‪.‬‬ ‫ا‪‬ك‪ ..‬ا‪‬ك ‪ : :‬ك‪‬ا‪.:  .:‬‬

‫‪( 5 -5‬ا‪‬ك)‪(‬ا‪‬ك))‪((‬ك‪‬ا))‪(  ‬ا‪( (‬ا‪‬ك)‪(‬ك‪‬ا))‪.‬‬
‫ا‪.  :.‬ا‪‬ك‪..‬ك‪‬ا‪.‬‬ ‫‪  ‬ا‪‬ك‪..‬ا‪‬ك‪: :‬ك‪‬ا‪.:  .:‬‬
‫اعب كتاص القضايا‪ ،‬التال صاستعمال طريق ب انه في التنق ط‪:‬‬
‫‪( -‬ا ‪ ‬ك) ‪( ‬ا ‪ ‬ك)‪.‬‬
‫‪((  -‬ا ‪ ‬ك) ‪( ‬ا ‪ ‬ك))‪.‬‬
‫‪(( -‬ا ‪ ‬ك) ‪( ‬ا ‪ ‬ك)) ‪( ( ‬ك ‪ w‬ل) ‪( ‬ك ‪ ‬ا))‪.‬‬
‫‪((   -‬ا ‪  ‬ل) ‪( ‬ك ‪ ‬ا)) ‪(( ‬ا ‪ ‬ك) ‪(‬ا ‪ ‬ل))‪. ‬‬
‫ال ل (‪.)10.4‬‬
‫‪ 3.8.1‬التنقي البولوني‪:‬‬
‫والنقاط‪ ،‬ولي التي ي م ها‬ ‫تهوييب طريق في التنق ييط ن ت ني بييها عن األق يها‬
‫تعمل ها‪ ،‬ولم‬ ‫المن ق هن صالتنق ي ي ييط البهلهني ‪ ،La ponctuation polonaise‬ن ب إل‬
‫‪.‬‬ ‫المن ق هن المنتمهن إل المبرس البهلهن ‪ ،‬وضعها المن قي لهكاش فت‬
‫ا يلي‪:‬‬ ‫وتقهم ل ه ال ريق عل‬
‫ن‬ ‫‪Lettres majuscules‬‬ ‫نر ز لمختلة الرواصط المن ق ي ي صي ييأحرف التي يياج‬ ‫‪-1‬‬

‫ال ب ع الالت ن ‪ ،‬ولي‪:‬‬ ‫الل‬

‫‪ -‬النفي = ‪.N‬‬
‫‪38‬‬
 ‫‪ -‬الهصل =‪. K‬‬
‫‪ -‬الف ل ط ر االستبعادي =‪.A‬‬
‫‪ -‬الف ل االستبعادي = ‪.J‬‬
‫‪ -‬الشرط = ‪.C‬‬
‫‪ -‬التشارط= ‪.E‬‬
‫‪ -‬التنافر = ‪.D‬‬
‫‪ -2‬نببأ صكتاص الراصط ثم ضنتنبعن صالقض التي تتعل صن كما يلي‪:‬‬
‫‪  -‬ا = ‪Np‬‬
‫‪ -‬ا ‪ ‬ك = ‪Kpq‬‬
‫‪ -‬ا ‪ ‬ك = ‪Apq‬‬
‫‪ -‬ا ‪ w‬ك= ‪Jpq‬‬
‫‪ -‬ا ‪ ‬ك= ‪Cpq‬‬
‫‪ -‬ا ‪ ‬ك= ‪Epq‬‬
‫‪ -‬ا ‪ ‬ك = ‪Dpq‬‬
‫نهضح ذلك صاأل ثل التال ‪:‬‬
‫وللتم ز ب ن ك ف كتاص نفي القض ونفي الراصط‪ّ ،‬‬
‫‪ -‬نفي القض = ‪Np‬‬
‫األول ‪ ( ،‬ا ‪ ‬ك) = ‪KNpq‬‬ ‫‪ -‬نفي القض‬
‫الثان ‪( ،‬ا ‪  ‬ك) = ‪KpNq‬‬ ‫‪ -‬نفي القض‬
‫‪ -‬نفي الراصط‪(  ،‬ا ‪ ‬ك) = ‪NKpq‬‬
‫األول ‪ ،‬والراصط‪ (  ،‬ا ‪ ‬ك) = ‪NKNpq‬‬ ‫‪ -‬نفي القض‬
‫الثان ‪ ،‬والراصط‪(  ،‬ا ‪  ‬ك) = ‪NKpNq‬‬ ‫‪ -‬نفي القض‬
‫ت ن‪ ،‬ونفي الراصط‪ (  ،‬ا ‪  ‬ك) = ‪.NKNpNq‬‬ ‫‪ -‬نفي القض ت ن الب‬
‫‪ -3‬ن تد الراصط الرئ ي‪ ،‬في أول القض ‪ ،‬كما يلي ‪:‬‬
‫‪( -‬ا ‪ ‬ك) ‪ ‬ل = ‪.CCpqr‬‬
‫‪39‬‬
 ‫نببأ أوال صكتاص القض ت ن ا ك‪.pq :‬‬
‫ي ارلما‪.Cpq :‬‬ ‫ثم ن تد الشرط ال ي يربط ب نهما(ا ‪ ‬ك) عل‬
‫ال م ن‪.Cpqr :‬‬ ‫ثم نض ة القض الثالث (ل) عل‬
‫ال ار‪.CCpqr :‬‬ ‫وأخ ار ن تد الراصط الرئ ي‪ ،‬دائما عل‬
‫‪ - 4‬ل ن الراصط الرئ ي ي ي ي ي ي ييي(‪ ،)‬قيب يكهن ن ح يث الترت يد األول أو الثياني‪،‬‬
‫ل لك ن تد‪:‬‬
‫ال ال األول ‪:‬‬
‫‪ -‬ا ‪( ‬ك ‪ ‬ك) = ‪ ،CpCqq‬أي )‪.C(p)(Cqq‬‬
‫ال ال الثان ‪:‬‬
‫‪( -‬ا ‪ ‬ك) ‪ ‬ك = ‪.CCpqq‬‬
‫والمقيارن ب ن ال تيابت ن‪ ،‬تظهر الفيارا ب نهميا‪ .‬ولتهضي ي ي ي ي ي ي ح طريقي كتياصي القض ي ي ي ي ي ي يياييا‬
‫إل األكثر تعق با‪ ،‬كما يلي‪:‬‬ ‫المختلف ‪ ،‬ننتقل صالتبرج ن القضايا الب‬
‫‪( -‬ا ‪ ‬ك) = ‪.Kpq‬‬
‫‪( -‬ا ‪ ‬ك) ‪ ‬ك = ‪.CKpqq‬‬
‫‪( -‬ا ‪ ‬ك) ‪( ‬ا ‪ ‬ك)= ‪.CKpqKpq‬‬
‫ل)))‪((‬ا‪‬ك))‪CKCApqrNrNApq =‬‬ ‫‪‬ل))‪(‬‬ ‫‪(((‬ا‪‬ك)‬ ‫‪-‬‬
‫أي )‪. C(K(C(Apq)r)Nr)(N(Apq‬‬
‫‪ ( -‬ا‪‬ك) ‪((( w‬ا‪‬ك)‪(‬ل‪‬ا))‪JENpqKDNCpqpr =‬‬
‫أي )‪.J(ENpq)(K(D(NCpq)p)r‬‬

‫‪ 4.8.1‬التنقي بالحرف العربي‪:‬‬

‫نظ ار لعييبم ووهد ترومي دق قي لتنق ط المييبرسي ي ي ي ي ي ي ي البهلهن ي يمكن ترومي لي ه‬
‫العرب ‪ ،‬كما يلي‪:‬‬ ‫ال روف إل الل‬
‫‪ = N = ‬ﻥ‪.‬‬
‫‪ = K = ‬ﻭ‪.‬‬
‫‪40‬‬
 ‫‪ = A = ‬ﺹ‪.‬‬
‫‪ = J = w‬ﺽ‪.‬‬
‫‪ = C = ‬ﺵ‪.‬‬
‫‪ = E = ‬ﻁ‪.‬‬
‫‪ = D = ‬ة‪.‬‬
‫‪ = ‬ﺯ‪.‬‬
‫فن تد القضايا المركب التال ‪ ،‬كما يلي‪:‬‬
‫‪  -‬ا = ﻥا‪.‬‬
‫‪ -‬ا‪ ‬ك = ﻭا ك‪.‬‬
‫‪ -‬ا ‪‬ك = ﺹا ك‪.‬‬
‫‪ -‬ا‪ w‬ك = ﺽف ك‪.‬‬
‫‪ -‬ا‪‬ك= ﺵا ك‪.‬‬
‫‪ -‬ا‪‬ك= ﻁ ق ك‪.‬‬
‫‪ -‬ا‪ ‬ك = ةا ك‪.‬‬
‫‪ -‬ا‪ ‬ك = ﺯا ك‪.‬‬
‫فن تد القضايا ال اصق كما يلي‪:‬‬
‫(ا ‪ ‬ك) = ﻭا ك‪.‬‬
‫(ا ‪ ‬ك) ‪ ‬ل = ﺵﻭا ك ك‪.‬‬
‫ا ‪( ‬ك ‪ ‬ل) = ﻭاﺵك ل‪.‬‬
‫(ا ‪ ‬ك) ‪( ‬ا ‪ ‬ك) = ﺵ ﻭا كﻭا ك‪.‬‬
‫‪((‬ا‪‬ك) ل)‪(‬ل))‪((‬ا‪‬ك))‪ = ‬ﺵﻭﺵﺹا ك ل ﻥل ﻥ ﺹا ك‪.‬‬
‫‪ (‬ا‪‬ك)‪(((w‬ا ‪‬ك)‪(‬ل‪‬ا))‪ = ‬ﺽﻁﻥا كﻭةﻥﺵا ك ل ا‪.‬‬
‫إل ك(ي) القضايا التال ‪:‬‬
‫‪(( -‬ا‪‬ك)‪(‬ك‪‬ل)) ‪(( ‬ا‪‬ل)‪(‬ك‪‬ا))‪.‬‬
‫‪41‬‬
 ‫))‪((pq) →(qr))((p→r)(qp‬‬
‫‪(( -‬ا‪ ‬ك)‪(‬ل‪‬ا)) ‪(( ( ‬ا‪‬ك)‪(‬ك‪‬ل)))‪.‬‬
‫)))‪((p q) (rp)) → ( ((pq)(q → r‬‬
‫‪( -‬ا ‪ ‬ك) ‪ ( ‬ك ‪ ‬ا)‪.‬‬
‫)‪((pp)( q→p‬‬
‫تعمال‪:‬‬ ‫أعب كتاص القضايا التال‬
‫ا‪ /‬التنق ط البهلهني‪.‬‬
‫‪ /‬التنق ط العربي المقترح‪.‬‬

‫‪42‬‬
 ‫المحاضرة ‪:8‬‬
‫‪ 9.1‬الخــاصـــــــــيــة التبــديويــة والترابطيــة والتوويعيــة والمتعــديـة لورواب‬
‫المنطقية‪:‬‬
‫ذكرن ييا في الفقرة(‪ )7.2.2.2.1‬أن المعن التقني للرواصط المن ق ي ت ييبده ق م‬
‫‪ ،‬ول س ض ي ييمهنها الل هي‪ ،‬ل ا ا يجعلها‪ ،‬صعض الرواصط‬ ‫ص ي ييبا القض ي ييايا الب ي ي ي‬
‫ن الخ ي ي ي ي ي ي ييائص التقن ي ‪ ،‬نهيا عل سي ي ي ي ي ي ييب يل المثيال ال‬
‫المن ق ي ‪ ،‬تتمّز صمجمهعي‬
‫‪ ،‬والخاصي ي التهزيع ‪ ،‬والخاصي ي‬ ‫ال يير‪ ،‬الخاصي ي التببيل ‪ ،‬والخاصي ي التراص‬
‫المتعبي ‪.‬‬
‫‪ 1.9.1‬الخاصية التبديوية‪:‬‬
‫ذكرنا في الفقرة(‪ )1.2.2.2.1‬خاص ي ي يتم ز بها راصط الهصي ييل ولي‪ ،‬أن عن‬
‫راصط الهصيل ال يت ر صالهضيع ال ي ت هن عل ن القضي تان ال ريتان‪ ،‬ن ح ث التقبيم‬
‫والتأخ ر‪ ،‬ل لك يمكن كتاص القض ي ي ي ي ي الهصي ي ي ي ييل (ا‪‬ك) أو (ك‪‬ا)‪ ،‬دون أن يت ر‬
‫فهه هما‪ ،‬والمق يهد صمفهه هما‪ ،‬دالتي صيبقهما‪ ،‬أي أن ترت د القضيايا ط ر هم‪،‬‬
‫ي ي ي ي ييا‬ ‫ول ا ا نعن ن صالخاص ي ي ي ي ي التببيل ‪ ،Commutativité‬ويمكن تهض ي ي ي ي ي ح ذلك ص‬
‫دالت هما‪:‬‬
‫ك ‪ ‬ا‬ ‫ا ‪ ‬ك‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬

‫نالحظ أن دال صبا القض (ا‪‬ك) لي نف ها دال صبا القض (ك‪‬ا)‪.‬‬

‫واأل ر نف يين ي ييري عل الرواصط األخرى عبا راصط الشييرط‪ ،‬ويمكن تهض ي ح ذلك كما‬
‫يلي‪:‬‬
‫راب الفص اير االاتبعاةي‪:‬‬

‫‪43‬‬
 ‫ك ‪ ‬ا‬ ‫ا ‪ ‬ك‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬

‫نالحظ أن دال ص ييبا القض ي (ا ‪ ‬ك)‪ ،‬لي نف ييها دال ص ييبا القض ي (ك‬
‫‪ ‬ا)‪.‬‬
‫راب الفص االاتبعاةي‪:‬‬
‫ك ‪ w‬ا‬ ‫ا ‪ w‬ك‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬

‫نالحظ أن دال ص ييبا القض ي (ا‪ w‬ك)‪ ،‬لي نف ييها دال ص ييبا القض ي (ك‬
‫‪w‬ا)‪.‬‬
‫راصط التشارط‪:‬‬
‫ك ‪ ‬ا‬ ‫ا‪‬ك‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1 1‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0 0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1 0‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0 1‬‬ ‫‪0‬‬

‫نالحظ أن دالي ص ي ي ي ي ي ي ييبا القضي ي ي ي ي ي ي ي (ا‪‬ك)‪ ،‬لي نف ي ي ي ي ي ي يهيا دالي ص ي ي ي ي ي ي ييبا‬

‫القض (ك‪‬ا)‪.‬‬
‫‪44‬‬
 ‫راصط النفي المزدوج‪:‬‬
‫ا‬ ‫‪‬‬ ‫ك‬ ‫ك‬ ‫‪‬‬ ‫ا‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬

‫‪‬‬ ‫نالحظ أن دال صيبا القضي (ا ‪ ‬ك)‪ ،‬لي نف يها دال صيبا القضي (ك‬
‫ا)‪.‬‬

‫راصط التنافر‪:‬‬
‫ا‬ ‫‪‬‬ ‫ك‬ ‫ك‬ ‫‪‬‬ ‫ا‬
‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬

‫نالحييظ أن دال صبا القض (ا‪‬ك)‪ ،‬لي نف ها دال صبا القض (ك‪‬ا)‪.‬‬
‫ل ن ل ه الخاصي ي ي ي ي ال تن ب عل راصط الشي ي ي ي ييرط‪ ،‬فمعن القضي ي ي ي ي (ا‪‬ك)‬
‫دالتي ص ييبقهما‪،‬‬ ‫ييا‬ ‫يختلة عن عن القض ي (ك‪ ‬ا)‪ ،‬ويمكن تهض ي ح ذلك‪ ،‬ص‬
‫كما يلي‪:‬‬
‫ا‬ ‫‪‬‬ ‫ك‬ ‫ك‬ ‫‪‬‬ ‫ا‬
‫‪1 1 1‬‬ ‫‪1 1 1‬‬
‫‪1 1 0‬‬ ‫‪0 0 1‬‬
‫‪0 0 1‬‬ ‫‪1 1 0‬‬
‫‪45‬‬
 ‫‪0 1 0‬‬ ‫‪0 1 0‬‬

‫نالحظ أن دال صبا القض (ا‪‬ك)‪ ،‬تختلة عن دال صبا القض (ك‪‬ا)‪.‬‬
‫‪ 2.9.1‬الخاصية الترابطية‪:‬‬
‫‪ ،Associativité‬إ كان االس ي ييت ناء عن عمل‬ ‫المق ي ييهد صالخاصي ي ي التراص‬
‫التنق ط صالن ي ي ييب إل صعض العالقات‪ ،‬وتخص كل ن راصط الهصي ي ييل‪ ،‬والف ي ي ييل ط ر‬
‫االستبعادي‪ ،‬والف ل االستبعادي‪ ،‬والتشارط‪ ،‬ويمكن تهض ح ذلك صاأل ثل التال ‪:‬‬
‫ا ‪( ‬ك ‪ ‬ل)‬ ‫(ا‪ ‬ك) ‪ ‬ل‬ ‫ثال‪:1‬‬
‫‪1 1 1 1‬‬ ‫‪1‬‬ ‫‪1 1‬‬ ‫‪1 1 1‬‬
‫‪0 0 1 0‬‬ ‫‪1‬‬ ‫‪0 0‬‬ ‫‪1 1 1‬‬
‫‪1 0 0 0‬‬ ‫‪1‬‬ ‫‪1 0‬‬ ‫‪0 0 1‬‬
‫‪0 0 0 0‬‬ ‫‪1‬‬ ‫‪0 0‬‬ ‫‪0 0 1‬‬
‫‪1 1 1 0‬‬ ‫‪0‬‬ ‫‪1 0‬‬ ‫‪1 0 0‬‬
‫‪0 0 1 0‬‬ ‫‪0‬‬ ‫‪0 0‬‬ ‫‪1 0 0‬‬
‫‪1 0 0 0‬‬ ‫‪0‬‬ ‫‪1 0‬‬ ‫‪0 0 0‬‬
‫‪0 0 0 0‬‬ ‫‪0‬‬ ‫‪0 0‬‬ ‫‪0 0 0‬‬

‫نالحظ أن دال صيبا القضي ‪( ،‬ا‪‬ك) ‪ ‬ل‪ ،‬لي نف يها في القضي ‪ ،‬ا ‪‬‬
‫(ك‪‬ل)‪ ،‬و ن ثم يمكن كتابتها ببون تنق ط‪ ،‬كما يلي‪ :‬ا ‪ ‬ك ‪ ‬ل‪.‬‬
‫ا ‪( ‬ك ‪ ‬ل)‬ ‫(ا‪ ‬ك) ‪ ‬ل‬ ‫ثال‪:2‬‬
‫‪1 1‬‬ ‫‪1 1 1‬‬ ‫‪1 1‬‬ ‫‪1 1 1‬‬
‫‪0 1‬‬ ‫‪1 1 1‬‬ ‫‪0 0‬‬ ‫‪1 1 1‬‬
‫‪1 1‬‬ ‫‪0 1 1‬‬ ‫‪1 1‬‬ ‫‪0 1 1‬‬
‫‪0 0‬‬ ‫‪0 1 1‬‬ ‫‪0 1‬‬ ‫‪0 1 1‬‬
‫‪1 1‬‬ ‫‪1 1 0‬‬ ‫‪1 1‬‬ ‫‪1 1 0‬‬
‫‪0 1‬‬ ‫‪1 1 0‬‬ ‫‪0 1‬‬ ‫‪1 1 0‬‬
‫‪46‬‬
 ‫‪1 1‬‬ ‫‪0 1 0‬‬ ‫‪1 1‬‬ ‫‪0 0 0‬‬
‫‪0 0‬‬ ‫‪0 0 0‬‬ ‫‪0 0‬‬ ‫‪0 0 0‬‬

‫نالحظ أن دال صي ي ي ييبا القضي ي ي ي ‪( ،‬ا‪‬ك)‪‬ل‪ ،‬لي نف ي ي ي ييها دال صي ي ي ييبا القضي ي ي ي ‪،‬‬
‫ا‪(‬ك‪‬ل)‪ ،‬و ن ثم يمكن كتابتها ببون تنق ط‪ ،‬كما يلي‪ :‬ا ‪ ‬ك ‪ ‬ل‪.‬‬
‫ا ‪( w‬ك ‪ w‬ل)‬ ‫(ا ‪ w‬ك) ‪ w‬ل‬ ‫ثال‪:3‬‬
‫‪1 0 1‬‬ ‫‪1 1‬‬ ‫‪1 1‬‬ ‫‪1 0 1‬‬
‫‪0 1 1‬‬ ‫‪0 1‬‬ ‫‪0 0‬‬ ‫‪1 0 1‬‬
‫‪1 1 0‬‬ ‫‪0 1‬‬ ‫‪1 0‬‬ ‫‪0 1 1‬‬
‫‪0 0 0‬‬ ‫‪1 1‬‬ ‫‪0 1‬‬ ‫‪0 1 1‬‬
‫‪1 0 1‬‬ ‫‪0 0‬‬ ‫‪1 0‬‬ ‫‪1 1 0‬‬
‫‪0 1 1‬‬ ‫‪1 0‬‬ ‫‪0 1‬‬ ‫‪1 1 0‬‬
‫‪1 1 0‬‬ ‫‪1 0‬‬ ‫‪1 1‬‬ ‫‪0 0 0‬‬
‫‪0 0 0‬‬ ‫‪0 0‬‬ ‫‪0 0‬‬ ‫‪0 0 0‬‬

‫نالحظ أن دال صيبا القضي ‪( ،‬ا ‪ w‬ك)‪ w‬ل لي نف يها في القضي ‪ ،‬ا ‪w‬‬
‫(ك ‪ w‬ل)‪ ،‬و ن ثم يمكن كتابتها ببون تنق ط‪ ،‬كما يلي‪ :‬ا ‪ w‬ك ‪ w‬ل‪.‬‬
‫ا ‪( ‬ك‪ ‬ل)‬ ‫(ا ‪ ‬ك) ‪ ‬ل‬ ‫ثال‪:4‬‬
‫‪1 1 1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1 1 1‬‬
‫‪0 0 1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1 1 1‬‬
‫‪1 0 0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0 0 1‬‬
‫‪0 1 0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0 0 1‬‬
‫‪1 1 1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1 0 0‬‬
‫‪0 0 1‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1 0 0‬‬
‫‪1 0 0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪0 1 0‬‬
‫‪0 1 0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0 1 0‬‬

‫نالحظ أن دال صي ي ي ييبا القض ي ي ي ي ‪( ،‬ا‪‬ك)‪‬ل‪ ،‬لي نف ي ي ي ييها دال صي ي ي ييبا‬

‫القضي ي ي ي ي ي ي ي ‪ ،‬ا‪(‬ك‪‬ل)‪ ،‬و ن ثمي يمكن كتيابتهيا بيبون تنق ط كميا يلي‪ :‬ا ‪ ‬ك‬
‫‪ ‬ل‪ ،‬ول ا يعني أننا ن ي ي ي ي ييت ع‪ ،‬في ثل ل ه ال االت‪ ،‬االسي ي ي ي ييت ناء عن األقها ‪.‬‬

‫‪47‬‬
‫ول ا ا ال ين ب عل الرواصط األخرى‪ ،‬ثل راصط الشيرط وراصط النفي المزدوج وراصط‬
‫التنافر‪.‬‬
‫‪ 3.9.1‬الخاصية التوويعية‪:‬‬
‫‪ ،‬صكهنهيا تخص راصط‬ ‫تتم ز الخياصي ي ي ي ي ي ي ي التهزيع ي ‪ Distributivité‬في المن‬
‫الهصل‪ ،‬والف ل ط ر االستبعادي دون ط رلما‪ ،‬ويمكن تهض ها صالمثال ن التال ن‪:‬‬
‫‪(( -‬ا ‪( ‬ك ‪ ‬ل)) ‪(( ‬ا ‪ ‬ك) ‪( ‬ا ‪ ‬ل))‪.‬‬
‫‪(( -‬ا ‪( ‬ك ‪ ‬ل)) ‪(( ‬ا ‪ ‬ك) ‪( ‬ا ‪ ‬ل))‪.‬‬
‫ويمكن التأكب ن ت اف هما صجبولي ال با التال ن‪:‬‬
‫((ا ‪( ‬ك ‪ ‬ل)) ‪(( ‬ا ‪ ‬ك) ‪( ‬ا ‪ ‬ل))‪.‬‬
‫‪1 1 1‬‬ ‫‪1‬‬ ‫‪1 1 1‬‬ ‫‪1‬‬ ‫‪1 1 1‬‬ ‫‪1 1‬‬
‫‪0 1 1‬‬ ‫‪1‬‬ ‫‪1 1 1‬‬ ‫‪1‬‬ ‫‪0 1 1‬‬ ‫‪1 1‬‬
‫‪1 1 1‬‬ ‫‪1‬‬ ‫‪0 0 1‬‬ ‫‪1‬‬ ‫‪1 1 0‬‬ ‫‪1 1‬‬
‫‪0 0 1‬‬ ‫‪0‬‬ ‫‪0 0 1‬‬ ‫‪1‬‬ ‫‪0 0 0‬‬ ‫‪0 1‬‬
‫‪1 0 0‬‬ ‫‪0‬‬ ‫‪1 0 0‬‬ ‫‪1‬‬ ‫‪1 1 1‬‬ ‫‪0 0‬‬
‫‪0 0 0‬‬ ‫‪0‬‬ ‫‪1 0 0‬‬ ‫‪1‬‬ ‫‪0 1 1‬‬ ‫‪0 0‬‬
‫‪1 0 0‬‬ ‫‪0‬‬ ‫‪0 0 0‬‬ ‫‪1‬‬ ‫‪1 1 0‬‬ ‫‪0 0‬‬
‫‪0 0 0‬‬ ‫‪0‬‬ ‫‪0 0 0‬‬ ‫‪1‬‬ ‫‪0 0 0‬‬ ‫‪0 0‬‬

‫نالحظ أن دالتي ص ي ي ي ي ي ي ي ي ييبا القضي ي ي ي ي ي ي ت ن‪ :‬ا‪(‬ك‪‬ل) و(ا‪‬ك)‪(‬ا‪‬ل)‬

‫ت اف تان‪.‬‬
‫((ا ‪( ‬ك ‪ ‬ل)) ‪(( ‬ا ‪ ‬ك) ‪( ‬ا ‪ ‬ل))‪.‬‬
‫‪1 1 1‬‬ ‫‪1 1 1 1‬‬ ‫‪1‬‬ ‫‪1 1 1 1 1‬‬
‫‪0 1 1‬‬ ‫‪1 1 1 1‬‬ ‫‪1‬‬ ‫‪0 0 1 1 1‬‬
‫‪1 1 1‬‬ ‫‪1 0 1 1‬‬ ‫‪1‬‬ ‫‪1 0 0 1 1‬‬
‫‪0 1 1‬‬ ‫‪1 0 1 1‬‬ ‫‪1‬‬ ‫‪0 0 0 1 1‬‬
‫‪1 1 0‬‬ ‫‪1 1 1 0‬‬ ‫‪1‬‬ ‫‪1 1 1 1 0‬‬
‫‪0 0 0‬‬ ‫‪0 1 1 0‬‬ ‫‪1‬‬ ‫‪0 0 1 0 0‬‬
‫‪1 1 0‬‬ ‫‪0 0 0 0‬‬ ‫‪1‬‬ ‫‪1 0 0 0 0‬‬
‫‪0 0 0‬‬ ‫‪0 0 0 0‬‬ ‫‪1‬‬ ‫‪0 0 0 0 0‬‬
‫‪48‬‬
‫نالح ي ي ي ييظ أن دالي ي ي ي ي صبا القض ‪ ،‬ا ‪( ‬ك‪‬ل)‪ ،‬لي نف ها دالي ي ي ي ي ص ي ي ي ييبا‬
‫القض ‪( ،‬ا‪‬ك) ‪( ‬ا‪‬ل)‪.‬‬
‫‪ 4.9.1‬الخاصية المتعدية‪:‬‬
‫كما تتم ز صعض الرواصط المن ق صالخاصي ي ي ي المتعبي ‪ ،Transitivité‬ويمكن‬
‫تهض ها كما يلي‪:‬‬
‫((ا‪ ‬ك) ‪( ‬ك‪ ‬ل)) ‪( ‬ا‪ ‬ل)‬ ‫ثال‪:1‬‬
‫‪1 1 1‬‬ ‫‪1‬‬ ‫‪1 1 1 1 1 1 1‬‬
‫‪0 0 1‬‬ ‫‪1‬‬ ‫‪0 0 1 0 1 1 1‬‬
‫‪1 1 1‬‬ ‫‪1‬‬ ‫‪1 0 0 0 0 0 1‬‬
‫‪0 0 1‬‬ ‫‪1‬‬ ‫‪0 0 0 0 0 0 1‬‬
‫‪1 0 0‬‬ ‫‪1‬‬ ‫‪1 1 1 0 1 0 0‬‬
‫‪0 0 0‬‬ ‫‪1‬‬ ‫‪0 0 1 0 1 0 0‬‬
‫‪1 0 0‬‬ ‫‪1‬‬ ‫‪1 0 0 0 0 0 0‬‬
‫‪0 0 0‬‬ ‫‪1‬‬ ‫‪0 0 0 0 0 0 0‬‬

‫((ا‪‬ك)‪( ‬ك‪‬ل))‪( ‬ا‪‬ل)‬ ‫ثال‪:2‬‬

‫‪1 1 1‬‬ ‫‪1‬‬ ‫‪1 1 1 1 1 1 1‬‬
‫‪0 0 1‬‬ ‫‪1‬‬ ‫‪0 0 1 0 1 1 1‬‬
‫‪1 1 1‬‬ ‫‪1‬‬ ‫‪1 1 0 0 0 0 1‬‬
‫‪0 0 1‬‬ ‫‪1‬‬ ‫‪0 1 0 0 0 0 1‬‬
‫‪1 1 0‬‬ ‫‪1‬‬ ‫‪1 1 1 1 1 1 0‬‬
‫‪0 1 0‬‬ ‫‪1‬‬ ‫‪0 0 1 0 1 1 0‬‬
‫‪1 1 0‬‬ ‫‪1‬‬ ‫‪1 1 0 1 0 1 0‬‬
‫‪0 1 0‬‬ ‫‪1‬‬ ‫‪0 1 0 1 0 1 0‬‬

‫((ا‪‬ك)‪( ‬ك‪‬ل))‪( ‬ا‪‬ل)‬ ‫ثال‪:3‬‬

‫‪1 1 1‬‬ ‫‪1‬‬ ‫‪1 1 1 1 1 1 1‬‬
‫‪0 0 1‬‬ ‫‪1‬‬ ‫‪0 0 1 0 1 1 1‬‬
‫‪1 1 1‬‬ ‫‪1‬‬ ‫‪1 0 0 1 0 0 1‬‬
‫‪0 0 1‬‬ ‫‪1‬‬ ‫‪0 1 0 0 0 0 1‬‬
‫‪1 0 0‬‬ ‫‪1‬‬ ‫‪1 1 1 0 1 0 0‬‬

‫‪49‬‬
 ‫‪0 1 0‬‬ ‫‪1‬‬ ‫‪0 0 1 1 1 0 0‬‬
‫‪1 0 0‬‬ ‫‪1‬‬ ‫‪1 0 0 0 0 1 0‬‬
‫‪0 1 0‬‬ ‫‪1‬‬ ‫‪0 1 0 1 0 1 0‬‬

‫ادا ت وم ع ق م دال الرواصط الرئ ي ي ‪ ،‬في األ ثل ال ي يياصق ‪ ،‬صي ييادق ‪ ،‬فهي‬
‫قضايا ت ارري ‪ ،‬أي قهان ن ن ق ‪.‬‬
‫‪ 5.9.1‬جبر بــول‪:‬‬
‫ل ي ه العمل ييات المن ق ي ‪ ،‬التبييبيل ي ‪ ،‬التراص ي ‪ ،‬التهزيع ي ‪ ،‬والمتعييبي ي ‪ ،‬لهييا ييا‬
‫يمياثلهيا في الجبر‪ ،‬فيإذا اعتبرنيا الهصي ي ي ي ي ي ييل(‪ )‬عمل ي ضي ي ي ي ي ي يير (‪ ،)x‬والف ي ي ي ي ي ي ييل ط ر‬
‫االس ي ي ييتبعادي(‪ )‬عمل ومع(‪ ،)+‬و(أ) و( ) و(وي ي ي ي ي ي ي ي ي ي يي) أعبادا‪ ،‬والت افؤ(‪ )‬عالق‬
‫فإنن يمكن التعب ر عن القهان ن ال اصق وبريا‪ ،‬كما يلي‪:‬‬
‫اواة(=)‪ّ ،‬‬
‫قانون التبدي ‪:‬‬
‫‪( -‬ا ‪ ‬ك) ‪( ‬ك ‪ ‬ا)‪.‬‬
‫‪( -‬ا ‪ ‬ك) ‪( ‬ك ‪ ‬ا)‪.‬‬
‫الجبري التال ‪:‬‬ ‫يأخ ال‬
‫أ)‪.‬‬ ‫‪x‬‬ ‫)‪(‬‬ ‫‪x‬‬ ‫‪( -‬أ‬
‫‪ +‬أ)‪.‬‬ ‫)‪(‬‬ ‫‪+‬‬ ‫‪( -‬أ‬
‫قانون التراب ‪:‬‬
‫‪( -‬ا‪ ‬ك) ‪ ‬ل) ‪( ‬ا ‪( ‬ك ‪ ‬ل)‪.‬‬
‫‪( -‬ا‪ ‬ك) ‪ ‬ل) ‪( ‬ا ‪( ‬ك ‪ ‬ل)‪.‬‬
‫الجبري التال ‪:‬‬ ‫يأخ ال‬
‫وي)‪.‬‬ ‫‪+‬‬ ‫) ‪ +‬وي) ‪( ‬أ ‪( +‬‬ ‫‪+‬‬ ‫‪( -‬أ‬
‫قانون التوويع‪:‬‬
‫‪( -‬ا ‪( ‬ك ‪ ‬ل) ‪( ‬ا ‪ ‬ك) ‪( ‬ا ‪ ‬ل)‪.‬‬
‫‪( -‬ا ‪( ‬ك ‪ ‬ل) ‪( ‬ا ‪ ‬ك) ‪( ‬ا ‪ ‬ل)‪.‬‬
‫الجبري التال ‪:‬‬ ‫يأخ ال‬
‫‪50‬‬
 ‫)‪( +‬أ ‪ x‬ج)‪.‬‬ ‫‪x‬‬ ‫‪( -‬أ ‪+ ( x‬ج) ‪( ‬أ‬
‫ل ا ا ي ي ي ي لح عل ت ي ييم تن "وبر بهل" ‪ ،L'algèbre de Boole‬أي يهوب نهش‬
‫ن التماثل ب ن العالقات المن ق ‪ ،‬الهص ي ييل والف ي ييل ط ر االس ي ييتبعادي والتش ي ييارط‪،‬‬
‫والعمل ات الجبري ‪ ،‬الض ي يير والجمع والم ي يياوات‪ ،‬عل الرطم ن صعض الفروا التي‬
‫أشرنا إل ها في الفقرت ن(‪.)2.2.4.1( )1.2.4.1‬‬
‫ن ق صأخرى‪ ،‬الفقرة(‪ ،)1.7.1‬ثل‪:‬‬ ‫و ا دام يمكن أن ّن‬
‫نعرف أي عالق‬
‫ا‪‬ك =تع ‪ ( (  ‬ا ‪ ‬ك)) ‪ ( ( ‬ك ‪ ‬ا))‪.‬‬
‫‪ -‬ا ‪ w‬ك =تع ‪( (  ‬ا ‪  ‬ك)) ‪( ( ‬ك ‪  ‬ا))‪.‬‬
‫أخرى كاف لها‪ ،‬كما يلي‪:‬‬ ‫يمكن أن ن ّنهل ل ه القض إل أي ص‬
‫‪ -‬ا‪ ‬ك = تع (‪ ‬ا ‪ ‬ك)‪ ( ‬ك ‪ ‬ا)‪.‬‬
‫‪ -‬ا ‪ ‬ك =تع (‪ ‬ا ‪ ‬ك)‪( ‬ك ‪ ‬ا)‪.‬‬
‫‪ -‬ا ‪ w‬ك = تع (ا‪  ‬ك) ‪( ‬ك ‪  ‬ا)‪.‬‬
‫‪ -‬ا‪ ‬ك = تع (ا ‪ w‬ك) ‪( w‬ا ‪ ‬ك)‪.‬‬
‫ا اصي لح عل ت ييم تن بي ي ي ي ي ي ي يي‪ :‬سييل ييل أو‬ ‫ن وبر بهل إل‬ ‫ننتقل في ل ه ال ال‬
‫حلق بهل ‪.Anneau Booléien‬‬

‫‪51‬‬