Характеризация доказуемых формул ИВ. Теорема о полноте ИВ.

Теорема 2.3. Исчисление высказываний - полная теория.
Доказательство. Следует из утверждения «|= А влечет |- A» теоремы 2.2.( Для исчисление высказываний справедливо утверждение:  |= A тогда и только тогда, когда |- A.)