structure (logic)