Asercja (logika)