推理规则

分类包含 15 篇文章

子分类： 无

全称实例化

假言三段论

准三段论

肯定前件

存在概括

双重否定除去

选言三段论

中项

普遍化

三段论