经典语句演算,classical sentential calculus

1)classical sentential calculus
经典语句演算

2)classic descriptions
经典描绘语句

3)classical calculus of propositions
经典命题演算
1.
The manipulative approach to the classical calculus of propositions is fairly significant and valuable theoretically and academically.
经典命题演算的能行方法研究具有重要的理论意义和现实价值。



4)classical passage
经典句段

5)algorithmic statement
算法语句

6)arithmetic IF statement
算术IF语句


补充资料：命题演算
命题演算
propositionalcalculus

一种最简单的逻辑演算。又称命题逻辑。命题演算中组成命题的最基本的成分是简单命题，可以回答"真"或"假"的一个陈述叫命题。例如"今天下雨"就是一个命题，而且是不再包含更小命题的所谓简单命题。简单命题可以联结成复合命题，命题演算中常用符号p，q，r，…表示命题变元。命题变元可以代表任意一个简单命题，也可以代表任意一个命题。命题联结符号有：否定连词“”表示“非”，合取连词“∧”表示“并且”，析取连词“∨”表示“或者”，蕴涵连词“”表示“如果…那么…”，等价连词“«”表示“当且仅当”。用命题变元和命题连词按一定方式联结就可以组成命题公式，例如用p表示“今天下雨”，q表示“有客人来”，r表示“去商店”。则一个命题公式(p∧q)r表示“如果今天不下雨且有客人来那么就去商店”。一个命题公式中的每个命题变元都取定真假值时，这个公式的真假值也就确定了。因此，一个命题公式也就是一个真值函数。命题公式的真假值的取法可以列表给出，这种表叫做真值表。
不论命题变元取什么值，命题公式都取真值，这样的公式叫做恒真式，也叫重言式，不论命题变元怎么取值，两个命题公式A，B的取值永远相同，就称A，B逻辑等价。记作AB。实际上，AB当且仅当AB是恒真式，一些基本的等价式，例如pp，(p∧q)p∨q，(pq)p∨q，(pq)qp，都可以用作命题公式等价变换的代数规则。这些规则可以把任何一个命题公式变换成与之等价的有标准形式的命题公式。这种标准形公式反映出一定的性质，取值的规律。
命题演算还研究命题公式的自然推演，从一些条件出发，根据一定的法则可以推理出结论，给定命题变元的取值，如果条件都真。则结论一定也真，常见的法则有：
①附加，②化简
pq

pq③假言推理，④拒取式⑤析取三段论式式中横线上的是条件，横线下的是结论。
p∨q
命题演算可以公理化。例如取下列命题公式作为公理：
A×1A(BA)。
A×2(A(BC))((AB)(AC))。
A×3(AB)(BA)。推演法则：由AB和A得B，以上A，B，C都代表任意一个命题公式。这是命题演算的一个完全的公理系统，在这个系统中，从公理出发按推演规则得到的都是恒真式，而且每一个恒真的命题公式都可以从公理出发按规则推演出来。命题演算中每一个公式都可以通过真值表来判定是否恒真式，因此可以判定是否可以从公理推演出来。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。

经典语句演算,classical sentential calculus