indica a regra de inferência capaz de justificar a validade do argumento: (q v r) →~p ~~p Logo, ~(q v r)

Nesse caso temos um argumento Modus Tollens.  Se um ângulo é inscrito em um semicírculo, então é um ângulo reto; esse ângulo não é um ângulo reto; portanto, esse ângulo não está inscrito em um semicírculo. Para premissas disjuntivas (empregando ∨, o que significa “ou ... ou”), os termos modus tollendo ponens e modus ponendo tollens são usados ​​para argumentos das formas A ∨ B; ∼ A, portanto , B e A ∨ B ; A, portanto , ∼ B (válido apenas para disjunção exclusiva : “ A ou B, mas não ambos”).