implikáció
C1
المجرية
conditional, entailment
اسم
C1
TECHNICAL
2
conditional
C1
نمط الاستخدام:
P → Q; P implikálja Q-t
لا تتوفر أزواج أمثلة بعد.
المعنى
if–then logical statement
الموضوعات
logic
|mathematics
|proposition
|implication
|truth_value
|science
|education
التعريف
In logic or mathematics, a statement of the form "if P, then Q", where the truth of Q is linked to the truth of P.
اسم
C1
TECHNICAL
2
entailment
C2
لا تتوفر أزواج أمثلة بعد.
المعنى
Truth-guaranteeing logical relation
الموضوعات
logic
|semantics
|inference
|truth_conditions
|technical_term
|linguistics
|philosophy
|reasoning
التعريف
A relation between statements in which the truth of one statement guarantees the truth of another.
القواعد
لا تتوفر تفاصيل نحوية بعد.
التعبيرات
لا توجد تعبيرات مرتبطة بهذا المدخل بعد.