线代 数理 命题 基本概念 eg.p和q恰好有一个成立 p^-q 或 -p^q 证明 直接证明 附加前提法 归谬法 等价与永真公式 eg 一共3个变元 需要2^3行 基本逻辑规律 补充："<-&…