Algoritmos e Estrutura de Dados (TI) — interpretação de textos

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