Utilizando as regras de inferências não hipotéticas, de equivalências e de derivadas, prove o argumento a seguir.
R ᴧ ~ (Q P), P ˫ Q
{\displaystyle \left\{\alpha ,\neg \alpha \right\}\vdash \beta }{\displaystyle \left\{\alpha ,\neg \alpha \right\}\vdash \beta }
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar