查查哒

汉英词典(图标) 一阶模态逻辑