WordNet: conditional relation, implication, logical implication
a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false
- hypernym logical relation
conditional relation
- (suomi) syy-seuraussuhde (synonyymi)
implication
- (englanti) imply (derivationally related)
- (englanti) implicational (derivationally related)
logical implication
- (suomi) looginen päätelmä (synonyymi)
- (suomi) implikaatio (synonyymi)