Download - Elementos
Transcript
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.