Category:Strict Implication
Jump to navigation
Jump to search
This category contains results about Strict Implication.
Definitions specific to this category can be found in Definitions/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$.
Subcategories
This category has the following 2 subcategories, out of 2 total.
E
P
Pages in category "Strict Implication"
This category contains only the following page.