As regras de inferência servem para inferir uma conclusão sobre uma premissa, gerando um argumento que será válido. No caso das equivalências, são ...

As regras de inferência servem para inferir uma conclusão sobre uma premissa, gerando um argumento que será válido. No caso das equivalências, são informações que podem ser escritas de um modo diferente sem a perda de generalidade. Por fim, temos as regras de derivadas, que servem para facilitar as provas de argumentos, simplificando o processo quando visto das regras básicas já utilizadas.Com todo este conhecimento e utilizando as regras de inferência não hipotéticas, de equivalência e de derivadas, prove o argumento (R ∨ S) → T, ∼T  |- ∼R.