Enunciados de questões e informações de concursos
Sejam p e q fórmulas bem formadas de um sistema lógico de primeira ordem.
Qual a regra clássica de inferência designada pela expressão (p→q), ¬q \vdash ¬p?