Основы закона исключенного третьего в логике