Sejam p e q fórmulas bem formadas de um sistema lógico de p...

Próximas questões
Com base no mesmo assunto
Q300805 Raciocínio Lógico
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 Imagem 004.jpg
Alternativas