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: |