数理逻辑复习题

数理逻辑复习题一、填空1、数理逻辑中公式的三种类型是 、 和 。2、设：我说谎；：太阳从西边出来；则表示 ； 。3、命题是具有 真值的