Category:Definitions/Strict Implication

This category contains definitions related to Strict Implication.
Related results can be found in Category:Strict Implication.

Strict implication is a connective in modal logic defined as:

$\map \nec {A \implies B}$

That is:

It is necessarily true that the truth of $A$ implies the truth of $B$.