Un tipus de dades, els membres del qual pot assumir només valors lògics (normalment veritable i falsa) i pot ser operat en només per operadors lògics, com AND, OR i no.