さんじょうたいロジックスリーステートロジック状态逻辑: ステートロジック三状态: トライステートさんじょうたい三态逻辑: トライステートロジック动态逻辑: どうてきろんりダイナミックロジック模态逻辑: 様相論理学下载手机日语词典可随时随地查词查翻译