工作P

微分命题演算

图1

图1.当地居住环境和名称

图1.当地的习惯和名称

图2

图2.相同的名字，不同的习惯

图2.相同的名字，不同的居住环境

图3

图3.回到未来

图3.回到未来

表4

HTML+LaTeX

$\text{表4.}~~\text{初始状态描述}$
$\开始{矩阵}\上划线{q}~\上划线{d} q个}~\text{descripted}~a\\[8pt]\上划线{q}~\mathrm{d} q个~\text{descripted}~d\[8pt]q~\上划线{\mathrm{d} q个}~\text{描述}~b\\[8pt]q~\mathrm{d} q个~\text{descriptes}~c\end{matrix}$

巴布亚新几内亚

表4.初始状态描述

表4.初始状态描述

表5

HTML+LaTeX

$\text{表5.}~~\text{微分推理规则}$
$\开始{矩阵}\text{From}&\上划线{q}&\text{和}&\下划线{mathrm{d} 问}&\text{infer}&\overline{q}&\text}next.}\\[8pt]\text{From}&\surline{q}&\text{and}&\mathrm{d} q个&\text{infer}&q&\text{next.}\\[8pt]\text{From}&q\\text{和}&\上划线{\mathrm{d} 问}\\text{infer}&q&\text{next.}\\[8pt]\text{From}&q\\text{和}&\mathrm{d} q个&\text{infer}&\overline{q}&\text}next.}\end{matrix}$

巴布亚新几内亚

表5.微分推理规则

表5.微分推理规则

表6

巴布亚新几内亚

表6.命题逻辑演算的语法和语义

表7

巴布亚新几内亚

表7.命题演算：基本符号

线性命题

肯定命题

奇异命题

表11

巴布亚新几内亚

表11.差分扩展：基本符号