Q蕴含P真值表不能用来判定蕴含于有效性()错误构造真值表时，不需要考虑简单命题的数量()错误真值表检验用真值表检验重言式与矛盾式需要针对所讨论的命题建立一个()C•A