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.
Top Related