【基本概念】
命题：可以判断真假的语句叫做命题； 开语句：无法确定真假的语句叫做开语句；
逻辑联结词：“或、且、非”等叫做逻辑联结词；
全称量词与全称命题：“对所有的”、“对一切”等短语在逻辑中通常叫做全称量词，含有全称量词的命题叫做全称命题；
存在量词与特称命题：“存在一个”、“至少有一个”、“有的”等短语在逻辑中通常叫做存在量词，含有存在量词的命题叫做特称命题；
简单命题：不含逻辑联结词的命题叫做简单命题；
复合命题：由简单命题与逻辑连接词构成的命题叫做复合命题.
用户名
密 码
忘记密码 新用户注册
