books logical equivalence
If you do not find what you're looking for, you can use more accurate words.
# logical equivalence math
# equivalence range
# Mathematical equivalence
# Intrinsic equivalence
# Dynamic equivalence and formal equivalence
# equivalence relationship
# Equivalence principle
# equivalence group
# False equivalence fallacy
# Lax equivalence theory
# equivalence point
# equivalence cover
# Another interpretation of the equivalence principle
# Equivalence and interdependence
# Physics equivalence
# Functional equivalence and biodiversity
# Special cases of false equivalence
# moral equivalence
# energy mass equivalence
# Equivalence with other volume units
View more
Source: wikipedia.org
تكافؤ منطقي (Info)
التكافؤ المنطقي في علم المنطق الرياضياتي هو تكافؤ عبارتين أو افتراضين عندما يتشاركان في المحتوى أو المعنى. فيُقال بأن عبارتين منطقيتين متكافئتان في حال كان لهما نفس القيمة الصحيحة المنطقية. لو اعتبرنا و هما العبارتان المنطقيتان المتكافئتان، فيُرمز لها بالرمز الرياضي ، أو . يمكن التعبير عن التكافؤ المنطقي بالصيغة الشرطية "تكافؤ إذا وفقط إذا".
تكافؤات منطقية
تكافؤ رياضي شرطي: (القراءة من اليسار إلى اليمين)
تكافؤ رياضي ثنائي الشرطية：(القراءة من اليسار إلى اليمين)
مثال
نأخذ مثالاً بعبارتين رياضيتين متكافئتين:
- إذا كانت ليزا من فرنسا، فهي أيضا من أوروبا (بالرموز: .)
- إذا لم تكن ليزا في أوروبا، فهي ليست في فرنسا (بالرموز: )
العبارتين (1) و (2) مشتقان من بعضهما البعض عبر قوانين التضاد والنفي المزدوج.
