数字拾取算法公式

数字拾取算法公式：A1=VALUE(RIGHT(A2,LEN(A2)-SEARCH({0,1,2,3,4,5,6,7,8,9},A2)+1))+B1。

在B1中输入或复制粘贴下列公式=LEFT(A1,LEN(A1)-IF(ISNUMBER(FIND(".",$A1)),4,2))，在C1中输入或复制粘贴下列公式=--SUBSTITUTE(A1,B1,)，选择B1:C1，下拉填充或在B1和C1中分别输入要得到的内容分别选择B2和C2后，按CTRL+E进行快速填充。

数字拾取命题逻辑语义公式：

根据谓词逻辑的语义推导规则，语义应该具有一致性，就是对于一个命题逻辑语句集f，当且仅当至少存在这样一种解释i，f的一切元素在i之下都是真的，那么，f是语义一致的。

在命题逻辑语义学内，一个赋值不能同时把真和假给予某个命题原子式。在命题逻辑语义学中，在同一解释下，一个集合不能既属于某个谓词的外延又不属于该谓词的外延。