如何用C++实现离散数学中对二元关系对称性的判断

设R是集合A上的二元关系,

（1）对任意的x,y∈A,如果∈R,那么∈R,则称关系R是对称的（Symmetric）,或称R具有对称性（Symmetry）,即

R在A上是对称的

(x)(y)((x∈A)∧(y∈A)∧(∈R)→(∈R))=1

（2）对任意的x,yA,如果∈R且∈R,那么x=y,则称关系R是反对称的（Antisymmetric）,或称R具有反对称性（Antisymmetry）,即

R在A上是反对称的

(x)(y)((x∈A)∧(y∈A)∧(∈R)∧(∈R)→(x=y))=1

表现在关系矩阵上：关系R是对称的当且仅当其关系矩阵为对称矩阵,即rij=rji,i,j=1,2,…,n；

要求依据上述运算规则,判断任意给定一个6×6的关系矩阵是否是对称矩阵,既判断此关系是否是对称关系,并显示运算结果.

只需要原代码,有好的代码追加100分!

"stdafx.h"在哪里?

你用的什么环境?我用的DEV和VC都试过,找不到这个头文件

devc++Cstdafx.h:Nosuchfileordirectory.