simple past tense and past participle of implicate

present participle of implicate

The quality of being implicative.

possible effects or results from an action or event

(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