A statement form can be shown to be a logical truth by either (a) showing that it is a tautology or (b) by means of a proof procedure.
Gali būti parodoma, kad tvirtinimo forma yra logiška tiesa ar prie (a), rodydama, kad tai yra tautologija ar (b) su įrodymo procedūra.