Razonamiento (deducción lógica) VM