Это закон исключенного третьего, потому что истинным является одно из двух противоречащих даух другу утверждений ("А" или "НЕ А").