통사 (logic)