Teresa, tampouco está ben a túa solución.
Se supoñes A no 4, entón C no 5 está dentro do suposto e polo tanto aínda non está demostrado fóra do suposto, ao sumo poderías obter nun paso 6 A->C por Intr.-> 4-5, pero con iso non arreglas nada.
Teresa, tampouco está ben a túa solución.
Se supoñes A no 4, entón C no 5 está dentro do suposto e polo tanto aínda non está demostrado fóra do suposto, ao sumo poderías obter nun paso 6 A->C por Intr.-> 4-5, pero con iso non arreglas nada.