关于二元关系非显著性质的简单定律
逻辑
2018-11-21 v2
摘要
我们检验了 5 元素集合上的每个二元关系是否具有给定的一组性质，包括非对称性等常见性质与欧几里得性等较不知名的性质。利用一种简易的 Quine-McCluskey 算法，我们计算了未出现的性质组合（如“非非自反，但非对称”）的素蕴涵项。我们考虑以此方式获得的非平凡定律，并手动证明其对任意集合上的二元关系成立，从而为关于较不知名性质的百科知识做出贡献。
引用
@article{arxiv.1806.05036,
title = {Simple Laws about Nonprominent Properties of Binary Relations},
author = {Jochen Burghardt},
journal= {arXiv preprint arXiv:1806.05036},
year = {2018}
}
备注
70 pages, 46 figures. Comparison to previous version: 9 more relation properties; found 274 prime implicants, each one manually proven or disproven; program improvements