命题逻辑符号化习题
- 习题选讲—命题符号化 - 1. 在一阶逻辑中将下列命题符号化。(1) 有的狗会飞。(2) 发光的不都是金子。(3) 一切人都不一样高。(4) 有唯一的偶素数。(5)
命题逻辑符号化习题