離散數學:什麼是正規化 ?不要合取正規化、析取正規化的定義,什麼樣的算是正規化...

我覺得正規化可以理解為一類結構特殊一點的合式公式或乾脆稱之為命題公式，說它特殊是因為它的組成部分，除了命題變項p，q，r，...

假言命題和直言命題、選言命題以及聯言命題有什麼不同

相容的選言命題的邏輯聯結詞以“或者，或者”為典型連線詞，表示不同的選言支可以同真...

Top