Закон исключенного третьего следует из двух первых. Если два высказывания об одном и том же объекте противоречат друг другу, то они не могут быть истинными оба. Либо они оба ложны, либо истинно только одно. Третьего не дано.