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.
دستور زبان
هنوز جزئیات دستوری در دسترس نیست.
عبارتها
هنوز عبارتی به این مدخل مرتبط نشده است.