Propriedades sobre substituição em regras de inferência

Se numa regra de inferência, substituirmos todas as ocorrências de uma (qualquer) letra por uma mesma fórmula, obtemos ainda uma regra de inferência:

Ex: PQ P . Q

Substituindo, por exemplo, Q por QR, obtemos a regra de inferência: PQR P . QS

Se numa regra de inferência, substituirmos uma fórmula por outra logicamente equivalente, obtemos ainda uma regra de inferência.