
下面是我拍摄的西奥多·赛德 (Theodore Sider) 所著《哲学逻辑》中的一个符号。该符号用于表示一个函数,其域是命题逻辑的句子字母,其范围是集合{0,1}
(称为 PL 解释……它基本上将真值分配给不同的大写字母)。这个符号的名称是什么?如何在 LaTeX 中重现它?
答案1
您可以使用解毒回答此类问题,例如:
答案2
答案3
另一个名称来自\mathcal{I}
该calrsfs
包。
下面是我拍摄的西奥多·赛德 (Theodore Sider) 所著《哲学逻辑》中的一个符号。该符号用于表示一个函数,其域是命题逻辑的句子字母,其范围是集合{0,1}
(称为 PL 解释……它基本上将真值分配给不同的大写字母)。这个符号的名称是什么?如何在 LaTeX 中重现它?
您可以使用解毒回答此类问题,例如:
另一个名称来自\mathcal{I}
该calrsfs
包。