Несовместимыми являются суждения, которые одновременно не могут быть истинными. Из двух видов несовместимости одна — противоположность, другая — противоречие.
1. Противоположность — отношение между суждениями, которые одновременно не могут быть истинными, но могут быть одновременно ложными. При ложности одного из противоположных суждений нельзя установить значения другого: оно может быть как истинным, так и ложным.
2. Противоречие — отношение между суждениями, которые одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным.