Módulo 4: nivel 3– Deducción formal