离散数学第一章命题演算基础-范式和其应用.pptVIP

* 如果问两句话，而且回答一真一假，但可以对于第一个问题不直接回答。如何？ (1)棋子是白的，是吗？ (2)你刚说了“是”，是吗？ 三个命题变元P、Q和R可构造8个极大项 把命题变元的否定形式看成1，肯定形式看成0，则每个极大项对应一个二进制数，也对应一个十进制数。它们对应如下： P?Q?R 与000 或0对应，简记为 M0 P?Q??R 与001 或1对应，简记为 M1 P??Q?R 与010 或2对应，简记为 M2 P??Q??R 与011 或3对应，简记为 M3 ?P?Q?R 与100 或4对应，简记为 M4 ?P?Q??R 与101 或5对应，简记为 M5 ?P??Q?R 与110 或6对应，简记为 M6 ?P??Q??R与111 或7对应，简记为 M7 n个命题变元组成的极大项有2n个 公式的每一个完全成假解释对应一个极大项 公式的所有完全成假解释对应极大项的合取 例: 考察公式 ?=P?Q 有两个成假解释： (T, F), (F, T) 分别对应于两个极大项(析取式