Досліджено поняття істинності деякого твердження у заданій позиції всередині формули. Показано, що можливо коректно проводити міркування щодо окремих підформул, та яким чином запропонована техніка може полегшити обробку формалізованого математичного тексту.