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.
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.
Source: Wikipedia "Strict conditional" · CC BY-SA 4.0
Share this article: X · Bluesky