要检验一个命题是否蕴涵另一个命题，只是需要看推导过程是否有矛盾。（）

“所有彩色蜡笔画都是蜡笔画”是特称命题。（）

判断题“所有彩色蜡笔画都是蜡笔画”是特称命题。（）

诉诸传统谬误是诉诸传统论证的一种滥用形式。（）

判断题诉诸传统谬误是诉诸传统论证的一种滥用形式。（）

对当方阵又称逻辑方阵。（）

判断题对当方阵又称逻辑方阵。（）