Принцип исключенного третьего: Визуализация и объяснение в логике