Enunciados de questões e informações de concursos

Petróleo Brasileiro S.A.
Questão 1 de 1

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?



spinner
Ocorreu um erro na requisição, tente executar a operação novamente.