formal statement calculus
...an Outline Outline • 命题逻辑 –非形式命题演算 (Informal statement calculus) –形式命题演算 (Formal statement calculus) • 谓词逻辑(一阶逻辑) –非形式谓词演算 (Informal predicate calculus) –形式谓词演算 (Formal predicate calculus) Ch1.
基于8个网页-相关网页
formal statement calculus
形式陈述演算
以上为机器翻译结果，长、整句建议使用 人工翻译 。