出处：按学科分类—哲学、宗教 辽宁人民出版社《诸子百家大辞典》第877页（192字）
墨家逻辑用语。
《墨子·小取》所列七种论式之一，相当于假言判断、假言推理。《小取》：“假也者，今不然也。”假，假设；今不然，尚未成为现实；区别于“今已然也”(实然判断)的假言判断。如，“若使天下相爱，……则天下治”(《兼爱上》)，“人若不盈无穷，则人有穷也”(《经说下》)。
这表明墨家将“若……则……”作为假言判断的基本形式加以运用。