総合命題