La viga maestra de este método es la inducción lógica.