运算符数学和逻辑

运算符，在数学上，表示要执行的操作的任何符号。例子是√x的平方根（表示要取平方根）和^d / _dx（表示要对x求微分）。从某种意义上来说，运算符可以视为一个函数，变换或映射，它会将一个集合中的元素关联或“映射”到另一个集合中的元素。另请参见自同构。

形式逻辑：运算符的可互定义性

刚刚陈述的规则将使表3中列出的第一部De Morgan法能够转换任何包含任意数量的wff的wff。

。