Основы предикатной и пропозициональной логики, правила вывода и построения формул