论必要条件的二难推理和回溯推理

论必要条件的二难推理和回溯推理高玉楼传统逻辑的二难推理，其结构形式被定为：大前提是两个充分条件假言判断，小前提是一个二肢选言判断．结论或者是直言判断，或者是选言判断。如：元朝作家姚燧写的一首曲子：“欲寄君衣君不还，不守君衣君又寒。寄与不寄间、妾身千万...