填空题

两个重言式的析取是(),一个重言式与一个矛盾式的析取是(),两个重言式的合取是(),一个重言式与一个矛盾式的合取是(),一个重言式蕴涵一个矛盾式得到的是(),一个矛盾式蕴涵一个重言式得到的是()。

【参考答案】

重言式;重言式;重言式;矛盾式;矛盾式;重言式