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

如何用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都试过,找不到这个头文件
\dev c++\C stdafx.h:No such file or directory.