Условная связь между высказываниями, обычно читаемая как «если первое истинно, то следует второе».
Употребление
Implication обозначает формальную связь p → q, и ее не следует смешивать с обратным утверждением q → p.
Примеры
In classical logic, an implication is false only when p is true and q is false.
В классической логике импликация ложна только тогда, когда p истинно, а q ложно.
The proof uses the implication p → q in its first step.
В доказательстве импликация p → q используется на первом шаге.
Students often confuse an implication with its converse.
Студенты часто путают импликацию с обратным утверждением.
The statement x > 4 gives the implication that x > 2.
Утверждение x > 4 дает следствие, что x > 2.
A material implication can be true even when its antecedent is false.
Материальная импликация может быть истинной, даже когда ее антецедент ложен.
Типичные ошибки
Обратная импликация принимается за равнозначную исходной, хотя порядок p и q важен.
Incorrect
Correct
p → q means q → p.
p → q does not necessarily mean q → p.
If p is false, p → q is false.
If p is false, p → q is true in material implication.
Похожие слова
conditional
material conditional
logical consequence
entailment
Употребление
Используйте implication для намека, последствия, причастности или формальной связи p → q, выбирая смысл по контексту.
Типичные ошибки
Implication часто смешивают с inference, implicate и impact, а значение последствий обычно требует множественного числа implications.
Этимология
Происходит через среднеанглийские и англо-французские формы со значением запутанности или подразумевания, от средневековой латыни implicatio и латинского implicare, складывать внутрь, переплетать или вовлекать.
Часто задаваемые вопросы
Что означает implication?
Implication может означать косвенный намек, последствие, причастность или связь «если, то» в логике.
Что такое implication в обычной речи?
В обычной речи implication это смысл, который передан словами, молчанием, тоном или контекстом, но не сказан прямо.
Что значит implications во множественном числе?
Implications обычно означает возможные эффекты или последствия решения, открытия или события.
В чем разница между implication и inference?
Implication это то, что подразумевается, а inference это вывод, который кто-то делает из этого намека.
В чем разница между implication и implicate?
Implication это существительное, а implicate это глагол со значением показывать чью-либо причастность, часто к плохому делу.
Как implication используется в праве и расследованиях?
Оно может означать причастность или обвинительную связь, например implication in a fraud, scandal, or crime.
Что такое logical implication?
В логике implication это условная связь p → q, читаемая как «если p, то q».
Можно ли считать implication исчисляемым существительным?
Да. Один подразумеваемый смысл это implication, а несколько последствий это implications.
Откуда происходит implication?
Implication пришло через среднеанглийский и англо-французский от латинских форм, связанных со складыванием внутрь, переплетением и вовлечением.
Comments & contributions
Know this word from another angle? Add a correction, a nuance, or a usage note. New posts go public after a quick review.