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
Synonyms: conditional relation, implication
Related Words: logical relation



Terms and Conditions of Use / Copyright Notice