Ответ:

Закон исключённого третьего требует, чтобы из двух противоречащих суждений одно было истинным, а другое ложным.

Ответ: 4) Закон исключённого третьего.