Describir: Lógica informática, derecho y estado