|
Definition of Logical implication
1. 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.
Exact synonyms: Conditional Relation, Implication
Generic synonyms: Logical Relation
Derivative terms: Implicate, Implicational, Imply
Generic synonyms: Logical Relation
Derivative terms: Implicate, Implicational, Imply