🌙

☰

Strict conditional

In logic, a strict conditional (symbol: ◻ {\displaystyle \Box } , or ⥽) is a conditional governed by a modal operator, that is, a logical connective of modal logic. It is logically equivalent to the material conditional of classical logic, combined with the necessity operator from modal logic. For any two propositions p and q, the formula p → q says that…

Problems, Constructive logic & Overview