③假言命题:是断定事物情况之间条件关系的命题。假言命题中,表示条件的支命题称为假言命题的前件,表示依赖该条件而成立的命题称为假言命题的后件。如:“如果银行降低存款利率,那么股票价格就会上升。”
④负命题:通过对原命题断定情况的否定而做出的命题,就叫作负命题。如:“并非一切金属都是固体。”
4.命题的形式
每一命题形式都由逻辑常项和逻辑变项组成。逻辑变项是指命题形式中可变的部分;逻辑常项是指某一命题形式中固定不变的部分。对于简单命题和复合命题来说其形式是不同的。
简单命题。例如“所有金属都是导电的”“有些顾客不是会员”等,这类命题可以写成“所有S都是P”“有些S不是P”的表达形式,其中,“S”和“P”是逻辑变项,“所有……都是……”“有些……不是……”是逻辑常项。
复合命题。例如“如果天下雨,那么地湿”“或者你去参加比赛,或者我去参加比赛”等,这类命题可以写成“如果P,那么Q”“或者P或者Q”,其中,“P”“Q”是逻辑变项,“如果……那么……”“或者……或者……”是逻辑常项。