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 pode ser...

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 pode ser denotada por: p1 , p2 ,..., pn ├ q. O símbolo ├ é utilizado para separar premissas (à esquerda) da conclusão (à direta). Quando há mais de uma premissa no argumento, elas devem ser separadas entre si por vírgula. Uma regra de inferência clássica é chamada Modus Tollens, que, em latim, signi�ca “modo de negar”. Seguindo a estrutura apresentada, qual a notação que designa a regra de inferência Modus Tollens?


p → q, q ├ p
p → q, p ├ q
p → q, ~p ├ ~q
p → q, ~q ├ ~p