Razonamiento 2 (deducción lógica) VM