假言直言推理

注释

第一个前提是假言判断，第二个前提和结论都是直言判断，分别肯定或否定该假言判断的前件或后件的推理。