命题及其否命题（矛盾命题）
并非“所有S都是P” = 有些S不是P
并非“所有S都不是P” = 有些S是P
并非“P且Q” = 非P或非P
并非“P或Q ” = 非P且非Q
并非“要么P要么Q” = “P且Q”或“非P且非Q”
并非“如果P，则Q” = P且非Q
并非“只有P，才Q” = 非P且Q
充分条件（
P，则Q
）假言命题
语言形式（P
→Q）：“如果P那么Q”“只要P，就Q”“若P必Q”“P，则Q”
性质：如果充分条件命题“P
→Q”为真，则：
肯定P必肯定Q
（P真，则Q为真）
否定P，未必否定Q（
P假，则Q不一定假
）肯定Q，未必肯定P（
Q真，则P不一定真
）否定Q，必否定P
（Q假，则P为假）
公式：（1）“如果P，那么Q” = “非P或P”
（2）并非（P
→Q） = P且非Q
必要条件
（只有P，才Q）
假言命题
语言形式（P
←Q）：“只有P，才Q”“如果Q，则P”“不P，不Q”“没有P，没有Q”P是Q的前提（必不可少的条件）
性质：P←Q为真：
有P未必有Q无P必无Q
有Q必有P
无Q未必有P公式“只有P，才Q” = “如果Q，则P”
并非“只有P，才Q”  ...