(propositional calculus) The hypothesis of an implication

plural of implicant

simple past tense and past participle of implicate

The quality of being implicative.

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

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

plural of strict implication

plural of material implication

(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 prime implicant