厳密条件法

厳密条件法（げんみつじょうけんほう、英: strict conditional、記号： ◻ {\displaystyle \Box } 、ないし ⥽）、または厳密含意とは、論理学において、様相演算子、すなわち様相論理の論理結合子によって支配される条件法である。これは、古典論理の実質条件法を、様相論理の必然性演算子と組み合わせたものと論理的に同値である。