離散數學題解-屈婉玲第 1 章 命 題 邏 輯

1.聯結詞 公式的層次 (1) 若 A 是單個的命題常項或變項, 則稱 A 爲 0 層公式.…… 真值表 設公式 A 含 n( n≥1) 個命題變項, 將 A 在 2^n個賦值下的取值情況列成表,稱爲 A 的真值表. 公式的分類 設 A 爲一個公式. (1) 若 A 無成假賦值, 則稱 A 爲重言式或永真式; (2) 若 A 無成真賦值, 則稱 A 爲矛盾式或永假式; (3) 若 A 至少有一個成

>>阅读原文<<