Como a maioria das provas, as de lógica geralmente começam com as premissas, que são declarações que você está autorizado a assumir como verdadeiras. A conclusão é a afirmação que você precisa provar. A ideia é operar as premissas, utilizando as regras de inferência até chegar à conclusão. Com base nos conhecimentos das Regras de Inferência não Hipotéticas, Regras Derivas e Equivalências, determine se há algo errado na resolução da prova do argumento a seguir:

Caso haja algo de errado na demonstração, a partir de qual linha é possível identificar o erro?