什么是或(逻辑)?

什么是或(逻辑)? 墨辩逻辑用语。《小取》所列七种论式之一。相当于选言命题、选言推理。《墨子·小取》名词解释：“或,不尽也。”不尽,有所选择。作为命题,如《经上》名词解释：“时或有久,或无久。”《经说上》名词解释：“或谓之牛,或谓之非牛。”作为论式,如“时或有久,或无久。始,当无久”(《经上》),可推出结论“非有久”,为由肯定到否定的选言论式。一说相当于特称命题,与“尽”(全称命题)相对。尽,全部断定;不尽,只断定一部分。