离散数学实验报告专业班级:12级计算机本部一班 姓名:鲍佳珍 学号: 201212201401016 实验成绩:1【实验题目】命题逻辑实验六2 【实验目的】对称:通过算法设计并编程实现对给定集合上的关系是否为对称关系的判断,加深学生对关系性质的理解,掌握用矩阵来判断关系性质的方法自反:通过算法设计并编程实现对给定集合上的关系是否为自反关系的判断,加深学生对关系性质的理解,掌握用矩阵来判断关系性质的方法。3【实验内容】已知关系R由关系矩阵M给出,要求判断由M表示的这个关系是否为对称关系。假定R的关系矩阵为:4、【实验要求】C或C语言编程实现5. 【算法描述】对称:从给定的关系矩阵来判断关系R是否为对称是很容易的。若M(R的关系矩阵)为对称矩阵,则R是对称关系;若M为反对称矩阵,则R是反对称关系。因为R为对称的是等价关系的必要条件,所以,本算法可以作为判等价关系算法的子程序给出。算法实现:(1) 输入关系矩阵M(M为n阶方阵);(2) 判断对称性,对于i=2,3,.