在逻辑和批判性思维中，论证是一系列的命题，其中一个是论证的前提，其他都是论证的结论。

命题“老王明天或者后天出差”中，“或者”是相容的。

判断题命题“老王明天或者后天出差”中，“或者”是相容的。

当所有合取支P和Q都为真时，合取命题“P并且Q”为真。

判断题当所有合取支P和Q都为真时，合取命题“P并且Q”为真。

如果P蕴涵Q，并且P为假，就能得出结论Q也为假。

判断题如果P蕴涵Q，并且P为假，就能得出结论Q也为假。