 For Bolzano, truth and falsity (or lack-of-truth) are properties of propositions. Given his assumption that all propositions belong to the form ‘\(A\) has \(b\)’, he is able to offer the following definition of truth (TS, §28):