Dadas as premissas p1 , p2 ,..., pn e uma conclusão q, uma ...

Dadas as premissas p₁ , p₂ ,..., p_n e uma conclusão q, uma regra de inferência a partir da qual q se deduz logicamente de p₁ , p₂ ,..., p_n é denotada por p₁ , p₂ ,..., p_n ├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?