逻辑符号参照.pdfVIP

名字 符号 读作 解说 例子 范畴 实质蕴涵 A ? B 意味着如果 A 为真， ? 则 B 也为真；如果 A 为假，则 对 B 没有任何影响。 蕴涵；如 2 2 x = 2 ? x = 4 为真，但 x = 果 .. 那么 → 可能意味着同 ? 一样的意 → 4 ? x= 2 不保证成立 (因为 x 思(这个符号也可以指示 函数 的 可以是 -