计算器怎么算log，如何使用科学计算器中的对数log
科学计算机计算对数log的方法：
情况一：计算底为10的log（10）即lg：
一般的计算器都默认log的底数为10，因此计算这类对数时，直接点击计算机的“log”键，再打上数字即可。
例如，求“lg（10）”可在科学计算器中按下：
“log”，“10”，“=”即可。
情况二：计算底为e的log（e）即ln：
点击图示中的“ln”键，再输出数字即可。
例如，求“ln（10）”可在科学计算器中按下：
“ln”，“10”，“=”即可。
情况三：计算以任意数为底数的log，即logx（y）
例如求“log3（9）”，
由对数换地公式可知log3（9）=lg9/lg3，
故此，求“log3（9）”可在科学计算器中输入：
“log”，“9”，“÷”，“log”，“3”，“=“即可。
证明苏格拉底论证是有效的。利用离散数学知识
苏格拉底论证：凡人要死。苏格拉底是人，所以苏格拉底是要死的。
现将命题符号化：记
P(x)：x 是人；D(x)：x是要死的；a：苏格拉底。
前提：Ax(P(x)→D(x))，P(a)； （A 表示全称量词）
结论：D(a)。
证明
1）Ax(P(x)→D(x)) 前提引入
2）P(a)→D(a) 1) UI
3）P(a) 前提引入
4）D(a) 2）3）假言推理
得证。