python中语句a，a＝10，20执行后，a的值是多少
a，a＝10，20
相当于
(a,a)=(10,20)
相当于
a=10,a=20
所以结果是a=20
证明苏格拉底论证是有效的。利用离散数学知识
苏格拉底论证：凡人要死。苏格拉底是人，所以苏格拉底是要死的。
现将命题符号化：记
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）假言推理
得证。
参考文献代码[Z]是指什么?
根据GB3469-83《文献类型与文献载体代码》规定，以单字母标识：
M——专著（含古籍中的史、志论著）
C——论文集
N——报纸文章
J——期刊文章
D——学位论文
R——研究报告
S——标准
P——专利
A——专著、论文集中的析出文献
Z——其他未说明的文献类型