Un tip de date ai cărei membri poate presupune doar valori logice (de obicei, TRUE şi FALSE) și poate fi exploatată pe numai prin operatori logici, cum ar fi AND, OR şi nu.