マセマティカ エテルナ
オープンアクセス

概要

関係と様相演算子

キム・ヨンチャン

反射的、推移的、対称的な関係が様相演算子、必然性演算子、十分性演算子、および共十分性演算子によって誘導されることを示します。それらの例を示します。