[练习题]所有真值表中的形式都可以作为定理在公理系统中得到证明。