Закон исключения третьего - если есть два противоположных суждения и одно из них отрицает другое, например "А" есть "В" и "А" не есть "В", то не может быть третьего, среднего суждения. Третий закон логики - учит не плодить множество тупиковых ветвей рассуждения...