命题公式等值演算

xuchaoxin13751 年前
离散数学·数理逻辑·命题公式等值演算
DS@命题公式等值演算@常用等值式模式A ⇔ B A\Leftrightarrow{B} A⇔B表示的是等价式命题 p p p: A ↔ B A\leftrightarrow{B} A↔B是一个重言式