2022年1月9日
离散数学第一章数理逻辑1.2重言式
摘要： 1.2.1基本概念 指派：n个命题变元的公式，真值有2^n种不同组合，每种组合叫一种指派，共2^n种，即真值表2^n行。 命题公式得到一确定的值，命题公式成为具有真假值的命题。 重言式/永真式：对于所有指派，命题公式均取真值 矛盾式/永假式：对所有指派，命题公式均取假值 偶然式：不是永真，也不是永假 阅读全文
posted @ 2022-01-09 09:07 晓屈 阅读(1996) 评论(0) 推荐(0) 编辑