Engelsk substantiv: logical implication | |||
1. | 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 | ||
Ord med samme betydning (synonymer) | conditional relation, implication | ||
Mindre spesifikke uttrykk | logical relation | ||