基础重言蕴含式

1…
$$P\wedge Q\Rightarrow P$$
2.
$$P\wedge Q\Rightarrow Q$$
3.
$$P\Rightarrow P\vee Q$$
4.
$$Q\Rightarrow P\vee Q$$
5.
$$P,Q\Rightarrow P\wedge Q$$
6.
$$(P\to Q)\wedge (Q\to R)\Rightarrow P\to R$$
7.
$$P\to Q\Rightarrow (P\vee R)\to (Q\vee R)$$
8.
$$P\to Q\Rightarrow (P\wedge R)\to (Q\wedge R)$$