Формула лічыцца класічна агульназначнай, калі правільнае ўсякае выказванне, якое выводзіцца з яе ў выніку падстановак любых выказванняў замест пераменных (А, В, С…); да ўсякага злічэння прад'яўляюцца патрабаванні несупярэчлівасці і паўнаты.