Este método sería similar al usado en matemáticas y en lógica.