工作U

微分逻辑

表A1。二元命题形式

表A1.两个变量的命题形式

表A1。两个变量上的命题形式

表A2。二元命题形式

表A2.两个变量的命题形式

表A2。二元命题形式

\text{表A3.}~~\mathrm{E} (f)~\text{扩展过差分特征}~\{\mathrm{d} 第页,\mathrm{d} q个 \}

\text{表A3.}~~\mathrm{E} (f)~\text{扩展过差分特征}~\{\mathrm{d} 第页,\mathrm{d} q个 \}

表A3。在微分特征{dp,dq}上展开的Ef

\text{表A4.}~~\mathrm{D} (f)~\text{扩展过差分特征}~\{\mathrm{d} 第页,\mathrm{d} 问 \}

\text{表A4.}~~\mathrm{D} (f)~\text{扩展过差分特征}~\{\mathrm{d} 第页,\mathrm{d} 问 \}

表A4。差分特征上的Df扩展{dp,dq}

\text{表A5.}~~\mathrm{E} (f)~\text{扩展普通功能}~\{p,q\}

\text{表A5.}~~\mathrm{E} (f)~\text{扩展普通功能}~\{p,q\}

表A5。Ef展开于普通特征{p,q}

\text{表A6.}~~\mathrm{D} (f)~\text{扩展普通功能}~\{p,q\}

\text{表A6.}~~\mathrm{D} (f)~\text{扩展普通功能}~\{p,q\}

表A6。Df扩展到普通特征{p,q}