单项选择题

用真值表检验重言式与矛盾式需要针对所讨论的命题建立一个()。

A、重言式
B、矛盾式
C、真值列
D、真值行