عرض مصدر منطق رياضي

{{صندوق معلومات ويكي بيانات|id=Q1166618}}
__فهرس__

== مقدمة ==
إن لغتنا الاعتيادية ليست واضحة دائما كفاية، فمثلا في المطعم، "اختيار جبن أو تحلية" يُقصد به اختيار أحدهما فقط، لكن في لعبة الورق إذا كنا نبحث عن "آس أو قلب" لا يجب استثناء "آس القلب": نحتاج إلى '''لغة أكثر دقة'''.

نقول غالبا بأن دالة ما هي متصلة (مستمِرة) إذا استطعنا أن نرسم منحناها البياني دون رفع القلم عن الورقة وهذا تعريف غير كاف، إليك التعريف الدقيق لدالة <math>f : I \to \R</math> متصلة (مستمِرة) في نقطة <math>a</math>:<ref>[https://people.math.wisc.edu/~jwrobbin/521dir/cont.pdf الاتصال والاتصال الموحَد - جامعة ويسكونسن ماديسون]</ref>

:<math> \forall \varepsilon > 0 \quad \exists \eta > 0 \quad \forall x \in I \quad\left(|x - a| <\eta \Rightarrow|f(x) - f(a)|<\varepsilon\right)</math>

أحد '''أهداف المنطق''' هو إيضاح معنى هذه الكتابة، هدف آخر هو تمييز الصحيح من الخطإ، فمثلا: هل زيادة ٪20 وبعد ذلك ٪30 أهم من زيادة ٪50؟ لا يتعلق الأمر إذن بمجرد آراء ولكن بالقدرة على عمل منهج منطقي من أجل الاقتناع وإقناع الآخرين، هذا المنهج هو ما يُسمى '''الاستدلال'''.

== العبارة ==
'''العبارة''' هي جملة صحيحة أو خاطئة ولا تكون صحيحة وخاطئة في آن واحد. أمثلة: "إنها تمطر"، "أنا أكبر منك"، هذه كلها جمل يمكن أن تكون صحيحة أو خاطئة.

العبارة التالية <math>2+2=4</math> صحيحة في حين أن العبارة <math>2\times3=7</math> خاطئة.

لكل عدد حقيقي <math>x</math> لدينا <math>x^2\geq0</math> هي عبارة صحيحة،<br/>
بينما العبارة: لكل عدد عقدي <math>z</math> لدينا <math>|z|=1</math> خاطئة لأنه ليس صحيحا لكل [[الأعداد العقدية]] أن <math>|z|=1</math>.

== العطف المنطقي ==
انطلاقا من عبارة "P" وعبارة "Q"،نعرف العبارة "Q وP" والتي تكون صحيحة فقط في حالة "P" و"Q" صحيحتين معا. هناك طريقة أخرى لتعريف العبارة "Q وP" وهي بقول ما إذا كانت صحيحة أو خاطئة بدلالة "P" و"Q"، وهذا ما يُسمى '''جدول حقيقة''':

{| class="wikitable" style="margin:1em auto 1em auto; text-align:center;"
|+ جدول حقيقة العبارة "Q وP"
! العبارة <math>P</math> !! العبارة <math>Q</math> !! العبارة <math>P \land Q</math>
|-
| style="background-color: #9accff;" | صحيحة || style="background-color: #9accff;" | صحيحة || style="background-color: #9accff;" | صحيحة
|-
| style="background-color: #9accff;" | صحيحة || style="background-color: #ffb4d9;" | خاطئة || style="background-color: #ffb4d9;" | خاطئة
|-
| style="background-color: #ffb4d9;" | خاطئة || style="background-color: #9accff;" | صحيحة || style="background-color: #ffb4d9;" | خاطئة
|-
| style="background-color: #ffb4d9;" | خاطئة || style="background-color: #ffb4d9;" | خاطئة || style="background-color: #ffb4d9;" | خاطئة
|}

مثلا إذا كانت <math>P</math> هي العبارة: "هذه البطاقة هي آس": و<math>Q</math> هي العبارة: "هذه البطاقة هي قلب"، فإن العبارة <math>P \land Q</math> ستكون صحيحة إذاكانت البطاقة هي "آس القلب"، ولجميع البطاقات الأخرى ستكون العبارة <math>P \land Q</math> خاطئة.

== الفصل المنطقي ==
تكون العبارة "Q أو P" صحيحة عندما تكون إحدى العبارتين "P" أو "Q" على الأقل صحيحة. وتكون خاطئة في حالة "P" و "Q" خاطئتين معا. جدول حقيقة العبارة "Q أو P" هو التالي:

{| class="wikitable" style="margin:1em auto 1em auto; text-align:center;"
|+ جدول حقيقة العبارة "Q أو P"
! العبارة <math>P</math> !! العبارة <math>Q</math> !! العبارة <math>P \lor Q</math>
|-
| style="background-color: #9accff;" | صحيحة || style="background-color: #9accff;" | صحيحة || style="background-color: #9accff;" | صحيحة
|-
| style="background-color: #9accff;" | صحيحة || style="background-color: #ffb4d9;" | خاطئة || style="background-color: #9accff;" | صحيحة
|-
| style="background-color: #ffb4d9;" | خاطئة || style="background-color: #9accff;" | صحيحة || style="background-color: #9accff;" | صحيحة
|-
| style="background-color: #ffb4d9;" | خاطئة || style="background-color: #ffb4d9;" | خاطئة || style="background-color: #ffb4d9;" | خاطئة
|}

بالنسبة للمثال السابق، تكون العبارة <math>P \lor Q</math> صحيحة إذا كانت البطاقة "آس" أو "قلب" أو "آس وقلب"، ولكل البطاقات الأخرى فإن العبارة <math>P \lor Q</math> خاطئة. عموما الفصل المنطقي ليس هو الفصل في الحياة العامة مثلا "اختيار جبن أو تحلية" تعني اختيار أحدهما فقط، دون الجمع بينهما.

== المراجع ==
{{مراجع}}

[[تصنيف:كلية علوم الرياضيات]]