@740340735 2016-03-06T12:26:17.000000Z 字数 1207 阅读 582

离散数学(2) 第一周作业

离散数学(2)

陆一洲 5140309557 of F1403020

Page 40-5.: $a\equiv a$; 分分16, 10：
$\alpha\supset\alpha,\alpha\supset\alpha\vdash a\equiv a$

Page 40-6.: $(a\vee a)\supset a$; 分分 22, 10： $\alpha\supset\alpha,\alpha\supset\alpha\vdash (a\vee a)\supset a\tag{1}$

Page 40-7.: $a\equiv(a\vee a)$; 分分 22, (1), 20：
$(a\vee a)\supset a,a\supset (a\vee a)\vdash a\equiv(a\vee a)$

Page 49-114.: $(\alpha\equiv\beta)\supset((\gamma\supset\alpha)\equiv(\gamma\supset\beta))$; 分 14, 15：
$\alpha\equiv\beta\vdash\alpha\supset\beta,\beta\supset\alpha\\ \tag{2}$ (2), 分分12：
$\gamma\supset\alpha,\alpha\supset\beta\vdash\gamma\supset\beta\\ \gamma\supset\beta,\beta\supset\alpha\vdash\gamma\supset\alpha$ 即：
$(\alpha\supset\beta)\supset((\gamma\supset\alpha)\supset(\gamma\supset\beta))\\ (\beta\supset\alpha)\supset((\gamma\supset\beta)\supset(\gamma\supset\alpha))$ 分分 16：
$(\alpha\equiv\beta)\supset((\gamma\supset\alpha)\equiv(\gamma\supset\beta))$

Page 50-116.: $(\alpha\equiv\beta)\supset((\gamma\equiv\alpha)\supset(\gamma\equiv\beta))$; 分分 113, 114：
$\alpha\equiv\beta,\alpha\supset\gamma\vdash\beta\supset\gamma\\ \alpha\equiv\beta,\gamma\supset\alpha\vdash\gamma\supset\beta\\$ 分分 16：
$\alpha\equiv\beta,\gamma\equiv\alpha\vdash\gamma\equiv\beta$ 即：
$(\alpha\equiv\beta)\supset((\gamma\equiv\alpha)\supset(\gamma\equiv\beta))$