老子的《道德经》里有大量的连锁推理等逻辑推理。

命题值恒假的命题形式是矛盾式。

判断题命题值恒假的命题形式是矛盾式。

真值函数实际上就是复合命题的逻辑特性。

判断题真值函数实际上就是复合命题的逻辑特性。

《鲁迅全集》-《药》之间不具有种属关系。

判断题《鲁迅全集》-《药》之间不具有种属关系。