第2章　命題邏輯

命題邏輯涉及對(duì)假言、聯(lián)言、選言、模態(tài)、負(fù)命題及相關(guān)等值推理的綜合運(yùn)用。由于推理形式是命題形式之間的關(guān)系，因此，為研究推理的有效性，就要對(duì)命題的形式進(jìn)行分析。