tanjie_123的专栏

一、前言析取范式和合取范式是命题逻辑等值演算中的重要内容，其目的是为了标准化命题公式。下面我将给出析取范式和合取范式的计算步骤。又由于析取范式和合取范式的形式不唯一，为了便于比较命题公式之间的关系，因此衍生出了主析取范式和主合取范式。所以，也将给出主析取范式和主合取范式的求解方法。二、范式存在定理范式存在定理：任一命题公式都存在与之等值的析取范式和合取范式。求解给定公式范式的步骤：...

一、前言本文将简单介绍二元关系的性质：（1）自反性（2）对称性（3）传递性，以及由此派生出的其他性质。二、二元关系的性质2.1 自反性定义（1）若, 则称R在A上是自反的。（2）若,则称R在A上是反自反的。2.2 对称性定义    设R为A上的二元关系，  （1）若,则称R为A上的对称关系    (2)   若,则称R为A上的反对称关系2.3 传递性定义...