1…
P
∧
Q
⇒
P
P\wedge Q\Rightarrow P
P∧Q⇒P
2.
P
∧
Q
⇒
Q
P\wedge Q\Rightarrow Q
P∧Q⇒Q
3.
P
⇒
P
∨
Q
P\Rightarrow P\vee Q
P⇒P∨Q
4.
Q
⇒
P
∨
Q
Q\Rightarrow P\vee Q
Q⇒P∨Q
5.
P
,
Q
⇒
P
∧
Q
P,Q\Rightarrow P\wedge Q
P,Q⇒P∧Q
6.
(
P
→
Q
)
∧
(
Q
→
R
)
⇒
P
→
R
(P\rightarrow Q)\wedge(Q\rightarrow R)\Rightarrow P\rightarrow R
(P→Q)∧(Q→R)⇒P→R
7.
P
→
Q
⇒
(
P
∨
R
)
→
(
Q
∨
R
)
P\rightarrow Q\Rightarrow(P\vee R)\rightarrow(Q\vee R)
P→Q⇒(P∨R)→(Q∨R)
8.
P
→
Q
⇒
(
P
∧
R
)
→
(
Q
∧
R
)
P\rightarrow Q\Rightarrow(P\wedge R)\rightarrow(Q\wedge R)
P→Q⇒(P∧R)→(Q∧R)
基础重言蕴含式
最新推荐文章于 2022-12-25 13:38:46 发布