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.

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").

(electrical engineering) A prime implicant on a Karnaugh map which "covers" at least one 1 which is not covered by any other prime implicant.

plural of essential prime implicant

(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".