Consiste en poder evaluar la lógica de una proposición.