Формула "Из двух противоречащих высказываний в одно и то же время и в одном и том же отношении одно непременно истинно" раскрывает закон достаточного основания, закон исключенного третьего, закон противоречия, закон тождества