See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/332410523

Chapter 1: Mathematical Logic( ‫)اﻟﻤﻨﻄﻖ اﻟﺮﻳﺎﺿﻲ‬

Chapter · April 2019

CITATIONS READS

0 20,265

1 author:

ADEL M. AL-ODHARI
Sana'a University
11 PUBLICATIONS   16 CITATIONS   

SEE PROFILE

Some of the authors of this publication are also working on these related projects:

PICTORIAL TRIANGLE AND CYLINDRICAL GROUP OF FINITE SEMIGROUP PRESENTATION CONSTRUCTED FROM NATURAL NUMBERS SEMIGROUP. View project

Some Aspect of Algebraic Logic View project

All content following this page was uploaded by ADEL M. AL-ODHARI on 14 April 2019.

The user has requested enhancement of the downloaded file.

 ‫) ‪) 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 -

View publication stats