技术栈
数理逻辑
xuchaoxin1375
1 年前
离散数学
·
数理逻辑
·
命题公式等值演算
DS@命题公式等值演算@常用等值式模式
A ⇔ B A\Leftrightarrow{B} A⇔B表示的是等价式命题 p p p: A ↔ B A\leftrightarrow{B} A↔B是一个重言式
xuchaoxin1375
1 年前
离散数学
·
数理逻辑
DM@数理逻辑@命题公式及其赋值@真值表@公式分类
DM@数理逻辑@命题公式及其赋值@真值表@公式分类若公式 A A A是单个命题变项,则 A A A称为0层公式