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

في المنطق الافتراض الوظيفيالدالّي [[أعداد حقيقية|للأعداد الحقيقية]] يشير التخفيفالتخفيف،<ref>Moore and Parker</ref><ref>{{استشهاد بهارفارد دون أقواس|Copi|Cohen|2005}}</ref> أو التبادلية<ref>{{استشهاد بهارفارد دون أقواس|Hurley|Watson|2016}}</ref> إلى قاعدتين صالحتين للاستبدال. تسمح القواعد للمرء بنقل المتغيرات المقترحة ضمن التعبيرات المنطقية في البراهين المنطقية. والقواعد هي:<br />

=== الروابط الوظيفيةالدالّية في الأعداد الحقيقية ===

التبادلية خاصية لبعض الوصلات المنطقية للمنطق الافتراضى الوظيفيالدالّي [[الأعداد الحقيقية|للأعداد الحقيقية]]. توضح المعادلات المنطقية التالية أن التبديلالتبادل هو خاصية لوصلاتلوصلاتٍ معينةمعينةٍ. فيما يلي عرض وظيفيدالّي للأعداد الحقيقية.

تبادلية التضمين (وتسمى أيضًاأيضاً قانون التقليب):<math>(P \leftrightarrow Q) \leftrightarrow (Q \leftrightarrow P)</math>