若限制一般意义的矛盾律,就会得到一种非亚氏（non-Aristotelian）逻辑,即弗协调（paraconsistent）逻辑。以弗协调逻辑系统C1为基础,对之......