一、邏輯基本規(guī)律矛盾律：n所有的SP，有些S不是n所有S不是P，有些SP;nAP，A不是P;nP并且Q，或者非P或者非Q;nP或者Q，非P并且非Q;n如果P那么Q，P并且非n只有PQ，非PQ;n必然P，可能非P;n必然非P，可能P;同一律：排中率：二、直言命題和三段論：邏輯上的有些指的是弱的有些，因此從有些SP無法推出有些S不是兩個(gè)概念之間有五種關(guān)系，分別是同一、包含、包含于、交叉、全異AEIO矛盾：所有S都是P=并非有些S不是P;所有S都不是P=并非有些S是P;有些S是P=并非所有S都不是P;有些S不是P=并非所有S都是P;差等：存在同質(zhì)的全稱命題和特稱命題之間的對應(yīng)關(guān)系S都是P和所有S都不是P下反對：指的是有些S是P和有些S不是P的關(guān)系，可以同時(shí)為真，不能同時(shí)為假;一個(gè)為假則另一個(gè)必為真，但是一個(gè)為真不知另一個(gè)真假;、連言命題和推理PQ：n合成式：P，Q所以PQn分解式：P并且Q，所以P/Qn否定式：并非P，所以并非P且Q2、選言命題和推理相容選言命題，P或者Q的模型n有效推理：P或者Q，非P，所以Q;P或者Q，非Q，所以P;P，P或者Qn無效推理：P或者Q，P，所以非Q，P或者Q，Q，所以非P不相容選言命題，要么P，要么Q，二者必居之一n有效推理：要么P，要么Q，非P，所以Q;要么P，要么Q，非Q，所以P;要么P，要么Q，P，所以非Q;要么P，要么Q，Q，所以非P;n無效推理：要么P，要么Q，P，Q;要么P，要么Q，Q，P;要么P，要么Q，非P，非Q;要么P，要么Q，非Q，非、假言命題充分條件假言命題：如果P，那么Q，只要P，就n只有前件真，后件假的情況下才能是假有效推理：如果P，那么Q，P那么Q;如果P，那么Q，非Q所以非P;n無效推理：如果P，那么Q，非P所以非QP，那么Q，Q，那么Pn如果P那么Q等值于“或者非P或者Q(P并且非Q)”必要條件假言命題：只有PQ;除非P否則不Q，n只有前件假，后件真的時(shí)候情況下才是假n有效推理：只有PQ，非P，所以非Q;只有PQ，Q，所以n無效推理：只有PQ，P，所以Q;只有PQ，非Q，所以非Pn如果P那么QQ才PQQ那么PQ”充要條件假言命題，P當(dāng)且僅當(dāng)Qn有效推理：當(dāng)且僅當(dāng)Q，P，所以Q;P當(dāng)且僅當(dāng)Q，Q，所以P當(dāng)且僅當(dāng)Q，非P，所以非Q;P當(dāng)且僅當(dāng)Q，非Q，所以非P;4、負(fù)命題n并非所有SPSP”n并非(PQ)=P或者非n并非(PQ)=P且非Qn并非如果P則Q=P并且非Qn并非如果P則Q=P并且非Qn并非只有PQPQn并非(P當(dāng)且僅當(dāng)Q)=PQQP5、模態(tài)命題和推理n必然P:推出并非必然非P;可能P;等值“并非可能非P”n必然非P：推出“并非必然P;可能非P;”等值“并非可能P”n并非可能P：推出“并非必然P;”n