Кирхарешет - это мента́льное логи́ческое поня́тие, построенное на основе принципа опровергаемости: каждое неутверждённое утверждение (то есть неявное, имплицитное утверждение) можно переформулировать в виде исключающего утверждения (отрицания) без изменения истинности первоначального утверждения.