Datos de tipo lógico en Pseudocódigo

Un dato de tipo lógico es aquel que puede tomar por valor únicamente 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

Falso indica que la barrera está bajada.

En pseudocódigo, para indicar que un dato es de tipo lógico puede utilizarse la palabra reservada (sin tilde):

Logico

A los datos de tipo lógico también se les conoce como datos de tipo booleano en nombre del matemático George Boole (1815-1864), que fue quien desarrolló el llamado álgebra de Boole, aplicado en informática en distintos ámbitos, tales como el diseño de ordenadores o la programación.

En algunos lenguajes de programación, entre ellos C, no existen los datos de tipo lógico. No obstante, se pueden simular con datos de tipo entero, considerándose el valor cero (0) como Falso, y cualquier otro valor entero –habitualmente el uno (1) – como Verdadero.