La lógica de clases estudia dichas operaciones y sus conectivas lógicas.