用逻辑符号表示“至少一个”

问题描述:

用逻辑符号表示“至少一个”

至少一个就是存在一个,对应的是一个存在量词,符号是∃