logical implication

Từ điển WordNet v3.1 - WordNet Dictionary

noun

a logical relation between propositions p and q of the form 'if p then q';
if p is true then q cannot be false
• Syn:
implication, conditional relation
• Derivationally related forms:
implicational (for: implication), imply (for: implication), implicate (for: implication)
• Hypernyms:
logical relation