设F：{0,1}^n→{0,1}n个命题变项构成2^(2^n)个真值函数列出了表格pF(1)0F(1)1F(1)2F(1)300011F(1)之后的下标1,2,3,4还有F(1)nn=0,1,2,3

Question

设F：{0,1}^n→{0,1}
n个命题变项构成2^(2^n)个真值函数
列出了表格
p F(1)0 F(1)1 F(1)2 F(1)3
0 0 0 1 1
F(1)之后的下标 1,2 ,3,4
还有 F(1)n n=0 ,1,2,3

Answer 1

2^（2^1)=4（前一个2代表每个命题有真假（0,1）两种情况（这是由于这是命题变项）,后一个2代表命题变量个数,1代表1次）.
F(1)之后的下标 1,2 ,3,4 是对原式的n赋值.F（1）即F：{0,1}^1→{0,1},F（2）即F：{0,1}*{0,1}→{0,1},同理……
F(1)t t=0 ,1, 2, 3指对原式F：{0,1}^n→{0,1}令n=1时的各种情况编号,编号可以任意,但是为了方便和习惯所以按顺序编.
建议看看离散数学的书,这种书枯燥,但是非常有用.