关系矩阵及命题的真假关系

本文利用布尔矩阵表示有限集合上的二元关系,并进一步用矩阵刻划关系的性质及关系的关系,这种考虑是受的启发。做为所得结果的应用,本文比较深入地讨论了形式逻辑中两个命题形式间真假关系的有关问题,并对传统的 A、E、I、O 四种命题的对当关系,做了一些新的推导。这些问题,在普通逻辑中未能系统回答,尽管用数理逻辑方法也可作同样的讨论,但本文所采取的矩阵方法似乎要简单得多。