User blog comment:Ytosk/Trying to define Bowers' K(n) systems/@comment-35470197-20191031094256/@comment-38817512-20191101063553

Is truth predicate really just something that outputs its input? In that case, i don't see its purpose, because every formula with a truth predicate would have the same value without the truth predicate. That's implied by A⇔T(A)