Imagem de fundo

A regra de inferência Modus Ponens corresponde à implicação