双条件假言推理法
亦称“充分必要条件假言推理法”。以充分必要条件假言判断为前提,根据充分必要条件假言判断的性质而进行推演的逻辑方法。充分必要条件假言判断的性质是:有前件必有后件,没有前件就没有后件;有后件必有前件,没有后件就没有前件。根据这种性质,双条件假言推理法有四种形式:①肯定前件式,其结构式为“当且仅当p,则q;p;所以,q。”或表示成:(p↔q)∧p→q。②否定前件式,其结构式为“当且仅当p,则q;非p;所以,非q。”或表示成:(p↔q)∧→。 ③肯定后件式:“当且仅当p,则q;q;所以,p。”或表示成:(p↔q)∧q→p。④否定后件式:“当且仅当p,则q;非q;所以,非p。”或表示成:(p↔q) ...... (共436字) [阅读本文]>>