Question

A seguir são apresentadas premissas e suas conclusões em linguagem natural.
Se eu limpo a casa, eu canto. 
Eu não cantei. 
Então, eu não limpei a casa.

A que regra de inferência corresponde a proposição acima:

Answer 1

Neste caso, temos a negação do consequentes. Em símbolos, vem

p → q, ¬ q  |-  ¬ p

Logo, a regra de inferência é Modus Tollens.