type
date
slug
status
summary
tags
category
icon
password
1-4-1 等价
命题公式中变元做任何指派，都使得A和B的真值相同，那么称作A与B等价，记作
若 是重言式，则A与B等价
1-4-2 基本等价式
1.双重否定律 | ㅤ | |
2.冥等律 | ||
3.交换律 | ||
4.结合律 | ||
5.分配律 | ||
6.德摩根律 | ||
7.吸收律 | ||
8.零律 | ||
9.同一律 | ||
10.排中律 | ㅤ | |
11.矛盾律 | ㅤ | |
12.蕴含等价式 | ㅤ | |
13.等值等价式 | ㅤ | |
14.假言易位 | ㅤ |
1-4-3 置换规则
（1）代入规则使用的前提是必须面向重言式;置换规则使用的前提是面向任意命题公式。
（2）代入规则被替代的对象必颁是命题变元;置换规则被替代的对象可以是命题公式。
（3）代入规则的替代对象是狂意命题公式;置换规则的替代对象必须是等价式。
（4）代入规则必须是处处代入;置换规则可部分替换，亦可处处替换
- 作者:ywyz
- 链接:https://ywyz.tech/article/dmath1-4
- 声明:本文采用 CC BY-NC-SA 4.0 许可协议，转载请注明出处。
