Literał (logika)