‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫المنطق الرياضي ( ‪) Mathematical Logic‬‬

‫‪1‬‬
‫مقـــــــــدمة ( ‪) Introduction‬‬ ‫‪1-1‬‬

‫في هذا الفصل نقدم لمحة بسيطة عن المنطق الرياضي (‪ ) Mathematical logic‬أو ما يعرف بالمنطق الرمزي ( ‪Symbolic‬‬
‫‪ ) Logic‬وهو فرع من فروع الرياضيات وله صلة بعلوم الكمبيوتر والمنطق الفلسفي‪.‬وهذا الفصل يقتصر علي منطق حساب الجمل‬
‫وال يقدم مساق شامل لموضوع المنطق ‪ ,‬فأهمية قواعد المنطق ( ‪ ) The rules of Logic‬ال تقتصر علي دراسة عالقتها بالقضايا‬
‫الرياضية‪ ,‬وإنما في استخدماها في كثير من التطبيقات العملية في مجال علوم الحاسوب‪ ,‬ومن تلك المجاالت‪:‬‬

‫تصميم حاسبات أآللة ( ‪.) The Design Of Computing Machine‬‬ ‫‪.1‬‬

‫( ‪.)Artificial Intelligence‬‬ ‫الذكاء الصناعي‬ ‫‪.2‬‬
‫( ‪.) Computing Programming‬‬ ‫برمجة الحاسوب‬ ‫‪.3‬‬
‫( ‪.)Programming Languages‬‬ ‫لغات البرمجة‬ ‫‪.4‬‬
‫تصميم دوائر الحاسوب ( ‪.) Design of Computer Circuits‬‬ ‫‪.5‬‬

‫القضية أو العبارة (‪( Proposition or Statement‬‬ ‫‪1-2‬‬

‫تعريف ( ‪ )1-2-1‬القضية أو العبارة هي جملة خبرية ( ‪ ) Declarative Sentence‬مفيدة وتكون أما صادقة (‪) True‬‬
‫أو كاذبة ( ‪ , ) False‬وال يجوز أن تكون صادقة أو كاذبة في وقت واحد‪ .‬الحروف الالتينية الصغيرة …‪ p,q,r,‬سوف‬
‫تستخدم للترميز للقضايا‪.‬‬
‫تعريف ( ‪ )1-2-2‬صدق ( ‪ )Truth‬أو كذب ( ‪ )falsity‬القضية المعلومة ‪ ,‬تسمي بقيم صدق القضية أو العبارة‬
‫(‪ ( Truth Value‬فإذا كانت القضية صادقة فسوف يتم الرمز لها بالرمز " ‪ T‬أو ‪ " 1‬أما إذا كانت كاذبة فسوف يتم الرمز لها‬
‫بالرمز " ‪ " F‬أو ‪." 0‬‬
‫صنعاء عاصمة اليمن " عبارة صادقة ‪" T :‬‬ ‫مثال ( ‪)1-2-1‬‬
‫‪ " 3+8 = 15‬عبارة كاذبة ‪." F :‬‬ ‫مثال ( ‪)1-2-2‬‬
‫مالحظة ‪ :‬األمثلة السابقة تعبر عن قضايا بسيطة " ‪" Atomic or Primary or Simple Propositions‬‬
‫‪ 3x‬عدد طبيعي " ليست عبارة ألن ‪ x‬مجهول ال يمكن تحديده " ‪.‬‬ ‫مثال ( ‪)1-2-3‬‬
‫مثال ( ‪ )1-2-4‬متى تسافر إلى عدن ؟ " ليست عبارة وإنما جملة استفهامية " ‪.‬‬
‫تعريف (‪ )1-2-3‬لتكن ‪ A‬مجموعة ما وليكن ) ‪ P( x‬تعبير ما في المتغير ‪ , x‬فان ) ‪ P( x‬تسمي جملة مفتوحة في ‪Open ( x‬‬
‫‪ ) Sentence‬إذا وفقط إذا كان )‪ P(a‬عبارة صادقة أو كاذبة لكل 𝐴 ∈ 𝑎 ‪.‬‬
‫مثال ( ‪ )1-2-5‬اعتبر }‪ 𝐴 = {1,2,3‬فان التعبير ‪ 𝑝(𝑥): 𝑥 + 1 < 3‬يمثل جملة مفتوحة في ‪ .x‬ألن ‪𝑝(1): 1 + 1 < 3‬‬

‫‪-1-‬‬
‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫عبارة صادقة ‪ ,‬بينما ‪ 𝑝(2): 2 + 1 < 3‬عبارة كاذبة ‪.‬‬

‫تعريف (‪ )1-2-4‬لتكن )𝑥(𝑝 جملة مفتوحة في ‪ x‬معرفة علي مجموعة ‪ , A‬وليكن 𝐴 ∈ 𝑎 إذا كانت )𝑎(𝑝 عبارة صادقة‬
‫فيسمي 𝑎 حال للجملة المفتوحة )𝑥(𝑝 ‪ .‬مجموعة كل الحلول ل‪ 𝑝(𝑥) :‬تسمي مجموعة الحل ويمز لها بالرمز 𝑝𝑆 ‪.‬‬
‫مثال ( ‪ )1-2-6‬اعتبر }‪ 𝐴 = {0,1,2,3‬فان التعبير ‪ 𝑝(𝑥): 𝑥 − 2 < 1‬يمثل جملة مفتوحة في ‪ .x‬معرفة علي ‪,A‬‬
‫فتكون مجموعة الحل }‪.𝑆𝑝 = {0,1,2‬‬

‫تمارين ( ‪) 1 -2‬‬

‫‪ . 1‬عرف ما يلي ‪ :‬القضية ‪ ,‬الجملة المفتوحة‪ ,‬حل الجملة المفتوحة‪.‬‬

‫‪ . 2‬بين فيما إذا كانت الجمل التالية تمثل قضايا أم ال مع ذكر السبب ‪:‬‬

‫يوجد عدد طبيعي 𝑥 يحقق العالقة ‪.𝑥 < 8‬‬ ‫‪.i‬‬

‫‪.𝑥 < 10‬‬ ‫‪.ii‬‬
‫حاصل جمع عدد زوجي وفردي هو عدد فردي‪.‬‬ ‫‪.iii‬‬
‫إلى أين أنت ذاهب؟‬ ‫‪.iv‬‬
‫ما أجمل الصبح في ريف اليمن حين يطلع !‬ ‫‪.v‬‬
‫‪.𝑥 2 + 2 = 10‬‬ ‫‪.vi‬‬
‫يوجد عدد حقيقي 𝑥 بحيث أن ‪.𝑥 2 + 2 = 10‬‬ ‫‪.vii‬‬

‫‪ .3‬أوجد قيمة الحقيقة في كل القضايا المركبة التالية ‪:‬‬

‫إذا كانت ‪ , 3 + 5 = 9‬إذن ‪.5 + 5 = 10‬‬ ‫‪.i‬‬
‫ليس صحيح أن ‪ 4 + 8 = 9‬أو ‪.4 + 4 = 8‬‬ ‫‪.ii‬‬
‫صنعاء مدينة ساحلية يمنية أو الدوحة عاصمة البحرين‪.‬‬ ‫‪.iii‬‬
‫‪ .4‬إذا كانت القضية 𝑝 " هو غني " ‪ ,‬والقضية 𝑞 " هو بخيل "‪ .‬اكتب الصيغة الرمزية للقضايا التالية ‪:‬‬
‫‪ .i‬هو غني وبخيل‪.‬‬
‫‪ .ii‬هو غني لكن ليس بخيل‪.‬‬
‫‪ .iii‬هو ليس غني وال بخيل‪.‬‬
‫‪ .iv‬ليس صحيح انه غني أو ليس بخيل‪.‬‬
‫‪ .5‬اوجد مجموعة الحل للجمل المفتوحة التالية ‪:‬‬
‫‪ ,𝑥 + 2 < 5 .i‬المجموعة الشاملة }‪.𝐴 = {0,1,2,3,4‬‬
‫‪ ,|𝑥| + 1 < 2 .ii‬المجموعة الشاملة }‪.𝐴 = {0,1,2,3,4,5‬‬
‫‪ , 𝑥 2 + 1 = 0 .iii‬المجموعة الشاملة هي األعداد الحقيقية‪.‬‬

‫‪-2-‬‬
 ‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫أدوات الربط المنطقية وجداول الصواب‬ ‫‪1-3‬‬

‫( ‪) Truth Table and Logical Connectives‬‬
‫لتكن كل من 𝑞 ‪ 𝑝,‬قضايا بسيطة يمكن تكوين قضية أو أكثر بإحدى الروابط المنطقية الموضحة بالجدول التالي ‪:‬‬

‫اسم القضية المركبة‬ ‫الرمز‬ ‫أدوات الربط‬ ‫م‬

‫" ‪" Name of compound proposition‬‬ ‫" ‪" Symbol‬‬ ‫" ‪" Logical Connectives‬‬
‫النفي ( ‪) Negation‬‬ ‫~‬ ‫ليس أو ال ) ‪) Not‬‬ ‫‪1‬‬
‫الوصل ( ‪) Conjunction‬‬ ‫∧‬ ‫و ( ‪) and‬‬ ‫‪2‬‬
‫الفصل ( ‪) Disjunction‬‬ ‫∨‬ ‫أو ( ‪) or‬‬ ‫‪3‬‬
‫الشرط أو االقتضاء ( ‪) Conditional or Implication‬‬ ‫→‬ ‫إذا‪...‬فان ( ‪) if…then‬‬ ‫‪4‬‬
‫ثنائية االشتراط ( ‪) Bi-conditional‬‬ ‫↔‬ ‫إذا وفقط إذا ( ‪) if and only if‬‬ ‫‪5‬‬
‫فقط وإال ( ‪) Exclusive or‬‬ ‫⨁‬ ‫فقط وإال ( ‪) p or q but not both‬‬ ‫‪6‬‬

‫جدول ( ‪) 1-3-1‬‬
‫الناتج من عملية الربط يكون قضية مركبه ( ‪ ) Compound Proposition‬تعتمد فقط علي قيم صدق مكوناتها وعلي الروابط‬
‫الموجودة‪.‬‬
‫تعريف (‪ )1-3-1‬التقييم ( ‪ )valuation‬دالة من مجموعة ما تحتوي علي كل القضايا البسيطة إلى مجموعة تحتوي على القيم التالية‬
‫‪ {𝑇, 𝐹 } :‬أو }‪ {1,0‬نرمز لها بالرمز 𝑣‪.‬أي أن ‪:‬‬

‫𝑒𝑢𝑟𝑡 ‪𝑇, 𝑖𝑓 𝑝 −‬‬

‫{ = )𝑝(𝑣‬
‫𝑒𝑠𝑙𝑎𝑓 ‪𝐹, 𝑖𝑓 𝑝 −‬‬
‫وتحقق الخواص التالية ‪:‬‬

‫)𝑝(𝑣 ≠ )𝑝~ (𝑣 ‪1.‬‬

‫𝑇 = )𝑞(𝑣 = )𝑝(𝑣 ↔ 𝑇 = )𝑞 ∧ 𝑝(𝑣 ‪2.‬‬
‫𝐹 = )𝑞(𝑣 = )𝑝(𝑣 ↔ 𝐹 = )𝑞 ∨ 𝑝(𝑣 ‪3.‬‬
‫𝐹 = )𝑞(𝑣 ∧ 𝑇 = )𝑝(𝑣 ↔ 𝐹 = )𝑞 → 𝑝(𝑣 ‪4.‬‬
‫)𝑞(𝑣 = )𝑝(𝑣 ↔ 𝑇 = )𝑞 ↔ 𝑝(𝑣 ‪5.‬‬
‫)𝑞(𝑣 ≠ )𝑝(𝑣 ↔ 𝑇 = )𝑞 ⊕ 𝑝 (𝑣 ‪6.‬‬

‫التقييم للدالة 𝑣 يتم من خالل جداول الصواب ( ‪ .) Truth Table‬وتعرف جداول الصواب األساسية كما يلي‪:‬‬

‫𝑝‬ ‫𝑞‬ ‫𝑝~‬ ‫𝑞∧𝑝‬ ‫𝑞∨𝑝‬ ‫𝑞→𝑝‬ ‫𝑞↔𝑝‬ ‫𝑞⊕𝑝‬

‫𝑇‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝐹‬
‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝑇‬

‫‪-3-‬‬
 ‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬

‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝐹‬
‫جدول ( ‪) 1-3-2‬‬

‫مالحظة ‪ :‬إذا كان لدينا 𝑛 من القضايا البسيطة ‪,‬فان عدد الصفوف ( األسطر ) في جداول الصواب يكون ‪.2n‬‬
‫مثال ( ‪ )1-3-1‬لتكن 𝑝 القضية ( العبارة ) الحديدة مدينة ساحلية ‪ ,‬فإن 𝑝 ~ الحديدة ليست مدينة ساحلية ‪.‬‬
‫مثال ( ‪ )1-3-2‬لتكن 𝑝 القضية ( ‪ ' F ' ( 2+3=9‬و 𝑞 القضية ( ‪ , ' T ' ( 4+6= 10‬فإن القضية 𝑞 ∧ 𝑝 هي ‪:‬‬
‫(( ‪ ) 2+3 = 9‬و (‪ (( 4+6 =10‬تكون ' ‪. ' F‬‬
‫مثال ( ‪ )1-3-3‬كون جدول الحقيقة للقضية التالية‪) 𝑝 ∧ (𝑞 ∨ 𝑟)( :‬‬

‫الحـــــل ‪:‬‬

‫∵ عدد القضايا البسيطة في القضية المركبة ()𝑟 ∨ 𝑞( ∧ 𝑝 ) هو ‪ ,3‬فإن عدد الصفوف االحتمالية في جدول الصواب هو ‪.23 = 8‬‬
‫فيكون جدول الصواب للقضية ()𝑟 ∨ 𝑞( ∧ 𝑝 ) ) كالتالي ‪:‬‬

‫𝑝‬ ‫𝑞‬ ‫𝑟‬ ‫)𝑟 ∨ 𝑞(‬ ‫)𝑟 ∨ 𝑞( ∧ 𝑝‬

‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬
‫𝑇‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬ ‫𝑇‬
‫𝑇‬ ‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬
‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝐹‬ ‫𝐹‬
‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝐹‬
‫𝐹‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬ ‫𝐹‬
‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝐹‬
‫𝐹‬ ‫𝐹‬ ‫𝐹‬ ‫𝐹‬ ‫𝐹‬

‫جدول ( ‪) 1-3-3‬‬
‫مثال ( ‪ )1-3-4‬بفرض ان احد الطالب قام باالدعاء التالي ‪ :‬إذا حصلت علي امتياز في الرياضيات المنفصلة فإني مسافر الى عدن ‪.‬‬
‫ناقش األدعاء منطقيا ؟‬
‫الحــــــــل ‪:‬‬

‫نفرض ان 𝑝 القضية " حصلت علي امتياز في الرياضيات المنفصلة " ‪ ,‬ولنفرض ان 𝑞 " سوف اسافر الى عدن "‪.‬‬
‫األحتماالت التالية توضح القضية ‪:‬‬

‫‪-4-‬‬
 ‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫𝑝‬ ‫القضية‬ ‫𝑞‬ ‫القضية‬ ‫𝑞→𝑝‬

‫𝑇‬ ‫حصلت حصلت علي امتياز‬ ‫𝑇‬ ‫مسافر الى عدن‬ ‫𝑇‬
‫في الرياضيات المنفصلة‬
‫𝑇‬ ‫حصلت حصلت علي امتياز‬ ‫𝐹‬ ‫لست مسافر الى عدن‬ ‫𝐹‬
‫في الرياضيات المنفصلة‬
‫𝐹‬ ‫لم احصل علي علي امتياز‬ ‫𝑇‬ ‫مسافر الى عدن‬ ‫𝑇‬
‫في الرياضيات المنفصلة‬
‫𝐹‬ ‫لم احصل علي علي امتياز‬ ‫𝐹‬ ‫لست مسافر الى عدن‬ ‫𝑇‬
‫في الرياضيات المنفصلة‬

‫يبدو معقوال أن الطالب كان كاذبا في الحالة الثانية فقط‬

‫جدول ( ‪) 1-3-4‬‬
‫مالحظة ‪ :‬في القضة الشرطية 𝑞 → 𝑝 التعابير التالية تودي نفس المعني ‪:‬‬
‫𝑝 هى شرط كافي الى 𝑞 ( ‪.) p is sufficient condition for q‬‬ ‫‪‬‬

‫𝑞 هى شرط ضروري الى 𝑝 ( ‪.) q is necessary for p‬‬ ‫‪‬‬

‫𝑝 تقتضي 𝑞 ( ‪.) p impllies q‬‬ ‫‪‬‬

‫𝑞 تستنتج من 𝑝 ( ‪.) q provided p‬‬ ‫‪‬‬

‫𝑝 تسمي بالمقدمة أو الفرضية ( ‪.) Hypothesis or Antecedent‬‬ ‫‪‬‬

‫𝑞 تسمي بالنتجية أوا لتالي ( ‪.)Conseqent or Conclusion‬‬ ‫‪‬‬

‫تعريف (‪ )1-3-2‬أذا كانت 𝑞 → 𝑝 قضية شرطية ‪ ,‬فإن القضبة الشرطية 𝑝 → 𝑞 تسمي عكس ( ‪ ) converse‬القضية 𝑞 → 𝑝 ‪.‬‬
‫تعريف (‪ )1-3-4‬أذا كانت 𝑞 → 𝑝 قضيية شيرطية ‪ ,‬فيإن القضيبة الشيرطية ‪ ∽ 𝑝 →∽ q‬تسيمي نييير ( ‪ ) inverse‬القضيية → 𝑝‬
‫𝑞‪.‬‬
‫تعريف (‪ )1-3-5‬أذا كانت 𝑞 → 𝑝 قضية شرطية ‪ ,‬فإن القضبة الشرطية ‪ ∽ 𝑞 →∽ p‬تسمي المعاكس االيجابي‬
‫( ‪ ) contra positive‬للقضية 𝑞 → 𝑝 ‪.‬‬
‫مثال ( ‪ )1-3-5‬إذا كانت ‪ , 𝑥 = 3‬فإن ‪ , 𝑥 2 + 𝑥 − 12 = 0‬عبر عن النيير والعكس والمعاكس األيجابي للقضية الشرطية‪.‬‬
‫الحـــل ‪:‬‬
‫‪𝑝: 𝑥 = 3‬‬ ‫المثال السابق يمكن ترميزه على النحو التالي ‪:‬‬
‫‪𝑞: 𝑥 2‬‬ ‫‪+ 𝑥 − 12 = 0‬‬
‫𝑞→ 𝑝∴‬
‫العكس للقضية 𝑞 → 𝑝 هو𝑝 → 𝑞 ‪ :‬إذا كانت ‪ , 𝑥 2 + 𝑥 − 12 = 0‬فإن ‪. 𝑥 = 3‬‬
‫النيير للقضية 𝑞 → 𝑝 هو ‪ : ∽ 𝑝 →∽ q‬إذا كانت ‪ , 𝑥 ≠ 3‬فإن ‪.𝑥 2 + 𝑥 − 12 ≠ 0‬‬
‫المعاكس االيجابي للقضية 𝑞 → 𝑝 هو ‪ : ∽ 𝑞 →∽ p‬إذا كانت ‪ ,𝑥 2 + 𝑥 − 12 ≠ 0‬فإن ‪.𝑥 ≠ 3‬‬

‫‪-5-‬‬
 ‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫مالحظة ‪:‬‬
‫أذا كانت 𝑞 → 𝑝 هذا ال يعنى بالضرورة ان 𝑝 → 𝑞‪.‬‬ ‫‪‬‬

‫أذا كانت 𝑞 → 𝑝 فهذا يعنى بالضرورة ان ‪. ∽ 𝑞 →∽ p‬‬ ‫‪‬‬

‫مثال ( ‪ )1-3-6‬اكتب القضية التالية بصورة رمزية " أذا كان ‪ ABC‬مثلث متساوي الساقين ( ‪,) Isosceles Triangle‬فإن زاويتا قاعدتيه‬
‫متساويتان و الضلعين المتفابلين متساوين‪.‬‬
‫الحـــل ‪:‬‬
‫نفرض أن ‪:‬‬
‫مثلث متساوي الساقين‪.‬‬ ‫‪ABC‬‬ ‫𝑝 ‪:‬‬
‫𝑞 ‪ :‬زاويتا قاعدته متساويتان ‪.‬‬
‫𝑟 ‪ :‬الضلعين المتفابلين لزاويتا القاعدة متساويان ‪.‬‬
‫أذن القضية المعطاة يكون ترميزها‪.𝑝 → (𝑞 ∧ 𝑟 ) :‬‬
‫تعريف (‪ )1-3-6‬لتكن كا من 𝑃 و 𝑄 قضية نقول ان القضية 𝑃 تقتضي منطقيا 𝑄 ( أو 𝑄 تسنتنج منطقيا من 𝑃 ) اذا وفقط اذا كانت‬
‫القضية 𝑄 → ‪ P‬هي تتولوجي‪ .‬نرمز لالقتضاء المنطقي بالرمز 𝑄 ⟹ ‪.P‬‬

‫خصائص أال قتضاء المنطقي ( ‪) Properties of Logical Implication‬‬

‫الجدول التالي يعرض أهم خصائص أال قتضاء المنطقي‪ ,‬الرمز " ‪ " T‬سيوف يسيتخدم للقضيية التحصييل حاصيل‪ ,‬بينميا الرميز " ‪" F‬‬
‫للقضية المتناقضة‪.‬‬
‫أال قتضاء ( ‪) Implication‬‬ ‫م‬
‫𝑝⟹𝐹‬ ‫‪.1i‬‬
‫𝑇⟹𝑝‬ ‫‪.ii‬‬
‫𝑝 ∽⟹ 𝐹 ⟹ 𝑝‬ ‫‪.iii‬‬
‫𝑝⟹ 𝑞∧𝑝‬ ‫‪.2i‬‬
‫‪𝑝⟹𝑝∨p‬‬ ‫‪.ii‬‬
‫𝑞 ⟹ )𝑞 → 𝑝( ∧ 𝑝‬ ‫‪3‬‬
‫𝑝 ∽⟹ 𝑞 ∽∧ )𝑞 → 𝑝(‬ ‫‪4‬‬
‫𝑞 ⟹ 𝑝 ∽ ∧ ) 𝑞 ∨ 𝑝(‬ ‫‪5‬‬
‫‪(𝑝 ↔ q ) ∧ (𝑞 ↔ 𝑟) ⟹ 𝑝 ↔ r‬‬ ‫‪6‬‬
‫𝑟 → 𝑝 ⟹ )𝑟 → 𝑞( ∧ )𝑞 → 𝑝(‬ ‫‪7‬‬
‫)𝑟 ∨ 𝑞( → )𝑟 ∨ 𝑝( ⟹ )𝑞 → 𝑝(‬ ‫‪8‬‬
‫)𝑟 ∧ 𝑞( → )𝑟 ∧ 𝑝( ⟹ )𝑞 → 𝑝(‬ ‫‪9‬‬
‫)𝑟 → 𝑝( → )𝑟 → 𝑞( ⟹ )𝑞 → 𝑝(‬ ‫‪10‬‬
‫)𝑠 ∨ 𝑞( → )𝑟 ∨ 𝑝( ⟹ )𝑠 → 𝑟( ∧ )𝑞 → 𝑝(‬ ‫‪11‬‬
‫)𝑠 ∧ 𝑞( → )𝑟 ∧ 𝑝( ⟹ )𝑠 → 𝑟( ∧ )𝑞 → 𝑝(‬ ‫‪12‬‬
‫‪-6-‬‬
‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫)𝑟 ∽∨ 𝑝 ∽( → )𝑠 ∽∨ 𝑞 ∽( ⟹ )𝑠 → 𝑟( ∧ )𝑞 → 𝑝(‬ ‫‪13‬‬

‫)𝑟 ∽∧ 𝑝 ∽( → )𝑠 ∽∧ 𝑞 ∽( ⟹ )𝑠 → 𝑟( ∧ )𝑞 → 𝑝(‬ ‫‪14‬‬

‫جدول ( ‪) 1-3-5‬‬

‫مثال ( ‪ )1-3-7‬كون جدول صدق القضية ‪.(𝑝 → 𝑞) ∧∽ 𝑞 ⟹∽ 𝑝 :‬‬

‫الحـــل ‪:‬‬

‫نعبر عن القضية 𝑝 ∽⟹ 𝑞 ∽∧ )𝑞 → 𝑝( بالصورة 𝑝 ∽→ 𝑞 ∽∧ )𝑞 → 𝑝( ‪ ,‬فيكون جدول الصدق كما يلي‪:‬‬

‫𝑝‬ ‫𝑞‬ ‫𝑞→𝑝‬ ‫𝑞~‬ ‫𝑞~ ∧ ) 𝑞 → 𝑝(‬ ‫𝑝 ∽→ 𝑞~ ∧ ) 𝑞 → 𝑝( 𝑝 ∽‬

‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝐹‬ ‫𝑇‬
‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝑇‬
‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝑇‬
‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬

‫جدول ( ‪) 1-3-6‬‬
‫تمارين ( ‪) 1 -3‬‬
‫‪ .1‬كون جدول الصدق للقضايا التالية ‪:‬‬
‫)𝑞 ∧ 𝑝( → )𝑞 ∨ 𝑝(‪.‬‬ ‫‪.i‬‬
‫)𝑞 ∽∧ 𝑝(‪.‬‬ ‫‪.ii‬‬
‫)𝑞 ∽∨ 𝑝 ∽(‪.‬‬ ‫‪.iii‬‬
‫)𝑝 ↔ 𝑞( ∨ )𝑞 ∧ 𝑝( ∽‪.‬‬ ‫‪.iv‬‬
‫])𝑝 ∼ ∧ 𝑞( ∨ )𝑞 ∽ ∧ 𝑝([‪.‬‬ ‫‪.v‬‬
‫)𝑟 ∧ 𝑞( ∨ 𝑝‪.‬‬ ‫‪.vi‬‬
‫)𝑞 → 𝑝( ∽‪.‬‬ ‫‪.vii‬‬
‫)𝑝 ∽∧ 𝑝(‪.‬‬ ‫‪.viii‬‬
‫)‪.( p ∨∽p‬‬ ‫‪.ix‬‬

‫‪ .2‬اكتب نفي القضايا التالية ‪:‬‬

‫))𝑟 ∨ 𝑞( ∽∧ )𝑞 ∧ 𝑝((‪.‬‬ ‫‪.i‬‬
‫)𝑟 ∧ 𝑞( ∨ 𝑝‪.‬‬ ‫‪.ii‬‬
‫)𝑟 → 𝑞( ∧ 𝑝‪.‬‬ ‫‪.iii‬‬
‫)𝑞 → 𝑝( ↔ )𝑞 ∧ 𝑝(‪.‬‬ ‫‪.iv‬‬
‫‪-7-‬‬
 ‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫)𝑟 → 𝑝( ∨ )𝑞 → 𝑝(‪.‬‬ ‫‪.v‬‬

‫نجح عادل في مادة الرياضيات المنفصلة‪.‬‬ ‫‪.vi‬‬
‫هو رجل غني ‪ ,‬لكنه غير سعيد‪.‬‬ ‫‪.vii‬‬

‫‪ .3‬اكتب القضايا التالية بصيغة رمزية ‪:‬‬

‫إذا كان ‪ n‬عدد زوجيا‪ ,‬فان ‪ 𝑛2‬عدد زوجي‪.‬‬ ‫‪.i‬‬
‫‪ √3‬هو عدد غير نسبي و ‪.2 + 2 = 4‬‬ ‫‪.ii‬‬
‫إذا كان ‪ 𝑛2‬عدد صحيحا‪ ,‬فان ‪ n‬عدد زوجي أو عدد فردي ‪.‬‬ ‫‪.iii‬‬
‫‪ √3‬هو عدد غير نسبي و ‪.2 + 2 ≠ 4‬‬ ‫‪.iv‬‬
‫‪ .4‬كون جدول الصق للقضايا في جدول ( ‪.) 1-3-5‬‬

‫الحشو والتعارض والتكافؤ المنطقي‬ ‫‪1-4‬‬

‫( ‪) Logical Equivalence, Tautologies and Contradiction‬‬

‫تعريفف (‪ ) 1-4-1‬القضيية المركبية ( ‪ ) Compound Proposition‬التيي تكيون صيادقة بغين النيير عين صيدق مكوناتهيا‪ ,‬تسيمي‬
‫تحصيل حاصل أو حشو أو توتولوجي ( ‪.( Tautology‬‬
‫تعريف (‪ )1-4-2‬القضية المركبة ( ‪ ) Compound Proposition‬التي تكون كاذبة بغن النير عن صدق مكوناتها‪ ,‬تسمي تناقضأ‬
‫أو تعارضا ( ‪. ) Contradication‬‬
‫تعريف (‪ )1-4-3‬القضية المركبة ( ‪ ) Compound Proposition‬التي ال تكون تحصييل حاصيل وال تكيون متناقضية‪ ,‬تسيمي قضيية‬
‫إحتمالية ( ‪. ( Probability or Contingency‬‬
‫مثال ( ‪ )1-4-1‬برهن أن القضية التالية ‪ ∽ 𝑝 ∨ ( 𝑝 ⋁ 𝑞) :‬هي تحصيل حاصل ‪.‬‬
‫البرهان ‪:‬‬
‫نكون جدول الصواب للقضية )𝑞 ⋁ 𝑝 ( ∨ 𝑝 ∽ كما يلي‪:‬‬

‫𝑝‬ ‫𝑞‬ ‫𝑝∽‬ ‫)𝑞 ∨ 𝑝(‬ ‫)𝑞 ∨ 𝑝( ∧ 𝑝 ∽‬

‫𝑇‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬ ‫𝑇‬

‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝑇‬
‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬
‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬

‫جدول ( ‪) 1-4-1‬‬

‫من الجدول السابق نالحظ أن عمود القضية )𝑞 ⋁ 𝑝 ( ∨ 𝑝 ∽ كله قيم صحيحه ( ‪ , ) Truth values‬أذن هي تحصيل حاصل‪.‬‬
‫‪-8-‬‬
 ‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫مثال ( ‪ )1-4-2‬برهن أن القضية التالية ‪ ∽ 𝑝 ∧ ( 𝑝 ∧ 𝑞) :‬هي تناقن ‪.‬‬

‫البرهان ‪:‬‬
‫نكون جدول الصواب للقضية )𝑞 ∧ 𝑝 ( ∧ 𝑝 ∽ كما يلي‪:‬‬

‫𝑝‬ ‫𝑞‬ ‫𝑝∽‬ ‫)𝑞 ∧ 𝑝(‬ ‫)𝑞 ∧ 𝑝( ∧ 𝑝 ∽‬

‫𝑇‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬ ‫𝐹‬

‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝐹‬ ‫𝐹‬
‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝐹‬ ‫𝐹‬
‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝐹‬ ‫𝐹‬

‫جدول ( ‪) 1-4-2‬‬
‫من الجدول السابق نالحظ أن عمود القضية )𝑞 ∧ 𝑝 ( ∧ 𝑝 ∽ يحتوي علي قيم خاطئة ( ‪ , ) False values‬أذن هي تناقن ‪.‬‬
‫مثال ( ‪ )1-4-3‬برهن أن القضية التالية ‪ 𝑝 ∧ (∽ 𝑝 ∨∽ 𝑞) :‬هي قضية احتمالية ‪.‬‬
‫البرهان ‪:‬‬
‫نكون جدول الصواب للقضية )𝑞 ∽∨ 𝑝 ∽ ( ∧ 𝑝 كما يلي‪:‬‬

‫𝑝‬ ‫𝑞‬ ‫𝑝∽‬ ‫𝑞∽‬ ‫)𝑞 ∽∨ 𝑝 ∽ (‬ ‫)𝑞 ∽∨ 𝑝 ∽ ( ∧ 𝑝‬

‫𝑇‬ ‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝐹‬ ‫𝐹‬

‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬
‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬ ‫𝐹‬
‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝐹‬

‫جدول ( ‪) 1-4-3‬‬
‫من الجدول السابق نالحظ أن عمود القضية )𝑞 ∽∨ 𝑝 ∽ ( ∧ 𝑝 يحتوي علي قيم خاطئة و قيم صائبة ‪ ,‬أذن القضية‬
‫)𝑞 ∽∨ 𝑝 ∽ ( ∧ 𝑝 هي قضية إحتمالية ‪.‬‬
‫تعريف (‪ )1-4-4‬لتكن كل من 𝑃 و 𝑄 قضية ( بسيطة أو مركبة ) ‪ ,‬يقال أن القضية 𝑃 تكافئ القضية 𝑄 منطقيا اذا وفقط اذا كان جدول‬
‫صدق 𝑃 هونفس جدول صدق 𝑄‪,‬نرمز لذلك بالرمز 𝑄 ⟺ 𝑃 ‪ ",‬تقرآ 𝑃 تكافئ منطقيا 𝑄 ‪." P and Q are logically equivlent :‬‬
‫مثال ( ‪ )1-4-4‬برهن أن القضية 𝑞 → 𝑝 تكافئ منطقيا القضية )𝑞 ∨ 𝑝 ∽( ‪.‬‬
‫البرهان ‪:‬‬
‫نكون جدول الصواب للقضيتين 𝑞 → 𝑝 و )𝑞 ∨ 𝑝 ∽( كما يلي ‪:‬‬
‫𝑝‬ ‫𝑞‬ ‫𝑝∽‬ ‫)𝑞 ∨ 𝑝 ∽ (‬ ‫𝑞→𝑝‬
‫𝑇‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬ ‫𝑇‬
‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝐹‬ ‫𝐹‬
‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬

‫‪-9-‬‬
 ‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬

‫جدول ( ‪)1-4-4‬‬
‫نلحظ من الجدول اعاله‪ ,‬ان قيم صدق القضية )𝑞 ∨ 𝑝 ∽( هي نفس قيم صدق القضية 𝑞 → 𝑝‪ ,‬إذن )𝑞 ∨ 𝑝 ∽( ⟺ 𝑞 → 𝑝‪.‬‬

‫خصائص التكافؤ المنطقي ( ‪) Properties of Logical Equivalance‬‬

‫الجدول التالي يعرض أهم القضايا المتكافيئة منطقيا‪.‬‬

‫اسم القانون ( ‪) Name of Laws‬‬ ‫التكافؤ ( ‪) Equivalance‬‬ ‫م‬

‫قوانين المتممات ( ‪) Complementary Law‬‬ ‫𝐹⟺𝑇∽‬ ‫‪.iv‬‬
‫‪1‬‬
‫𝑇⟺𝐹∽‬ ‫‪.v‬‬
‫𝑝 ⟺ 𝑝 ∽∽‬ ‫‪.vi‬‬
‫𝑇⟺𝑝∽∨𝑝‬ ‫‪.vii‬‬
‫𝐹⟺𝑝∽∧𝑝‬ ‫‪.viii‬‬
‫قانون المحايد ( ‪) Identity Laws‬‬ ‫𝑝⟺𝑇∧𝑝‬ ‫‪.iii‬‬
‫‪2‬‬
‫𝑝⟺ 𝐹∨𝑝‬ ‫‪.iv‬‬
‫قانون السيطرة ( ‪) Domination Laws‬‬ ‫𝑇⟺𝑇∨𝑝‬ ‫‪.i3‬‬
‫𝑝⟺ 𝐹∧𝑝‬ ‫‪.ii‬‬
‫قانون أال متصاص ( ‪) Idempotent Laws‬‬ ‫𝑝⟺𝑝∨𝑝‬ ‫‪.i4‬‬
‫𝑝⟺𝑝∧𝑝‬ ‫‪.ii‬‬
‫قانون التبديل ( ‪) Commutative Laws‬‬ ‫𝑝∨ 𝑞⟺ 𝑞∨𝑝‬ ‫‪.i5‬‬
‫𝑝∧ 𝑞⟺ 𝑞∧𝑝‬ ‫‪.ii‬‬
‫قانون التنسيق ( ‪) Associative Laws‬‬ ‫)𝑟 ∨ 𝑞( ∨ 𝑝 ⟺ ‪(𝑝 ∨ 𝑞) ∨ r‬‬ ‫‪.i6‬‬
‫)𝑟 ∧ 𝑞( ∧ 𝑝 ⟺ ‪(𝑝 ∧ 𝑞) ∧ r‬‬ ‫‪.ii‬‬
‫قانون التوزيع ( ‪) Distibutive Laws‬‬ ‫)𝑟 ∨ 𝑝( ∧ )𝑞 ∨ 𝑝( ⟺ )𝑟 ∧ 𝑞( ∨ 𝑝‬ ‫‪.i7‬‬
‫)𝑟 ∧ 𝑝( ∨ )𝑞 ∧ 𝑝( ⟺ )𝑟 ∨ 𝑞( ∧ 𝑝‬ ‫‪.ii‬‬
‫قانون ديمورجان ( ‪) Demorgan's Laws‬‬ ‫𝑝 ∽ ∧ 𝑞 ∽⟺ )𝑞 ∨ 𝑝 ( ∽‬ ‫‪.i8‬‬
‫𝑝 ∽ ∨ 𝑞 ∽⟺ )𝑞 ∧ 𝑝 ( ∽‬ ‫‪.ii‬‬
‫العالقة بين الروابط‬ ‫𝑞∨ 𝑝∽⟺ 𝑞→𝑝‬ ‫‪.i9‬‬
‫) ‪)Relation between connectives‬‬ ‫)𝑞 ∽∧ 𝑝( ∽ ⟺ 𝑞 → 𝑝‬ ‫‪.ii‬‬
‫𝑞 → )𝑞 → 𝑝( ⟺ 𝑞 ∨ 𝑝‬ ‫‪.iii‬‬
‫𝑞 → 𝑝 ∽⟺ 𝑞 ∨𝑝‬ ‫‪.iv‬‬
‫𝑞 ∽ ↔ 𝑝 ⟺ )‪∽ ( p → q‬‬
‫𝑞 ∽ ∧ 𝑝 ⟺ )‪∽ ( p → q‬‬
‫)𝑝 ∨ 𝑞 ∽( ∧ )𝑞 ∨ 𝑝 ∽( ⟺ )‪( p → q‬‬

‫‪- 10 -‬‬
 ‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫جدول ( ‪)1-4-5‬‬

‫جدول خصائص التكافؤ المنطقي نستخدم في البراهين وتمكننا من األ نتقال من قضية الى اخري الزمة عنها أو مكافئة لها‪.‬‬
‫مثال ( ‪ )1-4-5‬برهن أن القضية )𝑞 ∨ 𝑝( → )𝑞 ∧ 𝑝( هي تحصيل حاصل ( توتولوجي ) مستخد ما خصائص التكافؤ المنطقي‪.‬‬
‫البرهان ‪:‬‬
‫)𝑞 ∨ 𝑝( → )𝑞 ∧ 𝑝( ∵‬ ‫)𝑞 ∨ 𝑝( ∨ )𝑞 ∧ 𝑝( ∽ ⟺‬
‫)𝑞 ∨ 𝑝( ∨ )𝑞 ∽ ∨ 𝑝 ∽( ⟺‬
‫𝑞 ∨ ]𝑝 ∨ )𝑞 ∽ ∨ 𝑝 ∽([ ⟺‬
‫𝑞 ∨ ]𝑝 ∨ )𝑝 ∽∨ 𝑞~([ ⟺‬
‫𝑞 ∨ ]𝑇 ∨ 𝑞 ∽[ ⟺‬
‫𝑞∨ 𝑇 ⟺‬
‫𝑇 ⟺‬
‫إذن القضية )𝑞 ∨ 𝑝( → )𝑞 ∧ 𝑝( هي تحصيل حاصل‪.‬‬
‫مثال ( ‪ )1-4-6‬برهن أن القضية )𝑞 ∨ 𝑝 ∼( ∧ )𝑞 ∽∧ 𝑝( هي قضية متناقضة مستخد ما خصائص التكافؤ المنطقي‪.‬‬
‫البرهان ‪:‬‬
‫)‪∵ (p∧∽q)∧(q∨∼p)⟺ (p∧∽q)∧(∼p∨q‬‬
‫])𝑝 ∼∨ 𝑞( ∧ 𝑞 ∽[ ∧ 𝑝 ⟺‬
‫])𝑝 ∼∧ 𝑞 ∽( ∨ )𝑞 ∧ 𝑞 ∽([ ∧ 𝑝 ⟺‬
‫])𝑝 ∼∧ 𝑞 ∽( ∨ 𝐹[ ∧ 𝑝 ⟺‬
‫)𝑝 ∼∧ 𝑞 ∽( ∧ 𝑝 ⟺‬
‫)𝑞 ∼∧ 𝑝 ∽( ∧ 𝑝 ⟺‬
‫𝑞 ∽∧ )𝑝 ∽∧ 𝑝( ⟺‬
‫𝑞 ∽∧ 𝐹 ⟺‬
‫𝐹 ⟺‬
‫إذن القضية )𝑞 ∨ 𝑝 ∼( ∧ )𝑞 ∽∧ 𝑝( هي متناقضة‪.‬‬
‫مثال ( ‪ )1-4-7‬برهن أن القضيتين )𝑞 ∽ ∧ 𝑝 ∽( ∨ )𝑞 ∧ 𝑝( ⟺ 𝑞 ↔ 𝑝 متكافئتين منطقيا مستخدما قوانين التكافؤ‬
‫المنطقي‪.‬‬
‫البرهان ‪:‬‬
‫)𝑝 → 𝑞( ∧ )𝑞 → 𝑝( ⟺ )𝑞 ∨ 𝑝 ∼( ∧ )𝑞 ∽∧ 𝑝( ∵‬
‫)𝑝 ∨ 𝑞 ∽( ∧ )𝑞 ∨ 𝑝 ∽( ⟺‬
‫])𝑝 ∨ 𝑞 ∽( ∧ 𝑞[ ∨ ])𝑝 ∨ 𝑞 ∽( ∧ 𝑝 ∽[ ⟺‬
‫])𝑝 ∨ 𝑞( ∨ )𝑞 ∽∧ 𝑞([ ∨ ] )𝑝 ∧ 𝑝 ∽( ∨ )𝑞 ∽∧ 𝑝 ∽([ ⟺‬
‫])𝑝 ∨ 𝑞( ∨ 𝐹[ ∨ ] 𝐹 ∨ )𝑞 ∽∧ 𝑝 ∽([ ⟺‬
‫)𝑝 ∨ 𝑞( ∨ )𝑞 ∽∧ 𝑝 ∽( ⟺‬

‫‪- 11 -‬‬
‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫)𝑞 ∽∧ 𝑝 ∽( ∨ )𝑝 ∨ 𝑞( ⟺‬
‫)𝑞 ∽∧ 𝑝 ∽( ∨ )𝑞 ∨ 𝑝( ⟺‬

‫تمارين ( ‪) 1 -4‬‬
‫‪ .1‬عرف مفهوم الحشو ( تحصيل الحاصل )‪.‬‬
‫‪ .2‬برهن أن القضايا التالية تحصيل حاصل مستخدما جداول الصواب‪.‬‬
‫𝑝 ∽ ∨ 𝑝‪.‬‬ ‫‪.i‬‬
‫𝑝(‪.‬‬ ‫𝑝 → )𝑞 ∧‬ ‫‪.ii‬‬
‫∽(‪.‬‬ ‫𝑞 → )𝑞 ∧ 𝑝‬ ‫‪.iii‬‬
‫𝑝 (‪.‬‬ ‫)𝑞 ∨ 𝑝( ⟷ )𝑞 ∧‬ ‫‪.iv‬‬
‫)𝑟 → 𝑝( → ])𝑟 → 𝑞( ∧ )𝑞 → 𝑝([‪.‬‬ ‫‪.v‬‬
‫‪6‬‬
‫‪ .3‬عرف مفهوم التناقن المنطقي‪.‬‬
‫‪ .4‬برهن أن القضايا التالية متناقضة مستخدما جداول الصواب‪.‬‬

‫𝑝 ∽ ∧ 𝑝‪.‬‬ ‫‪.i‬‬
‫]𝑞 ∧ )𝑞 ∽∨ 𝑝 ([ ∧ 𝑝 ∽‪.‬‬ ‫‪.ii‬‬
‫∧ )𝑞 ∨ 𝑝 ∽(‪.‬‬ ‫)𝑞 ∽ ∧ 𝑝(‬ ‫‪.iii‬‬

‫‪ .5‬عرف مفهوم القضية االحتمالية‪.‬‬

‫‪ .6‬برهن أن القضايا التالية احتمالية مستخدما جداول الصواب‪.‬‬
‫𝑝 → ] 𝑝 ∽ ∧ )𝑞 ∨ 𝑝([‪.‬‬ ‫‪.i‬‬
‫𝑝 → ] )𝑞 → 𝑝( ∧ 𝑞[‪.‬‬ ‫‪.ii‬‬
‫‪ .7‬برهن أن القضايا المنطقية في جدول ( ‪ )1-4-5‬متكافئة منطقيا مستخدما جداول الصواب‪.‬‬
‫𝑟 ⟺ )𝑟 ∧ 𝑝( ∨ )𝑟 ∧ 𝑞( ∨ ))𝑟 ∧ 𝑞 ∽ ( ∧ 𝑝 ∽(‬ ‫‪ . 8‬برهن أن ‪:‬‬
‫‪ .9‬إذا كان لدينا القضايا التالية‪.‬‬
‫)𝑟 ∧ 𝑞( → 𝑝‬ ‫‪.i‬‬
‫)𝑞 ∨ 𝑝( → )‪(p ∧ q‬‬ ‫‪.ii‬‬
‫فاوجد المعكوس والنيير والمعاكس أاليجابي لكل منهما‪.‬‬
‫‪ .10‬برهن أن القضيتين )𝑟 ∨ 𝑞( ∨ 𝑝 ⟺ )𝑟 ∨ 𝑞( → ])𝑟 → 𝑝( ∨ )𝑞 → 𝑝([ متكافئتين منطقيا مستخدما قوانين التكافؤ‬
‫المنطقي‪.‬‬
‫𝑞 ⇔ )𝑞 ∨ 𝑝( ∧ ))𝑞 ∽∧ 𝑝(~( قضيتين متكافئتين‪.‬‬ ‫‪ .11‬برهن أن‬

‫‪- 12 -‬‬
 ‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫ا لمقاييس ( المكممات ) الكلية والجزئية‬ ‫‪1-5‬‬

‫( ‪) Existential and Universal Quantifiers‬‬

‫المقياس الشامل ( ‪) Universal Quantifier‬‬

‫تعريف ( ‪ )1-5-1‬لتكن )𝑥(𝑝 جملة مفتوحة في ‪ x‬معرفة علي مجموعة ‪ .A‬القضية " لكل 𝐴 ∈ 𝑥 تكون الجملة‬
‫المفتوحة )𝑥(𝑝 صادقة " تسمي مقياس شامل ( مكمم كلي )‪.‬‬
‫ترميز ( ‪ : (∀ 𝑥 ∈ 𝐴 𝑝(𝑥)) :) Notation‬الرمز ∀ يقرأ لكل أو لجميع العناصر داخل المجموعة ‪. A‬‬
‫تفسير ( ‪ :) Interpretation‬المقياس الشامل ))𝑥(𝑝 𝐴 ∈ 𝑥 ∀(‪ ,‬يكون صادقا إذا كان كل شيء في المجموعة ‪A‬‬
‫يحقق الجملة المفتوحة )𝑥(𝑝‪,‬وتكون مجموعة الحل 𝐴ِِ = 𝑝𝑆 ‪ ,‬ويكون كاذبا ‪ ,‬إذا ما وجد شيء ما في‬
‫المجموعة ‪A‬ال يحقق الجملة المفتوحة )𝑥(𝑝‪.‬‬
‫مثال ( ‪ )1-5-1‬لتكن المجموعة }انسان ‪ 𝐴 = {𝑥: 𝑥 −‬مجموعة كل الناس‪ ,‬ولتكن الجملة المفتوحة‬
‫} عرضة للموت ‪ , 𝑝(𝑥) = {𝑥 ∶ 𝑥 −‬نالحظ أن )𝑥(𝑝 في حد ذاتها ليست لها قيمة حقيقة‪ ,‬لكن في وجود المقياس‬
‫الشامل ∀ معها تصبح ‪ " (∀ 𝑥 ∈ 𝐴 𝑝(𝑥)) :‬كل إنسان معرض للموت " ‪ ,‬قضية لها قيمة حقيقة صادقة‪.‬‬
‫مالحظة ‪ :‬الصيغ الرمزية التالية تحمل نفس الداللة ))𝑥(𝑝 𝐴 ∈ 𝑥 ∀( أو ))𝑥(𝑝 𝑥∀( أو ))𝑥(𝑝 ‪.(∀ 𝑥,‬‬
‫مثال ( ‪ )1-5-2‬لتكن } … ‪ ℕ = {0,1,2,3,‬مجموعة أألعداد الطبيعية‪ ,‬وإذا كان لدينا الجملة المفتوحة‬
‫} ‪ , 𝑝(𝑥) = {𝑥: 𝑥 + 5 > 4‬فان المقياس الكلي ‪ (∀ 𝑥 ∈ ℕ 𝑝(𝑥)) = ℕ‬يكون قضية صادقه‪,‬أما إذا كان لدينا الجملة‬
‫المفتوحة } ‪ , 𝑝(𝑥) = {𝑥: 𝑥 + 2 > 4‬فان المقياس الكلي ‪ (∀ 𝑥 ∈ ℕ 𝑝(𝑥)) ≠ ℕ‬يكون قضية كاذبة‪.‬‬
‫المقياس الوجودي ( ‪) Existential Quantifier‬‬
‫تعريف ( ‪ )1-5-2‬لتكن )𝑥(𝑝 جملة مفتوحة في ‪ x‬معرفة علي مجموعة ‪ .A‬القضية " يوجد 𝐴 ∈ 𝑥 تكون الجملة‬
‫المفتوحة )𝑥(𝑝 صادقة " تسمي مقياس وجودي أو جزيئي ( مكمم جزيئي )‪.‬‬
‫ترميز ( ‪ : (∃ x ∈ A p(x)) :) Notation‬الرمز ∃ يقرأ لبعض أو لواحد على األقل من عناصر المجموعة ‪. A‬‬
‫تفسير ( ‪ :) Interpretation‬المقياس الجزئي ))‪ ,(∃ x ∈ A p(x‬يكون كاذبا ‪,‬إذا كان كل شيء في المجموعة ‪A‬‬
‫ال يحقق الجملة المفتوحة )𝑥(𝑝‪,‬وتكون مجموعة الحل 𝛷ِِ = 𝑝𝑆 ‪ ,‬ويكون صادقا‪ ,‬إذا ما وجد شيء ما في‬

‫المجموعة ‪ A‬يحقق الجملة المفتوحة )𝑥(𝑝‪ ,‬وتكون مجموعة الحل 𝛷ِِ ≠ 𝑝𝑆‪.‬‬
‫مثال ( ‪ )1-5-3‬لتكن } … ‪ ℕ = {0,1,2,3,‬مجموعة أألعداد الطبيعية‪ ,‬وإذا كان لدينا الجملة المفتوحة‬

‫‪- 13 -‬‬
 ‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫} ‪ , 𝑝(𝑥) = {𝑥: 𝑥 + 4 < 2‬فان المقياس الجزئي ))𝑥(𝑝 ‪ (∃ 𝑥 ∈ ℕ‬يكون قضية كاذبة وتكون مجموعة الحل = 𝑝𝑆‬

‫𝛷ِِ ‪ ,‬أما إذا كان لدينا الجملة المفتوحة } ‪ , 𝑝(𝑥) = {𝑥: 𝑥 + 1 > 4‬فان المقياس الجزئي ))𝑥(𝑝 ‪ (∃𝑥 ∈ ℕ‬يكون قضية‬
‫صادقة‪ ,‬وتصبح مجموعة الحل ‪. 𝑆𝑝 = ِِ{4,5,6, … } ≠ Φ‬‬
‫نفي القضايا التي تحتوي علي مقاييس كلية وجزئية ‪:‬‬
‫‪Negation of Propositions which Contain Existential Quantifier and Universal Quantifier :‬‬
‫تعريف ( ‪ )1-5-3‬لتكن لدينا القضية الكلية ))𝑥(𝑝 ‪ ,(∀ 𝑥,‬فان نفي القضية الكلية يعرف كما يلي ))𝑥(𝑝~ ‪.(∃ 𝑥,‬‬
‫تعريف ( ‪ )1-5-4‬لتكن لدينا القضية الجزئية ))𝑥(𝑝 ‪ ,(∃ 𝑥,‬فان نفي القضية الجزئية يعرف كما يلي ))𝑥(𝑝~ ‪.(∀ 𝑥,‬‬
‫( ‪ )1-5-4‬لتكن لدينا القضية التالية ‪ :‬كل طالب جامعي عمره اقل من أربعين سنة ‪ .‬اوجد نفي القضية ثم عبر عن ذلك‬ ‫مثال‬
‫رمزيا‪.‬‬

‫الحل ‪:‬‬

‫نفرض أن 𝑥 تمثل طالب جامعي‪ ,‬والجملة المفتوحة )𝑥(𝑝 ‪ :‬تمثل طالبا ً عمره اقل من أربعين سنة ‪ ,‬فنكون القضية الكلية رمزيا‪:‬‬
‫))𝑥(𝑝 ‪. (∀𝑥 ,‬فيكون نفي القضية ليس صحيحا أن كل طالب جامعي عمره اقل من أربعين سنة‪.‬هذا يعني وجود طالب جامعي علي‬
‫األقل عمره اكبر من أو يساوي أربعين سنة‪,‬وتأخذ الصيغة الرمزية التالية‪.(∃ 𝑥, ~𝑝(𝑥)) :‬‬

‫مالحظة ‪ :‬القضايا التالية متكافئة منطقيا‪:‬‬

‫))𝑥(𝑝~ ‪.~(∀𝑥, 𝑝(𝑥)) ⟺ (∃𝑥,‬‬ ‫‪.i‬‬

‫))𝑥(𝑝~ ‪.~(∃𝑥, 𝑝(𝑥)) ⟺ (∀𝑥,‬‬ ‫‪.ii‬‬

‫مثال ( ‪ )1-5-5‬لتكن ‪ ℝ‬مجموعة األعداد الحقيقية أوجد نفي القضية ) 𝑥 = |𝑥| ‪. ∽ (∀𝑥 ∈ ℝ, 𝑝(𝑥):‬‬

‫الحل‪:‬‬

‫))𝑥 = |𝑥|(~ ‪∽ (∀𝑥 ∈ ℝ, 𝑝(𝑥): |𝑥| = 𝑥 ) ⟺ (∃𝑥 ∈ ℝ, ~𝑝(𝑥):‬‬

‫)𝑥 ≠ |𝑥|( ‪⟺ (∃𝑥 ∈ ℝ, ~𝑝(𝑥):‬‬

‫مثال ( ‪ )1-5-6‬لتكن ‪ ℝ‬مجموعة األعداد الحقيقية أوجد نفي القضية ) 𝑥 = ‪. (∃𝑥 ∈ ℝ, 𝑝(𝑥): 𝑥 + 2‬‬

‫الحل‪:‬‬

‫))𝑥 = ‪~(∃𝑥 ∈ ℝ, 𝑝(𝑥): 𝑥 + 2 = 𝑥 ) ⟺ (∀𝑥 ∈ ℝ, ~𝑝(𝑥): ~(𝑥 + 2‬‬

‫))𝑥 ≠ ‪⟺ (∀𝑥 ∈ ℝ, ~𝑝(𝑥): (𝑥 + 2‬‬

‫تمارين ( ‪) 1 -5‬‬

‫‪- 14 -‬‬
 ‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫‪ .1‬لتكن ‪ ℝ‬مجموعة األعداد الحقيقية ‪ ,‬عين قيمة الحقيقة في كل القضايا التالية ‪:‬‬
‫‪∀𝑥 ∈ ℝ, |𝑥|= x‬‬ ‫‪.i‬‬
‫‪𝑥, 𝑥 ≥ 0‬‬
‫{ = |𝑥| ‪∀𝑥 ∈ ℝ,‬‬ ‫‪.ii‬‬
‫‪𝑥, < 0‬‬
‫‪∀𝑥 ∈ ℝ, 𝑥 + 2 > 2‬‬ ‫‪.iii‬‬
‫𝑥 = ‪∃𝑥 ∈ ℝ, 𝑥 2‬‬ ‫‪.iv‬‬
‫𝑥 = ‪∃𝑥 ∈ ℝ, 𝑥 + 2‬‬ ‫‪.v‬‬
‫‪∃𝑥 ∈ ℝ, |𝑥| = 0‬‬ ‫‪.vi‬‬
‫‪ .2‬لتكن ‪ ℝ‬مجموعة األعداد الحقيقية ‪ ,‬أوجد نفي كل القضايا التالية ‪:‬‬
‫‪∀𝑥 ∈ ℝ, |𝑥|= x‬‬ ‫‪.i‬‬
‫‪𝑥, 𝑥 ≥ 0‬‬
‫{ = |𝑥| ‪∀𝑥 ∈ ℝ,‬‬ ‫‪.ii‬‬
‫‪𝑥, < 0‬‬
‫‪∀𝑥 ∈ ℝ, 𝑥 + 2 > 2‬‬ ‫‪.iii‬‬
‫𝑥 = ‪∃𝑥 ∈ ℝ, 𝑥 2‬‬ ‫‪.iv‬‬
‫𝑥 = ‪∃𝑥 ∈ ℝ, 𝑥 + 8‬‬ ‫‪.v‬‬
‫‪∃𝑥 ∈ ℝ, |𝑥| = 0‬‬ ‫‪.vi‬‬
‫‪ .3‬أعد حل التمرين ‪ 1‬و ‪ 2‬بالنسبة ل ‪ ℤ :‬مجموعة األعداد الصحيحة و ‪ ℕ‬مجموعة االعداد الطبيعية‪.‬‬
‫‪ .4‬لتكن لدينا المجموعة }‪ ِ𝐴 = {, 1,2,3,4,5‬عين قيمة الحقيقة لكل القضايا التالية‪:‬‬
‫‪∀𝑥 ∈ 𝐴, 𝑥 + 2 < 9‬‬ ‫‪.i‬‬
‫‪∀𝑥 ∈ 𝐴, 𝑥 + 2 < 6‬‬ ‫‪.ii‬‬
‫‪∀𝑥 ∈ 𝐴, 𝑥 + 4 ≤ 8‬‬ ‫‪.iii‬‬
‫‪∃𝑥 ∈ 𝐴, 𝑥 + 2 = 6‬‬ ‫‪.iv‬‬
‫‪∃𝑥 ∈ 𝐴, 𝑥 + 2 = 9‬‬ ‫‪.v‬‬
‫‪∃𝑥 ∈ 𝐴, 𝑥 + 2 < 6‬‬ ‫‪.vi‬‬
‫‪ .5‬أوجد نفي القضية لكل القضايا في التمرين ‪.4‬‬

‫المجادالت ( الحجج ) الصائبة ( ‪) Valid Arguments‬‬ ‫‪1-6‬‬

‫تعريف ( ‪ )1-6-1‬المجادلة ( ‪ ) Argument‬هي مجموعة منتهية من القضايا 𝑛𝐴 ‪ 𝐴1 , 𝐴2 , 𝐴3 , … ,‬البسيطة أو المركبة ‪ ,‬تسمي‬

‫مقدمات ( ‪ ) Premises‬أو الفرضيات ‪ ,‬ولتكن 𝐴 عبارة يمكن استنتاجها من المقدمات تسمي النتيجة (‪. (Conclusion‬‬

‫نرمز للمجادلة بالرمز ‪. 𝐴1 , 𝐴2 , 𝐴3 , … , 𝐴𝑛 ⊨ A :‬‬

‫تعريف ( ‪ )1-6-2‬المجادلة ‪ 𝐴1 , 𝐴2 , 𝐴3 , … , 𝐴𝑛 ⊨ A‬تكون صائبة ( ‪ ) Valid‬إذا لم توجد دالة ‪ v‬تحقق العالقة ‪:‬‬

‫𝐹 = ) 𝐴(𝑣 ∧ ‪𝑣(𝐴1 ) = 𝑣(𝐴2 ) = 𝑣(𝐴3 ) = ⋯ = 𝑣(𝐴𝑛 ) = T‬‬

‫‪- 15 -‬‬
 ‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫مالحظة ‪ :‬إذا كانت المجادلة ‪ 𝐴1 , 𝐴2 , 𝐴3 , … , 𝐴𝑛 ⊨ A‬غير صائبة ( ‪ , ) invalid‬فإننا نرمز لها بالرمز‪:‬‬

‫𝐴 ⊭ 𝑛𝐴 ‪𝐴1 , 𝐴2 , 𝐴3 , … ,‬‬

‫نظرية (‪ )1-6-1‬تكون المجادلة ‪ 𝐴1 , 𝐴2 , 𝐴3 , … , 𝐴𝑛 ⊨ A‬صائبة إذا و فقط إذا كان القضية ‪:‬‬

‫𝐴 → ) 𝑛𝐴 ∧ … ∧ ‪ ( 𝐴1 ∧ 𝐴2 ∧ 𝐴3‬هي تحصيل حاصل أي صحيحة لكل قيم ‪.v‬‬

‫مثال ( ‪ )1-6-1‬اعتبر المجادلة التالية ‪ ( 𝑝 → 𝑞, 𝑝 ⊨ 𝑞 :‬قانون االنفصال) أي إذا كانت 𝑝 ‪ 𝑝 → 𝑞,‬صوابا إذن 𝑞 صوابا‪.‬‬

‫فهل المجادلة صائبة ؟‬

‫الحل‪:‬‬

‫لكي نناقش فيما إذا كانت المجادلة صائبة‪ ,‬نعتبر جدول الحقيقة التالي‪:‬‬

‫𝑝‬ ‫𝑞‬ ‫𝑞→𝑝‬

‫𝑇‬ ‫𝑇‬ ‫𝑇‬
‫𝑇‬ ‫𝐹‬ ‫𝐹‬
‫𝐹‬ ‫𝑇‬ ‫𝑇‬
‫𝐹‬ ‫𝐹‬ ‫𝑇‬

‫جدول ( ‪)1-6-1‬‬
‫نالحظ أن 𝑝 ‪ 𝑝 → 𝑞,‬تكون صوابا في السطر األول من الجدول ‪ ,‬لذلك نجد 𝑞 أيضا صواب ‪.‬فتكون المجادلة صائبة‪.‬‬

‫باستخدام النيرية ( ‪ (1-6-1‬نكون جدول الحقيقة التالي‪:‬‬

‫𝑝‬ ‫𝑞‬ ‫𝑞→𝑝‬ ‫𝑝 ∧ ) 𝑞 → 𝑝(‬ ‫𝑞 → ]𝑝 ∧ ) 𝑞 → 𝑝([‬

‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬
‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝐹‬ ‫𝑇‬
‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬
‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬

‫جدول ( ‪)1-6-2‬‬
‫نالحظ من الجدول أن القضية 𝑞 → ]𝑝 ∧ ) 𝑞 → 𝑝([ هي تحصيل حاصل‪.‬‬

‫يمكن إعطاء مثال يبن المجادلة السابقة كما يلي‪ :‬إذا كان اليوم الجمعة‪,‬فاني لن أذهب إلى المدرسة ‪.‬اليوم الجمعة‪ ,‬إذن لن أذهب إلى‬
‫المدرسة‪.‬‬

‫مثال ( ‪ )1-6-2‬اعتبر المجادلة التالية ‪ 𝑝 → 𝑞, 𝑞 ⊨ 𝑝 :‬فهل المجادلة صائبة ؟‬

‫الحل‪:‬‬

‫نكون جدول الحقيقة التالي ‪:‬‬

‫‪- 16 -‬‬
 ‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫𝑝‬ ‫𝑞‬ ‫𝑞→𝑝‬ ‫𝑞 ∧ ) 𝑞 → 𝑝(‬ ‫𝑝 → ]𝑞 ∧ ) 𝑞 → 𝑝([‬

‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬
‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝐹‬ ‫𝑇‬
‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝐹‬
‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬

‫جدول ( ‪)1-6-3‬‬
‫نالحظ من الجدول أن القضية 𝑝 → ]𝑞 ∧ ) 𝑞 → 𝑝([ ال تمثل تحصيل حاصل‪,‬إذن المجادلة ليست صائبة ‪,‬أي أن‬

‫𝑝 ⊭ 𝑞 ‪𝑝 → 𝑞,‬‬

‫مثال ( ‪ )1-6-3‬اعتبر المجادلة التالية ‪ ( 𝑝 → 𝑞, 𝑞 → 𝑟 ⊨ 𝑝 → 𝑟 :‬قانون القياس المنطقي ) فهل المجادلة صائبة ؟‬

‫الحـــــل ‪:‬‬
‫نكون جدول الحقيقة التالي ‪:‬‬

‫𝑝‬ ‫𝑞‬ ‫‪r‬‬ ‫𝑞→𝑝‬ ‫𝑟→ 𝑞‬ ‫𝑟→ 𝑝‬ ‫𝑟→ 𝑞 ∧𝑞→𝑝‬ ‫)𝑟 → 𝑝 ( → )𝑟 → 𝑞 ∧ 𝑞 → 𝑝)‬
‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬
‫𝑇‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝐹‬ ‫𝑇‬
‫𝑇‬ ‫𝐹‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬
‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝐹‬ ‫𝐹‬ ‫𝑇‬
‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬
‫𝐹‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬ ‫𝐹‬ ‫𝑇‬
‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬
‫𝐹‬ ‫𝐹‬ ‫𝐹‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬ ‫𝑇‬

‫جدول ( ‪)1-6-4‬‬
‫)𝑟 → 𝑝 ( → )𝑟 → 𝑞 ∧ 𝑞 → 𝑝( تمثل تحصيل حاصل‪,‬إذن المجادلة صائبة ‪.‬‬ ‫نالحظ من الجدول أن القضية‬

‫المثال التالي يبن المجادلة السابقة كما يلي‪ :‬إذا كان اليوم السبت‪,‬فاني مكتبة الجامعة مفتوحة ‪.‬إذا كانت مكتبة الجامعة مفتوحة‪ ,‬فاني‬
‫سوف أراجع دروسي في مكتبة الجامعة‪.‬إذن نستنتج إذا كان اليوم السبت‪,‬فاني أراجع دروسي في مكتبة الجامعة‪.‬‬

‫تمارين ( ‪) 1 -6‬‬
‫بين فيما إذا كانت المجادالت التالية صائبة أم غير صائبة؟‬
‫𝑟 ⊨ 𝑝 ‪(𝑝 ∧ 𝑞) → 𝑟,‬‬ ‫‪.i‬‬
‫𝑟 → 𝑝 ⊨ 𝑞 ‪𝑝 → (𝑞 → 𝑟),‬‬ ‫‪.ii‬‬
‫𝑞 ∨ 𝑝 ⊨ 𝑞 → 𝑟 ‪𝑟 ↔ 𝑠, 𝑝 ∨∽ 𝑠,‬‬ ‫‪.iii‬‬
‫𝑝 ∽⊨ 𝑞 ∽ ‪𝑝 → 𝑞,‬‬ ‫‪.iv‬‬
‫‪- 17 -‬‬
 ‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫𝑞 ⊨ 𝑝 ‪𝑝 ∧ 𝑞,‬‬ ‫‪.v‬‬
‫𝑞 ⊨ 𝑝 ‪𝑝 ∨ 𝑞,‬‬ ‫‪.vi‬‬
‫𝑞 ⊨ 𝑝 ∽ ‪𝑝 ∨ 𝑞,‬‬ ‫‪.vii‬‬
‫𝑞 ∽⊨ 𝑝 ‪𝑝 ∨ 𝑞,‬‬ ‫‪.viii‬‬
‫𝑟 → 𝑞 ⊨ 𝑟 → 𝑝 ‪𝑝 → 𝑞,‬‬ ‫‪.ix‬‬
‫𝑞 ∽→ 𝑟 ⊨ 𝑟 ∨ 𝑞 ‪𝑝 → 𝑞,‬‬ ‫‪.x‬‬
‫𝑝 → 𝑞 ⊨ 𝑞 ∨ 𝑝 ∽ ‪𝑝 → 𝑞,‬‬ ‫‪.xi‬‬
‫𝑝 ⊨ 𝑝 ↔ 𝑞 ∽ ‪𝑞 → 𝑝,‬‬ ‫‪.xii‬‬
‫𝑟 ⊨ 𝑝 ‪(𝑝 ∨ 𝑞) → 𝑟,‬‬ ‫‪.xiii‬‬
‫𝑝 ⊨ 𝑟 ‪𝑞 → 𝑞, ∽ 𝑞 → 𝑟,‬‬ ‫‪.xiv‬‬

‫الدوال البوولية و تصميم الدوائر الكهربية‬ ‫‪1-7‬‬

‫( ‪) Boolean Functions and Switching Circuits Design‬‬

‫تعريف ( ‪ )1-7-1‬الدالة ( ‪ :) Function‬لتكن لدينا المجموعتين ‪ A‬و ‪ B‬نعرف الدالة 𝑓 من المجموعة ‪ A‬إلى من المجموعة ‪B‬‬
‫بأنها قاعدة تربط كل عنصر ‪ x‬من المجموعة ‪ A‬بعنصر‪ y‬وحيد من المجموعة ‪ . B‬نرمز لذلك بالرمز 𝑦 = )𝑥(𝑓 ∋ → 𝐴 ‪𝑓:‬‬
‫𝐵‬
‫يمكن صياغة ذلك رمزي ًا على النحو التالي ‪:‬‬
‫⃗⃗⃗⃗⃗⃗⃗⃗⃗⃗ 𝐴 ‪𝑓:‬‬
‫‪𝑓𝑢𝑛 𝐵 ⟺ ( ∀ 𝑥 ∈ 𝐴 ⇒ ∃! 𝑦 ∈ 𝐵 ∋ 𝑓(𝑥) = 𝑦 ).‬‬
‫‪ : A‬تسمي بمجال (‪ (Domain‬الدالة 𝑓 ‪.‬‬ ‫‪‬‬
‫‪ : B‬تسمي بمدى ( ‪ ( Range‬الدالة 𝑓 ‪.‬‬ ‫‪‬‬
‫𝑓 ‪ :‬تسمي دالة من ‪ A‬إلى ‪. B‬‬ ‫‪‬‬

‫تعريف ( ‪ )1-7-2‬الدالة البوولية ( ‪ : ) Boolean Function‬لتكن 𝑛}‪ 𝐴𝑛 = {0,1‬و }‪ 𝐵 = {0,1‬نعرف الدالة ‪:‬‬
‫}‪ 𝑓: {0,1}𝑛 → {0,1‬بحيث أن كل عنصر في المجموعة‬
‫}‪ {0,1}n = {(𝑥1 , 𝑥2 , 𝑥3, … , 𝑥𝑛 ): 𝑥𝑖 = 0 ⋁𝑥𝑖 = 1‬تكون صورته إما ‪ 0‬أو ‪ 1‬في المجموعة }‪. 𝐵 = {0,1‬‬

‫مثال ( ‪ )1-7-3‬لتكن لدينا الدالة ‪ 𝑓: {0,1}2 → {0.1} :‬معرفة كما في الجدول التالي ‪:‬‬

‫𝑝‬ ‫‪q‬‬ ‫‪f‬‬

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

‫هذا يعني ‪𝑓(0,0) = 0, 𝑓(0,1) = 1, 𝑓(1,0) = 0, 𝑓(1,1) = 1 :‬‬

‫𝑛 = |𝐴| و = |𝐵|‬ ‫مالحية ‪ :‬لتكن 𝐵 → 𝐴 ‪ 𝑓:‬دالة من المجموعة 𝐴 إلي المجموعة 𝐵 ‪ ,‬بحيث أن عدد عناصر المجموعة‬
‫𝑚‬
‫فان عدد الدوال من المجموعة من المجموعة 𝐴 إلي المجموعة 𝐵 يساوي 𝑛𝑚 ‪.‬‬

‫‪- 18 -‬‬
 ‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫الدوائر الكهربية هي مجموعة من المفاتيح المنتهية ولتكن 𝑛 … ‪ 𝑝, 𝑞, 𝑟,‬مرتبطة إما علي التوالي أوعلي التوازي ‪ .‬هذه المفاتيح لهل‬
‫خاصية أنه إذا كان أحدها مفتوحاً‪ ,‬فاألخر مغلق والعكس صحيح‪.‬‬

‫نفرض أن 𝑝 تمثل أن المفتاح مفتوح فتكون 𝑝 ∽ تعبر أن المفتاح مغلق ‪ ,‬والعكس بالعكس‪ .‬يمكن توصيل المفتاحين 𝑝 و 𝑞 علي‬
‫التوالي كما يلي‪:‬‬

‫𝑝‬ ‫𝑞‬

‫‪+‬‬ ‫‪-‬‬
‫اتصال علي التوالي يرمز له بالرمز 𝑞 ∧ 𝑝‪.‬‬

‫أما التوصيل علي التوازي فيكون علي الشكل التالي‪:‬‬

‫𝑝‬

‫𝑞‬

‫‪+‬‬ ‫‪-‬‬
‫اتصال علي التوازي يرمز له بالرمز 𝑞 ∨ 𝑝‪.‬‬

‫مثال ( ‪ )1-7-4‬كون جدول الدائرة الكهربية )𝑟 ∨ 𝑞( ∧ 𝑝 ثم عبر عن جدول التدفق لها‪.‬‬

‫الحل‪:‬‬

‫نكون الدائرة الكهربية على الشكل التالي ‪:‬‬

‫𝑞‬

‫𝑝‬

‫𝑟‬

‫‪+‬‬ ‫‪-‬‬

‫‪- 19 -‬‬
‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫أما جدول التدفق فيعبر عنه بالجدول التالي ‪:‬‬

‫𝑝‬ ‫𝑞‬ ‫‪r‬‬ ‫𝑟 ∨𝑞‬ ‫𝑞)𝑟 ∨ 𝑞( ∧ 𝑝‬

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

‫جدول ( ‪)1-7-1‬‬

‫مثال ( ‪ )1-7-5‬كون الدائرة الكهربية )𝑞 ∧ 𝑝 ∽( ∨ 𝑝 ثم عبر عن جدول التدفق لها‪.‬‬

‫الحل‪:‬‬

‫نكون الدائرة الكهربية على الشكل التالي ‪:‬‬

‫𝑝‬

‫𝑝~‬ ‫𝑞‬

‫‪+‬‬ ‫‪-‬‬

‫أما جدول التدفق فيعبر عنه بالجدول التالي ‪:‬‬

‫𝑝‬ ‫𝑞‬ ‫𝑝∼‬ ‫𝑞∧𝑝∽‬ ‫)𝑞 ∧ 𝑝 ∽( ∨ 𝑝‬

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

‫‪- 20 -‬‬
‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫جدول ( ‪)1-7-2‬‬

‫مثال ( ‪ )1-7-6‬لتكن لدينا الدائرة الكهربية التالية ‪:‬‬

‫𝑝‬ ‫𝑞‬

‫𝑝‬ ‫𝑞~‬

‫𝑝~‬ ‫𝑞~‬

‫‪+‬‬ ‫‪-‬‬
‫عبر عن الدائرة الكهربية بالقضية الرمزية الممثلة لها ثم بسط الدائرة الكهربية إلى قضية مكافئيه لها وارسمها‪.‬‬

‫الحل‪:‬‬

‫القضية الرمزية الممثلة للدائرة الكهربية هي ‪(𝑝 ∧ 𝑞) ∨ (𝑝 ∧∼ 𝑞) ∨ (∼ 𝑝 ∧∼ 𝑞) :‬‬

‫ولتبسيط الدائرة الكهربية نستخدم قوانين التكافؤ المنطقي كما يلي ‪:‬‬

‫)𝑞 ∼∧ 𝑝 ∼( ∨ ])𝑞 ∼∨ 𝑞( ∧ 𝑝[ ⇔ )𝑞 ∼∧ 𝑝 ∼( ∨ )𝑞 ∼∧ 𝑝( ∨ )𝑞 ∧ 𝑝(‬

‫)𝑞 ∼∧ 𝑝 ∼( ∨ ]‪⇔ [𝑝 ∧ T‬‬
‫)𝑞 ∼∧ 𝑝 ∼( ∨ 𝑝 ⇔‬
‫)𝑞 ∼∨ 𝑝( ∧ )𝑝 ∼∨ 𝑝( ⇔‬
‫)𝑞 ∼∨ 𝑝( ∧ ‪⇔ T‬‬
‫)𝑞 ∼∨ 𝑝( ⇔‬

‫فتكون الدائرة الكهربية المكافئة على الشكل التالي ‪:‬‬

‫𝑝‬

‫𝑞~‬

‫‪+‬‬ ‫‪-‬‬
‫تمارين ( ‪) 1 -7‬‬

‫‪ .1‬كون الدوائر الكهربية للقضايا التالية ثم عبر جدول التدفق لها‪:‬‬

‫𝑟 ∧ )𝑝 ∽∨ 𝑞( ∧ 𝑝‪.‬‬ ‫‪.i‬‬

‫‪- 21 -‬‬
‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫)𝑟 ∼∧ 𝑞( ∨ ])𝑞 ∼∨ 𝑟( ∧ 𝑝[‪.‬‬ ‫‪.ii‬‬

‫𝑞 ∧ }𝑝 ∼∨ ]𝑟 ∧ )𝑞 ∨ 𝑝([{‪.‬‬ ‫‪.iii‬‬
‫)𝑟 ∧ 𝑞( ∨ 𝑝‪.‬‬ ‫‪.iv‬‬
‫)𝑟 ∨ 𝑞( ∧ 𝑝‪.‬‬ ‫‪.v‬‬
‫)𝑝~ ∨ 𝑞( ∧ 𝑝‪.‬‬ ‫‪.vi‬‬
‫)𝑞 ∧ 𝑝 ∽( ∨ 𝑝‪.‬‬ ‫‪.vii‬‬

‫‪ .2‬عبر عن الدائرة الكهربية بالقضية الرمزية الممثلة لها‪.‬‬

‫𝑝‬ ‫𝑞‬

‫𝑞~‬

‫𝑝~‬ ‫𝑝‬

‫𝑞‬

‫‪+‬‬ ‫‪-‬‬

‫‪ .3‬عبر عن الدائرة الكهربية بالقضية الرمزية الممثلة لها‪.‬‬

‫‪- 22 -‬‬
‫) ‪) Mathematical Logic‬‬ ‫المنطق الرياضي‬ ‫الفصل األول (ف‪) 1-‬‬

‫𝑝‬ ‫𝑞‬ ‫𝑠‬

‫𝑟‬ ‫𝑝~‬ ‫𝑞‬

‫‪+‬‬ ‫‪-‬‬

‫‪- 23 -‬‬