كتب logical equivalence
اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
# تكافؤ منطقي رياضيات
# نطاق التكافؤ
# تكافؤ رياضي
# التكافؤ الجوهري
# تكافؤ ديناميكي وتكافؤ شكلي
# علاقة تكافؤ
# مبدأ التكافؤ
# مجموعة تكافؤ
# مغالطة التكافؤ الكاذب
# نظرية تكافؤ لاكس
# نقطة التكافؤ
# غلاف تكافؤ
# تفسير آخر لمبدأ التكافؤ
# التكافؤ والترابط
# تكافؤ فيزياء
# التكافؤ الوظيفي والتنوع الأحيائي
# حالات خاصة من التكافؤ الكاذب
# التكافؤ الأخلاقي
# تكافؤ كتلة طاقة
# التكافؤ مع وحدات الحجم الأخرى
عرض المزيد
المصدر: wikipedia.org
تكافؤ منطقي (معلومة)
التكافؤ المنطقي في علم المنطق الرياضياتي هو تكافؤ عبارتين أو افتراضين عندما يتشاركان في المحتوى أو المعنى. فيُقال بأن عبارتين منطقيتين متكافئتان في حال كان لهما نفس القيمة الصحيحة المنطقية. لو اعتبرنا و هما العبارتان المنطقيتان المتكافئتان، فيُرمز لها بالرمز الرياضي ، أو . يمكن التعبير عن التكافؤ المنطقي بالصيغة الشرطية "تكافؤ إذا وفقط إذا".
تكافؤات منطقية
تكافؤ رياضي شرطي: (القراءة من اليسار إلى اليمين)
تكافؤ رياضي ثنائي الشرطية：(القراءة من اليسار إلى اليمين)
مثال
نأخذ مثالاً بعبارتين رياضيتين متكافئتين:
- إذا كانت ليزا من فرنسا، فهي أيضا من أوروبا (بالرموز: .)
- إذا لم تكن ليزا في أوروبا، فهي ليست في فرنسا (بالرموز: )
العبارتين (1) و (2) مشتقان من بعضهما البعض عبر قوانين التضاد والنفي المزدوج.
