n個の原子命題からなる論理式は、#Bn = 2^2^n 個あるf: 2^n → 2 なる関数と同一視できる。この同一視（意味論的同値関係）は、数学でいうところの同値関係（同一律、反射律、推移律を満たす）であるため、n個の原子命題からなる論理式全体からなる集合 Fn は…