En programación, un dato de tipo lógico es aquel que puede tomar por valor sólo uno de los dos siguientes:
{ verdadero, falso }
Los valores "verdadero" y "falso" son contrapuestos, de manera que, un dato de tipo lógico siempre está asociado a que algo se cumpla o no se cumpla.
Ejemplo: El estado de una barrera de paso de trenes es un dato que puede considerarse de tipo lógico, por ejemplo, asociando "verdadero" a que esté subida y "falso" a que esté bajada.
Estado...: falso (indica que la barrera está bajada)
En pseudocódigo, para indicar que un dato es de tipo lógico se utiliza la palabra reservada:
logico