Matemaattisessa logiikassa literaali on atomikaava ilman 0:ta ja 1:tä tai sen loogista negaatiota . Tämän mukaisesti erotetaan kahden tyyppisiä literaaleja:
Propositiologiikassa literaali on looginen muuttuja tai sen looginen negaatio . Vastaavasti positiivista literaalia kutsutaan itse muuttujaksi ja negatiivista literaalia muuttujan loogiseksi negaatioksi .