逻辑等价(Logical Equivalences); 同义反复(tautology)——永真式 ... 【例子】证明$p\to q$ 逻辑等价$\neg p \or q$ (条件析取等价).
確定! 回上一頁