唐朝诗人韦应物写过一首富有诗情画意的小诗《滁州西涧》：独怜幽草涧边生，上有黄鹏深树鸣。春潮带雨晚来急，野渡无人舟自横。许多画家都用野渡无人舟自横作题目绘画。可是，有人好画，无人却不好画。因为不少人的画无非是春江空船，千篇一律。所说，后来有位画家拿出一幅卓然超群的画，博得了大家的喝采。其实，这幅画的高明处，只在空船上添了几只悠然自得的水鸟。然而就是这几只小鸟，贴切地表现了诗的意境，这是因为这幅画的推理判断是正确的。如果有人，水鸟就会飞走，这是一个真实的假设判断;这个野外的渡口，水鸟没有飞走，这又是一个真实的直言判断，于是得出野渡无人的结论就是正确的。
