0.1.1

0.1.2 $\quad$ 对任意两个命题$A,B$，$A \implies B$可以定义为$B \lor (\lnot A)$。直观上可以如此理解：$B \lor (\lnot A)$成立等价于$A$不成立或$B$成立，于是当$A$成立时必有$B$成立。运用0.1.1中的逻辑运算律，证明$(A \implies B)\iff((\lnot B)\implies(\lnot A)).\\$

0.1.3 $\quad$ 对任意三个命题$A,B,C$，运用$0.1.1$中的逻辑运算律，证明逻辑符合模律，即当$A$是$C$的必要条件时，$(A \land B) \lor C \iff A \land (B \lor C).\\$

0.1.4 $\quad$ 对任意两个命题$A,B$，我们定义异或$A \oplus B$为$(A \land (\lnot B))\lor(B \land (\lnot A)).\\$