strict implication

名詞

(logic) A material implication that is acted upon by the necessity operator from modal logic.

日本語の意味

必然性演算子が作用する物質的含意、すなわちモーダル論理において必要性を伴う含意として解釈される。

In modal logic, the strict implication between propositions is represented by placing the necessity operator before a material conditional.

モーダル論理では、命題間の厳格含意は、素材的含意の前に必然性演算子を置くことで表現される。

意味（1）

(logic) A material implication that is acted upon by the necessity operator from modal logic.

strict implications

（ plural ）