Category:Examples of Strict Implication
Jump to navigation
Jump to search
This category contains examples of 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$.
Pages in category "Examples of Strict Implication"
The following 2 pages are in this category, out of 2 total.