Assignments

Assignment01 (due: 9.22)

用真值表证明以下等价式和蕴含式：
1. \[A \rightarrow (B \rightarrow A) \Leftrightarrow \lnot A \rightarrow (A \rightarrow \lnot B)\]
2. \[\lnot (A \leftrightarrow B) \Leftrightarrow (A \lor B ) \land \lnot (A \land B)\]
3. \[(P \rightarrow Q) \Rightarrow P \rightarrow (P \land Q)\]
不构造真值表证明1中各式
把下面命题符号化，并求前束范式
1. “所有运动员都钦佩某些教练”
2. “有些乌龟比有些兔子跑得快”
给出一个解释，是下式左端为假，右端为真： \(\forall x(A(x)\rightarrow B(x)) \Rightarrow \exists xA(x) \rightarrow \exists xB(x)\)
教材习题
- P20：3，6，8，10
- P21：13，16
- P21：14，20，25(3)，30(1)