in logic (= a formal scientific method of examining ideas), relating to a statement that is always t

中文解释

（逻辑术语）重言的 If \"Jones\" is a proper name, then \"Jones exists\" is tautological. 如果“琼斯”是一个专名，那么“琼斯存在”就是重言式。