Engelsk navneord: 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 | ||
Termer med samme betydning (synonymer) | conditional relation, implication | ||
Mindre specifikke termer | logical relation | ||