Buenas,
El ejercicio pedia demostrar esa consecuencia semantica la cual no tenia el ¬p2 marcado en verde,
como quedaba una hoja del TS sin cancelar se concluia falsa la consecuencia logica.
Luego se pedia que se agregara una hipotesis de forma que se hiciera verdadera la consecuencia,
mi duda está en que a demas de ¬p2, yo para lograr cancelar la hoja que quedaba podia elegir ¬p0 o tambien otras pero no encontraba el "respaldo" digamos de por el teorema de correcion dar una derivacion y me gustaria saber si este respaldo de la derivacion es necesaria para elegir la hipotesis que debo agregar al conjunto o como dije arriba, si eligiendo cualquier otra conclusion ,a priori sin "respaldo", estoy resolviendo bien el ejercicio o se me escapa algun detalle.
