Of or pertaining to logical implication.

(obsolete) The quality of being implicit.

In an implicative way.

Tending to implicate or to imply; pertaining to implication.

(logic) A material implication that is acted upon by the necessity operator from modal logic.

(logic) An implication as defined in classical propositional logic, leading to the truth of paradoxes of material implication such as Q⊢P→Q, to be read as "any proposition whatsoever is a sufficient condition for a true proposition".

plural of strict implication

plural of prime implicant

(electrical engineering) A group of related 1's (implicant) on a Karnaugh map which is not subsumed by any other implicant in the same map. Equivalently (in terms of Boolean algebra), a product term which is a "minimal" implicant in the sense that removing any of its literals will yield a product term which is not an implicant (but beware: on a Karnaugh map it would appear "maximal").

plural of material implication