Q；虽然P但是Q；一边P，一边Q；

性质：当且仅当P、Q全为真时P且Q为真，当P、Q中至少有一个为假时P且Q为假

负命题（矛盾命题）：并非P且Q=非P或非Q=如果P为真，则非Q=P、Q中至少有一个是假的 除非P且Q，则不能R，其否定式是非P且非Q，R；对“如果（P或Q），则R”的否定式是P且非Q，R或非P且非Q，R。

相容选言：

P或Q

负命题（矛盾）：并非P或Q＝非P且非Q（并联电路断路时，P、Q都断路）

P、Q至少有一个为真就为真，P或Q为真时，不能推出P真或Q真；若P或Q为真，Q为假，则P为真。

不相容选言：