عملية تبديلية: الفرق بين النسختين

أُضيف 17 بايت ، ‏ قبل 5 أشهر
=== قاعدة الاستبدال ===
 
في المنطق الافتراض الوظيفيالدالّي [[أعداد حقيقية|للأعداد الحقيقية]] يشير التخفيفالتخفيف،<ref>Moore and Parker</ref><ref>{{استشهاد بهارفارد دون أقواس|Copi|Cohen|2005}}</ref> أو التبادلية<ref>{{استشهاد بهارفارد دون أقواس|Hurley|Watson|2016}}</ref> إلى قاعدتين صالحتين للاستبدال. تسمح القواعد للمرء بنقل المتغيرات المقترحة ضمن التعبيرات المنطقية في البراهين المنطقية. والقواعد هي:<br />
 
:<math>(P \lor Q) \Leftrightarrow (Q \lor P)</math>
و :<math>(P \land Q) \Leftrightarrow (Q \land P)</math>
<br />حيث:
 
حيث
"<math>\Leftrightarrow</math>" هو رمز منطقي يمثل [عبارة] "يمكن استبداله في برهان بـ".
 
=== الروابط الوظيفيةالدالّية في الأعداد الحقيقية ===
 
التبادلية خاصية لبعض الوصلات المنطقية للمنطق الافتراضى الوظيفيالدالّي [[الأعداد الحقيقية|للأعداد الحقيقية]]. توضح المعادلات المنطقية التالية أن التبديلالتبادل هو خاصية لوصلاتلوصلاتٍ معينةمعينةٍ. فيما يلي عرض وظيفيدالّي للأعداد الحقيقية.
 
تبادلية الاقتران:<math>(P \land Q) \leftrightarrow (Q \land P)</math>
تبادلية الانفصال:<math>(P \lor Q) \leftrightarrow (Q \lor P)</math>
تبادلية التضمين (وتسمى أيضًاأيضاً قانون التقليب):<math>(P \leftrightarrow Q) \leftrightarrow (Q \leftrightarrow P)</math>
 
== نظرية المجموعات ==