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?
Provas
Questão presente nas seguintes provas
Analista de Sistemas - Processos de Negócios
70 Questões