Логика

Два противоречащих суждения об одном предмете или предметах должны быть:

одно – истинным, другое – ложным