Explore relationships

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.

Use + to expand a branch. Click a topic name to open its summary.