• 2022-07-29
    在[img=25x23]180335d824228b6.png[/img]推演中,“«-”规则指的是:
    A: 从A«B推出A;从A«B推出B
    B: 从A«B和A推出B;从A«B和B推出A
    C: 从A«B推出A→B;从A«B推出B→A
    D: 从A«B和含子公式A的公式C(A)推出C(A/B)(将C中的一处或多处A代换为B)