Aserto (logiko)