إدارة الموسوعة 1: تنظيف

2012-08-23T13:17:52Z

تنظيف

→ مراجعة أقدم		مراجعة 13:17، 23 أغسطس 2012
سطر 468:		سطر 468:

	[[تصنيف:رياضيات]]		[[تصنيف:رياضيات]]

	~~[[az:Riyazi məntiq]]~~
	~~[[be:Матэматычная логіка]]~~
	~~[[be-x-old:Матэматычная лёгіка]]~~
	~~[[bg:Математическа логика]]~~
	~~[[bs:Matematička logika]]~~
	~~[[ca:Lògica matemàtica]]~~
	~~[[cs:Matematická logika]]~~
	~~[[de:Mathematische Logik]]~~
	~~[[el:Μαθηματική λογική]]~~
	~~[[en:Mathematical logic]]~~
	~~[[eo:Matematika logiko]]~~
	~~[[es:Lógica matemática]]~~
	~~[[et:Matemaatiline loogika]]~~
	~~[[fa:منطق ریاضی]]~~
	~~[[fr:Logique mathématique]]~~
	~~[[gd:Rianas matamataigeach]]~~
	~~[[he:לוגיקה מתמטית]]~~
	~~[[hi:गणितीय तर्कशास्त्र]]~~
	~~[[hr:Matematička logika]]~~
	~~[[hu:Matematikai logika]]~~
	~~[[id:Logika matematika]]~~
	~~[[io:Matematikala logiko]]~~
	~~[[it:Logica matematica]]~~
	~~[[ja:数理論理学]]~~
	~~[[ka:მათემატიკური ლოგიკა]]~~
	~~[[ko:수리논리학]]~~
	~~[[lij:Logica Matematica]]~~
	~~[[mk:Математичка логика]]~~
	~~[[nl:Wiskundige logica]]~~
	~~[[nn:Matematisk logikk]]~~
	~~[[no:Predikatslogikk]]~~
	~~[[pl:Logika matematyczna]]~~
	~~[[ro:Logică matematică]]~~
	~~[[ru:Математическая логика]]~~
	~~[[sh:Matematička logika]]~~
	~~[[sk:Matematická logika]]~~
	~~[[sl:Matematična logika]]~~
	~~[[sq:Logjika matematikore]]~~
	~~[[sr:Математичка логика]]~~
	~~[[sv:Matematisk logik]]~~
	~~[[tg:Мантиқи риёзӣ]]~~
	~~[[th:คณิตตรรกศาสตร์]]~~
	~~[[tl:Matematikal na lohika]]~~
	~~[[tr:Matematiksel mantık]]~~
	~~[[uk:Математична логіка]]~~
	~~[[ur:ریاضیاتی منطق]]~~
	~~[[zh:数理逻辑]]~~
	~~[[zh-yue:數學邏輯]]~~

WikiSysop: ١ مراجعة: الصفحات في تصنيف رياضيات

2010-11-12T21:15:53Z

١ مراجعة: الصفحات في تصنيف رياضيات

صفحة جديدة

==عناصر المنطق==
=== جملة ===
الجملة في مجموعة حروف ورموز لها معنى, مثال:
* 2+3=5
* 5*9=45

من الممكن دراسة هذه العبارات من وجهات نظر مختلفة, مثلا المتغيرات تأخد قيما متعددة نرمز لها عادة بـ" X "، أو " س " بالعربية. كما يمكن دراسة صحة أو خطأ العبارة.

=== عبارة ===
تصبح إذا أمكن معرفة صحة أو خطأ العبارة
نسمي عبارة كل نص رياضي له معنى ويكون إما صحيحاو إما خاطئا أما الدالة العبرية (خاصية لمتغير) فهي كل نص رياضي له معنى ويحتوي على متغير ويصبح عبارة كلما عوضنا المتغير بقيمة معينة

جًمل منطقية [الجمل الفعلية مفيدة]
يمكن الحكم عليها بالصح أوالخطأ وليس كليهما
القضية المنطقية { تعريف}
هي جملة خبرية مفيدة يحتمل معناها الصواب أو الخطأ وليس كليهما
من أمثلة الجمل التي تكون قضايا
1) 2+3=7
2) صنعاء عاصمة اليمن
3) مجموع زوايا المثلث 180 ْ
ملاحظة : ليس من الضروري أن تكون الجملة صحيحة جًمل ليست منطقية [الجمل الاسمية]
والتي لا يمكن الحكم عليها بالصح أوالخطأ
من أمثلة الجمل التي لا تكون قضايا الجمل التي تيدأ
أستفهام – سؤال – تعجب – نداء – طلب...
بصورة عامة كل الجمل التي لا يمكن الحكم عليها بالصح أوالخطأ
مثل :
1) ما أجمل السماء !
2) كم الساعة ؟

=== النفي ===
نفي العبارة P هي عبارة صحيحة إذا كانت P خاطئة, وخاطئة إذا كانت P صحيحة. ونرمز لنفي P ب <math>\neg P</math>.

<table border="1">
<caption align="center">جدول الحقيقة</caption>
<tr>
<td>P</td>
<td><math>\neg P</math></td>
</tr>
<tr>
<td>0</td>
<td>1</td>
</tr>
<tr>
<td>1</td>
<td>0</td>
</tr>
</table>

=== العطف ===
عطف العبارتين p و Q تكون صحيحة فقط إذا كانت العبارتين معا صحيحتين. ونرمز له ب <math>P \wedge Q</math>

<table border="1">
<caption align="center">جدول الحقيقة</caption>
<tr>
<td>P</td>
<td>Q</td>
<td><math>P \wedge Q</math></td>
</tr>
<tr>
<td>0</td>
<td>0</td>
<td>0</td>
</tr>
<tr>
<td>0</td>
<td>1</td>
<td>0</td>
</tr>
<tr>
<td>1</td>
<td>0</td>
<td>0</td>
</tr>
<tr>
<td>1</td>
<td>1</td>
<td>1</td>
</tr>
</table>
=== الفصل ===
فصل العبارتين p و Q تكون صحيحة فقط إذا كانت إحدى العبارتين صحيحة. ونرمز له ب <math>P \vee Q</math>

<table border="1">
<caption align="center">جدول الحقيقة</caption>
<tr>
<td>P</td>
<td>Q</td>
<td><math>P \vee Q</math></td>
</tr>
<tr>
<td>0</td>
<td>0</td>
<td>0</td>
</tr>
<tr>
<td>0</td>
<td>1</td>
<td>1</td>
</tr>
<tr>
<td>1</td>
<td>0</td>
<td>1</td>
</tr>
<tr>
<td>1</td>
<td>1</td>
<td>1</td>
</tr>
</table>
=== الاستلزام ===
تكون العبارة P تستلزم Q، خاطئة فقط إذا كانت P صحيحة و Q خاطئة.

و نرمز لها ب:
<math>Q \Leftarrow P</math> وهي تكافئ العبارة: <math>\neg P \vee Q</math>.

<table border="1">
<caption align="center">جدول الحقيقة</caption>
<tr>
<td>P</td>
<td>Q</td>
<td><math>Q \Leftarrow P</math></td>
</tr>
<tr>
<td>0</td>
<td>0</td>
<td>1</td>
</tr>
<tr>
<td>0</td>
<td>1</td>
<td>1</td>
</tr>
<tr>
<td>1</td>
<td>0</td>
<td>0</td>
</tr>
<tr>
<td>1</td>
<td>1</td>
<td>1</td>
</tr>
</table>

=== التكافؤ ===
تكافؤ العبارتين <math>P\,</math> و<math>Q\,</math> هو <math>(Q \Leftarrow P) \wedge (P \Leftarrow Q)</math>, ونرمز له ب: <math>Q \Leftrightarrow P</math>

<table border="1">
<caption align="center">جدول الحقيقة</caption>
<tr>
<td>P</td>
<td>Q</td>
<td><math>Q \Leftrightarrow P</math></td>
</tr>
<tr>
<td>0</td>
<td>0</td>
<td>1</td>
</tr>
<tr>
<td>0</td>
<td>1</td>
<td>0</td>
</tr>
<tr>
<td>1</td>
<td>0</td>
<td>0</td>
</tr>
<tr>
<td>1</td>
<td>1</td>
<td>1</td>
</tr>
</table>

== القوانين المنطقية ==
القوانين المنطقية عبارة عن جمل مكونة من عدة عبارات مرتبطة فيما بينها بروابط منطقية وتكون دائما صحيحة بغض النظر عن صحة أو خطأ العبارات المكونة لها.

أمثلة:

# <math>\neg (\neg P) \Leftrightarrow P</math>
# <math>(P \wedge Q) \Leftrightarrow (Q \wedge P)</math>
# <math>\neg (P \wedge Q) \Leftrightarrow (\neg P) \vee (\neg Q)</math>
# <math>\neg (P \vee Q) \Leftrightarrow (\neg P) \wedge (\neg Q)</math>

المثالين الأخيرين, يعرفان بقوانين '''ديمورجان''' </b>[De Morgan's laws]<b>.

=== دوال العبارة ===
الدالة العبارة, هي تطبيق من مجموعة قيم المتغيرات نحو مجموعة مكونة من العنصرين صحيح وخطأ.

مثال:

بالنسبة للعبارة: "x عدد صحيح طبيعي, x+3=10." نحصل على دالة من <math> \mathbb{N}\ </math> إلى <math>\{0,1\}\,</math> بحيث:

<math>\begin{matrix} \mathbb{N}\ \rightarrow \{0,1\} \\ 0 \mapsto 0 \\ 7 \mapsto 1 \end{matrix} </math>

=== الكموميات ===
هناك نوعان '''وجودية''' و'''كونية'''.
# الوجودية تعني وجود عناصر تحقق عبارة ما, مثل يوجد x من <math> \mathbb{N}\ </math> بحيث: <math> x^2-1=0 \,</math>

نرمز للوجودية بالرمز <math> \exists </math>.

# الكونية تعني أن عبارة ما تكون دائما صحيحة مهما تغيرت قيمة المتغير, مثل كيما كانت قيمة x من <math> \mathbb{R}\ </math> لدينا <math> (x+1)^2=x^2+2x+1 \,</math>

نرمز للكونية بالرمز
<math> \forall </math>.

= الكموميات والروابط المنطقية =
عندما يكون هناك وجوديات, النفي يعبر عنه ب:

<math>\neg [(\forall x \in\ E) A(x)] \Leftrightarrow [(\exists x \in\ E) \neg A(x)] </math>

<math>\neg [(\exists x \in\ E) A(x)] \Leftrightarrow [(\forall x \in\ E) \neg A(x)] </math>

مع E مجموعة تتضمن الخاصية A.
=== تطبيق على نظرية المجموعات ===
هناك علاقة بين [[نظرية المجموعات]] والمنطق.
== الاستلزام والتضمن ==
نسمي جزء A(أو مجموعة صغرى) لمجموعة E كل عناصر المجموعة A التي تنتمي إلى E.

و نكتب:

<math>A \subset E</math>

نقول أن المجموعة A ضمن المجموعة E, يكافئ أن كل عنصر x من A, يستلزم أن xينتمي إلى E.
==مجموعة الأجزاء== ويكتب المنطق ب7888

= مجموعة الأجزاء =
كل مجموعة لها عدة أجزاء, وهذه الأجزاء تكون '''مجموعة الأجزاء'''.
=== التساوي والتكافؤ ===
المجموعة A تساوي المجموعة B, تكافئ لكل x من x :E من A يكافئ x من B.
= المتمم والنفي =

متمم الجزء A, هو الجزء B الذي عناصره لا تنتمي إلى A.

علق حاتم على هذه فقال :

المتممة أمر نسبي

قبل أن نتكلم عن متممة مجموعة نحتاج إلى أن نتفق على ما يسمى " المجموعة الشاملة "

مثال

إذا كانت

المجموعة الشاملة = ش

ش = { 1 ،9، 5، 3، 2 }

أ = { 1، 9 }

متمم أ هو ب

ب = { 5، 3، 2 }

لا حظ عناصر ب لا تنتمي إلى أ

x ينتمي إلى A, يكافئ x لا ينتمي إلى B.

= التقاطع والعطف =
تقاطع المجموعتين A و B, هي مجموعة العناصر المشتركة C, التي نرمز لها ب: <math>A \cap B\,</math>.

x من C يكافئ: x من A و x من B.
=== الاتحاد والفصل ===
اتحاد المجموعتين A و B, هي المجموعة C التي عناصرها تنتمي إلى أحد المجموعتين, والتي نرمز لها ب: <math>A \cup B</math>.

x من C يكافئ: x من A أو x من B.
<s></s>=خاصيات عطف التقاطع والاتحاد في مجموعة الأجزاء=

= الفرق =
ِA-B هي المجموعة التي تحوي كل العناصر التي تنتمي لـ A ولا تنتمي لـ B
<math>A-B = \{a: (a\in\ A) \wedge (a\notin\ B)\}</math>

=== الفرق المتماثل ===
== تطبيق في البرهنة الرياضية ==
برهنة: <math>A \cap (B \cup C) = (A \cap B) \cup (A \cap C)</math>

لكي نبرهن تساوي بين مجموعتين A و B يجب أن نبرهن لكل عنصر x:

x ينتمي لـ A إذا وفقط إذا x ينتمي لـ B
في هذه الحالة علينا أن نبرهن:

<math>x \in (A \cap (B \cup C)) \Leftrightarrow x \in ((A \cap B) \cup (A\cap C))</math>

برهان:

<math>x \in(A \cap (B \cup C)) \overset{1}{\Leftrightarrow}</math>

<math>(x \in A) \and (x \in (B \cup C)) \overset{2}{\Leftrightarrow}</math>

<math>(x \in A) \and ((x \in B) \or (x \in C)) \overset{3}{\Leftrightarrow}</math>

<math>((x \in A) \and (x \in B)) \or ((x \in A) \and (x \in C)) \overset{4}{\Leftrightarrow}</math>

<math>(x \in (A \cap B)) \or (x \in (A \cap C)) \overset{5}{\Leftrightarrow}</math>

<math>x \in ((A \cap B) \cup (A\cap C))</math>

شرح الخطوات:

1و4- حسب تعريف التقاطع
<math>x \in (A \cap B) \Leftrightarrow (x \in A) \and (x \in B)</math>

2و5- حسب تعريف الإتحاد
<math>x \in (A \cup B) \Leftrightarrow (x \in A) \or (x \in B)</math>

3-

نبرهن: <math>(x \in A) \and ((x \in B)\or (x \in C)) = ((x \in A)\and (x \in B)) \or ((x \in A) \and (x \in C))</math>

بواسطة جداول الحقيقة التابعة لـ <math>\and</math> و<math>\or</math>

<table border="1">
<caption align="center">جدول الحقيقة لـ <math>(x \in A)\and ((x \in B)\or (x \in C))</math></caption>
<tr>
<td><math>(x \in A)</math></td>
<td><math>(x \in B)</math></td>
<td><math>(x \in C)</math></td>
<td><math>(x \in B)\or (x \in C)</math></td>
<td><math>(x \in A)\and ((x \in B)\or (x \in C))</math></td>
</tr>
<tr>
<td>0</td>
<td>0</td>
<td>0</td>
<td>0</td>
<td>0</td>
</tr>
<tr>
<td>1</td>
<td>0</td>
<td>0</td>
<td>0</td>
<td>0</td>
</tr>
<tr>
<td>0</td>
<td>1</td>
<td>0</td>
<td>1</td>
<td>0</td>
</tr>
<tr>
<td>1</td>
<td>1</td>
<td>0</td>
<td>1</td>
<td>1</td>
</tr>
<tr>
<td>0</td>
<td>0</td>
<td>1</td>
<td>1</td>
<td>0</td>
</tr>
<tr>
<td>1</td>
<td>0</td>
<td>1</td>
<td>1</td>
<td>1</td>
</tr>
<tr>
<td>0</td>
<td>1</td>
<td>1</td>
<td>1</td>
<td>0</td>
</tr>
<tr>
<td>1</td>
<td>1</td>
<td>1</td>
<td>1</td>
<td>1</td>
</tr>
</table>

<table border="1">
<caption align="center">جدول الحقيقة لـ <math>((x \in A)\and (x \in B)) \or ((x \in A) \and (x \in C))</math></caption>
<tr>
<td><math>(x \in A)</math></td>
<td><math>(x \in B)</math></td>
<td><math>(x \in C)</math></td>
<td><math>(x \in A)\and (x \in B)</math></td>
<td><math>(x \in A)\and (x \in C)</math></td>
<td><math>((x \in A)\and (x \in B)) \or ((x \in A) \and (x \in C))</math></td>
</tr>
<tr>
<td>0</td>
<td>0</td>
<td>0</td>
<td>0</td>
<td>0</td>
<td>0</td>
</tr>
<tr>
<td>1</td>
<td>0</td>
<td>0</td>
<td>0</td>
<td>0</td>
<td>0</td>
</tr>
<tr>
<td>0</td>
<td>1</td>
<td>0</td>
<td>0</td>
<td>0</td>
<td>0</td>
</tr>
<tr>
<td>1</td>
<td>1</td>
<td>0</td>
<td>1</td>
<td>0</td>
<td>1</td>
</tr>
<tr>
<td>0</td>
<td>0</td>
<td>1</td>
<td>0</td>
<td>0</td>
<td>0</td>
</tr>
<tr>
<td>1</td>
<td>0</td>
<td>1</td>
<td>0</td>
<td>1</td>
<td>1</td>
</tr>
<tr>
<td>0</td>
<td>1</td>
<td>1</td>
<td>0</td>
<td>0</td>
<td>0</td>
</tr>
<tr>
<td>1</td>
<td>1</td>
<td>1</td>
<td>1</td>
<td>1</td>
<td>1</td>
</tr>
</table>
الجدولان متساويان لذلك العبارتان متكافئتان

== المنطق الرياضي والدوائر الكهربية ==

بمكن تحويل كل جمل المنطق الرياضي إلى [[دوائر كهربية]] تستخدم في [[الحاسب الآلي]] لإجراء العمليات الحسابية والمنطقية ويمكن الاطلاع على تفاصيل ذلك هنا [http://www.ibiblio.org/obp/electricCircuits/Digital/DIGI_7.html لمزيد من المعلومات]

== المنطق الرياضي والبرمجة ==

يفيد فهم المنطق الرياضي في إجراء عمليات [[برمجة|البرمجة]] المعقدة والتي تحوي [[جمل شرطية|الجمل الشرطية]] المتداخلة اللازمة لتحقيق هدف معين أو حل مشكلة محددة بواسطة [[برنامج|البرنامج]].
== انظر أيضا ==
[[بوابة منطقية]]

[[تصنيف:رياضيات]]

[[az:Riyazi məntiq]]
[[be:Матэматычная логіка]]
[[be-x-old:Матэматычная лёгіка]]
[[bg:Математическа логика]]
[[bs:Matematička logika]]
[[ca:Lògica matemàtica]]
[[cs:Matematická logika]]
[[de:Mathematische Logik]]
[[el:Μαθηματική λογική]]
[[en:Mathematical logic]]
[[eo:Matematika logiko]]
[[es:Lógica matemática]]
[[et:Matemaatiline loogika]]
[[fa:منطق ریاضی]]
[[fr:Logique mathématique]]
[[gd:Rianas matamataigeach]]
[[he:לוגיקה מתמטית]]
[[hi:गणितीय तर्कशास्त्र]]
[[hr:Matematička logika]]
[[hu:Matematikai logika]]
[[id:Logika matematika]]
[[io:Matematikala logiko]]
[[it:Logica matematica]]
[[ja:数理論理学]]
[[ka:მათემატიკური ლოგიკა]]
[[ko:수리논리학]]
[[lij:Logica Matematica]]
[[mk:Математичка логика]]
[[nl:Wiskundige logica]]
[[nn:Matematisk logikk]]
[[no:Predikatslogikk]]
[[pl:Logika matematyczna]]
[[ro:Logică matematică]]
[[ru:Математическая логика]]
[[sh:Matematička logika]]
[[sk:Matematická logika]]
[[sl:Matematična logika]]
[[sq:Logjika matematikore]]
[[sr:Математичка логика]]
[[sv:Matematisk logik]]
[[tg:Мантиқи риёзӣ]]
[[th:คณิตตรรกศาสตร์]]
[[tl:Matematikal na lohika]]
[[tr:Matematiksel mantık]]
[[uk:Математична логіка]]
[[ur:ریاضیاتی منطق]]
[[zh:数理逻辑]]
[[zh-yue:數學邏輯]]

منطق رياضي - تاريخ المراجعة

إدارة الموسوعة 1: تنظيف

WikiSysop: ١ مراجعة: الصفحات في تصنيف رياضيات