alethic logic

词典目前无法访问——请稍后再试。