مقدمة عن حرف العطف

مقدمة عن حرف العطف

يكتب	قاعدة الاستدلال
مجال	حساب القضايا
إفادة	إذا كانت القضية صحيحة، والقضية صحيحة، فإن الاقتران المنطقي للقضيتين و صحيح.${\displaystyle P}$${\displaystyle س}$${\displaystyle P}$${\displaystyle س}$
بيان رمزي	${\displaystyle {\frac {P,Q}{\لذلك P\وQ}}}$

قواعد التحويل
حساب القضايا
قواعد الاستدلال
مقدمة ضمنية  / إزالة ( طريقة ponens ) المقدمة  / الإزالة ثنائية الشرط مقدمة/ حذف حرف العطف مقدمة  / إزالة الانفصال القياس المنطقي المنفصل  / القياس الافتراضي معضلة البناء  / الامتصاص  / طريقة التأثير  / طريقة التأثير مقدمة النفي
قواعد الاستبدال
الترابطية التبادلية التوزيعية نفي مزدوج قوانين دي مورجان النقل التأثير المادي التصدير تكرار الكلمات
منطق المسند
قواعد الاستدلال
التعميم  / التجسيد الشامل التعميم الوجودي  / التجسيد الوجودي

مقدمة أداة الربط (غالبًا ما يتم اختصارها ببساطة باسم أداة الربط وتُسمى أيضًا مقدمة أو أداة ربط ) ^{[1] [2] [3]} هي قاعدة صحيحة لاستنتاج المنطق القياسي . تجعل القاعدة من الممكن إدخال أداة ربط في برهان منطقي . إنه الاستدلال على أنه إذا كانت القضية صحيحة، وكانت القضية صحيحة، فإن أداة الربط المنطقية للقضيتين و صحيحة. على سبيل المثال، إذا كان صحيحًا أن "تمطر"، وصحيح أن "القطة بالداخل"، فمن الصحيح أن "تمطر والقطة بالداخل". يمكن صياغة القاعدة على النحو التالي: ${\displaystyle P}$${\displaystyle Q}$${\displaystyle P}$${\displaystyle Q}$

${\displaystyle {\frac {P,Q}{\therefore P\land Q}}}$

حيث أن القاعدة هي أنه أينما ظهرت حالة من " " و " " على أسطر الإثبات، فإنه يمكن وضع " " على سطر لاحق. ${\displaystyle P}$${\displaystyle Q}$${\displaystyle P\land Q}$

يمكن كتابة قاعدة تقديم العطف بالتدوين المتسلسل :

${\displaystyle P,Q\vdash P\land Q}$

حيث و هي اقتراحات معبر عنها في نظام شكلي ، و هي رمز ميتافيزيقي يعني أنها نتيجة نحوية إذا و كل منهما على سطرين من الإثبات في نظام منطقي ما ؛ ${\displaystyle P}$${\displaystyle Q}$${\displaystyle \vdash }$ ${\displaystyle P\land Q}$${\displaystyle P}$${\displaystyle Q}$