条件命题可以分为: 充分条件命题,必要条件命题,充要条件命题
一般条件分为以下三种
1.充分条件:有其条件,则导致其结果
一般形式:如果p,则q
有效式
肯定前件式:若p,则q;p;所以q
否定后件式:若p,则q;非q;所以非p
2.必要条件:没有其条件,则必不导致其结果
一般形式:只有p,才q
有效式:
否定前件式:只有p,才q;非p;所以非q
肯定后件式:只有p,才q;q;所以p
3.充分必要条件:有之必然,无之必不然
一般形式:p当且仅当q
有效式:
P当且仅当q;p;所以q
P当且仅当q;非p;所以非q
P当且仅当q;q;所以p
P当且仅当q;非q;所以非p