WordWeb Help Us Improve Links |
Noun: 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
- implication, conditional relation
Derived forms: logical implications Type of: logical relation Encyclopedia: Logical implication |
Nearest logic diagram logic element logic gate logic operation logic programing logic programming logical logical argument logical diagram logical fallacy logical implication logical operation logical operator logical positivism logical positivist logical proof logical quantifier logical relation logical system logical thinking logical topology |