elementos
Post on 07-Dec-2015
212 Views
Preview:
DESCRIPTION
matematica
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.
top related