Afirmar que duas fórmulas bem formadas p e q, que são compostas pelas mesmas proposições simples t1 , t2 , ... , tn , são equivalentes é o mesmo que afirmar que é uma tau- tologia a proposição
Você errou!  
Resposta:
Acesse Comentários para encontrar explicações sobre a solução da questão.
Parabéns! Você acertou!
Aprenda mais ensinando outros alunos ao comentar esta questão.
Dadas as premissas p1 , p2 ,..., pn e uma conclusão q, uma regra de inferência a partir da qual q se deduz logicamente de p1 , p2 ,..., pn é denotada por p1 , p2 ,..., pn ├q. Uma das regras de inferência clássica é chamada Modus Ponens, que, em latim, significa “modo de afirmar”. Qual a notação que designa a regra de inferência Modus Ponens?
Você errou!  
Resposta:
Acesse Comentários para encontrar explicações sobre a solução da questão.
Parabéns! Você acertou!
Aprenda mais ensinando outros alunos ao comentar esta questão.