摘要：
1.泛化（generalize） 实线空心三角箭头。 2.实现（realize） 虚线空心三角箭头。 3.聚合（aggregation） 实线空心菱形箭头。 4.组合（composition） 实线实心菱形箭头。 5.关联（association） 实线（直线），普通箭头（"<",">"）可选。如果 阅读全文
摘要：
三段论推理是演绎推理中的一种简单推理判断。他包括： 大前提：一个包含大项和中项的命题； 小前提：一个包含小项和中项的命题； 结论： 一个包含小项和大象的命题。 创建者：亚里士多德 三段论规则有七条，是由4条基本规则和3条导出规则组成。 四条基本规则： 1.一个正确的三段论，有并且只有三个不同的项。 阅读全文