本文主要是介绍基础重言蕴含式,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
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)
这篇关于基础重言蕴含式的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!