一阶逻辑等值演算

写在前面： 我是「虐猫人薛定谔i」，一个不满足于现状，有梦想，有追求的00后 \quad 本博客主要记录和分享自己毕生所学的知识，欢迎关注，第一时间获取更新。 \quad 不忘初心，方得始终。自己的梦想，终有一天会实现！ \quad ❤❤❤❤❤❤❤❤❤❤ 文章目录 一阶逻辑等值式与置换规则 一阶逻辑前束范式 一阶逻辑等值式与置换规则 设A，B是一阶逻辑中的两个公式，若 A ↔ B A\leftri

>>阅读原文<<