Textbeispiele

• Die formale Implikation ist ein wichtiger Begriff in der Logik.
  التضمين الرسمي هو مصطلح هام في المنطق.
• In der Mathematik wird formale Implikation oft verwendet.
  في الرياضيات، يتم استخدام التضمين الرسمي في كثير من الأحيان.
• Die formale Implikation stellt eine Beziehung zwischen zwei Aussagen dar.
  يمثل التضمين الرسمي علاقة بين بيانين.
• Bei der formalen Implikation, wenn die erste Aussage wahr ist, muss die zweite Aussage ebenfalls wahr sein.
  في التضمين الرسمي، إذا كانت العبارة الأولى صحيحة، يجب أن تكون العبارة الثانية صحيحة أيضًا.
• Formale Implikation ist ein zentraler Bestandteil der Aussagenlogik.
  التضمين الرسمي هو جزء أساسي من منطق البيانات.