El segundo tipo, la racional, es la verdad lógica y matemática, valiendo como ejemplo cualquier operación de este tipo.