早教吧 育儿知识 作业答案 考试题库 百科 知识分享

一个由n个命题变元P1,P2,P3.PN组成的wff,形式可以有无限多个,但彼此互不等价的只有2^(2^n)个,为什么离散数学中的逻辑问题,(^代表乘方运算)

题目详情
一个由n个命题变元P1,P2,P3.PN组成的wff,形式可以有无限多个,但彼此互不等价的只有2^(2^n)个,为什么
离散数学中的逻辑问题,(^代表乘方运算)
▼优质解答
答案和解析
1个命题变元可以有"T"或"F"("1"或"0")两种真值指派(或赋值),n个命题变元P1,P2,P3.PN组成的wff,应有2^n个真值指派(或赋值),对每一种真值指派wff又可取"T"或"F"("1"或"0")两个值之一,2^n个真值指派就有2^(2^n)种情况,不同的情况对应的wff不等价,因此彼此互不等价的只有2^(2^n)个.
看了 一个由n个命题变元P1,P2...的网友还看了以下: