Analysis I

亚里士多德逻辑是数理逻辑的一个分支，但不太有表现力，因为它缺少逻辑关系的概念，它没有“与”、“或”、“若…则”（尽管有“非”）等逻辑关系，而且它也没有像“≤”那样的二元关系。

......(更多)