Традиционная логика

ЗАКОН СТРОГОЙ ДИЗЪЮНКЦИИ

строго разделительное суждение истинно тогда и только тогда, когда суждения, его образующие, имеют разное логическое значение.