前提1：当且仅当GDP增长时，税收增长

前提2：税收不增长，GDP增长

结论：税收和GDP中有一项为假

这一套下来是想使用排中律，但是层主指出来第一项前提不是不证自明的。上面提到了一个更好的论：这三个断言之间没有形式逻辑关系。