若e^x=2
两边取对数：
lne^x=ln2
又lne^x=x•lne
(对数运算法则)
且lne=1（对数关于e的定义）
所以有x=ln2
基本要求
根据谓词逻辑的语义推导规则，语义应该具有一致性，就是对于一个命题逻辑语句集f，当且仅当至少存在这样一种解释i，f的一切元素在i之下都是真的，那么，f是语义一致的。
在命题逻辑语义学内，一个赋值不能同时把真和假给予某个命题原子式。在命题逻辑语义学中，在同一解释下，一个集合不能既属于某个谓词的外延又不属于该谓词的外延。
若
e^x=2
两边取对数：
lne^x=ln2
又lne^x=x•lne
(对数运算法则)
且
lne=1（对数关于e的定义）
所以有
x=ln2
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024