(1) مبادئ في المنطق
1- العبارات المنطقية
1.1 تعريف
1.1.1 انشطة
| نص | صحيح | خطأ | لا يمكن الحكم |
|---|---|---|---|
| 2 عدد زوجي | |||
| 10=8+3 | |||
| (x∈IR): |x|≥0 | |||
| (x∈IR): x+2=0 |
1.1.2 تعريف
العبارة المنطقية هي جملة تحمل معنى اما صحيحا واما خاطئا وليس الاثنين ونرمز لعبارة منطقية باحد الحروف p او q..
جدول حقيقة عبارة
| العبارة p | |
|---|---|
| اذا كانت صحيحة | 1 |
| اذا كانت خاطئة | 0 |
1.2 العمليات على العبارات
1.2.1 النفي
نفي عبارة منطقية p هي عبارة نرمز لها ب non(p) وتكون صحيحة اذا كانت p خاطئة وتكون خاطئة اذا كانت p صحيحة.
| العبارة p | نفيها |
|---|---|
| 1 | 0 |
| 0 | 1 |
امثلة
2+3=7 عبارة منطقية خاطئة ونفيها
2+3≠7.
2≤5 عبارة صحيحة ونفيها
2>5.
1.2.2 ( ∧= و)العطف
عطف عبارتين هو عبارة صحيحة اذا كانت العبارتين صحيحتين معا ويكون عبارة خاطئة فيما عدا ذلك.
| p | q | p∧q |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 0 |
امثلة
1) (4=3+1 ∧ 7>5 )عبارة منطقية صحيحة.
2) (8 زوجي ∧ 2 فردي) عبارة منطقية خاطئة.
1.2.3 (∨= او)الفصل
فصل عبارتين منطقيتين هو عبارة منطقية خاطئة فقط اذا كانت العبارتان خاطئتين معا ويكون عبارة صحيحة فيما عدا ذلك ونرمز له ب او =∨.
| p | q | p∨q |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
| 0 | 0 | 0 |
امثلة
1) (4=3×1)∨(5<7 ) عبارة صحيحة.
2) (8 عدد سالب)∨(7 عدد زوجي) عبارة خاطئة.
1.2.4 الاستلزام
نقوا ان عبارة p تستلزم عبارة q هو عبارة منطقية خاطئة فقط اذا كانت p صحيحة و q خاطئة وتكون صحيحة فيما عدا ذلك ونرمز لها ب p⇒q.
| p | q | p ⇒ q |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 1 |
| 0 | 0 | 1 |
امثلة
1) 5=8+10 ⇒ 2>0 عبارة صحيحة.
2) 8=4+4 ⇒ 2²=5 عبارة خاطئة.
3) 2>10 ⇒ 100=3 عبارة صحيحة.
4) 2∈IN ⇒ 2∈IR عبارة صحيحة.