Закон исключённого третьего утверждает, что для любого высказывания A, либо A истинно, либо его отрицание ¬A истинно, то есть A или не-A всегда истинно.
Ответ: Закон исключения третьего