logical implication
English Thesaurus
1. a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false (noun.linkdef)
| hypernym | : | logical relation, |
| definition | : | a relation between propositions (noun.linkdef) |
| derivation | : | imply, |
| definition | : | suggest as a logically necessary consequence; in logic (verb.communication) |
| derivation | : | entail, implicate, |
| definition | : | impose, involve, or imply as a necessary accompaniment or result (verb.stative) |
| derivation | : | implicational, |
| definition | : | relating to or concerned with logical implication (adj.pert) |
| derivation | : | imply, |
| definition | : | suggest as a logically necessary consequence; in logic (verb.communication) |
| derivation | : | entail, implicate, |
| definition | : | impose, involve, or imply as a necessary accompaniment or result (verb.stative) |
| derivation | : | implicational, |
| definition | : | relating to or concerned with logical implication (adj.pert) |
Visual ArtiKata
Explore logical implication in ArtiKata.com >