逻辑等价符号有哪些？

Question

如题所述

Answer 1

1、恒等于号

恒等号一般用于一些参变量恒为一个常数或恒定表达式时，总等于关系与变量无关。例如函数f(x)≡k表示该函数的值始终为k而与x的值无关。

2、全等于号

如果△ABC全等于△A'B'C'，那么可表示为△ABC≡△A'B'C'（也可表示为“≌”）。

3、等价于号

令p与q为两个命题，若pq为永真式，则称p与q是逻辑等价的，记作p≡q。

4、同余符号

设m是大于1的正整数，a，b是整数，如果m|(a-b)，则称a与b关于模m同余，记作a≡b(mod m)，读作a同余于b模m。